Vertaling van "algorithme de démonstration automatique " (Frans → Engels) :

TERMINOLOGIE

algorithme de démonstration automatique
automatic proving algorithm

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 ]

algorithme de vision automatique
machine-vision algorithm

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

algorithme de démonstration
demonstration algorithm [ proving algorithm ]

IN-CONTEXT TRANSLATIONS

Nous avons accru la vitesse et la précision de nos retraits: aujourd'hui 98 % des vidéos que nous retirons de YouTube pour motif d'extrémisme violent nous sont signalées par des algorithmes d'apprentissage automatique; le chiffre n'était que de 75 % il y a quelques mois seulement et notre objectif est de porter à 10 000 le nombre de personnes travaillant au traitement des contenus problématiques sur Google en 2018.
We've improved the speed and accuracy of our removals - today, 98 percent of the videos we remove for violent extremism on YouTube are flagged to us by machine-learning algorithms, up from 75 percent just a few months ago, and we've a goal to bring the number of people working to tackle problematic content across Google to 10,000 in 2018.

- 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).

39)«trading algorithmique», la négociation d’instruments financiers dans laquelle un algorithme informatique détermine automatiquement les différents paramètres des ordres, comme la décision de lancer l’ordre, la date et l’heure, le prix ou la quantité de l’ordre, ou la manière de gérer l’ordre après sa soumission, avec une intervention humaine limitée ou sans intervention humaine; ne couvre pas les systèmes utilisés uniquement pour acheminer des ordres vers une ou plusieurs plates-formes de négociation ou pour le traitement d’ordres n’impliquant la détermination d’aucun paramètre de négociation ou pour la confirmation des ordres ou pour exécuter les ordres de clients ou pour le traitement post-négociation des transactions exécutées.
(39)‘algorithmic trading’ means trading in financial instruments where a computer algorithm automatically determines individual parameters of orders such as whether to initiate the order, the timing, price or quantity of the order or how to manage the order after its submission, with limited or no human intervention, and does not include any system that is only used for the purpose of routing orders to one or more trading venues or for the processing of orders involving no determination of any trading parameters or for the confirmation of orders or the post-trade processing of executed transactions.

«trading algorithmique», la négociation d’instruments financiers dans laquelle un algorithme informatique détermine automatiquement les différents paramètres des ordres, comme la décision de lancer l’ordre, la date et l’heure, le prix ou la quantité de l’ordre, ou la manière de gérer l’ordre après sa soumission, avec une intervention humaine limitée ou sans intervention humaine; ne couvre pas les systèmes utilisés uniquement pour acheminer des ordres vers une ou plusieurs plates-formes de négociation ou pour le traitement d’ordres n’impliquant la détermination d’aucun paramètre de négociation ou pour la confirmation des ordres ou pour exécuter les ordres de clients ou pour le traitement post-négociation des transactions exécutées;
‘algorithmic trading’ means trading in financial instruments where a computer algorithm automatically determines individual parameters of orders such as whether to initiate the order, the timing, price or quantity of the order or how to manage the order after its submission, with limited or no human intervention, and does not include any system that is only used for the purpose of routing orders to one or more trading venues or for the processing of orders involving no determination of any trading parameters or for the confirmation of orders or the post-trade processing of executed transactions;

Nombre d’entre eux ont désormais recours au trading algorithmique, dans lequel un algorithme informatique détermine automatiquement certains aspects d’un ordre, l’intervention humaine étant limitée ou nulle.
Many market participants now make use of algorithmic trading where a computer algorithm automatically determines aspects of an order with minimal or no human intervention.

30) «trading algorithmique»: la négociation d’instruments financiers dans laquelle un algorithme informatique détermine automatiquement les différents paramètres des ordres, comme la décision de lancer l’ordre, la date et l’heure, le prix ou la quantité de l’ordre, ou la manière de gérer l’ordre après sa soumission, avec une intervention humaine limitée ou sans intervention humaine.
30) "Algorithmic trading" means trading in financial instruments where a computer algorithm automatically determines individual parameters of orders such as whether to initiate the order, the timing, price or quantity of the order or how to manage the order after its submission, with limited or no human intervention.

Nombre d’entre eux ont désormais recours au trading algorithmique, dans lequel un algorithme informatique détermine automatiquement certains aspects d’un ordre, l'intervention humaine étant limitée ou nulle.
Many market participants now make use of algorithmic trading where a computer algorithm automatically determines aspects of an order with minimal or no human intervention.

les États membres procèdent à des contrôles par recoupements, à des analyses et à des vérifications des données ci-après au moyen d’algorithmes informatiques et d’autres mécanismes automatiques:
Member States shall perform cross-checking, analyses and verifications of the following data through automated computerised algorithms and mechanisms:

Les systèmes de langue anglaise de lecture optique (OCR) ont été expérimentés et utilisés sur la plupart des polices d'impression au cours des 10 à 15 dernières années et améliorés par les algorithmes automatiques ou semi-automatiques de correction d'orthographe.
English-language optical character recognition (OCR) systems have been tested and run on most print fonts over the past 10 to 15 years, and have been enhanced by automatic or semi-automatic spelling correction algorithms.