TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

... a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any" or "for all". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.  1, fiche 1, Anglais, - universal%20quantification

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

Le calcul des prédicats est une extension du calcul des propositions. Il comporte en plus les notions de prédicats et des symboles de quantification universelle et d'existentialité.  2, fiche 1, Français, - quantification%20universelle

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

Let us assume that the plan is a linear plan of bounded length... This means we are looking for a sequence of actions... Each element of this sequence is an action variable. The domain of action variables contains the names of actions that are possible...  2, fiche 2, Anglais, - action%20variable

Fiche 2,  Justifications,  Français

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

A finite domain constraint satisfaction problem(CSP) consists of [a] set of variables x, as well as a set of basic constraints. Each variable is restricted to a domain of finite cardinality, typically consisting of a set of integer values.  4, fiche 3, Anglais, - finite%20domain%20constraint%20satisfaction%20problem

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

A constraint satisfaction problem(CSP) consists of a set of variables, a domain for each variable, and a set of constraints. The aim is to choose a value for each variable so that the resulting possible world satisfies the constraints...  2, fiche 4, Anglais, - constraint%20satisfaction%20problem

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 CONT

Dans un problème de satisfaction de contraintes, on cherche à assigner aux variables des valeurs de telle sorte que toutes les contraintes fournies en entrée soient satisfaites.  2, fiche 4, Français, - probl%C3%A8me%20de%20satisfaction%20de%20contraintes

Fiche 4,  Justifications,  Espagnol

Record number: 4, Textual support number: 1 CONT

Un problema de satisfacción de restricciones viene definido por un conjunto finito de variables, un conjunto finito de dominios asociados a cada variable y un conjunto finito de restricciones que definen una serie de propiedades que deben verificar los valores asignados a las variables.  1, fiche 4, Espagnol, - problema%20de%20satisfacci%C3%B3n%20de%20restricciones

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

A unified framework for discrete search algorithms and continuous optimization algorithms.  3, fiche 5, Anglais, - algorithm%20space

Record number: 5, Textual support number: 1 CONT

Depending on the variable domain and constraint expression, the existing [satisfiability] algorithms can be grouped in four classes, as shown by the algorithm space...  3, fiche 5, Anglais, - algorithm%20space

Fiche 5,  Justifications,  Français

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 DEF

A recombinant or genetically engineered antibody (e.g. a mouse monoclonal) which contains polypeptides or domains from a different species (e.g. humans) often introduced to reduce the antibody’s immunogenicity.  3, fiche 6, Anglais, - chimeric%20monoclonal%20antibody

Record number: 6, Textual support number: 1 CONT

A chimeric antibody is one of which both chain types are chimeric as a result of antibody engineering. A chimeric chain is a chain that contains a foreign variable domain(V-D-J-region)(originating from one species other than human, or synthetic) linked to a constant region(C-region) of human origin.  4, fiche 6, Anglais, - chimeric%20monoclonal%20antibody

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 CONT

[...] le développement de l’ingénierie génétique des anticorps [...] a permis de transformer progressivement les anticorps murins en anticorps humains. Cette transformation a d’abord conduit à la construction d’anticorps chimériques, dans lesquels les régions constantes des chaînes lourdes et légères des immunoglobulines murines sont remplacées par des régions constantes humaines [...] Cette chimérisation conduit à une diminution importante des réponses immunes dirigées contre les régions murines [...]  4, fiche 6, Français, - anticorps%20monoclonal%20chim%C3%A9rique

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 DEF

of a function, of a complex variable, having a first derivative at all points of a given domain.  2, fiche 7, Anglais, - analytical

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 DEF

Relatif à l'étude mathématique des concepts de série, fonction, suite, inégalité.  1, fiche 7, Français, - analytique

Record number: 7, Textual support number: 1 PHR

ensemble, fonction, géométrie, isomorphisme, variété analytique.  1, fiche 7, Français, - analytique

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 DEF

Set of elements by which a function is limited or defined.  2, fiche 8, Anglais, - domain

Record number: 8, Textual support number: 1 CONT

A "variable" is a symbol(...) which can assume any of a prescribed set of values, called the domain of the variable.  3, fiche 8, Anglais, - domain

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 DEF

domaine de définition d'une fonction: ensemble des différentes valeurs de la variable réelle pour lesquelles la fonction est définie.  1, fiche 8, Français, - domaine

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 CONT

... the syntactic distance between two variable values is a number from 0 to 1, determined by a measure which reflects the domain type of the variable. For a nominal variable, the syntactic distance is either 0, if the values taken by the variable in each event are identical, or 1, if the values are not identical.  1, fiche 9, Anglais, - syntactic%20distance

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 CONT

(Pour la sélection de germes à chaque itération (...), on utilise une notion de distance syntaxique des descriptions d'instance par rapport à la description de classe.  1, fiche 9, Français, - distance%20syntaxique

Fiche 9,  Justifications,  Espagnol