Dictionnaire anglais - français

formally

politique internationale - iate.europa.eu
Formally adopt the National Action Plan on Asylum.

Adopter formellement le plan national daction sur lasile.

général - eur-lex.europa.eu
Formally, the nitrogen in the ligand is mononegative.

Formellement, l'azote dans le ligand a une charge négative de (-1).

chimie - wipo.int
A system and method formally verifies a statechart.

L'invention concerne un système et un procédé vérifiant formellement un diagramme d'état.

informatique et traitement des données - wipo.int
The company re-offered formally its original undertaking.

La requérante a formellement offert à nouveau son engagement initial.

concurrence - eur-lex.europa.eu
The competent authority shall formally appoint an assessment team.

Lautorité compétente nomme formellement une équipe dévaluation.

construction européenne - eur-lex.europa.eu
A p-adic approach to local analytic dynamics: analytic conjugacy of analytic maps tangent to the identity
... We show that any two mappings f and g which are formally equivalent are also analytically equivalent....
... Dans ce contexte, tout ce qui peut être prouve ́ formellement peut aussi être prouve ́ analytiquement....
général - core.ac.uk - PDF: www.math.ou.edu
Translation validation for transformations on abstract clocks in synchronous languages
Translation validation was introduced as a technique to formally verify the correctness of code generators that attempts to verify that program transformations preserve the semantics....
...Validation de la traduction a été présenté comme une technique permettant de vérifier formellement l'exactitude des générateurs de code qui tente de vérifier que les transformations de programmes préservent la sémantique....
général - core.ac.uk - PDF: core.ac.uk
The theory of the quadratic zeeman effect
... These structures may be attributed to the term in the Hamiltonian quadratic in the magnetic field, giving rise to a formally non-separable problem....
... On peut attribuer ces structures au terme Hamiltonien du deuxième degré dans le champ magnétique, donnant un problème formellement inséparable....
général - core.ac.uk -
Le rôle de l'habitude dans la perception chez merleau-ponty
... Formally, we are interested in how motor intelligence constitutes and directs perception....
... Formellement, nous nous intéresserons à la manière dont l’intelligence motrice constitue et oriente la perception....
général - core.ac.uk -
Théâtre africain et théâtre québécois : un essai de rapprochement
... However, in both instances, we notice a desire to create a politically relevant, yet formally innovative theatre; hence a recourse to dance, song, music, etc....
... Mais, de part et d’autre, on note un même souci de produire un théâtre politique qui soit aussi formellement novateur....
général - core.ac.uk - PDF: www.erudit.org
Amphetamines and ecstasy 2011 global ats assessment global smart programmeacknowledgements... DISCLAIMER The publication has not been formally edited....
Le monde allant verne... Transposer formellement les œuvres de Jules Verne au cinéma pose essentiellement et quasi-systématiquement la question de la conception visuelle....
politique internationale / politique de coopération - core.ac.uk - PDF: citeseerx.ist.psu.edugénéral - core.ac.uk - PDF: journals.openedition.org
Le portrait double et le double dans le portraitDate du colloque : 12/2010International audienceL’autoportrait lyrique  est à rapprocher formellement du portrait double....
Excès vertical antérieur et disjonction maxillaireLa disjonction maxillaire n'est pas formellement contre-indiquée dans les syndromes d'excès vertical....
Vérification formelle de conditions d'ordonnancabilité de tâches temps réel périodiques strictesNational audienceNous formalisons en Coq le problème de l'ordonnancement de tâches périodiques strictes non préemptives et prouvons formellement le théorème dû à Jan Korst donnant la condition nécessaire et suffisante pour l'ordonnançabilité de telles tâches
La jurisprudence du tribunal de première instance à propose des inscriptions sur les listes terroristes... Si l'inscription est effectuée par le comité des sanctions du Conseil de sécurité (procédure 1267), les autorités communautaires agissent dans le cadre d'une compétence liée et ne font que transposer les décisions dudit comité formellement intégrées par des résolutions du Conseil de sécurité prises en vertu du chapitre VII de la Charte....

Publications scientifiques

A formal presentation of electronic commerce protocols... Finally, we formally specify and verify the Secure Sockets Layer protocol, which can be used to provide privacy for these digital cash protocols
construction européenne / politique internationale / commerce international - core.ac.uk - PDF: citeseerx.ist.psu.edu
Automated synthesis of multi–party rational exchange security protocols... The common understanding of rationality as a security property has encouraged researchers to look for methods to formally analyze and categorize ratio-nal protocols....
construction européenne / politique internationale / politique énergétique - core.ac.uk - PDF: www.seg.inf.uc3m.es

Exemples anglais - français

institutions de l'union européenne et fonction publique européenne / justice - iate.europa.eu
droit - iate.europa.eu
[...]

Traductions en contexte anglais - français

formally approve the CAME.

approuve officiellement les spécifications en matière de gestion du maintien de la navigabilité.

général - eur-lex.europa.eu
Date of next formally expected check

Date prévue du prochain contrôle

général - eur-lex.europa.eu
I'm pleased to meet you formally and less formally.

J'aurais plaisir à la rencontrer de façon moins formelle.

général - CCMatrix (Wikipedia + CommonCrawl)
These suggestions were not formally followed up.

Aucune suite formelle na été donnée à ces suggestions.

politique de coopération - eur-lex.europa.eu
GROUNDS FOR FORMALLY INITIATING THE INVESTIGATION PROCEDURE

RAISONS AYANT CONDUIT À L'OUVERTURE FORMELLE DE LA PROCÉDURE D'EXAMEN

concurrence - eur-lex.europa.eu
This learning can be delivered informally, non-formally or formally.

Cet apprentissage peut être dispensé de manière informelle, non formelle ou formelle.

général - CCMatrix (Wikipedia + CommonCrawl)
existence of a formally defined ICT security policy.

existence d'une stratégie bien définie de sécurité des TIC.

général - eur-lex.europa.eu
It is appropriate formally to establish that Committee.

Il convient dinstituer officiellement ce comité.

général - eur-lex.europa.eu
These laws have been formally notified to the Commission.

Ces législations ont été communiquées officiellement à la Commission.

politique économique - eur-lex.europa.eu
THE FRENCH AUTHORITIES' COMMENTS ON FORMALLY INITIATING THE PROCEDURE

OBSERVATIONS DES AUTORITÉS FRANÇAISES SUR L'OUVERTURE FORMELLE DE LA PROCÉDURE

Europe - eur-lex.europa.eu
The proposal is therefore formally still pending and needs to be formally withdrawn.

La proposition est dès lors toujours pendante et doit être officiellement retirée.

général - CCMatrix (Wikipedia + CommonCrawl)
I am formally handing over to you that which I have formally received.

Je vous donne de manière formelle ce que j’ai reçu de manière formelle.

général - CCMatrix (Wikipedia + CommonCrawl)
1841 - The United Kingdom formally occupies Hong Kong, which China later formally ceded.

1841 - Le Royaume-Uni occupe officiellement Hong Kong, Chine, qui avait cédé.

général - CCMatrix (Wikipedia + CommonCrawl)
1841 - The United Kingdom formally occupies Hong Kong, which China later formally ceded.

1841 - Le Royaume-Uni occupe officiellement Hong Kong, Chine, qui avait cédé.

général - CCMatrix (Wikipedia + CommonCrawl)
1841 – The United Kingdom formally occupies Hong Kong, which China later formally ceded.

1841 - Le Royaume-Uni occupe officiellement Hong Kong, Chine, qui avait cédé.

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


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