Dictionnaire français - anglais

industrie mécanique - iate.europa.eu
Automated test generation for industrial erlang applicationsWe present an implemented technique for generating test cases from state machine specifications....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Developing energy estimation model based on sustainability kpi of machine tools ... The data relating to energy consumption can be classified into process parameters and machine specifications....
A hybrid state machine notation for component specification abstract... Reusable software components are generated from these extended state machine specifications....
Composing problems: deriving specifications from inconsistent requirements... We illustrate the work using Problem Frames, an approach to the decomposition of problems that relates requirements, domain properties, and machine specifications....
Executable use cases as links between application domain requirements and machine specificationsWe explain how Executable Use Cases (EUCs) constitute links between application domain requirements and machine specifications....
industrie mécanique - iate.europa.eu
Study of verification and validation of standard welding procedure specifications guidelines for api 5l x-70 grade line pipe weldingVerification and validation of welding procedure specifications for X-70 grade line pipe welding wasperformed as per clause 8.2,...
industrie mécanique - core.ac.uk - PDF: essuir.sumdu.edu.ua
Www.elsevier.com/locate/csi formalizing odp enterprise specifications in maude... In this paper, we explore the possibility of using Maude as a formal notation for writing and reasoning about RM-ODP enterprise specifications....
Writing odp enterprise specifications in maude. a case study... In this paper we explore the possibility of using Maude as a formal notation for writing and reasoning about RM-ODP enterprise specifications....
Distributing requirements specifications on basic splice... It is proved that the seemingly weak architecture Basic Splice introduced there --in which the coordination of processes is done using only a global set with read/write primitives-- can support a distributed implementation of a large class of requirements specifications, namely LPEs (a muCRL intermediate representation of specifications)

Publications scientifiques

An infinite set of tree amplitudes in higgs-yang-millsIt is pointed out that the Parke-Taylor or maximally helicity violatingamplitudes in the pure Yang-Mills can, after some specifications, beinterpreted as amplitudes of scattering of massive vector bosons in theHiggs-Yang-Mills system.Comment:...
commercialisation / industrie mécanique / production et structures agricoles - core.ac.uk - PDF: arxiv.org

Exemples français - anglais

recherche et propriété intellectuelle - iate.europa.eu
industrie mécanique - techdico
commercialisation / informatique et traitement des données - iate.europa.eu
[...]
technologie et réglementation technique - eur-lex.europa.eu
communication / général - iate.europa.eu
[...]

Traductions en contexte français - anglais

Caractéristiques techniques principales du Fastrack M1306B:

Main technical characteristics of the Fastrack M1306B:

général - CCMatrix (Wikipedia + CommonCrawl)
L'invention permet de perfectionner l'anode multicouche pour condensateur électrolytique en assurant des caractéristiques techniques principales améliorées.

The claimed technical solution makes it possible to improve the multilayer anode for an electrical capacitor providing it with higher major technical characteristics.

électronique et électrotechnique - wipo.int
Toutes les caractéristiques techniques principales de ce ventilateur sont énumérées dans le tableau ci-dessous.

All the main technical characteristics of this blower are listed in the table below.

général - CCMatrix (Wikipedia + CommonCrawl)
La structure de TNT 2012 maintiendra les caractéristiques techniques principales des précédentes éditions, présentant une opportunité unique de l'interaction grande.

The TNT2009 structure will keep the fundamental features of the previous editions, providing a unique opportunity for broad interaction.

général - CCMatrix (Wikipedia + CommonCrawl)
La structure de TNT 2012 maintiendra les caractéristiques techniques principales des précédentes éditions, présentant une opportunité unique de l'interaction grande.

The TNT2013 structure will keep the fundamental features of the previous editions, providing a unique opportunity for broad interaction.

général - CCMatrix (Wikipedia + CommonCrawl)
La structure de TNT 2012 maintiendra les caractéristiques techniques principales des précédentes éditions, présentant une opportunité unique de l'interaction grande.

The TNT2014 structure will keep the fundamental features of the previous editions, providing a unique opportunity for broad interaction.

général - CCMatrix (Wikipedia + CommonCrawl)
La structure de TNT 2012 maintiendra les caractéristiques techniques principales des précédentes éditions, présentant une opportunité unique de l'interaction grande.

The TNT2012 structure will keep the fundamental features of the previous editions, providing a unique opportunity for broad interaction.

général - CCMatrix (Wikipedia + CommonCrawl)
Les téléviseurs de la même série ont la même base d’élément, ce qui indique que les caractéristiques techniques principales sont les mêmes.

TVs of the same series have the same element base, which indicates that the main technical characteristics are the same.

général - CCMatrix (Wikipedia + CommonCrawl)
Les téléviseurs de la même série ont la même base d'élément, ce qui indique que les caractéristiques techniques principales sont les mêmes.

TVs of the same series have the same element base, which indicates that the main technical characteristics are the same.

général - CCMatrix (Wikipedia + CommonCrawl)


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