Traduction de «Méthode de démonstration automatique » (Français → Anglais) :

TERMINOLOGIE

méthode de démonstration automatique
automatic proving method

démonstration automatique de théorèmes | démonstration automatisée de théorèmes | preuve automatique de théorèmes | démonstration mécanique de théorèmes
automatic theorem proving | automated theorem proving | mechanical theorem proving

démonstration automatique de théorèmes [ preuve automatique de théorèmes | démonstration automatisée de théorèmes ]
automatic theorem proving [ automated theorem proving ]

démonstrateur de théorèmes | démonstration automatique de théorèmes
automatic deduction | mechanical theorem proving

démonstration automatique
automatic proving

méthode de segmentation automatique multibandes
multiband automatic segmentation method

démonstration par l'absurde | méthode de résolution de Robinson
resolution

méthode de la démonstration
show and tell method

TRADUCTIONS EN CONTEXTE

Ces documents ont abordé la question de l'équivalence des méthodes de mesure automatique généralement utilisées avec la méthode de mesure manuelle de référence.
These documents addressed the issue of equivalence of commonly used automatic measurement methods with the manual reference measurement method.

Le pouvoir adjudicateur structure l'enchère électronique comme un processus électronique itératif, qui intervient après une première évaluation complète des offres, ce qui permet de les classer au moyen de méthodes d'évaluation automatiques.
The contracting authority shall structure the electronic auction as a repetitive electronic process, which occurs after an initial full evaluation of the tenders, enabling them to be ranked using automatic evaluation methods.

- Démonstration du bien-fondé et de l'acceptabilité de dispositifs d'étiquetage, de poursuite et de repérage par des capteurs statiques et mobiles multiples améliorant la capacité de localiser, d'identifier et de suivre les mouvements des valeurs mobilières, des marchandises et des personnes, y compris des techniques de documentation intelligente (biométrie, puces automatiques de positionnement, par exemple) et d'analyse de données (contrôle et accès à distance).
- Demonstration of the appropriateness and acceptability of tagging, tracking and tracing devices by static and mobile multiple sensors that improve the capability to locate, identify and follow the movement of mobile assets, goods and persons, including smart documentation (e.g. biometrics, automatic chips with positioning) and data analysis techniques (remote control and access).

Étant donné que certains marchés de services ou de travaux ayant pour objet des prestations intellectuelles, telles que la conception de travaux, ne peuvent être classés au moyen de méthodes d’évaluation automatiques, ils ne font pas l’objet d’enchères électroniques.
Certain service contracts and certain works contracts having as their subject-matter intellectual performances, such as the design of works, which cannot be ranked using automatic evaluation methods, shall not be the object of electronic auctions.

À cette fin, les entités adjudicatrices structurent l’enchère électronique comme un processus électronique itératif, qui intervient après une première évaluation complète des offres, ce qui permet de les classer au moyen de méthodes d’évaluation automatiques.
For this purpose, contracting entities shall structure the electronic auction as a repetitive electronic process, which occurs after an initial full evaluation of the tenders, enabling them to be ranked using automatic evaluation methods.

EN 16357: Amendements minéraux basiques carbonatés – Détermination de la réactivité – Méthode par titration automatique à l’acide citrique
EN 16357: Carbonate liming materials — Determination of reactivity — Automatic titration method with citric acid

les laboratoires nationaux, désignés par l’autorité ou organisme compétent adéquat désigné en vertu de l’article 3, qui participent aux exercices de comparaison à l’échelle de la Communauté portant sur les polluants couverts par la présente directive, soient accrédités conformément à la norme EN/ISO 17025 d’ici à 2010 pour les méthodes de référence visées à l’annexe VI. Ces laboratoires participent à la coordination, sur le territoire des États membres, des programmes d’assurance de la qualité à l’échelle communautaire qui seront mis en place par la Commission; ils coordonnent aussi, au niveau national, l’application adéquate des méthodes de référence ainsi que la démonstration de l’équivalence des méthodes autres que les méthodes de référence.
that the national laboratories, when appointed by the appropriate competent authority or body designated pursuant to Article 3, that are taking part in Community-wide intercomparisons covering pollutants regulated in this Directive, are accredited according to EN/ISO 17025 by 2010 for the reference methods referred to in Annex VI. These laboratories shall be involved in the coordination on Member States territory of the Community wide quality assurance programmes to be organised by the Commission and shall also coordinate, on the national level, the appropriate realisation of reference methods and the demonstration of equivalence of non-reference methods.

Une question soulevée par certaines autorités de contrôle nationales était de savoir si, afin de sanctionner un professionnel pour violation des articles 6 à 9 de la DPCD, il fallait démontrer que, par son comportement, il manquait à son obligation de diligence professionnelle. La Commission considère que cette démonstration ne s’impose pas et qu’il y a violation automatique de la diligence professionnelle en cas d’action ou d’omission trompeuse ou de pratique agressive.
One issue raised by some national enforcers was whether, in order to penalise a trader for a breach of Articles 6 to 9 of the UCPD, it had to be demonstrated that the conduct was in breach of ‘professional diligence’. The Commission considers that there is no such need and that professional diligence is automatically violated in the event of a misleading action, omission or aggressive practice.