Multilingue
à â æ ç è é ê ë î ï ô ù û œ
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

à vérifier

to be checked

général - eur-lex.europa.eu
À vérifier À vérifier À vérifier À vérifier À vérifier À vérifier À vérifier

To be checked To be checked To be checked To be checked

général - CCMatrix (Wikipedia + CommonCrawl)
thermocouple de comparaison et thermocouple à vérifier

reference thermocouple and thermocouple to be checked

métallurgie et sidérurgie - iate.europa.eu
Compatibilité avec le réseau concerné à vérifier.

Compatibility with concerned network to be checked

construction européenne - eur-lex.europa.eu
À vérifier au moyen dun gabarit de position

To be checked by means of a Box-System.

général - eur-lex.europa.eu
La présente invention concerne un modèle à vérifier qui est préparé pour vérifier si une correspondance d'images chirurgicales est exacte.

A model to be checked is prepared to check whether a conformation of surgical images is accurate.

santé - wipo.int
▷
Contribution à l'étude des jeux sur des graphes de processus à pile
... Le système spécifié dépend de la nature du graphe de jeu considéré tandis que la propriété à vérifier est décrite par la condition de gain....
... The system is described by a game graph while the property to be checked is specified by a winning condition....
Europe / recherche et propriété intellectuelle / activité agricole - core.ac.uk - PDF: tel.archives-ouvertes.fr
▷
Comment sécuriser en cabinet de montagne la prise en charge des blessés de sport d'hiver ? (proposition d'une check-list)
... L'objectif de ce travail est de proposer une liste de critères à vérifier lors de la prise en charge en cabinet de montagne des patients traumatisés....
... The purpose of this work is to propose a list of criteria which need to be checked in mountain practices during the medical care of injured patients....
Europe / politique tarifaire - core.ac.uk - PDF: dumas.ccsd.cnrs.fr
▷
[1 lettre d'henry jouin à charles nuitter, 30 décembre 1878] (manuscrit autographe)... Cherche à vérifier si elle a tenu le rôle de la Déesse de la Raison en 1794....
▷
Model-based runtime verification framework for selfoptimizing systems... The properties to be checked are expressed by RT-OCL terms where the underlying temporal logic is restricted to either timeannotated ACTL or LTL formulae....
Europe / activité agricole / recherche et propriété intellectuelle - core.ac.uk - PDF: catalogue.bnf.frgénéral - core.ac.uk - PDF: citeseerx.ist.psu.edu
L'actualisation du potentiel et la réadaptation des personnes ayant subi un accident vasculaire cérébral... Cette recherche vise à vérifier l'impact du niveau d'actualisation du potentiel sur (1) l'amélioration de l'indépendance fonctionnelle lors de la période de réadaptation intensive, (2) la durée du...
Case studies concerning the bad influence of the limit measurement error on control objectivityWhen the total measurement limit error goes beyond 20% of the prescribed tolerance for the parameter to be checked here is the risk accepting some parts which reality are waste and there is the risk of rejecting some other parts which in fact are good....
 PDF: doaj.org
Increasing functional constraints need to be checked only once... Rather than checking them many times as in a typical consistency check process, in the new method they (almost all of them) only need to be checked once....
 PDF: citeseerx.ist.psu.edu
Increasing functional constraints need to be checked only once... Rather than checking them many times as in a typical consistency check process, in the new method they (almost all of them) only need to be checked once....
 PDF: citeseerx.ist.psu.edu
An approach translating cod specification to be checked by uppaal... In this approach we translate CoD specification and required properties to be checked by UPPAAL, by introducing rules translating CoD formula to UPPAAL model which composed by automata system....
 PDF: citeseerx.ist.psu.edu
à vérifier

to be verified

général - eur-lex.europa.eu
POINTS SPÉCIFIQUES À VÉRIFIER PENDANT UNE INSPECTION RENFORCÉE

SPECIFIC ITEMS TO BE VERIFIED DURING AN EXPANDED INSPECTION

général - eur-lex.europa.eu
Liste des points spécifiques à vérifier au cours dune inspection renforcée

List of specific items to be verified in an expanded inspection

général - eur-lex.europa.eu
Le plan de gestion des solvants est utilisé comme suit, en fonction de lexigence dont il sagit de vérifier le respect est à vérifier

The use made of the solvent management plan shall be determined by the particular requirement which is to be verified, as follows

général - eur-lex.europa.eu
Une communication en ligne comprenant une adresse physique à vérifier est reçue.

An online communication comprising a physical address to be verified is received.

électronique et électrotechnique - wipo.int
Beaucoup d’affirmations qui restent à vérifier .

There are, however, many statements that remain to be verified.

général - CCMatrix (Wikipedia + CommonCrawl)
▷
Radicalisme et permissivité sexuelle : contribution à l'étude de la contestation des jeunes en milieu urbain
... L'hypothèse à vérifier est que l'on est d'autant plus radical sur le plan politique que l'on est en même temps permissif à l'égard des questions sexuelles....
... The hypothesis to be verified is that the more permissive one is with regard to sexual questions, the more radical one is politically.
général - core.ac.uk -
▷
Construction incrémentale de spécifications de systèmes critiques intégrant des procédures de vérification
... Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier....
... This framework provides the means to verify whether a new model is consistent with those defined in the previous steps without requiring an explicit description of the properties to be verified....
politique tarifaire / Europe - core.ac.uk - PDF: core.ac.uk
▷
Compilation de réseaux de petri (modèles haut niveau et symétries de processus)
... La question sous-jacente autour de laquelle se construit la contribution est la recherche d'un compromis entre différents objectifs potentiellement contradictoires : la décidabilité des systèmes à vérifier, l'expressivité des formalismes de modélisation, l'efficacité de la vérification, et la certification des outils utilisés....
... We focus on a compromise between potentially contradictory goals: decidability of systems to be verified, expressivity of modeling formalisms, efficiency of verification, and certification of used tools....
Europe / activité agricole / recherche et propriété intellectuelle - core.ac.uk - PDF: www.biblio.univ-evry.fr
▷
Spécialisations industrielles, structures sociales, activités financières et intégration économique internationale au xixe siècle : le cas de la grande-bretagne et de la france
... Cette hypothèse, à vérifier dans les faits, aboutit à décrire un système international simple et cohérent au milieu du XIXe siècle, assurant une position centrale au commerce et à la banque françaises....
... This hypothesis, still to be verified in facts, leads to the description of a simple and coherent inte
général - core.ac.uk - PDF: journals.openedition.org
▷
Traçabilité sécurisée embarquée (authentification autonome d'objets et de systèmes embarqués)
... Cependant l'authenticité du système électronique lui-même reste à vérifier....
... However, the authenticity of the electronic system itself has also to be verified....
communication / information et traitement de l'information - core.ac.uk - PDF: www.theses.fr
▷
▷
Global exponential robust stability of high-order hopfield neural networks with s-type distributed time delays...functional method, some criteria of global exponential robust stability for the high-order neural networks with S-type distributed time delays are established, which are easy to be verified with a wider adaptive scope
général - core.ac.uk - PDF: doaj.org
Runtime verification on partial paths...(e.g., for lack of the specification of the system to be verified) or computationally too costly....
 PDF: citeseerx.ist.psu.edu
Verilat: verification using logic augmentation and transformations... Specifically, introduced here is a new technique that transforms the reference circuit as well as the circuit to be verified, so that the similarity between the two is progressively enhanced....
 PDF: citeseerx.ist.psu.edu
Breaking and building of group inside signature... Group Inside Signature (GIS) is a signature scheme that allows the signer to designate his signature to be verified by a group of people, so that members other than the designated group cannot verify the signature generated by him....
 PDF: citeseerx.ist.psu.edu
Parametric timed automaton parametric timed automaton...(i.e., unknown constants), used in guards and invariants Features I Location invariant: property to be verified by the clocks to stay at a location I Transition guard: property to be verified by the clocks to enable a transition I Clock reset: clocks can be set to 0 at each...
 PDF: lipn.univ-paris13.fr

Synonymes et termes associés français

vérifier

•

examiner

•

fouille

•

recherche

•

examen

•

vérification

[...]

perquisition

•

Exemples français - anglais

Paramètres à vérifier

Parameters to be checked
général - eur-lex.europa.eu

Traductions en contexte français - anglais

[à un examen visant à vérifier labsence de tiques,]

[examined to verify that they were tick-free,]

général - eur-lex.europa.eu
Qui est autorisé à vérifier et à valider lEMAS?

Who is allowed to verify and validate EMAS?

général - eur-lex.europa.eu
Aptitude à vérifier la qualité des réparations.

Ability to check the quality of the repairs.

consommation - eur-lex.europa.eu
soit [à un examen visant à vérifier labsence de tiques,]

either [examined to verify that they were tick-free,]

général - eur-lex.europa.eu
Pensez à vérifier ou à faire vérifier les points suivants :

Make sure you check, or have checked the following items:l.

général - CCMatrix (Wikipedia + CommonCrawl)
Le procédé consiste en outre à vérifier l'existence d'une séquence de reconnaissance et à vérifier l'existence d'une séquence de reconnaissance négative.

The method further includes checking for an acknowledgement sequence and checking for a negative acknowledgement sequence.

électronique et électrotechnique - wipo.int
soit [à un examen visant à vérifier labsence de tiques,]

either [examined to verify that they were tick-free,]

général - eur-lex.europa.eu
soit [à un examen visant à vérifier labsence de tiques,]

either [examined to verify that they were tick-free,]

général - eur-lex.europa.eu
soit [à un examen visant à vérifier labsence de tiques;]

either (examined to verify that they were tick-free

général - eur-lex.europa.eu
bascules et balances à vérifier les pièces usinées

weight-operated counting and checking machines

général - iate.europa.eu
Titrage destiné à vérifier la sensibilité des cultures cellulaires à l'infection

Procedure for titration to verify the susceptibility of the cell cultures to infection

général - eur-lex.europa.eu
Matin (8 h 00 à 10 h 00): [à vérifier] Hz

Morning (8.00 to 10.00): Hz [tbc]

général - eur-lex.europa.eu
Mannequin destiné à vérifier la largeur de l'allée centrale

Gangway mannequin

général - eur-lex.europa.eu
s'engage à vérifier les indications figurant sur les certificats

undertakes to verify the particulars shown in certificates

général - eur-lex.europa.eu
les procédures visant à vérifier la nomination des administrateurs.

the procedures to verify the appointment of directors.

général - eur-lex.europa.eu


1 milliard de traductions classées par domaine d'activité en 28 langues
Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction  Translation  Traducción  Übersetzung  Tradução  Traduzione  Traducere  Vertaling  Tłumaczenie  Mετάφραση  Oversættelse  Översättning  Käännös  Aistriúchán  Traduzzjoni  Prevajanje  Vertimas  Tõlge  Preklad  Fordítás  Tulkojumi  Превод  Překlad  Prijevod  翻訳  번역  翻译  Перевод