Les programmes utilisés étaient NHPC version 4.30 (programme d'inversion d'ionogrammes pour l'établissement de profils de densité électronique) et CARP version 2.00 (Computation of Average Representative Profiles).
The programs used were NHPC (inversion of ionograms to electron density profile), version 4.30, and CARP (computation of average representative profiles), version 2.00.
Computation comprend que vos objectifs en tant que petite ou moyenne entreprise sont différents.
Computation understands that your objectives as a small or medium sized business are distinct.
Dans la deuxième approche, nous développons une extension d'une méthode de Approximate Bayesian Computation basé sur une procédure de Monte Carlo par chaînes de Markov pour l'inférence des réseaux biologiques.
In the second method, a simulation-based approach known as Approximate Bayesian Computing based on Markov Chain Monte Carlo sampling is modified to the context of gene regulatory networks.
Volume Computation permet aux utilisateurs de mener à bien des vérifications potentiellement compliquées et longues de produits, facilement et avec un nombre limité d'actions.
Volume Computation enables users to perform potentially complicated and time-consuming verifications on products easily, and with fewer actions.
Bien que la notion de l'indépendance de la plateforme soit assez claire, la notion du concept "Computation" reste floue.
Although the concept of independence of the platform is quite clear, the notion of the concept Computation remains unclear.
Volume Computation permet aux utilisateurs de gérer des maquettes numériques de toutes tailles dans des secteurs divers (biens de consommation, automobile, aéronautique, énergie, construction navale ou équipements lourds).
Volume Computation enables the user to handle digital mock-ups of all sizes in industries as various as consumer goods, automotive, aerospace, energy, shipbuilding, or heavy machinery.
À Computation, nous sommes spécialisés dans la fourniture de solutions intelligentes et adaptées de façon individuelle et nous faisons de la satisfaction à long terme de nos clients notre but prioritaire.
At Computation we specialize in providing intelligent, individually tailored IT solutions and make the long-term satisfaction of our clients our overriding objective.
Description Volume Computation crée des représentations réduites précises de pièces ou d'assemblages en conservant leur représentation externe uniquement.
Description Volume Computation creates accurate reduced representations of parts or assemblies by keeping their external representation only.
Tout d'abord, nous étudions l'emploi de la logique arborecente (Computation Tree Logic) pour vérifier des propriétés dynamiques dans des graphes de transitions d'états discrets asyn- chrones, dérivés de modèles logiques du cycle cellulaire mammifère.
First, we investigate the ability of Computation Tree Logic to verify dynamical properties in asynchronous state transition graphs derived from logical models of the mammalian cell cycle.
Un autre de ses intérêts était en classification des informations et il a fait des contributions substantielles à ce point dans son travail dans la préparation d'un index cumulatif pour les 23 premiers volumes du Mathematics of Computation.
Another of his interests was in classifying information and he made substantial contributions to this in his work in preparing a cumulative index for the first 23 volumes of the Mathematics of Computation.
ARTICLE 1.12 (Computation des délais fixés par les parties)
Article 1.12 (Computation of time set by parties)
Nous décrivons ci-dessous les concepts regroupés dans ROS sous le nom de « ROS Computation Graph » et qui permettent d'atteindre ces objectifs.
The concepts brought together in ROS under the name of "ROS Computation Graph", enabling these objectives to be reached, are described below.
