Publications scientifiques

Proof-pattern search in coq/ssreflect?... ML4PG is an extension of the Proof

General interface

of Coq, allowing the user to invoke machine-learning algorithms and find proof similarities in Coq/SSReflect libraries.
...
général - core.ac.uk - PDF: www.unirioja.es
Pde2path–v2: multi-parameter continuation and periodic domains, 28.3.2014...(i.e., periodic boundary conditions), a general interface for adding auxiliary equations like mass conservation or phase equations for continuation of traveling waves, and a more efficient FEM usage....
général - core.ac.uk - PDF: www.staff.uni-oldenburg.de
Service discovery in pervasive computing environments... A general approach to service invocation in pervasive computing environments also establishes a general interface for introducing latest devices and services
général - core.ac.uk - PDF: www.scopus.com

Synonymes et termes associés anglais

Exemples anglais - français

santé - iate.europa.eu
santé / sciences naturelles et appliquées / bâtiment et travaux publics / technologie et réglementation technique / communication / informatique et traitement des données - iate.europa.eu
sciences naturelles et appliquées - iate.europa.eu
[...]
général - eur-lex.europa.eu
général - eur-lex.europa.eu

Traductions en contexte anglais - français

The mechanism provides a

general interface

between an electric motor and a seat actuator.

Le mécanisme sert d'interface générale entre un moteur électrique et un actionneur de siège.

organisation des transports - wipo.int
Active Directory Service Interface (ADSI) is a general interface for administering services in Windows NT.

Active Directory Service Interface (ADSI) Interface générale de NT pour l'administration des services.

général - CCMatrix (Wikipedia + CommonCrawl)
Interface segregation principle: having many client-specific interfaces is better than having a very general interface.

Interface Segregation Principle : il vaut mieux avoir plusieurs interfaces spécifiques qu’une unique interface générique.

général - CCMatrix (Wikipedia + CommonCrawl)
An execution control section executes a multiplayer game with another portable game machine connected through the communication interface by using game data received through the general interface.

Une section de commande d'exécution exécute un jeu multijoueurs avec une autre machine de jeu portable connectée grâce à l'interface de communication en utilisant des données de jeu reçues grâce à l'interface générale.

vie sociale - wipo.int
The general interface of the site must be improved and renewed.

L'interface du site doit être améliorée et modernisée

général - CCMatrix (Wikipedia + CommonCrawl)
Disclosed is a hardware abstract data structure, including a general interface (GI), a coherent interface (CI), a control and configure logic (CCL), an intelligent logic (IL) and a memory pool (MP).

L'invention porte sur une structure de données abstraite matérielle, comprenant une interface générale (GI), une interface cohérente (CI), une logique de commande et de configuration (CCL), une logique intelligente (IL) et un pool de mémoire (MP).

informatique et traitement des données - wipo.int
Integration segregation principle – Many specific interfaces are better than one general interface.

I : Interface segregation principle, plusieurs interfaces spécifiques sont meilleurs qu'une seule interface générale

général - CCMatrix (Wikipedia + CommonCrawl)
Indeed, the general interface of the application is raw or even poor.

L'interface générale de l'application est brute, voire austère.

général - CCMatrix (Wikipedia + CommonCrawl)
Integration segregation principle – Many specific interfaces are better than one general interface.

Interface Segregation Principle : il vaut mieux avoir plusieurs interfaces spécifiques qu’une unique interface générique.

général - CCMatrix (Wikipedia + CommonCrawl)
Such products for California corporations will produce Biel Crystal Manufactory or General Interface Solution.

Ces produits pour la californienne société est de produire Biel Crystal Usine ou de l’Interface générale de la Solution.

général - CCMatrix (Wikipedia + CommonCrawl)
The common module (12) has a general purpose interface, is connected to the replaceable module (11) through the general purpose interface, and can be disconnected from the replaceable module through the general purpose interface.

Le module commun possède une interface universelle, est connecté au module remplaçable par l'interface universelle et peut être déconnecté physiquement du module remplaçable par l'interface universelle.

industries nucléaire et électrique - wipo.int
A computer (1) has, as a general-purpose peripheral device interface, a USB connection interface (11).

Un ordinateur (1) comporte, en tant qu'interface d'usage général pour dispositif périphérique, une interface de connexion USB (11).

informatique et traitement des données - wipo.int
These databases must be accessible via the Common Interface (4.2.14.1: General Architecture and 4.2.12.6: Common Interface).

Les plans d'acheminement des wagons doivent être enregistrés par chaque EFP dans une base de données, qui doivent être accessibles via l'interface commune (points 4.2.12.1 Architecture générale et 4.2.12.6 Interface commune).

information et traitement de l'information - eur-lex.europa.eu
These databases must be accessible via the Common Interface (4.2.12.1: General Architecture and 4.2.12.6: Common Interface).

Ces bases de données doivent être accessibles via l'interface commune (points 4.2.12.1 Architecture générale et 4.2.12.6 Interface commune).

information et traitement de l'information - eur-lex.europa.eu
This database must be accessible via the Common Interface (4.2.12.1: General Architecture and 4.2.12.6: Common Interface).

Cette base de données doit être accessible via l'interface commune (points 4.2.12.1 Architecture générale et 4.2.12.6 Interface commune).

information et traitement de l'information - eur-lex.europa.eu


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