Verification Problems of the Washington Treaty on the Elimination of Intermediate-Range Missiles.
Problèmes de vérification du Traité de Washington du 8 décembre 1987 sur l'élimination des missiles à portée intermédiaire.
Foreign traders can have verification problems.
Les commerçants étrangers peuvent avoir des problèmes de vérification.
Run a set of verification problems and compare results.
Exécutez un ensemble devérification de problèmes et comparez les résultats.
Such real-world systems are so powerful that all verification problems become undecidable.
Ces systèmes, utilisés en pratique, sont si puissants que tous leurs problèmes de vérification deviennent indécidables.
Many verification problems can be reduced to a satisfiability problem modulo theories(SMT.
De nombreux problèmes de vérification peuvent se réduire à un problème de satisfaisabilité modulo des théories(SMT.
Current methods are unable to handle the verification problems stemming from realistic systems.
Les méthodes actuelles ne sont malheureusement pas capable de traiter les problèmes de vérification correspondant à des systèmes critiques réalistes.
There were also verification problems with 30 per cent of those whose fingerprint was taken during an enrolment trial of 10,000 volunteers.
Il y avait également des problèmes de vérification avec 30 pour cent de ceux dont l'empreinte digitale a été prise pendant une épreuve d'inscription de 10.000 volontaires.
You can find troubleshooting information and instructions on how to check your domain verification settings in Amazon SES Email Address and Domain Verification Problems.
Vous trouverez des informations de dépannage et des instructions sur la manière de contrôler vos paramètres de vérification de domaine dans Problèmes de vérification d'adresse e-mail et de domaine Amazon SES.
For information about domain verification problems that you might encounter, see Amazon SES Email Address and Domain Verification Problems.
Pour obtenir des informations sur les problèmes de vérificationde domaine que vous êtes susceptible de rencontrer, consultez Problèmes de vérification d'adresse e-mail et de domaine Amazon SES.
If you want to verify the same domain in multiple regions and your DNS provider does not allow you to have multiple TXT records with the same name,see the workarounds in Common Domain Verification Problems.
Si vous souhaitez vérifier le même domaine dans plusieurs régions et que votre fournisseur DNS ne vous permet pas d'avoir plusieurs enregistrements TXT avec le même nom,consultez les solutions de contournement de Problèmes courants de vérificationde domaine.
It is true that this ambitious objective will pose major verification problems, because it is always possible to envisage a situation in which some low-intensity explosions might not be detected.
Cet objectif ambitieux posera certes de grands problèmes de vérification, parce qu'il est toujours possible que certaines explosions de faible intensité ne seront pas détectées.
KOREA and NIGERIA stressed that emissions trading should supplement national reductions andcautioned that rules to govern it must be defined in advance to avoid compliance and verification problems.
La COREE et le NIGERIA soulignèrent que les échanges de droits d'émission doivent être complémentaires aux réductions nationales et mirent en garde queles règles qui viendront le régir doivent être définies à l'avance pour éviter les problèmesde conformité et de vérification.
We believe that, as some other delegations have stated, the verification problems that could arise from a broader definition such as this must be resolved when we discuss the chapter on verification..
Nous estimons, à l'instar d'autres délégations, que les problèmes de vérification qu'une telle définition élargie pourrait susciter doivent être résolus au moment de l'examen du chapitre sur la vérification..
And verification problems are often reduced to decision problems for these formalisms such as reachability/language emptiness for the automata, satisfiability/validity for the logics, winning strategies for games, etc.
Et les problèmes de la vérification sont souvent ramenés à des problèmes de décision sur ces formalismes accessibilité/langage vide pour les automates, satisfaisabilité pour les logiques, stratégies gagnantes pour les jeux, etc.
With respect to fuel cycle facilities at the back end of the fuel cycle(spent fuel and related facilities),there are no major verification problems, since technological advances allow for efficient IAEA safeguards using real time verification for MOX and spent fuel and related facilities.
En ce qui concerne les installations de la partie terminale du cycle du combustible(installations pour combustible usé etinstallations connexes), la vérification ne pose pas de problème majeur, car les progrès technologiques permettent à l'AIEA d'appliquer des garanties efficientes en recourant à des méthodes de vérification en temps réel du combustible MOX et usé et des installations connexes.
First, we tackle face verification problem from RGB images.
Nous abordons en premier le problème de vérificationde visage à partir d'images RVB.
The verification problem may be due to the fact that the claimant.
Ce problème de vérification peut être attribuable au fait que le demandeur.
Fortunately, there's a small workaround to the two-step verification problem.
Heureusement, il existe une petite solution de contournement au problème de vérification en deux étapes.
A verification problem and a generic telecommunication pole example are presented that show the effectiveness of the proposed approach.
Un problème de vérification et un exemple de pôle générique de télécommunications sont présentés montrant l'efficacité de l'approche proposée.
Additionally, an SQL injection in the update_record function,a problem with symbolic links and a verification problem with Glossary, database and forum ratings have been fixed.
De plus, une injection SQL dans la fonction update_record,un problème de liens symboliques et un problème de vérification avec Glossaire, la base de données et l'évaluation des messages des forums ont été corrigés.
The verification problem is then reduced to the computation of thereachability sets in this framework.
Le problème de la vérification est ensuite réduit au calcul des ensembles desaccessibles dans ce cadre.
Abstract: This thesis is about the verification problem of systems having an infinite number of states.
Résumé: Cette thèse traite du problème de la vérificationde systèmes ayant un nombre infini d'états.
Fourth, the proper solution of the verification problem is another complex and difficult task in the CTBT negotiations.
Quatrièmement, il s'agira d'apporter dans le cadre des négociations sur le traité une solution adéquate au problème difficile et complexe de la vérification.
The company evaluated whether it should recruit additional warehouse staff to physically check all shipments, oradopt a technology solution to address the loading verification problem.
La société a dès lors évalué s'il fallait recruter du personnel supplémentaire en entrepôt pour procéder à la vérification physique de tous les colis ouadopter une solution technologique à même de corriger les problèmes de vérificationde chargement.
In compliance with this request I have established a working group within the IAEA secretariat to examine the verification problem and to prepare background papers which may be of use in the negotiations between States.
Conformément à cette demande, j'ai mis en place un groupe de travail au sein du secrétariat de l'AIEA pour examiner le problème des vérifications et préparer les articles d'information qui pourraient être utilisés dans les négociations entre États.
English
Dansk
Deutsch
Español
Italiano
Nederlands
Svenska
عربى
Български
বাংলা
Český
Ελληνικά
Suomi
עִברִית
हिंदी
Hrvatski
Magyar
Bahasa indonesia
日本語
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt
中文