TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

An assertional box (... ABox) is a finite set of concept assertions and role assertions; an ABox is called simple if all concept descriptions occurring in concept assertions are concept names ... an ontology is a union of an assertional box and a terminological box, and elements that can occur in ontologies are also called axioms.  2, fiche 1, Anglais, - assertional%20box

Record number: 1, Textual support number: 2 CONT

A [description logics(DL) ] ontology consists of two finite and mutually disjoint sets : a Tbox(or terminological box) which introduces the terminology and an Abox(or assertional box) which contains facts about particular objects in the application domain.  3, fiche 1, Anglais, - assertional%20box

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

La modélisation des connaissances d'un domaine avec les [logiques de descriptions (LD)] se réalise en deux niveaux. Un niveau terminologique (TBox) décrit les connaissances générales d'un domaine comme les concepts et les rôles et un autre niveau factuel (ABox) représente une configuration précise comme la description des individus en les nommant et en montrant leur appartenance à des concepts ou à des rôles.  2, fiche 1, Français, - niveau%20factuel

Record number: 1, Textual support number: 2 CONT

On distingue deux composants dans une base de connaissances en logique de description (LD), qui sont respectivement TBox et ABox. La TBox, ou niveau terminologique, contient les axiomes qui définissent les concepts du domaine, tandis que l'ABox, appelé également niveau factuel, spécifie les assertions qui apparaissent dans le domaine ou dans la description du monde réel.  3, fiche 1, Français, - niveau%20factuel

Record number: 1, Textual support number: 1 OBS

ABox : Étant donné que cette abréviation provient de l'anglais, le genre de cette désignation n'est pas figé dans l'usage.  4, fiche 1, Français, - niveau%20factuel

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

A terminological box (... TBox) is a finite set of concept inclusions, concept equivalences, and concept definitions ... an ontology is a union of an assertional box and a terminological box, and elements that can occur in ontologies are also called axioms.  2, fiche 2, Anglais, - terminological%20box

Record number: 2, Textual support number: 2 CONT

A [description logics(DL) ] ontology consists of two finite and mutually disjoint sets : a Tbox(or terminological box) which introduces the terminology and an Abox(or assertional box) which contains facts about particular objects in the application domain.  3, fiche 2, Anglais, - terminological%20box

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

La modélisation des connaissances d'un domaine avec les [logiques de descriptions (LD)] se réalise en deux niveaux. Un niveau terminologique (TBox) décrit les connaissances générales d'un domaine comme les concepts et les rôles et un autre niveau factuel (ABox) représente une configuration précise comme la description des individus en les nommant et en montrant leur appartenance à des concepts ou à des rôles.  2, fiche 2, Français, - niveau%20terminologique

Record number: 2, Textual support number: 2 CONT

On distingue deux composants dans une base de connaissances en logique de description (LD), qui sont respectivement TBox et ABox. La TBox, ou niveau terminologique, contient les axiomes qui définissent les concepts du domaine, tandis que l'ABox, appelé également niveau factuel, spécifie les assertions qui apparaissent dans le domaine ou dans la description du monde réel.  3, fiche 2, Français, - niveau%20terminologique

Record number: 2, Textual support number: 1 OBS

TBox : Étant donné que cette abréviation provient de l'anglais, le genre de cette désignation n'est pas figé dans l'usage.  4, fiche 2, Français, - niveau%20terminologique

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

[A] special labelling of the angles of a plane graph with three colors.  2, fiche 3, Anglais, - Schnyder%20labelling

Record number: 3, Textual support number: 1 CONT

... the inner edges of any plane triangulation can be partitioned into three disjoint trees that span all the inner vertices, each rooted at a different outer vertex. Indeed, a Schnyder labelling defines for every inner vertex a unique directed path to each of the three outer vertices(just follow the out-going red arcs, the out-going blue arcs and the out-going green arcs to obtain the three paths).  1, fiche 3, Anglais, - Schnyder%20labelling

Fiche 3,  Justifications,  Français

Record number: 3, Textual support number: 1 CONT

Un étiquetage de Schnyder est un tricoloriage des coins internes de T satisfaisant les contraintes suivantes : l'ensemble des trois coins de chaque face interne est bien tricolorié; l'ensemble des coins incidents à un sommet interne est bien tricolorié; tous les coins incidents à un même sommet externe sont de même couleur (ce qui, par les précédentes contraintes, induit un bon tricoloriage des trois sommets externes).  1, fiche 3, Français, - %C3%A9tiquetage%20de%20Schnyder

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

In computer programming, especially functional programming and type theory, an algebraic data type is a kind of composite type, i.e., a type formed by combining other types.  1, fiche 4, Anglais, - algebraic%20data%20type

Record number: 4, Textual support number: 1 OBS

Two common classes of algebraic types are product types(i. e., tuples and records) and sum types(i. e., tagged or disjoint unions or variant types).  1, fiche 4, Anglais, - algebraic%20data%20type

Record number: 4, Textual support number: 2 OBS

Not to be confused with "abstract data type."  2, fiche 4, Anglais, - algebraic%20data%20type

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 CONT

Le type algébrique [de données] est une forme de […] données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, [le type algébrique] permet d'exprimer les données structurées, telles que les listes et les arbres.  1, fiche 4, Français, - type%20alg%C3%A9brique%20de%20donn%C3%A9es

Record number: 4, Textual support number: 1 OBS

Ne pas confondre avec «type de données abstrait».  2, fiche 4, Français, - type%20alg%C3%A9brique%20de%20donn%C3%A9es

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

... a set of primitive geometric objects(in a common coordinate system) whose interiors are disjoint.  2, fiche 5, Anglais, - geometric%20complex

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 DEF

[...] collections de primitives adjacentes mais dont les intérieurs sont disjoints.  1, fiche 5, Français, - complexe%20g%C3%A9om%C3%A9trique

Record number: 5, Textual support number: 1 OBS

Il existe des complexes qui contiennent d’autres complexes et qui deviennent alors des supercomplexes.  1, fiche 5, Français, - complexe%20g%C3%A9om%C3%A9trique

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 OBS

disjoint sets : term standardized by ANSI.  2, fiche 6, Anglais, - disjoint%20set

Fiche 6,  Justifications,  Français

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

A mashup application is architecturally comprised of three different participants that are logically and physically disjoint :(1) The API [application programming interface]/content providers...(2) The mashup site. On one hand, mashups can be implemented similarly to traditional Web applications using server-side dynamic content generation technologies like Java servlets, CGI, PHP or ASP; alternatively, mashed content can be generated directly within the client's browser through client-side scripting(that is, JavaScript) or applets...(3) The client's Web browser...  3, fiche 7, Anglais, - mashup%20site

Fiche 7,  Justifications,  Français

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 DEF

In MLTGRD, a form of multiplicative disjoint regions rebalancing … used to improve the solution(i. e. remove) low frequency error components from grids at all levels.  1, fiche 8, Anglais, - %20coarse%20mesh%20rebalancing

Record number: 8, Textual support number: 1 OBS

MLTGRD is a multigrid algorithm which provides multiplicative correction to iterative solution estimates from successively reduced systems of linear equations. It uses the method of implicit non-stationary iteration for all grid levels.  1, fiche 8, Anglais, - %20coarse%20mesh%20rebalancing

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 OBS

Pour réduire le nombre d’itérations de source, on applique la méthode de Wielandt […] Une autre méthode d’accélération consiste à résoudre périodiquement le même problème sur un maillage plus grossier de façon à déterminer des facteurs correctifs à appliquer aux mailles du problème de base. Cette méthode, très efficace lorsque le nombre élevé de points retarde trop la propagation de l’information du calcul entre une maille et les autres (maillages fins), est dite «coarse mesh rebalancing».  2, fiche 8, Français, - r%C3%A9%C3%A9quilibrage%20sur%20maillage%20grossier

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 DEF

A constraint that restricts values to one subset chosen from a number of disjoint subsets. It consists of one of more discriminants.  1, fiche 9, Anglais, - record%20constraint

Fiche 9,  Justifications,  Français

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 CONT

In competitive learning, the procedure classifies a set of input vectors into disjoint clusters, in a way that elements in a cluster are similar to each other.  2, fiche 10, Anglais, - input%20vector

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 CONT

L'une des principales idées de cette règle (d'apprentissage) était de comparer les vecteurs de poids des connexions externes aux vecteurs d'entrée. La règle assure ensuite l'évolution de ces vecteurs de poids.  2, fiche 10, Français, - vecteur%20d%27entr%C3%A9e

Fiche 10,  Justifications,  Espagnol

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 CONT

The clustering algorithm... generates a collection of complexes that are pairwise disjoint. Such a collection, called a disjoint clustering, describes a partition of all observed events into disjoint classes.  1, fiche 11, Anglais, - disjoint%20classes

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 CONT

Le regroupement conceptuel. [...] Les classes doivent être disjointes ou peuvent se recouvrir partiellement. La plupart des algorithmes construisent des classes disjointes.  1, fiche 11, Français, - classes%20disjointes

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 CONT

The best clustering is retained... a set of k disjoint complexes is obtained whose union covers the same observed events as the original set of nondisjoint complexes.  1, fiche 12, Anglais, - nondisjoint%20classes

Fiche 12,  Justifications,  Français

Record number: 12, Textual support number: 1 CONT

Le regroupement conceptuel. (...) Les classes doivent être disjointes ou peuvent se recouvrir partiellement. Certains auteurs plaident en faveur de la possibilité d'avoir des classes non disjointes, de manière à permettre la construction de plusieurs classes potentielles de front pour un même objet  1, fiche 12, Français, - classes%20non%20disjointes

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 CONT

The clustering algorithm... generates a collection of complexes that are pairwise disjoint. Such a collection, called a disjoint clustering, describes a partition of all observed events into disjoint classes.  1, fiche 13, Anglais, - disjoint%20clustering

Fiche 13,  Justifications,  Français

Record number: 13, Textual support number: 1 CONT

(...) l'algorithme CLUSTER (...) construit un regroupement en classes conceptuelles disjointes à partir de descriptions d'objets qui doivent toutes être disponibles au départ.  1, fiche 13, Français, - regroupement%20en%20classes%20conceptuelles%20disjointes

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 OBS

"... disjoint techniques start by selecting a set of points called cluster seeds as a first guess of the means of the cluster. ".  1, fiche 14, Anglais, - cluster%20seeds

Fiche 14,  Justifications,  Français

Record number: 14, Textual support number: 1 OBS

voir Techniques d'enquête, vol. 16, no. 1, texte de Langlet.  1, fiche 14, Français, - noyaux%20de%20grappe

Record number: 14, Textual support number: 2 OBS

sous-domaine de l'analyse typologique.  1, fiche 14, Français, - noyaux%20de%20grappe

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 OBS

Disjoint subset of nodes.  1, fiche 15, Anglais, - disjoint%20subset

Fiche 15,  Justifications,  Français

Record number: 15, Textual support number: 1 OBS

Sous-ensemble disjoint d'expressions.  2, fiche 15, Français, - sous%2Densemble%20disjoint

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 DEF

...(of a set). A finite collection of disjoint sets whose union is the given set.  2, fiche 16, Anglais, - partition

Fiche 16,  Justifications,  Français

Fiche 16,  Justifications,  Espagnol