Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

Checking

Contrôle

général - eur-lex.europa.eu
The device is useful for operator checking or automatic checking.

Le dispositif peut être utilisé en vue d'un contrôle par un opérateur ou en vue d'un contrôle automatique.

industrie mécanique - wipo.int
A circuit board checking method for such checking is also disclosed.

L'invention concerne également un procédé mis en oeuvre pour effectuer un tel contrôle de cartes de circuits imprimés.

industrie mécanique - wipo.int
The invention concerns a checking device (1) for checking a switchgear cabinet (2).

Dispositif de contrôle (1) servant à contrôler une armoire électrique (2) et comprenant un bornier d'entrée (5) monté sur l'armoire électrique (2) et doté de plusieurs bornes individuelles (6, 7, 8).

industrie mécanique - wipo.int
* Checking requirements in place

* Contrôle des exigences mises en place

général - eur-lex.europa.eu
baggage security checking equipment

appareillage de sécurité pour le contrôle des bagages

transport terrestre - iate.europa.eu
▷
Resource-bounded atl : the quest for tractable fragments en quête de fragments mécanisables pour atl avec ressources keywords logics for agents and multi-agent systems, verification techniques for multi-agent systems, model-checking, vec- tor addition systems with states
National audienceIn this work, we begin by providing a general overview of the model-checking results currently available for the Resource-bounded Alternating-time Temporal Logic RB±ATL....
... Nous prouvons de nouveaux résultats de complexité pour l'accessibilité d'un état de contrôle et pour la non-terminaison, lorsqu'un seul comp-teur est autorisé....
institutions financières et crédit / politique tarifaire / politique commerciale - core.ac.uk - PDF: hal.archives-ouvertes.fr
▷
Safety properties verification of ladder diagram programs
... The main approaches in this field are based on Model-Checking....
... Les automates programmables industriels assurent le contrôle-commande d’un grand nombre de systèmes réactifs....
politique tarifaire - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
Stedi : une infrastructure logicielle pour renforcer la qualité des données territoriales statistiques
... The infrastructure provides the oversight of data and metadata collected through software components such as the " Checking tool " , which is in charge of datasets quality process organisation....
... L'infrastructure veille au contrôle des données et métadonnées recueillies par le biais de briques logicielles telles que le « Checking tool », chargée d'organiser le processus de vérification de la qualité...
général - core.ac.uk - PDF: hal.archives-ouvertes.fr
▷
Combinaison des techniques de bounded model checking et de programmation par contraintes pour l'aide à la localisation d'erreurs
... In my thesis, we proposed an error localization algorithm from counter-examples, named LocFaults, combining approaches of Bounded Model-Checking (BMC) with constraint satisfaction problem (CSP)....
... En effet, nous générons un système de contraintes pour les chemins du graphe de flot de contrôle pour lesquels au plus k instructions conditionnelles peuvent être erronées....
général - core.ac.uk - PDF: hal.archives-ouvertes.fr
▷
A framework for caching relevant data divisions for checking integrity constraints of mobile databasesIn a mobile environment, due to the various constraintsinherited from limitations of wireless communicationand mobile devices, checking for integrity constraints tomaintain the consistent state of mobile databases is an important issue that needs to be addressed....
▷
Dossier. sous contrôle. gouverner par les fichier (editorial)... La résistance à la création du fichier Edvige, les polémiques autour de « Base-Élèves », les annonces de création de nouvelles interconnexions entre fichiers, de l’ajout d’informations dans les fichiers de police, l’émergence de nouvelles techniques de contrôle fondées sur la biométrie et la généralisation de la vidéosurveillance nous rappellent que la question du contrôle de l’information personnelle est d’une brûlante actualité....
communication / sciences naturelles et appliquées / informatique et traitement des données - core.ac.uk - PDF: psasir.upm.edu.myinformatique et traitement des données / technologie et réglementation technique - core.ac.uk -
Model checking reconfigurable processor configurations for safety properties... The combination of proof-carrying code for verification of standard processor machine code and model-checking for array configurations is explored....
Prends soin du métro. le contrôle-soin, forme émergente des régulations et menaces souterraines... L’opérateur du métro a donné beaucoup de visibilité à ses dispositifs de contrôle des nouvelles masses d'usagers : barrières optimisées, signalétique omniprésente, agents démultipliés, etc....
 PDF: citeseerx.ist.psu.edu
checking

pointage

pouvoir exécutif et administration publique - iate.europa.eu
▷
▷
L'ajustement dans le geste du pointage par l'index. de l'incertitude réfléchie ou instinctive ?... Dans des expériences concernant le pointage rapide, Paillard (1980, 1996 ) suggéra que la rétine périphérique pourrait jouer un rôle spécifique dans le contrôle précoce de la composante directionnelle du geste....
général - core.ac.uk - PDF: halshs.archives-ouvertes.fr
La gymnastique : un jeu de règlesLes règlements du jeu des activités gymniques et acrobatiques, appelés « codes de pointage », sont modifiés régulièrement au profit d’une pratique toujours plus acrobatique....

collationnement

pouvoir exécutif et administration publique - iate.europa.eu

faiencage

industrie mécanique - techdico

inhibition

sciences naturelles et appliquées - iate.europa.eu
▷
Les effets de la règle de la mise en échec sur les fonctions exécutives et l’état psychoaffectif de jeunes hockeyeurs au cours d’une saison
... Adolescent hockey players are introduced to body checking at the age of 13-14 years old and brain functions like executive functions are not completely developed until the end of adolescence....
... Les fonctions exécutives, responsables des tâches de planification, d’inhibition et de mémoire de travail, finissent de se développer vers la fin de l’adolescence....
général - core.ac.uk -
▷
▷
Spécificité enzymatique et régulation fonctionnelle de la matriptase-2, une protéase à sérine transmembranaire de type ii essentielle à l'homéostasie du fer... En présence de serpines, seulement AT III démontre une activité d'inhibition robuste....
sciences naturelles et appliquées - core.ac.uk -
checking

vérification

agriculture, sylviculture et pêche / industrie mécanique / gestion administrative - iate.europa.eu lexique.mecaniqueindustrielle.com acta.es
When the checking is finished, the next checking time in the checking timetable is written.

Lorsque la vérification est achevée, la date de la prochaine vérification est inscrite dans le calendrier de vérification.

production - wipo.int
A ticket checking method and a ticket checking device are provided.

L'invention porte sur un procédé et un dispositif de vérification de ticket.

industrie mécanique - wipo.int
This checking of the long-term storage medium occurs according to a checking policy, such as a spot checking policy.

Cette vérification du support de stockage à long terme se produit selon une règle de vérification, telle qu'une règle de vérification ponctuelle.

informatique et traitement des données - wipo.int
The present invention achieves automatic checking of a blocked nozzle, improves convenience of checking and reduces the error rate of checking.

La présente invention permet une vérification automatique d'une buse bouchée, améliore la facilité de la vérification et réduit le taux d'erreurs de la vérification.

communication - wipo.int
The checking device (27) comprises a checking unit (29) for checking the injection moulding components (33) attached to a carrier medium (3).

Le dispositif de vérification (27) comprend une unité de vérification (29) permettant de vérifier les composants de moulage par injection (33) fixés sur un support de transport (3).

chimie - wipo.int
▷
Real-time systems refinement : application to the verification of web services
... In this context, model checking is one of the most used verification techniques because of its thoroughness, its easy application, and automatic approach....
... Afin d'augmenter la qualité et d'élever la sécurité des services Web, la vérification de BPEL, un service web langage de composition est considérée....
général - core.ac.uk - PDF: core.ac.uk
▷
Property driven verification framework: application to real time property for uml marte software design
ABSTRACT : Automatic formal verification such as model checking faces the combinatorial explosion issue....
...Les techniques formelles de la famille « vérification de modèles » (« model checking ») se heurtent au problème de l’explosion combinatoire....
général - core.ac.uk - PDF: core.ac.uk
▷
▷
Le comptable au travail : les signes techniques en marge des comptabilités lilloises (1291-1369)... Le scribe au cours de son exercice se permet quelques fantaisies (décorations des lettres, dessins), mais la plupart sont des signes techniques permettant de suivre son travail, des signes de vérification ultérieure d’une main différente (trait, croix, points, etc.)
industrie mécanique / technologie et réglementation technique - core.ac.uk -
checking

contrôle (vérification)

industrie mécanique - lexique.mecaniqueindustrielle.com

craquelures

politique et structures industrielles - iate.europa.eu
▷
▷
Aspect d'une plage de débris glaciels de la rive gauche du « lit inerte » de la grande rivière inférieure, basse-jamésie nordique... Derrière ces accumulations, la roche en place fait voir son réseau de craquelures exploitées par le froid....
général - core.ac.uk -
Surface rocheuse dénudée de chaque côté de la vallée peu profonde du bas-caniapiscau, aval de l'embouchure de la rivière swampy bay, sud-ungava...1983.07.28.À l'exemple de la formation rocheuse de l'image précédente, CL05701B, appartenant au système géologique de la fosse du Labrador, orientée de Schefferville à la baie d'Ungava, celle du présent territoire la rend tout aussi vulnérable à la gélifraction, d'où l'apparition de multiples craquelures sur les affleurements....

balancement

industrie mécanique - lexique.mecaniqueindustrielle.com
▷
▷
Striures glacielles sur la roche en place de la pointe goyeau, baie de rupert, jamésie côtière...1975.08.09.La pointe est une saillie rocheuse dont le pourtour est dissimulé par la banquise qui s'y greffe; plus loin, cette dernière subit le balancement vertical de la marée....
général - core.ac.uk -
Détail du rivage affecté ou non par la marée, ouest du koksoak à son embouchure, ungava côtier...1977.08.15.La zone de balancement des marées est nettement indiquée par une roche rosâtre nettoyée, d'origine gneissique, contrairement à celle sus-jacente très altérée....

récolement

communication - iate.europa.eu
▷
▷
Les nôces de gamaches // ballet en deux actes // du cn milon donné pour la // 1re fois le 28 nivose an 9 // 18 janvier 1801. v. s. // acte 1er... 1, estampille de récolement, 1854Présentation musicale : [Partition
général - core.ac.uk - PDF: catalogue.bnf.fr
Zotenberg, herman. catalogue des manuscrits hébreux i et ii. catalogue des manuscrits hébreux ii...Ktiv.De la notice portant le n°616 (Sorbonne 119)Notice de récolement datée du 17 octobre 1886 : "volume de 201 f."
 PDF: archivesetmanuscrits.bnf.fr

contrôle de conservation

commercialisation - iate.europa.eu
checking

contrôle

industrie mécanique / informatique et traitement des données - techdico iate.europa.eu
emergency and safety equipment checking

contrôle de l'équipement de sécurité et de sauvetage

transports aérien et spatial - iate.europa.eu
The invention likewise relates to a checking method for a camera and to a checking system.

L'invention concerne également un procédé de contrôle d'une caméra ainsi qu'un système de contrôle.

électronique et électrotechnique - wipo.int
Instruments for checking physical characteristics

Instruments de contrôle de propriétés physiques

sciences naturelles et appliquées - eur-lex.europa.eu
For measuring or checking pressure

pour la mesure ou le contrôle de la pression

sciences naturelles et appliquées - eur-lex.europa.eu
Recurrent training and checking — pilots

Entraînement et contrôles périodiques — Pilotes

organisation des transports - eur-lex.europa.eu
▷
Resource-bounded atl : the quest for tractable fragments en quête de fragments mécanisables pour atl avec ressources keywords logics for agents and multi-agent systems, verification techniques for multi-agent systems, model-checking, vec- tor addition systems with states
National audienceIn this work, we begin by providing a general overview of the model-checking results currently available for the Resource-bounded Alternating-time Temporal Logic RB±ATL....
... Nous prouvons de nouveaux résultats de complexité pour l'accessibilité d'un état de contrôle et pour la non-terminaison, lorsqu'un seul comp-teur est autorisé....
institutions financières et crédit / politique tarifaire / politique commerciale - core.ac.uk - PDF: hal.archives-ouvertes.fr
▷
Safety properties verification of ladder diagram programs
... The main approaches in this field are based on Model-Checking....
... Les automates programmables industriels assurent le contrôle-commande d’un grand nombre de systèmes réactifs....
politique tarifaire - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
Stedi : une infrastructure logicielle pour renforcer la qualité des données territoriales statistiques
... The infrastructure provides the oversight of data and metadata collected through software components such as the " Checking tool " , which is in charge of datasets quality process organisation....
... L'infrastructure veille au contrôle des données et métadonnées recueillies par le biais de briques logicielles telles que le « Checking tool », chargée d'organiser le processus de vérification de la qualité...
général - core.ac.uk - PDF: hal.archives-ouvertes.fr
▷
Combinaison des techniques de bounded model checking et de programmation par contraintes pour l'aide à la localisation d'erreurs
... In my thesis, we proposed an error localization algorithm from counter-examples, named LocFaults, combining approaches of Bounded Model-Checking (BMC) with constraint satisfaction problem (CSP)....
... En effet, nous générons un système de contraintes pour les chemins du graphe de flot de contrôle pour lesquels au plus k instructions conditionnelles peuvent être erronées....
général - core.ac.uk - PDF: hal.archives-ouvertes.fr
▷
A framework for caching relevant data divisions for checking integrity constraints of mobile databasesIn a mobile environment, due to the various constraintsinherited from limitations of wireless communicationand mobile devices, checking for integrity constraints tomaintain the consistent state of mobile databases is an important issue that needs to be addressed....
▷
Dossier. sous contrôle. gouverner par les fichier (editorial)... La résistance à la création du fichier Edvige, les polémiques autour de « Base-Élèves », les annonces de création de nouvelles interconnexions entre fichiers, de l’ajout d’informations dans les fichiers de police, l’émergence de nouvelles techniques de contrôle fondées sur la biométrie et la généralisation de la vidéosurveillance nous rappellent que la question du contrôle de l’information personnelle est d’une brûlante actualité....
communication / sciences naturelles et appliquées / informatique et traitement des données - core.ac.uk - PDF: psasir.upm.edu.myinformatique et traitement des données / technologie et réglementation technique - core.ac.uk -
Model checking reconfigurable processor configurations for safety properties... The combination of proof-carrying code for verification of standard processor machine code and model-checking for array configurations is explored....
Prends soin du métro. le contrôle-soin, forme émergente des régulations et menaces souterraines... L’opérateur du métro a donné beaucoup de visibilité à ses dispositifs de contrôle des nouvelles masses d'usagers : barrières optimisées, signalétique omniprésente, agents démultipliés, etc....
 PDF: citeseerx.ist.psu.edu
checking

fendillement

métallurgie et sidérurgie - iate.europa.eu

fendillage

métallurgie et sidérurgie - iate.europa.eu

craquelures en quadrillages

métallurgie et sidérurgie - iate.europa.eu

Publications scientifiques

▷
▷
Contrôle budgétaireLe contrôle budgétaire est l'une des pratiques de contrôle de gestion les plus répandues dans les entreprises....
gestion administrative / documentation / budget - core.ac.uk -
▷
▷
Contrôle a priori et contrôle a posteriori : débat à propos de la suppression du contrôle a priori en espagneContrôle a priori et contrôle a posteriori : débat à propos de la suppression du contrôle a priori en Espagne....
sources et branches du droit - core.ac.uk -
▷
▷
Induction de l'autophagie et de l'apoptose par le peroxyde d'hydrogène : implication de la thermotolérance (40°c)... Cette inhibition a augmenté le niveau d'induction des trois voies principales de l'apoptose : mitochondriale, des récepteurs de mort et du RE....
santé / sciences naturelles et appliquées - core.ac.uk - PDF: www.archipel.uqam.ca
▷
▷
Un système de vérification de signature manuscrite en ligne pour pda.Dans ce papier nous présentons une méthode de vérification de la signature manuscrite en ligne fondée sur la mesure de la ressemblance graphique doublée d'une vérification paramétrique globale de type statistique....
général - core.ac.uk -

Synonymes et termes associés anglais

Checking

•

collation

•

check

•

verification

•

review

•

shelflist

[...]

one-to-one check

•

Monitoring

•

hair cracks

•

cracking

•

Control

•

control

•

inspection

•

data check

•

Supervision

•

indicating

•

fine cracks

•

readback

•

Controls

•

monitoring

•

stocktaking

•

fluorescence quenching

•

quenching

•

quench

•

tally

•

scoring

•

score judging

•

pointing

•

Under Supervision

•

test

•

sighting

•

aiming

•

Acceptance test

•

feathering motion

•

crackling

•

syntax and service report message

•

CONTRL

•

score

•

checkout

•

supervision

•

Testing

•

Test

•

examination

•

swinging

•

slewing

•

gauging

•

audit

•

tack welding

•

clocking in

•

collating

•

riding a showing

•

fastening

•

Verification

•

crazed

•

postural sway

•

body sway

•

read back

•

software verification

•

sway

•

scrutiny

•

inhibition

•

investigations

•

testing

•

Review

•

Oversight

•

control of a company

•

inspecting

•

search

•

roll

•

rocking movement

•

Checks

•

nip

•

editing

•

check out

•

controling and checking

•

monitor

•

control and checking

•

Exemples anglais - français

checking expenses

frais de contrôle
assurance - iate.europa.eu

interference checking

contrôle des interférences
général - iate.europa.eu

selective checking

contrôle sélectif
union européenne / agriculture, sylviculture et pêche - iate.europa.eu
[...]

ultrasonic checking

contrôle ultrasonore
contrôle ultrasonique

flight checking

vérification en vol
inspection en vol

error checking

détection des erreurs
contrλle d'erreurs
contrôle d'erreurs

heat checking

craquelage des moules
crique
fissure
[...]
fissure du moule
craquelure du moule par chocs thermiques

surface checking

fissuration superficielle

inspection checking

contrôle de réception

weather checking

craquelage ozone
craquelure

validity checking

contrôle de validité
vérification de la validité
processus de validation

fact checking

examen des faits

checking programme

programme de contrôle

checking program

programme de contrôle

loop checking

contrôle par retour de l'information

checking sheet

feuille de comptage

Recurrent checking.

Contrôles périodiques.

checking fixture

montage contrôle
maquette de contrôle

self-checking

contrôle automatique
autocontrôle

ozone checking

craquelure
craquelure(ozone)

positional checking

contrôle de position

desk checking

contrôle manuel

checking rates

taux de contrôle

checking circuit

circuit de contrôle

label checking

contrôle d'identification

checking size

maille de vérification

sun-checking

craquelure par la lumière solaire

checking equipment

dispositif de contrôle

parity checking

contrôle de parité
contrôle par parité

checking routine

programme de contrôle

cross checking

contrôle croisé de la parité

checking certificate

certificat de contrôle

rule checking

validation par règles

checking dam

barrage de contrôle
barrage de consolidation
seuil noyé
[...]
barrage en rivière
correction d'un torrent
barrage de correction

checking stub

talon de contrôle

gas checking

verniculage

compatibility checking

contrôle de compatibilité

marginal checking

contrôle marginal

yaw-checking

correction des embardées

compulsory checking

contrôle impératif

consistency checking

détection de similitude
maintien de la cohérence
outil de validation de la connaissance

contradiction checking

détection de similitude
maintien de la cohérence
outil de validation de la connaissance

integrity checking

détection de similitude
maintien de la cohérence
outil de validation de la connaissance

checking tool

outil de contrôle

cold checking

cold check

regular checking

vérification périodique

routine checking

vérification de routine

shuttle checking

contrôle de la navette

checking office

bureau de vérification

prior checking

contrôle préalable

checking device

équipement d'essai
machine d'essai

checking apparatus

équipement d'essai
machine d'essai

assertion checking

vérification d'assertions

checking loop

boucle de contrôle

checking features

dispositifs de contrôle

checking station

point de contrôle
station de contrôle
poste de contrôle

checking charging

taxe de vérification

echo checking

contrôle par écho

checking account

compte chèques
compte de chèque

checking template

gabarit de vérification
gabarit de contrôle

checking brake

freinage de ralentissement

Traductions en contexte anglais - français

A checking procedure is triggered in response to encountering (402) a predetermined checking value.

Une procédure de vérification est déclenchée en réponse à la présence (402) d'une valeur de vérification prédéterminée.

électronique et électrotechnique - wipo.int
In some arrangements a third checking module is provided, which checking module may be physically separated from each of said first and second checking modules.

Dans certains agencements, un troisième module de vérification est prévu, ce module de vérification peut être physiquement distinct de chacun desdits premier et second modules de vérification.

informatique et traitement des données - wipo.int
A flexible consistency checking mechanism allows network operators to create their own consistency checking rules.

Un mécanisme de vérification de cohérence souple permet à des opérateurs de réseau de créer leurs propres règles de vérification de cohérence.

électronique et électrotechnique - wipo.int
Checking Accounts: Wells Fargo personal checking accounts are branded Everyday Checking.

Type de compte: Wells Fargo Tous les jours Vérification

général - CCMatrix (Wikipedia + CommonCrawl)
A method for checking service rules of network element configuration and a checking system are disclosed.

La présente invention se rapporte à un procédé pour la vérification des règles de service de la configuration d'un élément de réseau.

électronique et électrotechnique - wipo.int
Both at-speed assertion checking as well as continuous single step (CSS) assertion checking is disclosed.

Cette invention concerne aussi bien la vérification d'assertion rapide que la vérification d'assertion continue en une seule étape (CSS).

industrie mécanique - wipo.int
The method further includes checking for an acknowledgement sequence and checking for a negative acknowledgement sequence.

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.

électronique et électrotechnique - wipo.int
Checking the PM number analyser

Vérification de l'analyseur de particules en nombre

général - eur-lex.europa.eu
A checking device, method, or program for checking the work of a person concerning an apparatus.

La présente invention concerne un dispositif, un procédé ou un programme de vérification destinés à vérifier le travail d'une personne en fonction de sa position par rapport à un appareil.

informatique et traitement des données - wipo.int
Checking of conformity of production

Vérification de la conformité de la production

commercialisation - eur-lex.europa.eu
If the assertion checking mechanism detects an assertion violation, the assertion checking mechanism raises an exception.

Si le mécanisme de vérification d'assertion détecte une violation d'assertion, le mécanisme de vérification d'assertion lève une exception.

informatique et traitement des données - wipo.int
Checking of conformity of production

Vérification de la conformité de la production

commercialisation - eur-lex.europa.eu
checking of the goods declaration

examen de la déclaration de marchandises

finances - iate.europa.eu
Checking of conformity of production

Vérification de la conformité de la production

commercialisation - eur-lex.europa.eu
Checking the partial flow conditions

Vérification des conditions de la dérivation

politique commerciale - 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 anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :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  翻訳  번역  翻译  Перевод