Publications scientifiques

Learning acyclic probabilistic circuits using test paths... We adapt the approach of

using test

paths from the Circuit Builder algorithm [AACW06] to show that there is a polynomial time algorithm that uses value injection queries to learn acyclic Boolean probabilistic
...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Automating inductionless induction using test sets... A new method using test sets for checking consistency of an equational theory is proposed....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Learning acyclic probabilistic circuits using test paths... We adapt the approach of using test paths from the Circuit Builder algorithm [AACW06] to show that there is a polynomial time algorithm that uses value injection queries to learn Boolean probabilistic...
électronique et électrotechnique - core.ac.uk - PDF: citeseerx.ist.psu.edu
Automating inductionless induction using test sets ... A new method using test sets for checking consistency of an equational theory is proposed....
général - core.ac.uk -
Using test hypotheses to build a uml model of object-oriented smart card applicationsUsing test to validate conformance of Java Card applications needs to take into account objectoriented specificity of the model and the implementation....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Exemples anglais - français

pouvoir exécutif et administration publique / éducation - iate.europa.eu
pouvoir exécutif et administration publique / éducation - iate.europa.eu
finances / informatique et traitement des données / emploi et travail / agriculture, sylviculture et pêche / technologie et réglementation technique / santé / environnement / communication - iate.europa.eu
[...]

Traductions en contexte anglais - français

Review of models

using test

results

Réexamen des modèles sur la base des résultats des tests

général - eur-lex.europa.eu
Each test tray may be tested using test stations positioned along the conveyor belt.

Chaque plateau de test peut être testé à l'aide de postes de test positionnés le long de la bande transporteuse.

industrie mécanique - wipo.int
Assessment and verification: the applicant shall provide a test report, using test method EN 12868 (1999-12) or EN 14602.

Évaluation et vérification: le demandeur doit fournir un compte rendu dessai réalisé selon la méthode EN 12868 (1999-12) ou EN 14602.

général - eur-lex.europa.eu
You can also test your IPv6 connectivity using test-ipv6.com.

Vous pouvez aussi tester votre connectivité IPv6 en utilisant test-ipv6.com.

général - CCMatrix (Wikipedia + CommonCrawl)
Mobile communication devices can be test-enabled using test-enable software that can, for example, be downloaded from the test-enable authority by a software developer.

Les dispositifs de communication mobile peuvent être autorisés à subir des tests au moyen d'un logiciel d'autorisation de test qui peut, par exemple, se télécharger depuis l'autorité d'autorisation à l'initiative du développeur du logiciel.

informatique et traitement des données - wipo.int
Elaborate and describe test cases in detail by using test design techniques.

i. Elaborer et décrire les cas de test en détail en employant des techniques de conception de test

général - CCMatrix (Wikipedia + CommonCrawl)
i.Elaborate and describe test cases in detail by using test design techniques.

i. Elaborer et décrire les cas de test en détail en employant des techniques de conception de test

général - CCMatrix (Wikipedia + CommonCrawl)
Try continuous replication yourself using test clusters.

Essayez vous-même la réplication en utilisant des grappes de test.

général - CCMatrix (Wikipedia + CommonCrawl)
The adjustment values are adjusted using test signals with well defined subjective quality scores.

Les valeurs de réglage sont réglées au moyen de signaux de test avec des indices de qualité subjectifs définis précisément.

sciences naturelles et appliquées - wipo.int
For more information, see Using Test Controllers and Test Agents with Load Tests.

Pour plus d'informations, consultez Configuration des contrôleurs de test et des agents de test pour le test de charge.

général - CCMatrix (Wikipedia + CommonCrawl)
The method includes displaying (310) on the television set, using test image information from the image-generating electronic device, a test image (102).

Le procédé consiste notamment à afficher (310) sur la télévision, au moyen des informations d'image-test provenant du dispositif électronique générateur d'images, une image-test (102).

électronique et électrotechnique - wipo.int
The elaboration of test conditions into test cases and sets of test cases during test design often involves using test techniques (see chapter 4).

La déclinaison des conditions de test en cas de test et ensembles de cas de test lors de la conception des tests implique souvent l’utilisation de techniques de test (voir chapitre 4).

général - CCMatrix (Wikipedia + CommonCrawl)
Collect and test water and sewage samples, using test equipment and color analysis standards.

Recueillir et tester des échantillons d'eau et d'eaux d'égout pour en vérifier le contenu bactérien, en utilisant des équipements d'essai et des analyses de couleurs standards

général - CCMatrix (Wikipedia + CommonCrawl)
For that purpose Member States should recognise the validity of test data produced using test methods provided for under the legislation of the Union.

À cet effet, il convient que les États membres reconnaissent la validité des données expérimentales produites au moyen de méthodes dessais prévues par la législation de lUnion.

informatique et traitement des données - eur-lex.europa.eu
A method of benchmark testing, using test data, a component of a first computer system, using an additional computer system to restore said data.

Cette invention concerne un procédé d'évaluation des performances, à l'aide de données d'essai, d'un composant d'un premier système informatique utilisant un système informatique supplémentaire pour rétablir lesdites données.

informatique et traitement des données - wipo.int


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