Dictionnaire anglais - français

check

général / informatique et traitement des données / finances de l'union européenne / transport terrestre / industrie mécanique / union européenne - eur-lex.europa.eu acta.es iate.europa.eu techdico
The super-parity- check matrix includes n parity check matrices.

La super-matrice de vérification de parité comprend n matrices de vérification de parité.

électronique et électrotechnique - wipo.int
Force électromotrice en circuit ouvert d'une photopile au sélénium aux basses températures
... Our assumptions concerning the internal mechanism of photocells are thus checked and a general expression independent of the photocell size is given....
... Les irrégularités de la fabrication industrielle permettent néanmoins une assez bonne vérification quantitative
Europe - core.ac.uk -
A pcc architecture based on certified abstract interpretation
... Code consumers use proof checkers derived from certified analysers to check certificates....
... La vérification de certificats est accélérée par une technique de compression de (post-)points fixes....
général - core.ac.uk - PDF: core.ac.uk
Vérification dynamique ciblée et interactive de programmes grâce à une architecture modulaire
... However, this type of static analysis struggle to analyse properly complex programs, and developers often also rely on dynamic tools, which check the integrity of a running program....
... Parmi ceux-ci,on trouve les outils de vérification formelle qui permettent de modéliser le déroulement d’un programme et d’en prouver mathématiquement la validité....
général - core.ac.uk -
Compilation modulaire d'un langage synchrone
... We show the correctness of this semantics, and we introduce a new algorithm to check program causality with respect to our modular approach....
... Nous avons défini et implémenté un langage dédié (LE) et sa sémantique équationnelle qui permet la compilation modulaire des programmes vers différentes cibles logicielles et matérielles (code C, code Vhdl, synthétiseurs fpga, format d'entr\ée d'outils de vérification, ...
général - core.ac.uk - PDF: hal.inria.fr
Mailto:[email protected] the regulator and the judge: the optimal mix in the control of environmental risk *
... We study the interaction between the ex ante audit of the firm's precautionary effort by a regulator and the ex post check on the true level of the firm's assets by a judge following an accident....
... Nous étudions l'interaction entre l'audit ex ante de l'effort de précaution par un régulateur et la vérification ex post de la capacité financière par un juge en cas d'accident....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Synchronous and bidirectional component interfaces... By enabling us to check that the input assumptions of a component are met in a design, interface models provide a compatibility check for component-based design
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.)
technologie et réglementation technique - core.ac.uk - PDF: citeseerx.ist.psu.eduindustrie mécanique / technologie et réglementation technique - core.ac.uk -
Proportion of currently married women who used maternal health services and received advice by background characteristics (uttar pradesh, india; dlhs, 2007–08).*all maternal health service utilisation includes: received any ANC service, had institutional delivery, and received postnatal care check-up.Proportion...
check
métallurgie et sidérurgie - iate.europa.eu
transport terrestre - iate.europa.eu
Ufr des sciences exactes et... Il s’agit d’une extension des travaux que le CReSTIC (Centre de Recherche en STIC de l’Université de Reims Champagne-Ardenne) conduit depuis plusieurs années sur la définition et la conception d’un filtre logique (placé dans l’Automate Programmable Industriel (API)) robuste aux erreurs de commande, et vérifié formellement au moyen d’un model checker....
général - core.ac.uk - PDF: crestic.univ-reims.fr
Mode d'emploi pour la vérification des protocoles de population... Ainsi, le model-checker probabiliste Prism s'avère être un outil de vérification adapté aux protocoles de population
bâtiment et travaux publics - iate.europa.eu
Aménagements littoraux et évolution d'un système lagunaire : étude de cas au bénin
... Direct and indirect effects were so serious that in 1978 the authorities ordered the construction, near the channel mouth, of a regulating dam, the purpose of which was to check the penetration of salt water into lake Nokoue ; but this dam immediately led to unexpected disruptions, and its completion was rendered useless....
... Les effets directs et indirects en furent si graves que les pouvoirs publics, en 1978, firent entreprendre, près de l'embouchure du chenal, la construction d'un barrage régulateur qui devait permettre de contrôler la pénétration de l'eau salée dans le lac Nokoué ; mais ce barrage fut aussitôt à l'origine de perturbations imprévues qui rendirent...
général - core.ac.uk -
Induction rapide, contrôlée par capteur de température virtuel, d'une hypothermie en ventilation liquidienne totale... De plus, un régulateur de la température corporelle a été conçu pour permettre des réchauffements progressifs à taux prescrits par l'utilisateur....
bâtiment et travaux publics - core.ac.uk -
La pratique de l'architecture en france au xxe siècleLa pratique de l'architecture en France apparaît, tout au long du siècle, marquée par une emprise croissante de l'État, organisateur de la profession en 1940, et régulateur, dans les périodes de crise, par le jeu de la commande publique....
check
informatique et traitement des données / industrie mécanique / communication / union européenne - iate.europa.eu techdico
Check on surpluses and shortages (must check

Contrôle concernant les excédents et les manques (contrôle strict

général - eur-lex.europa.eu
Check on surpluses and shortages (must-check

Contrôle concernant les excédents et les manques (contrôle strict

général - eur-lex.europa.eu
Documentary check — release of the consignment awaits physical check (***

Contrôle documentaire — le lot ne sera mis en libre pratique qu'après un contrôle physique (***

produit agricole transformé - eur-lex.europa.eu
Check-in, boarding and security check before take-off

Enregistrement, embarquement et contrôles de sécurité avant le décollage

transports aérien et spatial - eur-lex.europa.eu
Weighing check, box/container count or sampling check on discharge

Contrôle de pesée, décompte des caisses/conteneurs ou contrôle par échantillonnage lors du déchargement

général - eur-lex.europa.eu
Le contrôle des activités motrices par le langage
This is a new experimental checking about Luria's thesis relating to the coming out of a directive influence of the semantic aspect of the speech on the motor activity going along with this activity....
...Il s'agit d'un nouveau contrôle expérimental de la thèse de Luria portant sur l'apparition d'un contrôle de l'activité motrice par la sémantique de la verbalisation accompagnant cette activité....
général - core.ac.uk -
Contrôle de l'intensité d'un faisceau d'atomes métastables d'hélium
We describe an apparatus, of which the function is to check the intensity of a rare gas metastable atom beam, with thermal kinetic energy, producing a negligible perturbation of the beam....
...Un appareil est décrit, destiné au contrôle de l'intensité d'un faisceau d'atomes métastables de gaz rare d'énergie cinétique thermique, provoquant une perturbation négligeable du faisceau....
général - core.ac.uk -
Vers une économie politique des données : le pouvoir à l'aune des data... L’articulation entre ces trois ordres des données pose un certain nombre de questions nouvelles pour des catégories structurantes du politique, et sur les possibilités émancipatoires autant que les modalités du contrôle....
informatique et traitement des données / communication / droits et libertés - core.ac.uk -
check
métallurgie et sidérurgie - iate.europa.eu
transport terrestre - iate.europa.eu
Casquette intelligente connectée à but préventif... Le système peut aussi enregistrer les valeurs de la température et l'humidité dans une base de données....
général - core.ac.uk - PDF: hal.archives-ouvertes.fr
Notre environnement devient intelligentLes capteurs sans fil s’organisent automatiquement en réseaux pour enregistrer les données de notre environnement physique et transmettre les informations....
check
commercialisation - iate.europa.eu
The check information is verified by comparing the received check information with issued check information stored at the check issuing financial institution.

Ledit procédé consiste à recevoir une information notamment sur un chèque à négocier contre espèces, à vérifier ladite information en la comparant avec des informations sur des chèques émis détenues par l'institution financière d'émission.

informatique et traitement des données - wipo.int
Utilitarianism and evaluative conflict between actions
... Suppose your sending a check to a certain charity, say, Oxfam, would have the best consequences if performed....
... Supposons une action qui aurait des conséquences positives : par exemple envoyer un chèque à une ONG....
général - core.ac.uk -
Une analyse des facteurs de l’acceptation et de l’usage des instruments de paiement par les commerces en france
... Using an original data set from a survey administrated in France from March to May 2008 on a sample of 4,601 retailers who sell goods and services to final consumers, this paper aims at analyzing the factors that influence the acceptation and use of cash, check and payment card by French retailers....
... Utilisant les données originales d’un sondage national réalisé de mars à mai 2008 auprès de 4 601 établissements qui commercialisent des biens ou des services auprès de clients finaux, l’objectif de cet article consiste précisément à analyser les facteurs qui influencent l’acceptation et l’usage des espèces, du chèque et de la carte de paiement au sein des commerces de détails en France....
général - core.ac.uk -
Lettre de john j. callum à sir richard cartwright sur un chèque de $500 qu'il envoie pour aider la cause réformiste... Callum à sir Richard Cartwright sur : un chèque de $500 qu'il envoie pour aider la cause réformiste; son opposition à I'annexation aux États-Unis et à certaines formes du libre-échange; son appui à une simple réduction...
général - core.ac.uk -
check
vie sociale - iate.europa.eu
transport terrestre - iate.europa.eu
Paysages urbains rationalisés : de l'orthogonalité et du zonage dans la ville aux origines de la circulation
... In order to demonstrate the inertia created by the check board patterning of towns, an anthropological detour allows the author to goes back in time, and to show how some peoples have resisted such implications through certain...
... Pour mieux montrer l’inertie des plans en damier, il propose de remonter loin dans le temps, sur le mode du détour anthropologique, avant de montrer que certains peuples l’ont réduite mais aussi comment des pratiques ...
général - core.ac.uk -
Le jeu de dames au salon : gravure d'après un dessin de louis le clerc.... Bien que la perspective déforme un peu le damier, la partie en cours est dépeinte avec précision : le jeune joueur n'a plus qu'une dame (noire), alors que son adversaire a encore plusieurs pions sur le damier, ceux-ci...
général - core.ac.uk - PDF: catalogue.bnf.fr
Avenues, quartiers et tribus à thourioi, ou comment compter les cases d'un damier (à propos de diod. xii, 10 et 11)... Avenues, quartiers et tribus à Thourioi, ou comment compter les cases d'un damier (à propos de Diod....
sciences naturelles et appliquées - iate.europa.eu
sciences naturelles et appliquées - iate.europa.eu
politique et structures industrielles / métallurgie et sidérurgie / bâtiment et travaux publics - iate.europa.eu
sciences naturelles et appliquées - iate.europa.eu
Fast and scalable hpsg parsing
... Next, we tested three techniques originally developed for deep parsing: quick check, large constituent inhibition, and hybrid parsing with a CFG chunk parser....
... Ensuite, nous avons examiné trois techniques développées originalement pour l’analyse profonde: quick check, large constituent inhibition, et l’analyse hybride avec la CFG chunk parser....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Etude des étapes précoces de la mécanoperception chez le peuplier : approches biomécanique et moléculaire
... The first aim of this interdisciplinary work was to check the validity of this model in poplar (Populus tremula x alba) on two local responses: the diameter growth and the expression level of a primary mechanosensitive transcription...
... Ces derniers présentent une inhibition de croissance longitudinale
général - core.ac.uk - PDF: 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 -
finances - iate.europa.eu
Variations climatiques et variations du cycle hydrologique aux basses latitudes au cours du quaternaire : une approche combinant modèle et données
... Then, I have developed a model to reproduce the isotopic composition of atmospheric O2 to address the lack of quantitative interpretations of this proxy and to check our assumption of synchronicity with the δ18Ocalcite over several climatic cycles....
... En l’absence du comptage des couches annuelles, ce proxy peut être utilisé comme méthode de datation orbitale des carottes de glace, en lien avec l’insolation au 21 juin à 65°N....
général - core.ac.uk -
Identification et comptage des fragments de coque sur voile de carde et sur fil par analyse d'image. partie 1 : mise au point des modes opératoires... Cette analyse nécessite l'examen et le comptage visuel des défauts, ce qui représente un travail long et fastidieux....
général - core.ac.uk - PDF: agritrop.cirad.fr
Méthodes pour le comptage des fleurs, des graines par cabosse et des ovules par ovaire du cacaoyerDescription de la méthode de comptage des fleurs de cacaoyer en vue d'estimer la floraison, de la méthode de comptage des fèves par cabosse (avec 500 à 1 000 cabosses) et de la méthode de comptage des ovules...

Publications scientifiques

Evolution de l'espace périurbain de saintes : du rural au périurbain
... The building park is modernized by the multiplication of the pavilions, and land use maps are set up to check this urbanization....
...RÉSUMÉ Depuis 1945, la région de Saintes a subi l'exode rural, puis la périurbanisation : cependant, la richesse des terres permet de sauvegarder l'agriculture pendant l'exode, puis d'éviter un mitage excessif alors que l'industrie reste peu développée et que les commerces et les services doivent leur salut à la croissance démographique ; le parc immobilier se modernise avec la multiplication des pavillons et pour contrôler cette urbanisation l'on instaure des POS.Morin...
général - core.ac.uk -
Codage de sources de slepian-wolf utilisant des codes ldpc et application à la télévision interactive
... In this thesis, we investigate practical lossless source coding schemes with side information based on Low Density Parity Check (LDPC) codes....
... Cependant, la technique LDPCA ne permet pas d’optimiser la distribution des degrés du code, ni de contrôler le nombre de cycles courts pour tous les rendements....
recherche et propriété intellectuelle / Europe - core.ac.uk -
Planifier lorsque le but change. une approche inspirée de la recherche de cible mouvante
... To this purpose, MGP uses two strategies: Open Check (OC) that checks if the new goal is still in the current search tree and Plan Follow (PF) that estimates whether executing the actions of the current plan brings MGP closer...
... Pour cela, MGP s'appuie sur deux stratégies : Open Check (OC) qui vérifie si le nouveau but est présent dans l'arbre de recherche déjà construit lors d'une précédente recherche et Plan Follow (PF) qui estime s'il est préférable d'exécuter les actions du plan courant pour se rapprocher du nouveau but plutôt que de relancer une nouvelle recherche...
général - core.ac.uk - PDF: hal.inria.fr
Contrôler et punir les agents du pouvoir, xve xviiie siècle... ISSN : 2269-8000 ISBN : 978-2-36441-121-0 Contrôler et punir interroge l’Histoire sur certaines des plus graves inquiétudes politiques actuelles : l’insuffisance, l’indignité, voire la corruption, des dépositaires de ...
Europe / recherche et propriété intellectuelle / activité agricole - core.ac.uk -
Méta-ihm ou comment contrôler l’espace interactif ambiantDans cet article, nous proposons la notion de Méta-IHM, un ensemble de fonctions (et leur IHM) nécessaire et suffisant pour contrôler et évaluer l’état d’un espace interactif ambiant....
Europe - core.ac.uk - PDF: citeseerx.ist.psu.edu
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
Une architecture cognitive inspirée des théories des processus duaux pour une interaction fluide des comportements réactifs et délibératifs... Le groupe algorithmique effectue les opérations de contrôle dans le système et agit sur le niveau réactif....
général - core.ac.uk - PDF: www.archipel.uqam.ca
Méthode de détection multi-modale de comportements anormaux en sécurité informatique... Afin d'augmenter la sécurité lors de l'authentification, nous cherchons par ces travaux un moyen d'authentification ne reposant pas uniquement sur le mot de passe, mais sur une combinaison d'éléments telle que la frappe clavier et les informations biométriques et sur une validation en continu plutôt qu'une simple vérification à "l'entrée" dans le système
information et traitement de l'information / informatique et traitement des données - core.ac.uk -

Synonymes et termes associés anglais

test

[...]

vent

bait

boot

seam

tick

fuse

slit

Exemples anglais - français

transport terrestre / informatique et traitement des données - iate.europa.eu
informatique et traitement des données - iate.europa.eu
industrie mécanique - techdico
industrie mécanique - iate.europa.eu
industrie mécanique - acta.es
[...]

Traductions en contexte anglais - français

check rail with check block and bolt fastenings

contre-rail fixé au rail avec cales-entretoises

transport terrestre - iate.europa.eu
check rail held in position with check chairs

contre-rail sur supports indépendants

transport terrestre - iate.europa.eu
The check valve (1) comprises a check valve cover (11), a check valve rod (12), a sealing ring (13), a check valve seat (14), and a check valve spring (15).

Le clapet de non-retour (1) comprend un couvercle (11) de clapet de non-retour, une tige (12) de clapet de non-retour, un joint d'étanchéité (13), un siège (14) de clapet de non-retour et un ressort (15) de clapet de non-retour.

industrie mécanique - wipo.int
TMEQ with frequency selector and level control ✓ ✓ ✓ ✓ ✓ ✓

Spectroscopie à bande spectrale limitée ✓ ✓ ✓ ✓ ✓

général - CCMatrix (Wikipedia + CommonCrawl)
A check valve mechanism is constituted of a first check valve portion and a second check valve portion.

Un mécanisme de clapet de non-retour est constitué d'une première partie de clapet de non-retour et d'une seconde partie de clapet de non-retour.

production - wipo.int
The check valve may appropriately be a bistable check valve.

Une soupape bistable de retenue peut convenir comme soupape de retenue.

industries diverses - wipo.int
CHECK is added to the DATA' (DATA' + CHECK) is transmitted.

Le CHECK est ajouté au DATA' (DATA' + CHECK), puis transmis.

électronique et électrotechnique - wipo.int
PCOMP with level control and channel assign switch ✓ ✓ ✓ ✓ ✓ ✓

Spectroscopie à bande spectrale limitée ✓ ✓ ✓ ✓ ✓

général - CCMatrix (Wikipedia + CommonCrawl)


1 milliard de traductions classées par domaine d'activité en 28 langues