Dictionnaire français - anglais

analyse économique - iate.europa.eu
économie - iate.europa.eu

Publications scientifiques

Gauss's theorem on sums of 3 squares sheaves, and gauss composition
... Nous montrons au chapitre 4 comment obtenir explicitement l'action, donnée par la méthode des faisceaux, du groupe des classes sur l'ensemble des SO3(Z)-orbites sur la sphère en termes de SO3(Q)....
... In Chapter 4 we make the action given by the sheaf method of the Picard group on the set of SO3(Z)-orbits on the sphere explicit, in terms of SO3(Q)
commercialisation / production et structures agricoles - core.ac.uk -
Plasticity of quartz : crystallographic models and t. e. m. observations
... Tous ces modèles ont été confirmés par microscopie électronique en utilisant la méthode des faisceaux faibles....
général - core.ac.uk -
A hybrid type system for lock-freedom of mobile processes. an extended version. http://www.kb.ecei.tohoku.ac.jp/ ∼ koba/ papers/hybrid.pdf... Distinguishing features of our type system are: it can verify lock-freedom of concurrent programs that have sophisticated recursive communication structures; it can be fully automated; it is hybrid, in that it combines a type system for lock-freedom with local reasoning about deadlock-freedom, termination, and confluence analyses....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Strong joinability analysis for graph transformation systems in chr ... This work presents a generalized embedding of GTS in CHR that allows to consider strong derivations in confluence analyses....
général - core.ac.uk -
T.: strong joinability analysis for graph transformation systems... This work presents a generalized embedding of GTS in CHR that allows to consider strong derivations in confluence analyses....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Confluence analysis for a graph programming language... Conventional confluence analysis is done via so-called critical pairs, which are conflicts in minimal context....
général - core.ac.uk - PDF: etheses.whiterose.ac.uk
Parallelizing union-find in constraint handling rules using confluence analysis... It turns out that confluence analysis of the sequential implementation gives almost all the information needed to parallelize the union-find algorithm under a rather general parallel computation...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés français

Exemples français - anglais

communication / informatique et traitement des données - iate.europa.eu
communication / informatique et traitement des données - iate.europa.eu
électronique et électrotechnique - iate.europa.eu
communication / informatique et traitement des données - iate.europa.eu
communication / informatique et traitement des données - iate.europa.eu
[...]

Traductions en contexte français - anglais

Pour la méthode des faisceaux de neutrinos et la démonstration de la structure en doublet des leptons par la découvert du neutrino muonique.

Awarded for the neutrino beam method and the demonstration of the doublet structure of the leptons through the discovery of the muon neutrino.

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


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