Dictionnaire anglais - français

biconditional

informatique et traitement des données - acta.es
Some, but not all, pragmatic encroachment theorists will endorse a necessary biconditional that might be interpreted as an analysis of knowledge.

Certains, mais pas tous, les théoriciens de l`empiétement pragmatique endossent un biconditionnel nécessaire qui pourrait être interprété comme une analyse de la connaissance exemple.

général - CCMatrix (Wikipedia + CommonCrawl)
Conditional discriminations: patterning vs. biconditional discriminations....al.'s CS-preCS difference scores for reinforced and non-reinforced trials in positive-patterning (top-left), negative-patterning (top-right) and biconditional discriminations (bottom-left) [69]....
général - core.ac.uk - PDF: figshare.com
Biconditional bdd: a novel canonical bdd for logic synthesis targeting xor-rich functionsWe present a novel class of decision diagrams, called Biconditional Binary Decision Diagrams (BBDDs), that enable efficient logic synthesis for XOR-rich functions....
An efficient manipulation package for biconditional binary decision diagramsBiconditional Binary Decision Diagrams (BBDDs) are a novel class of binary decision diagrams where the branching condition, and its associated logic expansion, is biconditional...
Restructuring of arithmetic circuits with biconditional binary decision diagramsBiconditional Binary Decision Diagrams (BBDDs) are a novel class of canonical binary decision diagrams where the branching condition, and its associated logic expansion is biconditional...
Rules vs. statistics in implicit learning of biconditional grammars... Shanks and colleagues [22], [11] have suggested (1) that discrimination between grammatical and ungrammatical instances of a biconditional grammar requires the acquisition and use of abstract rules, and (2) that training conditions — in particular whether instructions orient participants to identify...
biconditional
sciences naturelles et appliquées - techdico
Logical equality (also known as biconditional) is an operation on two logical values, typically the values of two propositions, that produces a value of true if both operands are false or both operands are true.

Une équivalence logique (également connu sous le nom de biconditionelle) est une opération logique sur deux valeurs de vérité, typiquement les valeurs de deux propositions, qui produit une valeur vraie si les deux opérandes sont faux ou vrais.

général - CCMatrix (Wikipedia + CommonCrawl)
Logical equality (also known as biconditional) is an operation on two logical values, typically the values of two propositions, that produces a value of true if both operands are false or both operands are true.

Une équivalence logique (également connue sous le nom de biconditionelle) est une opération logique sur deux valeurs de vérité, typiquement les valeurs de deux propositions, qui produit une valeur vraie si les deux opérandes sont faux ou vrais.

général - CCMatrix (Wikipedia + CommonCrawl)
Champ de pression non isotrope approchant le champ des contraintes d'indentation d'un verre... L'approximation de cette équivalence entre champ de pression uniforme non isotrope et champ élasto-plasto-densifiant est obtenue par troncature d'une série de Fourier; nos résultats semi-analytiques s'efforcent...
général - core.ac.uk - PDF: core.ac.uk
Sur les algèbres de bords des surfaces marquées à p-ponctions... Cette équivalence permet de transférer les propriétés de 2-Calabi-Yau et de Frobenius retrouvées dans CM(Rp) dans la catégorie CM(Rp * Gn+3)....
Sur les operateurs sous-lineaires p-sommants... On va montrer que s'il existe un filtre d'opérateurs {Ui}iϵI ⊂ ∇T et C > 0 tels que , et il y a équivalence entre T, p-sommant et u, p-sommant, pour tout u dans ∇T
 PDF: doaj.org
Distances entre classes d'applications de sobolev à valeurs dans une sphère...S}^1)$.On introduit une relation d'équivalence sur $W^{s,p} ({\mathbb S}^N ; {\mathbb S}^N)$ liée au degré topologique et on présente des estimées pour les distances (au sens usuel et au sens de Hausdorff) entre...
 PDF: core.ac.uk
Approche complémentaire en analyse sensorielle... ► Traitement des données avec des outils standards (à l'exception des mots, donc basé uniquement sur les coordonnées x et y)-Clustering assez ressemblant entre les deux types : échantillons versus objets Approche complémentaire en analyse sensorielle Croissement des compétences Collaboration interdisciplinaire : analyse sensorielle et data science Validation de l'expérience ► nombre d'utilisateurs suffisants et résultats fiables ► pas de différences entre les testeurs Analyse du texte produit ► trouver une équivalence via une fonction de similarité entre les représentations numériques et textuelles ► les clusterings des objets et, respectivement, des échantillons sont très ressemblants...

Synonymes et termes associés anglais

Traductions en contexte anglais - français

addition and the biconditional, of the De Morgan laws.

par passage au complémentaire et les lois de De Morgan.

général - CCMatrix (Wikipedia + CommonCrawl)
The biconditional elimination rule may be written in sequent notation:

La règle du dilemme constructif peut être écrite en notation séquente:

général - CCMatrix (Wikipedia + CommonCrawl)
The biconditional introduction rule may be written in sequent notation:

La règle d'introduction de la disjonction peut être écrite en notation séquente :

général - CCMatrix (Wikipedia + CommonCrawl)
The biconditional elimination rule may be written in sequent notation:

La règle d'introduction de la disjonction peut être écrite en notation séquente :

général - CCMatrix (Wikipedia + CommonCrawl)
All that is about to change, because Biconditional Exchange lets us turn this:

Cela change tout évidemment, parce que grâce à la co-naissance, l’on transforme :

général - CCMatrix (Wikipedia + CommonCrawl)
The biconditional p ↔ q is true when p and q have the same truth values

Les assertions P et Q sont équivalentes si P et Q ont les mêmes valeurs de vérité.

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


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