Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire anglais - français

calculus

calcul

sciences naturelles et appliquées / santé - techdico iate.europa.eu

The channel goes through the calculus and creates tensile stresses, destroying the calculus.

En traversant le calcul, le canal crée des contraintes de traction qui provoquent la destruction dudit calcul.

santé - wipo.int

tuple relational calculus language

langage du type calcul à variables nuplets

informatique et traitement des données - iate.europa.eu

tuple relational calculus language

langage de manipulation de type calcul à variables nuplets

informatique et traitement des données - iate.europa.eu

There are two types of calculus, differential calculus, and integral calculus.

Nous savons aussi deux sortes de calcul..calcul differentiel et calcul integral.

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

Integral calculus is the opposite of differential calculus.

(Math. trans.) le calcul intégral est l’inverse du calcul différentiel.

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

▷

Combining union, intersection and dependent types in an explicitely typed lambda-calculus

The subject of this thesis is about lambda-calculus decorated with types, usually called "Church-style typed lambda-calculus"....

...Le sujet de cette thèse est sur le lambda-calcul décoré avec des types, communément appelé « lambda-calcul typé à la Church »....

général - core.ac.uk -

▷

Article citations from references: 1 from reviews: 0

... French summary) [Sublinear functional calculus in homogeneous Besov spaces] Rev....

...: Calcul symbolique et propagation des singularit’es pour les ’equations aux d’eriv’ees partielles non lin’eaires....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Explicit substitutions for the lambda-mu calculus

We present a con uent rewrite system which extents a previous calculus of explicit substitutions for the lambda-calculus [HaLe89] to Parigot's untyped lambda-mu-calculus [Par91]....

... Keywords: Rewrite systems, Lambda-Mu Calculus Resume Nous proposons un systeme de recriture con uent quietend un precedent systeme avec substitutions explicites pour le lambda-calcul [HaLe89] aulambda-mu-calcul non...

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

▷

Un essai logique de leibniz, « le calcul des ingrédients » : présentation et traduction/ a logical essay by leibniz, « the calculus of ingredients » : presentation and translation

... — Presentation and translation of a logical calculus in which Leibniz formalizes the properties of a very general mereological relation, ingredience....

... — Présentation et traduction d'un calcul logique de Leibniz qui formalise les propriétés d'une relation tout/partie très générale, l'ingrédience....

général - core.ac.uk -

▷

Symbolical algebra as a foundation for calculus: d. f. gregory's contribution

... His 1841 Examples of the Processes of the Differential and Integral Calculus was an extensive revision of Peacock's 1820 textbook of a similar title....

... Son ouvrage publié en 1841, Examples of the Processes of the Differential and Integral Calculus, constitue une révision substantielle du livre de Peacock au titre similaire....

général - core.ac.uk -

▷

Bicovariant calculus on twisted iso(n), quantum poincare' group and quantum minkowski spaceA bicovariant calculus on the twisted inhomogeneous multiparametric$q$-groups of the $B_n,C_n,D_n$ type, and on the corresponding quantum planes,is found by means of a projection from the bicovariant...

▷

Combien coûtent les thérapies oculaires les plus fréquemment prescrites par les optométristes québécois?... Recensement des 15 conditions oculaires les plusfréquemment traitées (Delphi, 16 optométristes experts) ; recensement des traitementsstandards des conditions (agents thérapeutiques et durée) ; sondage de pharmaciensquébécois sur les prix totaux au patient (coût du médicament, honoraires et frais de service); calcul des coûts moyens des thérapies à partir du prix total moyen, de la combinaison dessubstances et de la durée des traitements, et du statut de couverture d’assurancemédicaments...

santé - core.ac.uk - PDF: arxiv.orgsanté / sciences naturelles et appliquées / institutions de l'union européenne et fonction publique européenne - core.ac.uk -

Stochastic differential equations on the plane: smoothness of the solutionWe apply the Malliavin calculus to study several non-degeneracy conditions on the coefficients of a stochastic differential equation on the plane, in order to deduce the existence and smoothness of ...

Arrive trial ::à quel âge gestationnel provoquer l'accouchement?C’est à l’époque moderne que le calcul du terme de la grossesse est devenu une préoccupation....

PDF: www.sciencedirect.com

Non contrast helical ct scan for acute flank pain: non calculus urinary and extra urinary causesObjective: To determine the value of non contrast helical CT in the diagnosis of non calculus renal and extraurinary causes of acute flank pain....

Simplification du calcul de la rigidité des poteaux dans la méthode des portiques équivalentsLe calcul d'une dalle bidirectionnelle est un processus long et complexe demandant une certaine expérience....

PDF: pjms.com.pk

Décomposition de domaine pour le calcul des maçonneriesInternational audienceUne stratégie de décomposition de domaine appliquée à la méthode Non Smooth Contact Domain Decomposition est testée pour le calcul d’ouvrages maçonnés....

Publications scientifiques

▷

Treatment of urolithiasis with medicinal plant salvia miltiorrhiza: a nationwide cohort study... The cohort “Danshen-users” was prescribed Chinese herb medicine Danshen after the initial diagnosis of calculus....

▷

Les jeux politiques du calcul. sociologie politique de la quantification dans l'action publique... Cette introduction au numéro spécial de laRevue d’anthropologie des connaissances sur les jeux politiques du calcul notel’écart qui subsiste entre différentes littératures de sociologie politique de laquantification – celle qui insiste sur la gouvernementalité qu’elle incarne et ladiscipline...

droits et libertés / santé - core.ac.uk - PDF: doaj.orgconstruction européenne / santé / politique internationale - core.ac.uk -

▷

A sequent calculus for lukasiewicz's three-valued logic based on suszko's bivalent semanticsA sequent calculus S3 for ̷Lukasiewicz’s logic L3 is presented....

activité agricole / santé - core.ac.uk - PDF: citeseerx.ist.psu.edu

Synonymes et termes associés anglais

gallstone

•

calculation

•

number work

•

design

•

theory

•

computation

[...]

number crunching

•

computing

•

calculation

•

Exemples anglais - français

quantity calculus

algèbre des grandeurs

industrie mécanique - acta.es

Boolean calculus

calcul de Boole

informatique et traitement des données - iate.europa.eu

lambda calculus

calcul lambda

informatique et traitement des données - acta.es

[...]

infinitesimal calculus

calcul différentiel et intégral

calcul infinitésimal

matrix calculus

calcul matriciel

operational calculus

calcul symbolique

propositional calculus

calcul des propositions

logique de proposition

[...]

logique propositionnelle

calcul propositionnel

calcul de propositions

relational calculus

calcul relationnel

langage non procédural

langage assertionnel

predicate calculus

calcul de prédicats

calcul des prédicats

logique des prédicats

[...]

logique de 1er ordre

integral calculus

calcul intégral

graphic calculus

calcul graphique

vesical calculus

calcul vésical

urethral calculus

calcul urétral

differential calculus

calcul différentiel

salivary calculus

calcul salivaire

incidence calculus

calcul d'incidences

calculus language

langage de type calcul

langage non procédural

langage assertionnel

calculus-based language

langage de type calcul

langage non procédural

langage assertionnel

predicate calculus language

langage de type calcul

langage non procédural

langage assertionnel

domain oriented calculus

calcul de domaines

calcul relationnel de domaines

calcul à variables domaines

[...]

calcul relationnel à variables domaines

domain relational calculus

calcul de domaines

calcul relationnel de domaines

calcul à variables domaines

[...]

calcul relationnel à variables domaines

domain calculus

calcul de domaines

calcul relationnel de domaines

calcul à variables domaines

[...]

calcul relationnel à variables domaines

tuple relational calculus

calcul relationnel à variables nuplets

calcul relationnel de tuples "nuplets"

calculus of probabilities

calcul probabiliste

calcul de probabilité

first-order predicate calculus

logique des prédicats

calcul des prédicats

calcul de prédicats

[...]

logique de 1er ordre

second-order predicate calculus

logique d'ordre 2

logique du deuxième ordre

Traductions en contexte anglais - français

The present invention relates generally to an anti-calculus composition and method for treating subgingival calculus.

La présente invention porte d'une manière générale sur une composition anti-tartre et sur un procédé de traitement du tartre sous-gingival.

santé - wipo.int

The enzyme can degrade a calculus.

L'enzyme peut décomposer un calcul.

sciences naturelles et appliquées - wipo.int

Integral Calculus, Calculus of Variations, and Differential Equations.

théorie du potentiel, calcul des variations, équations différentielles.

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

MTH 141 - Integrated Calculus II: Calculus of Derivatives

MAT 141 - Calcul intégré II: Calcul des dérivés -ou-

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

Integral calculus is the reverse of differential calculus.

Le calcul intégral est l'inverse du calcul différentiel.

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

Integral calculus is the opposite of differential calculus.

Le calcul intégral est l'inverse du calcul différentiel.

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

Integral calculus is one of the two major branches of calculus, the other being differential calculus.

Le calcul intégral est l’une des deux branches du calcul infinitésimal, l’autre branche étant le calcul différentiel.

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

Calculus with level comparable to MA 227 Multivariable Calculus

Calcul avec un niveau comparable au MA 227 Calcul à plusieurs variables

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

Calculus Made Easy is the ultimate educational Calculus tool.

Calcul Made Easy est l'outil de calcul de l'éducation ultime.

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

Clickable Calculus - Differential Equations, Linear Algebra and Vector Calculus

Clickable Calculus”: équations différentielles, algèbre linéaire et calcul vectoriel

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

Clickable Calculus: Differential Equations, Linear Algebra and Vector Calculus

Clickable Calculus”: équations différentielles, algèbre linéaire et calcul vectoriel

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

The method also, concurrently, controls calculus formation.

Simultanément, ce procédé remédie également à la formation de calculs.

général - wipo.int

My kids taught themselves Advanced Math (pre-Calculus) and Calculus.

Mes enfants sont scolarisés, et (pourtant) bien élevés.

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

Q: What’s the difference between Calculus AB and Calculus BC?

Quelle est la différence entre calculus AB & calculus BC?

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

My kids taught themselves Advanced Math (pre-Calculus) and Calculus.

Tous mes enfants ont adoré (pour les deux plus vieux), ou adorent, les sciences.

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 翻訳 번역 翻译 Перевод