Vertaling van "par model" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Par défaut, l'enregistrement actuellement sélectionné, tel que spécifié par Model::$id, est utilisé.
By default, the currently selected record, as specified by Model::$id, is used.
L'insuccès de l'offensive explique sans aucun doute le remplacement de Kluge par Model quelques jours plus tard.
The failure of the offensive doubtless explains the sudden removal of Kluge a few days later and his replacement by Model.
Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Résumé : Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Abstract: We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
This phenomenon constitutes the principal obstacle of the automatic checking by model checking.
Elle est fondée sur la vérification formelle par model checking, la composition parallèle d'automates finis et l'expertise métier.
It is based on formal verification by model checking, parallel composition of finite sate automata and technical expertise.
Néanmoins, grâce à une étape préalable de discrétisation temporelle, nous avons également implémenté un neurone complet en Lustre qui est un langage formel autorisant des preuves par model checking.
Nevertheless, thanks to a preliminary step of temporal discretization, we have also implemented a complete neuron in Lustre which is a formal language allowing proofs by model checking.
Comme le montre l'exemple du système SplitUp mis au point par Model pour réduire les déchets de production, les systèmes les plus astucieux sont souvent les plus simples.
But how does simplicity work? Allow us to demonstrate, using the SplitUp system developed by Model to reduce waste in the production process.
Retrouvez à la vente toutes les figurines déjà produites par Model Age.
Find on sale all the models already produced by Model Age. Store
Seul, les colis avec numéro de suivi seront remboursés par Model Miniature si ils n'arrive pas à destination.
Only packages with tracking number will be reimbursed by Model Miniature if they don't arrive at its destination...
Selon les caractéristiques détectées par Model Export, le fichier CATIA contient des caractéristiques topologiques réduites (comme le volume, la surface polynomiale, le plan, etc.)
Depending on the features detected by Model Export, the CATIA file contains trimmed topological features (such as VOLUME, polynomial surface, plane, etc.).
Le Flap Display conçu par Model AG est une solution de présentation avantageuse et facile à utiliser qui génère peu de déchets.
The Flap Display developed by Model AG is a user-friendly and cost-effective display solution that generates very little waste.
Quel type de calcul est effectué par Model Builder?
What kind of calculation is performed by Model Builder?
