Multilingue
Assistant
trié par :

Pertinence

Domaine

Source

Nouveau : Traduire du texte avec ChatDico – 172 langues

Publications scientifiques

▷
The power of polynomials: work in progress
International audienceEvery component in the program development chain uses a model to represent and

reason about

its source....
général - core.ac.uk - PDF: core.ac.uk
▷
Mechanical support for efficient dissemination on the can overlay network
... To rigorously reason about such an algorithm and prove correctness we rely on an interactive theorem prover : Isabelle/HOL....
... Afin de raisonner de manière rigoureuse sur un tel algorithme et d'en prouver son exactitude nous nous appuyons sur un assistant de preuve interactif: Isabelle / HOL...
Europe / recherche et propriété intellectuelle / activité agricole - core.ac.uk - PDF: hal.inria.fr
▷
Sémantique formelle de l'espace. application au raisonnement spatial qualitatif en architecture
... Therefore we define a model of qualitative spatial reasoning and a formal language which enables us to express some architectural composition laws, and also to reason about the compositions properties and their constituting elements....
... Sémantique formelle de l'espace...
général - core.ac.uk -
▷
Can infants reason about beliefs?At what point in development does the capacity to reason about what people think emerge? While developmental psychologists have been investigating this question for more than thirty years, the evidence they have gained so far...
commerce international - core.ac.uk - PDF: etheses.whiterose.ac.uk
▷
Intelligent agents that reason about web services: a logic programming approach... The paper proposes to factor three leading edge technologies, namely Web Services, Intelligent Agents, and Computational Logic, for implementing logic-based agents that reason about interaction protocols specified using standard languages for Web Services....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
Fact calculus: using orm and lisa–d to reason about domains... We propose to use ORM and Lisa-D as means to formally reason about domains....
général - core.ac.uk - PDF: pms.cs.ru.nl
▷
Integrating facts and beliefs to model and reason about context... This paper presents a twofold context modelling approach that integrates beliefs (uncertain knowledge) and facts to reason about various everyday situations....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
▷
Using empirical data to reason about internet research ethics... To reason about ethical questions, researchers and ethics review boards typically rely on dichotomies like “public ” versus “private,” “published ” vs....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Exemples anglais - français

reason

motif
santé - acta.es
raison
industrie mécanique - lexique.mecaniqueindustrielle.com

about

le...
finances / technologie et réglementation technique - iate.europa.eu
vers le...
finances / technologie et réglementation technique - iate.europa.eu
à propos de
informatique et traitement des données - acta.es
[...]
environ
env.

Traductions en contexte anglais - français

I reason thus about government as I

reason about

economics and Justice.

Je raisonne donc du gouvernement comme j’ai raisonné de l’économie et de la Justice.

général - CCMatrix (Wikipedia + CommonCrawl)
Try to reason about love and you'll lose your reason".

Essayer de raisonner sur l'amour et vous perdrez la raison.

général - CCMatrix (Wikipedia + CommonCrawl)
Try to reason about love, and you will lose your reason.

Essayez de raisonner sur l'amour et vous perdrez votre raison.

général - CCMatrix (Wikipedia + CommonCrawl)
Try to reason about love, and you will lose your reason.

Essayez de rendre votre amour raisonnable et vous perdrez votre raison.

général - CCMatrix (Wikipedia + CommonCrawl)
Try to reason about love and you will lose your reason.

Essayez de raisonner sur l'amour et vous perdrez votre raison.

général - CCMatrix (Wikipedia + CommonCrawl)
Try to reason about love and you will lose your reason.

Essayez de rendre votre amour raisonnable et vous perdrez votre raison.

général - CCMatrix (Wikipedia + CommonCrawl)
Try to reason about love and you will lose your reason.

Essayer de raisonner sur l'amour et vous perdrez la raison.

général - CCMatrix (Wikipedia + CommonCrawl)
To reason about non-reason is a paradox that we cannot escape.

Silence Parler du silence est un paradoxe dont nous ne parvenons pas à sortir.

général - CCMatrix (Wikipedia + CommonCrawl)
© Try to reason about love and you will loose your reason.

Essayez de raisonner sur l'amour et vous perdrez votre raison.

général - CCMatrix (Wikipedia + CommonCrawl)
© Try to reason about love and you will loose your reason.

Essayer de raisonner sur l'amour et vous perdrez la raison.

général - CCMatrix (Wikipedia + CommonCrawl)
In insurance, we need to reason about groups, not about individuals.

En assurance, on a besoin de raisonner sur des groupes, pas sur des individus.

général - CCMatrix (Wikipedia + CommonCrawl)
And when we write that algorithm we have to reason about its correctness, we have to reason about its computational requirement.

Et lorsque nous écrirons cet algorithme, nous devons pensée à sa justesse.

général - CCMatrix (Wikipedia + CommonCrawl)
New Caledonian crows reason about hidden causal agents.

L’étude publiée sur PNAS : New Caledonian crows reason about hidden causal agents.

général - CCMatrix (Wikipedia + CommonCrawl)
Another reason about the closure of trading platforms.

Une autre raison apparaît à la fermeture des plateformes d’échanges.

général - CCMatrix (Wikipedia + CommonCrawl)
Try to reason about something without any context.

Encore une fois, l'accent sur quelque chose sans le contexte.

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


1 milliard de traductions classées par domaine d'activité en 28 langues
Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction  Translation  Traducción  Übersetzung  Tradução  Traduzione  Traducere  Vertaling  Tłumaczenie  Mετάφραση  Oversættelse  Översättning  Käännös  Aistriúchán  Traduzzjoni  Prevajanje  Vertimas  Tõlge  Preklad  Fordítás  Tulkojumi  Превод  Překlad  Prijevod  翻訳  번역  翻译  Перевод