TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
FORMALISME [92 records]
Record 1 - internal organization data 2026-04-20
Record 1, English
Record 1, Subject field(s)
- Legal System
Record 1, Main entry term, English
- formalism
1, record 1, English, formalism
correct, noun
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
The principle according to which the formation, enforceability or opposability of a juridical act requires the fulfilment of special formalities in addition to the manifestation of intent. 1, record 1, English, - formalism
Record 1, French
Record 1, Domaine(s)
- Théorie du droit
Record 1, Main entry term, French
- formalisme
1, record 1, French, formalisme
correct, masculine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 CONT
Le formalisme peut, dans ce contexte, être défini comme un principe en vertu duquel la formation d’un acte juridique dépend de l'accomplissement de formalités particulières. 1, record 1, French, - formalisme
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 2026-01-08
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- internal formalism
1, record 2, English, internal%20formalism
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- formalisme interne
1, record 2, French, formalisme%20interne
correct, masculine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 2026-01-08
Record 3, English
Record 3, Subject field(s)
- Artificial Intelligence
Record 3, Main entry term, English
- initial formalism
1, record 3, English, initial%20formalism
correct
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, French
Record 3, Domaine(s)
- Intelligence artificielle
Record 3, Main entry term, French
- formalisme initial
1, record 3, French, formalisme%20initial
correct, masculine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - internal organization data 2026-01-08
Record 4, English
Record 4, Subject field(s)
- Artificial Intelligence
Record 4, Main entry term, English
- Hoare formalism
1, record 4, English, Hoare%20formalism
correct
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, French
Record 4, Domaine(s)
- Intelligence artificielle
Record 4, Main entry term, French
- formalisme de Hoare
1, record 4, French, formalisme%20de%20Hoare
correct, masculine noun
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
Record 4, Spanish
Record 4, Textual support, Spanish
Record 5 - internal organization data 2026-01-08
Record 5, English
Record 5, Subject field(s)
- Artificial Intelligence
Record 5, Main entry term, English
- linguistic formalism
1, record 5, English, linguistic%20formalism
correct
Record 5, Abbreviations, English
Record 5, Synonyms, English
Record 5, French
Record 5, Domaine(s)
- Intelligence artificielle
Record 5, Main entry term, French
- formalisme linguistique
1, record 5, French, formalisme%20linguistique
correct, masculine noun
Record 5, Abbreviations, French
Record 5, Synonyms, French
Record 5, Textual support, French
Record 5, Spanish
Record 5, Textual support, Spanish
Record 6 - internal organization data 2025-08-06
Record 6, English
Record 6, Subject field(s)
- Management Operations (General)
- Personnel Management (General)
Record 6, Main entry term, English
- formal
1, record 6, English, formal
correct, adjective
Record 6, Abbreviations, English
Record 6, Synonyms, English
Record 6, Textual support, English
Record number: 6, Textual support number: 1 DEF
Marked by form ... 2, record 6, English, - formal
Record 6, French
Record 6, Domaine(s)
- Opérations de la gestion (Généralités)
- Gestion du personnel (Généralités)
Record 6, Main entry term, French
- officiel
1, record 6, French, officiel
correct, adjective
Record 6, Abbreviations, French
Record 6, Synonyms, French
- formel 2, record 6, French, formel
correct, adjective
Record 6, Textual support, French
Record number: 6, Textual support number: 1 DEF
Empreint de formalisme [...] 2, record 6, French, - officiel
Record number: 6, Textual support number: 1 CONT
À choisir entre un petit déjeuner décontracté et une entrevue formelle avec un employeur, il ne faut pas se surprendre que les chercheurs d’emploi préfèrent d’emblée la seconde option. 2, record 6, French, - officiel
Record number: 6, Textual support number: 1 OBS
L’emploi de «formel», parfois critiqué, est passé dans l’usage standard. 2, record 6, French, - officiel
Record number: 6, Textual support number: 1 PHR
rencontres formelles, discussions formelles 2, record 6, French, - officiel
Record 6, Spanish
Record 6, Textual support, Spanish
Record 7 - internal organization data 2025-02-04
Record 7, English
Record 7, Subject field(s)
- Applications of Automation
- Astronautics
- Collaboration with WIPO
Record 7, Main entry term, English
- space telerobotics
1, record 7, English, space%20telerobotics
correct, noun
Record 7, Abbreviations, English
Record 7, Synonyms, English
Record 7, Textual support, English
Record number: 7, Textual support number: 1 DEF
The field of telerobotics dealing with the design, building and operation of robots from a distance in outer space. 2, record 7, English, - space%20telerobotics
Record number: 7, Textual support number: 1 CONT
Space telerobotics is an inherently complex task, requiring mental visualization skills, fine motor visualization skills, fine motor control, and adhering to procedure and flight rules. Often space telerobotics is accomplished only using video views of the work area, so the robotic arm operator must interpret two dimensional images to create a 3D [three-dimensional] mental model of the environment and their position inside it, all the while being aware of arm kinematics and limitations, avoiding collisions, and following procedural flight rules. To add to the workload, they also control the arm in six degrees of freedom, using separate rotational and translational hand controls, where the movement axes are frequently not aligned with camera views (e.g., the operator views the scene backwards or upside down). 1, record 7, English, - space%20telerobotics
Record number: 7, Textual support number: 1 OBS
space telerobotics: designation validated by a Canadian subject-matter expert from Université Laval. 3, record 7, English, - space%20telerobotics
Record 7, Key term(s)
- SearchOnlyKey1
Record 7, French
Record 7, Domaine(s)
- Automatisation et applications
- Astronautique
- Collaboration avec l'OMPI
Record 7, Main entry term, French
- télérobotique spatiale
1, record 7, French, t%C3%A9l%C3%A9robotique%20spatiale
correct, feminine noun
Record 7, Abbreviations, French
Record 7, Synonyms, French
Record 7, Textual support, French
Record number: 7, Textual support number: 1 CONT
Nous avons défini un modèle logique et temporel de plans d’action dotés d’une structure de contrôle impérative, sur la base d’un formalisme unifié inspiré de la logique à intervalles d’Allen, permettant de décrire aussi bien l'environnement et son évolution que l'arrangement temporel des plans. [...] Comme un exemple simplifié le suggère [...], le modèle a été appliqué à la simulation de plans de missions en télérobotique spatiale concernant un robot bi-bras [...] 1, record 7, French, - t%C3%A9l%C3%A9robotique%20spatiale
Record number: 7, Textual support number: 1 OBS
télérobotique spatiale : désignation validée par un spécialiste canadien de l’Université Laval. 2, record 7, French, - t%C3%A9l%C3%A9robotique%20spatiale
Record 7, Spanish
Record 7, Campo(s) temático(s)
- Automatización y aplicaciones
- Astronáutica
- Colaboración con la OMPI
Record 7, Main entry term, Spanish
- telerrobótica espacial
1, record 7, Spanish, telerrob%C3%B3tica%20espacial
correct, feminine noun
Record 7, Abbreviations, Spanish
Record 7, Synonyms, Spanish
Record 7, Textual support, Spanish
Record number: 7, Textual support number: 1 CONT
Telerrobótica espacial. Vistas las ventajas de los sistemas de teleoperación espaciales y el gran éxito del brazo del transbordador, en el año 1985, la NASA se planteó seriamente potenciar sus actividades de robótica y automatización para la exploración planetaria y la construcción de la futura estación espacial en fase de diseño. Resultado de estos estudios fue el inicio de diversos proyectos muy ambiciosos encaminados a la obtención de sistemas robóticos espaciales totalmente autónomos […] El [satélite japonés] ETS-VII constituyó un hito fundamental en la historia de la robótica espacial. Estuvo durante dos años en órbita realizando multitud de experimentos de teleoperación y telerrobótica espacial. 1, record 7, Spanish, - telerrob%C3%B3tica%20espacial
Record 8 - internal organization data 2024-05-09
Record 8, English
Record 8, Subject field(s)
- Artificial Intelligence
Record 8, Main entry term, English
- translation grammar
1, record 8, English, translation%20grammar
correct
Record 8, Abbreviations, English
Record 8, Synonyms, English
Record 8, Textual support, English
Record 8, French
Record 8, Domaine(s)
- Intelligence artificielle
Record 8, Main entry term, French
- grammaire de traduction
1, record 8, French, grammaire%20de%20traduction
correct
Record 8, Abbreviations, French
Record 8, Synonyms, French
Record 8, Textual support, French
Record number: 8, Textual support number: 1 DEF
Grammaire qui associe à chaque règle conforme à la grammaire source GS une clause conforme à la grammaire objet GO qui constitue le formalisme interne. 1, record 8, French, - grammaire%20de%20traduction
Record 8, Spanish
Record 8, Textual support, Spanish
Record 9 - internal organization data 2024-05-09
Record 9, English
Record 9, Subject field(s)
- Artificial Intelligence
Record 9, Main entry term, English
- external formalism
1, record 9, English, external%20formalism
correct
Record 9, Abbreviations, English
Record 9, Synonyms, English
Record 9, French
Record 9, Domaine(s)
- Intelligence artificielle
Record 9, Main entry term, French
- formalisme externe
1, record 9, French, formalisme%20externe
correct, masculine noun
Record 9, Abbreviations, French
Record 9, Synonyms, French
Record 9, Textual support, French
Record 9, Spanish
Record 9, Textual support, Spanish
Record 10 - internal organization data 2024-05-09
Record 10, English
Record 10, Subject field(s)
- Artificial Intelligence
Record 10, Main entry term, English
- external representation
1, record 10, English, external%20representation
correct
Record 10, Abbreviations, English
Record 10, Synonyms, English
Record 10, Textual support, English
Record 10, French
Record 10, Domaine(s)
- Intelligence artificielle
Record 10, Main entry term, French
- représentation externe
1, record 10, French, repr%C3%A9sentation%20externe
correct, feminine noun
Record 10, Abbreviations, French
Record 10, Synonyms, French
Record 10, Textual support, French
Record number: 10, Textual support number: 1 CONT
Le formalisme des règles de production n’ est que la représentation externe de la connaissance. 2, record 10, French, - repr%C3%A9sentation%20externe
Record 10, Spanish
Record 10, Textual support, Spanish
Record 11 - internal organization data 2024-05-09
Record 11, English
Record 11, Subject field(s)
- Artificial Intelligence
- Computer Programs and Programming
Record 11, Main entry term, English
- Prolog interpreter
1, record 11, English, Prolog%20interpreter
correct
Record 11, Abbreviations, English
Record 11, Synonyms, English
Record 11, Textual support, English
Record 11, French
Record 11, Domaine(s)
- Intelligence artificielle
- Programmes et programmation (Informatique)
Record 11, Main entry term, French
- interpréteur Prolog
1, record 11, French, interpr%C3%A9teur%20Prolog
correct, masculine noun
Record 11, Abbreviations, French
Record 11, Synonyms, French
- interprète Prolog 2, record 11, French, interpr%C3%A8te%20Prolog
correct, masculine noun
Record 11, Textual support, French
Record number: 11, Textual support number: 1 DEF
Est essentiellement un démonstrateur de théorème, c'est-à-dire un moteur d’inférence. Il permet à la fois de décrire et de résoudre des problèmes exprimés dans un formalisme simple. 3, record 11, French, - interpr%C3%A9teur%20Prolog
Record 11, Spanish
Record 11, Textual support, Spanish
Record 12 - internal organization data 2024-05-09
Record 12, English
Record 12, Subject field(s)
- Artificial Intelligence
Record 12, Main entry term, English
- equational formalism
1, record 12, English, equational%20formalism
correct
Record 12, Abbreviations, English
Record 12, Synonyms, English
Record 12, French
Record 12, Domaine(s)
- Intelligence artificielle
Record 12, Main entry term, French
- formalisme équationnel
1, record 12, French, formalisme%20%C3%A9quationnel
correct, masculine noun
Record 12, Abbreviations, French
Record 12, Synonyms, French
Record 12, Textual support, French
Record 12, Spanish
Record 12, Textual support, Spanish
Record 13 - internal organization data 2024-05-09
Record 13, English
Record 13, Subject field(s)
- Artificial Intelligence
Record 13, Main entry term, English
- linear logic
1, record 13, English, linear%20logic
correct
Record 13, Abbreviations, English
Record 13, Synonyms, English
Record 13, Textual support, English
Record 13, French
Record 13, Domaine(s)
- Intelligence artificielle
Record 13, Main entry term, French
- logique linéaire
1, record 13, French, logique%20lin%C3%A9aire
correct, feminine noun
Record 13, Abbreviations, French
Record 13, Synonyms, French
Record 13, Textual support, French
Record number: 13, Textual support number: 1 DEF
Formalisme approprié pour l'étude des propriétés de type universel, telle que la correction totale, par exemple, des programmes séquentiels déterministes, parallèles et non déterministes. 1, record 13, French, - logique%20lin%C3%A9aire
Record 13, Spanish
Record 13, Campo(s) temático(s)
- Inteligencia artificial
Record 13, Main entry term, Spanish
- lógica lineal
1, record 13, Spanish, l%C3%B3gica%20lineal
correct, feminine noun
Record 13, Abbreviations, Spanish
Record 13, Synonyms, Spanish
Record 13, Textual support, Spanish
Record 14 - internal organization data 2023-04-14
Record 14, English
Record 14, Subject field(s)
- Mathematics
- Logic (Philosophy)
- Computer Programs and Programming
- Artificial Intelligence
Record 14, Main entry term, English
- belief operator
1, record 14, English, belief%20operator
correct
Record 14, Abbreviations, English
Record 14, Synonyms, English
Record 14, Textual support, English
Record number: 14, Textual support number: 1 CONT
Belief operators play an important role in epistemic analyses of games. For any event, a belief operator determines the set of states where this event is (in some precise sense) believed. 2, record 14, English, - belief%20operator
Record 14, French
Record 14, Domaine(s)
- Mathématiques
- Logique (Philosophie)
- Programmes et programmation (Informatique)
- Intelligence artificielle
Record 14, Main entry term, French
- opérateur de croyance
1, record 14, French, op%C3%A9rateur%20de%20croyance
correct, masculine noun
Record 14, Abbreviations, French
Record 14, Synonyms, French
Record 14, Textual support, French
Record number: 14, Textual support number: 1 CONT
[...] la logique doxastique [...] interprète l'opérateur modal comme un opérateur de croyance [...] offrant un formalisme pour représenter [...] les croyances [et raisonner à leur sujet]. 1, record 14, French, - op%C3%A9rateur%20de%20croyance
Record 14, Spanish
Record 14, Campo(s) temático(s)
- Matemáticas
- Lógica (Filosofía)
- Programas y programación (Informática)
- Inteligencia artificial
Record 14, Main entry term, Spanish
- operador de creencia
1, record 14, Spanish, operador%20de%20creencia
proposal, masculine noun
Record 14, Abbreviations, Spanish
Record 14, Synonyms, Spanish
Record 14, Textual support, Spanish
Record 15 - internal organization data 2020-10-14
Record 15, English
Record 15, Subject field(s)
- Computer Mathematics
- Computer Programs and Programming
Record 15, Main entry term, English
- Bayesian programming
1, record 15, English, Bayesian%20programming
correct
Record 15, Abbreviations, English
Record 15, Synonyms, English
Record 15, Textual support, English
Record number: 15, Textual support number: 1 CONT
... Bayesian programming ... is a mathematical formalism that defines in simple mathematical terms the way that probability can be used as an alternative to logic for rational reasoning in the presence of uncertainty. 2, record 15, English, - Bayesian%20programming
Record 15, Key term(s)
- Bayesian programing
Record 15, French
Record 15, Domaine(s)
- Mathématiques informatiques
- Programmes et programmation (Informatique)
Record 15, Main entry term, French
- programmation bayésienne
1, record 15, French, programmation%20bay%C3%A9sienne
correct, feminine noun
Record 15, Abbreviations, French
Record 15, Synonyms, French
Record 15, Textual support, French
Record number: 15, Textual support number: 1 CONT
Comme les probabilités sont une extension de la logique, il est [...] possible d’utiliser un formalisme algébrique pour définir les modèles probabilistes. Nous avons proposé un tel formalisme, appelé «programmation bayésienne» [...] 2, record 15, French, - programmation%20bay%C3%A9sienne
Record 15, Spanish
Record 15, Campo(s) temático(s)
- Matemáticas para computación
- Programas y programación (Informática)
Record 15, Main entry term, Spanish
- programación bayesiana
1, record 15, Spanish, programaci%C3%B3n%20bayesiana
correct, feminine noun
Record 15, Abbreviations, Spanish
Record 15, Synonyms, Spanish
Record 15, Textual support, Spanish
Record number: 15, Textual support number: 1 CONT
La programación bayesiana es un formalismo y una metodología para especificar modelos probabilísticos y resolver problemas cuando se dispone de menos de la información necesaria, es un nuevo método de programación de robots móviles basado en la inferencia bayesiana. 1, record 15, Spanish, - programaci%C3%B3n%20bayesiana
Record 16 - internal organization data 2019-06-17
Record 16, English
Record 16, Subject field(s)
- Programming Languages
- Computer Mathematics
Record 16, Main entry term, English
- a programming language
1, record 16, English, a%20programming%20language
correct
Record 16, Abbreviations, English
- APL 1, record 16, English, APL
correct
Record 16, Synonyms, English
- array processing language 2, record 16, English, array%20processing%20language
correct
- APL 2, record 16, English, APL
correct
- APL 2, record 16, English, APL
Record 16, Textual support, English
Record number: 16, Textual support number: 1 DEF
A high-level programming language with a syntax and character set designed for mathematical applications, especially those requiring numeric or literal array manipulation. 3, record 16, English, - a%20programming%20language
Record 16, Key term(s)
- a programing language
Record 16, French
Record 16, Domaine(s)
- Langages de programmation
- Mathématiques informatiques
Record 16, Main entry term, French
- langage APL
1, record 16, French, langage%20APL
correct, masculine noun
Record 16, Abbreviations, French
- APL 2, record 16, French, APL
correct, masculine noun
Record 16, Synonyms, French
Record 16, Textual support, French
Record number: 16, Textual support number: 1 DEF
Langage [...] destiné à l’écriture concise des algorithmes. 3, record 16, French, - langage%20APL
Record number: 16, Textual support number: 1 OBS
Ce langage, étudié comme une langue de communication entre scientifiques, remplace le formalisme mathématique usuel par des symboles nouveaux permettant d’écrire des expressions tant mathématiques que logiques. Il sert à écrire des programmes conversationnels et demande l'emploi de terminaux ayant les symboles spécifiques du langage. 3, record 16, French, - langage%20APL
Record 16, Spanish
Record 16, Textual support, Spanish
Record 17 - internal organization data 2017-08-11
Record 17, English
Record 17, Subject field(s)
- Informatics
- Mathematical Geography
Record 17, Main entry term, English
- conceptual formalism
1, record 17, English, conceptual%20formalism
correct
Record 17, Abbreviations, English
Record 17, Synonyms, English
Record 17, Textual support, English
Record number: 17, Textual support number: 1 CONT
At the design phase, we use "conceptual models." The conceptual models are independent of the technological aspects ... Those models are constructed with the help of conceptual formalisms ... 1, record 17, English, - conceptual%20formalism
Record 17, French
Record 17, Domaine(s)
- Informatique
- Géographie mathématique
Record 17, Main entry term, French
- formalisme conceptuel
1, record 17, French, formalisme%20conceptuel
correct, masculine noun
Record 17, Abbreviations, French
Record 17, Synonyms, French
Record 17, Textual support, French
Record number: 17, Textual support number: 1 CONT
[...] on a assisté [...] à une grande concurrence entre le modèle réseau, le modèle hiérarchique et le modèle relationnel, chacun étant proposé [...] comme le formalisme conceptuel idéal. 1, record 17, French, - formalisme%20conceptuel
Record number: 17, Textual support number: 1 OBS
formalisme : développement de systèmes formels. 2, record 17, French, - formalisme%20conceptuel
Record 17, Spanish
Record 17, Textual support, Spanish
Record 18 - internal organization data 2015-01-19
Record 18, English
Record 18, Subject field(s)
- Artificial Intelligence
- Continuing Education
Record 18, Main entry term, English
- semantic network
1, record 18, English, semantic%20network
correct, see observation, standardized
Record 18, Abbreviations, English
Record 18, Synonyms, English
- semantic net 2, record 18, English, semantic%20net
correct, standardized
- associative network 3, record 18, English, associative%20network
correct, see observation
- logic net 4, record 18, English, logic%20net
correct
- logic network 4, record 18, English, logic%20network
correct
Record 18, Textual support, English
Record number: 18, Textual support number: 1 DEF
A type of knowledge representation that formalizes objects and values as nodes and connects the nodes with arcs or links that indicate the relationships between the various nodes. 5, record 18, English, - semantic%20network
Record number: 18, Textual support number: 1 OBS
Originally associative networks were specifically knowledge representation formalisms and so did not necessarily contain natural language terms. Semantic networks, on the other hand, were originally seen as primarily representations of the meaning of natural language texts. Later this distinction became blurred and "associative network" has become synonymous with "semantic network." 6, record 18, English, - semantic%20network
Record number: 18, Textual support number: 2 OBS
semantic network, semantic net: terms standardized by CSA International in 1992 and ISO/IEC in 1995. 7, record 18, English, - semantic%20network
Record 18, French
Record 18, Domaine(s)
- Intelligence artificielle
- Éducation permanente
Record 18, Main entry term, French
- réseau sémantique
1, record 18, French, r%C3%A9seau%20s%C3%A9mantique
correct, masculine noun, standardized
Record 18, Abbreviations, French
Record 18, Synonyms, French
- réseau d’associations 2, record 18, French, r%C3%A9seau%20d%26rsquo%3Bassociations
correct, masculine noun
- réseau associatif 3, record 18, French, r%C3%A9seau%20associatif
correct, masculine noun
Record 18, Textual support, French
Record number: 18, Textual support number: 1 DEF
Formalisme de représentation des connaissances à base de concepts dans laquelle les objets ou les états sont représentés par des nœuds reliés par des arcs indiquant leurs relations mutuelles [Définition normalisée par l'ISO/CEI en 1995]. 4, record 18, French, - r%C3%A9seau%20s%C3%A9mantique
Record number: 18, Textual support number: 1 OBS
réseau sémantique : terme normalisé par l’ISO/CEI en 1995 et la CSA International en 1992. 5, record 18, French, - r%C3%A9seau%20s%C3%A9mantique
Record 18, Spanish
Record 18, Campo(s) temático(s)
- Inteligencia artificial
- Educación permanente
Record 18, Main entry term, Spanish
- red semántica
1, record 18, Spanish, red%20sem%C3%A1ntica
correct, feminine noun
Record 18, Abbreviations, Spanish
Record 18, Synonyms, Spanish
Record 18, Textual support, Spanish
Record number: 18, Textual support number: 1 DEF
Medio de representación de un conocimiento racional, como un gráfico, directamente rotulado. Cada vértice del gráfico representa una relación entre los conceptos. 1, record 18, Spanish, - red%20sem%C3%A1ntica
Record 19 - internal organization data 2014-12-09
Record 19, English
Record 19, Subject field(s)
- Artificial Intelligence
Record 19, Main entry term, English
- cognitive level
1, record 19, English, cognitive%20level
correct
Record 19, Abbreviations, English
Record 19, Synonyms, English
Record 19, Textual support, English
Record number: 19, Textual support number: 1 OBS
cognitive apparatus: our cognitive apparatus has two main components: the actual brain itself (the hardware, really) and the knowledge or information it contains (the software). 2, record 19, English, - cognitive%20level
Record 19, French
Record 19, Domaine(s)
- Intelligence artificielle
Record 19, Main entry term, French
- niveau cognitif
1, record 19, French, niveau%20cognitif
correct, masculine noun
Record 19, Abbreviations, French
Record 19, Synonyms, French
Record 19, Textual support, French
Record number: 19, Textual support number: 1 CONT
Le niveau cognitif correspond à l'ensemble des connaissances mises en œuvre par l'expert. Elles doivent pouvoir se traduire dans le langage défini par le formalisme de représentation de la connaissance dégagé du niveau structurant et par les descripteurs extraits du niveau conceptuel. 2, record 19, French, - niveau%20cognitif
Record 19, Spanish
Record 19, Textual support, Spanish
Record 20 - external organization data 2014-09-03
Record 20, English
Record 20, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 20
Record 20, Main entry term, English
- semantic network
1, record 20, English, semantic%20network
correct, standardized
Record 20, Abbreviations, English
Record 20, Synonyms, English
- semantic net 1, record 20, English, semantic%20net
correct, standardized
Record 20, Textual support, English
Record number: 20, Textual support number: 1 DEF
concept-based knowledge representation in which objects or states appear as nodes connected with links that indicate the relationships between various nodes 1, record 20, English, - semantic%20network
Record number: 20, Textual support number: 1 OBS
semantic network; semantic net: terms and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995]. 2, record 20, English, - semantic%20network
Record 20, French
Record 20, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 20
Record 20, Main entry term, French
- réseau sémantique
1, record 20, French, r%C3%A9seau%20s%C3%A9mantique
correct, masculine noun, standardized
Record 20, Abbreviations, French
Record 20, Synonyms, French
Record 20, Textual support, French
Record number: 20, Textual support number: 1 DEF
formalisme de représentation des connaissances à base de concepts dans laquelle les objets ou les états sont représentés par des nœuds reliés par des arcs indiquant leurs relations mutuelles 1, record 20, French, - r%C3%A9seau%20s%C3%A9mantique
Record number: 20, Textual support number: 1 OBS
réseau sémantique : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-28:1995]. 2, record 20, French, - r%C3%A9seau%20s%C3%A9mantique
Record 20, Spanish
Record 20, Textual support, Spanish
Record 21 - external organization data 2014-09-03
Record 21, English
Record 21, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 21
Record 21, Main entry term, English
- script
1, record 21, English, script
correct, standardized
Record 21, Abbreviations, English
Record 21, Synonyms, English
- scenario 1, record 21, English, scenario
correct, standardized
Record 21, Textual support, English
Record number: 21, Textual support number: 1 DEF
knowledge representation that uses predetermined sequences of events to determine the results of interactions between known entities 1, record 21, English, - script
Record number: 21, Textual support number: 1 OBS
An event is represented by means of scenes, settings, thematic roles, and props. 1, record 21, English, - script
Record number: 21, Textual support number: 2 OBS
A script is event-oriented in contrast with a frame which is data-oriented and which refers to a point in time. 1, record 21, English, - script
Record number: 21, Textual support number: 3 OBS
script; scenario: terms and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995]. 2, record 21, English, - script
Record 21, French
Record 21, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 21
Record 21, Main entry term, French
- script
1, record 21, French, script
correct, masculine noun, standardized
Record 21, Abbreviations, French
Record 21, Synonyms, French
- scénario 1, record 21, French, sc%C3%A9nario
correct, masculine noun, standardized
Record 21, Textual support, French
Record number: 21, Textual support number: 1 DEF
formalisme de représentation des connaissances qui utilise des séquences préétablies d’événements pour déterminer les résultats d’interactions entre entités connues 1, record 21, French, - script
Record number: 21, Textual support number: 1 OBS
Les événements sont décrits à l’aide de scènes, de décors, de rôles thématiques et d’accessoires. 1, record 21, French, - script
Record number: 21, Textual support number: 2 OBS
Un script est orienté vers les événements tandis qu’un cadre est orienté vers les données et reflète leur état à un moment donné. 1, record 21, French, - script
Record number: 21, Textual support number: 3 OBS
script; scénario : termes et définition normalisés par l’ISO/CEI [ISO/IEC 2382-28:1995]. 2, record 21, French, - script
Record 21, Spanish
Record 21, Textual support, Spanish
Record 22 - internal organization data 2014-04-22
Record 22, English
Record 22, Subject field(s)
- Penal Administration
- Police
Record 22, Main entry term, English
- bind over
1, record 22, English, bind%20over
correct
Record 22, Abbreviations, English
Record 22, Synonyms, English
Record 22, Textual support, English
Record number: 22, Textual support number: 1 DEF
To imprison or place a person into a law enforcement officer’s physical custody for imprisonment to guarantee the person’s attendance at a judicial proceeding (usually a criminal trial). 2, record 22, English, - bind%20over
Record 22, French
Record 22, Domaine(s)
- Administration pénitentiaire
- Police
Record 22, Main entry term, French
- maintenir en détention
1, record 22, French, maintenir%20en%20d%C3%A9tention
correct
Record 22, Abbreviations, French
Record 22, Synonyms, French
Record 22, Textual support, French
Record number: 22, Textual support number: 1 DEF
Garder quelqu’un en détention dans le cadre d’un procès criminel afin de garantir sa comparution au tribunal à la suite de la commission d’une infraction criminelle. 2, record 22, French, - maintenir%20en%20d%C3%A9tention
Record number: 22, Textual support number: 1 CONT
La CISR statue sur votre cas et décide si on devrait vous mettre en liberté ou vous maintenir en détention. La CISR est un tribunal administratif indépendant qui rend des décisions ayant force obligatoire — comme une cour, mais avec moins de formalisme. 1, record 22, French, - maintenir%20en%20d%C3%A9tention
Record 22, Spanish
Record 22, Textual support, Spanish
Record 23 - internal organization data 2014-01-16
Record 23, English
Record 23, Subject field(s)
- Rights and Freedoms
Record 23, Main entry term, English
- as informally as possible
1, record 23, English, as%20informally%20as%20possible
correct
Record 23, Abbreviations, English
Record 23, Synonyms, English
Record 23, French
Record 23, Domaine(s)
- Droits et libertés
Record 23, Main entry term, French
- sans formalisme
1, record 23, French, sans%20formalisme
correct
Record 23, Abbreviations, French
Record 23, Synonyms, French
Record 23, Textual support, French
Record 23, Spanish
Record 23, Textual support, Spanish
Record 24 - internal organization data 2013-05-17
Record 24, English
Record 24, Subject field(s)
- Artificial Intelligence
Record 24, Main entry term, English
- computational
1, record 24, English, computational
correct
Record 24, Abbreviations, English
Record 24, Synonyms, English
- computer 2, record 24, English, computer
correct, adjective
- computing 2, record 24, English, computing
correct, adjective
Record 24, Textual support, English
Record 24, French
Record 24, Domaine(s)
- Intelligence artificielle
Record 24, Main entry term, French
- computationnel
1, record 24, French, computationnel
correct
Record 24, Abbreviations, French
Record 24, Synonyms, French
- informatique 2, record 24, French, informatique
correct, adjective
- calculatoire 3, record 24, French, calculatoire
correct
- par ordinateur 2, record 24, French, par%20ordinateur
correct
- algoristique 3, record 24, French, algoristique
Record 24, Textual support, French
Record number: 24, Textual support number: 1 DEF
Qui représente le sens du langage naturel en termes de calculabilité informatique. 3, record 24, French, - computationnel
Record number: 24, Textual support number: 1 PHR
Architecture calculatoire, dispositif calculatoire, formalisme calculatoire, théorie calculatoire; cadre algoristique, modèle algoristique; schéma computationnel. 4, record 24, French, - computationnel
Record 24, Spanish
Record 24, Campo(s) temático(s)
- Inteligencia artificial
Record 24, Main entry term, Spanish
- computacional
1, record 24, Spanish, computacional
correct
Record 24, Abbreviations, Spanish
Record 24, Synonyms, Spanish
Record 24, Textual support, Spanish
Record 25 - external organization data 2012-11-26
Record 25, English
Record 25, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 25
Record 25, Main entry term, English
- schema
1, record 25, English, schema
correct, standardized
Record 25, Abbreviations, English
Record 25, Synonyms, English
Record 25, Textual support, English
Record number: 25, Textual support number: 1 DEF
<artificial intelligence> formalism for representing knowledge about a simple concept, an entity, or a class of objects by means of its possible uses 1, record 25, English, - schema
Record number: 25, Textual support number: 1 OBS
The schema shows ways of using a concept. It does not describe typical instances of that concept. 1, record 25, English, - schema
Record number: 25, Textual support number: 2 OBS
schema: term and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995]. 2, record 25, English, - schema
Record 25, French
Record 25, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 25
Record 25, Main entry term, French
- schéma
1, record 25, French, sch%C3%A9ma
correct, masculine noun, standardized
Record 25, Abbreviations, French
Record 25, Synonyms, French
Record 25, Textual support, French
Record number: 25, Textual support number: 1 DEF
<intelligence artificielle> formalisme qui représente les connaissances relatives à un concept, à une entité ou à une classe d’objets au moyen de l'ensemble de ses usages possibles 1, record 25, French, - sch%C3%A9ma
Record number: 25, Textual support number: 1 OBS
Le schéma montre les façons typiques d’utiliser les concepts mais ne décrit pas des instances typiques de ces concepts. 1, record 25, French, - sch%C3%A9ma
Record number: 25, Textual support number: 2 OBS
schéma : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-28:1995]. 2, record 25, French, - sch%C3%A9ma
Record 25, Spanish
Record 25, Textual support, Spanish
Record 26 - internal organization data 2012-03-12
Record 26, English
Record 26, Subject field(s)
- Special-Language Phraseology
Record 26, Main entry term, English
- deal with as expeditiously
1, record 26, English, deal%20with%20as%20expeditiously
correct
Record 26, Abbreviations, English
Record 26, Synonyms, English
Record 26, Textual support, English
Record number: 26, Textual support number: 1 OBS
Proceedings ... All proceedings before the Tribunal shall be dealt with as informally and expeditiously as the circumstances and considerations of fairness permit. 2, record 26, English, - deal%20with%20as%20expeditiously
Record 26, French
Record 26, Domaine(s)
- Phraséologie des langues de spécialité
Record 26, Main entry term, French
- agir en procédure expéditive
1, record 26, French, agir%20en%20proc%C3%A9dure%20exp%C3%A9ditive
correct
Record 26, Abbreviations, French
Record 26, Synonyms, French
Record 26, Textual support, French
Record number: 26, Textual support number: 1 OBS
Procédures [...](2) Dans la mesure où les circonstances et l'équité le permettent, il appartient au Tribunal d’agir sans formalisme, en procédure expéditive. 2, record 26, French, - agir%20en%20proc%C3%A9dure%20exp%C3%A9ditive
Record 26, Spanish
Record 26, Textual support, Spanish
Record 27 - internal organization data 2012-03-12
Record 27, English
Record 27, Subject field(s)
- Special-Language Phraseology
Record 27, Main entry term, English
- deal with as informally
1, record 27, English, deal%20with%20as%20informally
correct
Record 27, Abbreviations, English
Record 27, Synonyms, English
Record 27, Textual support, English
Record number: 27, Textual support number: 1 CONT
Proceedings ... (2) All proceedings before the Tribunal shall be dealt with as informally and expeditiously as the circumstances and considerations of fairness permit. 2, record 27, English, - deal%20with%20as%20informally
Record 27, French
Record 27, Domaine(s)
- Phraséologie des langues de spécialité
Record 27, Main entry term, French
- agir sans formalisme
1, record 27, French, agir%20sans%20formalisme
correct
Record 27, Abbreviations, French
Record 27, Synonyms, French
Record 27, Textual support, French
Record number: 27, Textual support number: 1 CONT
Procédures [...](2) Dans la mesure où les circonstances et l'équité le permettent, il appartient au Tribunal d’agir sans formalisme, en procédure expéditive. 2, record 27, French, - agir%20sans%20formalisme
Record 27, Spanish
Record 27, Textual support, Spanish
Record 28 - internal organization data 2012-01-09
Record 28, English
Record 28, Subject field(s)
- Laws and Legal Documents
- Phraseology
Record 28, Main entry term, English
- informality
1, record 28, English, informality
correct
Record 28, Abbreviations, English
Record 28, Synonyms, English
Record 28, Textual support, English
Record number: 28, Textual support number: 1 OBS
informality: taken from the Public Servants Disclosure Protection Act. 2, record 28, English, - informality
Record 28, French
Record 28, Domaine(s)
- Lois et documents juridiques
- Phraséologie
Record 28, Main entry term, French
- absence de formalisme
1, record 28, French, absence%20de%20formalisme
correct, feminine noun
Record 28, Abbreviations, French
Record 28, Synonyms, French
Record 28, Textual support, French
Record number: 28, Textual support number: 1 OBS
absence de formalisme : extrait de la Loi sur la protection des fonctionnaires divulgateurs d’actes répréhensibles. 2, record 28, French, - absence%20de%20formalisme
Record 28, Spanish
Record 28, Textual support, Spanish
Record 29 - internal organization data 2011-11-02
Record 29, English
Record 29, Subject field(s)
- Chemistry
Record 29, Main entry term, English
- hyperconjugation
1, record 29, English, hyperconjugation
correct
Record 29, Abbreviations, English
Record 29, Synonyms, English
Record 29, Textual support, English
Record number: 29, Textual support number: 1 CONT
In the formalism that separates bonds into [sigma] and [pi] types, hyperconjugation is the interaction of [sigma] bonds with a [pi] network. This interaction is customarily illustrated by contributing structures ... 2, record 29, English, - hyperconjugation
Record number: 29, Textual support number: 1 OBS
The concept of hyperconjugation is also extended to carbenium ions and radicals, where the interaction is now between [sigma] bonds and an unfilled or partly filled [pi]- or p-orbital. 2, record 29, English, - hyperconjugation
Record 29, French
Record 29, Domaine(s)
- Chimie
Record 29, Main entry term, French
- hyperconjugaison
1, record 29, French, hyperconjugaison
correct, feminine noun
Record 29, Abbreviations, French
Record 29, Synonyms, French
Record 29, Textual support, French
Record number: 29, Textual support number: 1 DEF
Interaction électronique d’une liaison simple soit avec un centre cationique ou radicalaire, soit avec une double liaison ou un système délocalisé d’électrons. 2, record 29, French, - hyperconjugaison
Record number: 29, Textual support number: 1 CONT
Selon le formalisme où l'on distingue les liaisons-[sigma] des liaisons-[pi], l'hyperconjugaison est l'interaction-[sigma] avec un système-[pi]. Cette interaction est traditionnellement illustrée par la contribution de structures limites [...] 3, record 29, French, - hyperconjugaison
Record number: 29, Textual support number: 1 OBS
Le concept d’hyperconjugaison a aussi été étendu aux ions carbénium et aux radicaux, l’interaction s’établissant alors entre des liaisons-[sigma] et une liaison [pi] ou une orbitale p vacante ou partiellement occupée. [...] 3, record 29, French, - hyperconjugaison
Record number: 29, Textual support number: 2 OBS
hyperconjugaison : terme et définition publiés au Journal officiel de la République française le 8 octobre 2003. 4, record 29, French, - hyperconjugaison
Record 29, Spanish
Record 29, Textual support, Spanish
Record 30 - internal organization data 2011-09-26
Record 30, English
Record 30, Subject field(s)
- Nuclear Physics
Record 30, Main entry term, English
- heterogeneous-homogeneous equivalence
1, record 30, English, heterogeneous%2Dhomogeneous%20equivalence
correct
Record 30, Abbreviations, English
Record 30, Synonyms, English
Record 30, Textual support, English
Record number: 30, Textual support number: 1 CONT
The heterogeneous-homogeneous equivalence leads to the concept of pre-tabulation in a homogeneous medium which, when the resonant nucleus and its temperature have been defined, turns out to be defined by a single parameter: the dilution cross-section [sigma d]. It can therefore be easily tabulated and explored once and for all. 1, record 30, English, - heterogeneous%2Dhomogeneous%20equivalence
Record 30, French
Record 30, Domaine(s)
- Physique nucléaire
Record 30, Main entry term, French
- équivalence hétérogène/homogène
1, record 30, French, %C3%A9quivalence%20h%C3%A9t%C3%A9rog%C3%A8ne%2Fhomog%C3%A8ne
correct, feminine noun
Record 30, Abbreviations, French
Record 30, Synonyms, French
- équivalence hétérogène-homogène 2, record 30, French, %C3%A9quivalence%20h%C3%A9t%C3%A9rog%C3%A8ne%2Dhomog%C3%A8ne
correct, feminine noun
Record 30, Textual support, French
Record number: 30, Textual support number: 1 CONT
Le but du formalisme d’autoprotection dans APOLLO2 est d’évaluer pour une géométrie donnée les sections multigroupes des isotopes résonnants présents dans cette géométrie pour les groupes du maillage multigroupe correspondant au domaine des résonances. Ces sections sont appelées «autoprotégées» et sont déterminées par une double équivalence. La première appelée «équivalence hétérogène/homogène» permet d’obtenir les taux de réaction à préserver dans la géométrie réelle. La seconde dite «équivalence multigroupe» donnent les sections efficaces multigroupes qui préservent ces taux de réaction. 3, record 30, French, - %C3%A9quivalence%20h%C3%A9t%C3%A9rog%C3%A8ne%2Fhomog%C3%A8ne
Record 30, Spanish
Record 30, Textual support, Spanish
Record 31 - internal organization data 2011-09-21
Record 31, English
Record 31, Subject field(s)
- Nuclear Physics
Record 31, Main entry term, English
- scattering approximation
1, record 31, English, %20scattering%20approximation
correct
Record 31, Abbreviations, English
Record 31, Synonyms, English
Record 31, Textual support, English
Record number: 31, Textual support number: 1 CONT
The transport theory calculations were again performed using the TGV/VARIANT variational nodal method with an order P3 angular expansion of the flux and a P0 scattering approximation. Global reactor integrated transport theory results are based on direct k-effective difference. 1, record 31, English, - %20scattering%20approximation
Record 31, French
Record 31, Domaine(s)
- Physique nucléaire
Record 31, Main entry term, French
- approximation de la diffusion
1, record 31, French, approximation%20de%20la%20diffusion
correct, feminine noun
Record 31, Abbreviations, French
Record 31, Synonyms, French
Record 31, Textual support, French
Record number: 31, Textual support number: 1 CONT
Approximation de la diffusion. L'équation de transport peut être résolue dans sa forme originale, mais au prix d’un temps de calcul élevé. La simulation d’un réacteur nucléaire complet est donc généralement effectuée à l'aide du formalisme de la diffusion. Concrètement, l'approximation de la diffusion consiste à éliminer la dépendance angulaire du flux neutronique en effectuant un développement limité du flux neutronique en harmoniques sphériques. 2, record 31, French, - approximation%20de%20la%20diffusion
Record 31, Spanish
Record 31, Textual support, Spanish
Record 32 - internal organization data 2011-06-07
Record 32, English
Record 32, Subject field(s)
- Physics of Solids
Record 32, Main entry term, English
- Bloch formalism
1, record 32, English, Bloch%20formalism
correct
Record 32, Abbreviations, English
Record 32, Synonyms, English
- Bloch’s formalism 2, record 32, English, Bloch%26rsquo%3Bs%20formalism
correct
Record 32, Textual support, English
Record number: 32, Textual support number: 1 CONT
In one approach, Bloch formalism — used commonly for describing motion of electrons in semiconductors — is applied to Bragg gratings. 1, record 32, English, - Bloch%20formalism
Record 32, French
Record 32, Domaine(s)
- Physique des solides
Record 32, Main entry term, French
- formalisme de Bloch
1, record 32, French, formalisme%20de%20Bloch
correct, masculine noun
Record 32, Abbreviations, French
Record 32, Synonyms, French
Record 32, Textual support, French
Record 32, Spanish
Record 32, Textual support, Spanish
Record 33 - internal organization data 2011-06-01
Record 33, English
Record 33, Subject field(s)
- Meetings and Assemblies (Administration)
- Group Dynamics
Record 33, Main entry term, English
- marathon group
1, record 33, English, marathon%20group
correct
Record 33, Abbreviations, English
Record 33, Synonyms, English
Record 33, Textual support, English
Record number: 33, Textual support number: 1 DEF
A group encounter of extended length, usually of 24 hours duration or more. 1, record 33, English, - marathon%20group
Record 33, Key term(s)
- marathon encounter group
Record 33, French
Record 33, Domaine(s)
- Réunions et assemblées (Administration)
- Dynamique des groupes
Record 33, Main entry term, French
- groupe marathon
1, record 33, French, groupe%20marathon
correct, masculine noun
Record 33, Abbreviations, French
Record 33, Synonyms, French
- groupe-marathon 2, record 33, French, groupe%2Dmarathon
correct, masculine noun
- groupe de marathon 3, record 33, French, groupe%20de%20marathon
correct, masculine noun
Record 33, Textual support, French
Record number: 33, Textual support number: 1 OBS
pl.: groupes marathon (cf. AGROU, 1981, p. 211). 4, record 33, French, - groupe%20marathon
Record number: 33, Textual support number: 1 DEF
Formule d’intensification du Groupe T par des sessions quasi-ininterrompues à vie communautaire dense et à consignes d’expression sauvage des sentiments. 2, record 33, French, - groupe%20marathon
Record number: 33, Textual support number: 2 DEF
Groupes de rencontre intensifs (sans interruption, de 18 à 36 heures de travail en groupe: les gens se restaurent sur place ou s’allongent s’ils sont terrassés par le sommeil pendant que le groupe continue). 1, record 33, French, - groupe%20marathon
Record number: 33, Textual support number: 1 CONT
Le groupe-marathon. [...] ces groupes sont en réaction contre tout formalisme [...] Ils ont pour objectif pratique de casser les défenses personnelles [...], les rôles appris [...] dans la mesure où [...] ce sont des structures qui emprisonnent le Moi [...], stérilisent la spontanéité et la communication [...] 2, record 33, French, - groupe%20marathon
Record 33, Spanish
Record 33, Textual support, Spanish
Record 34 - internal organization data 2010-12-08
Record 34, English
Record 34, Subject field(s)
- Police
Record 34, Main entry term, English
- search and seizure
1, record 34, English, search%20and%20seizure
correct
Record 34, Abbreviations, English
Record 34, Synonyms, English
Record 34, Textual support, English
Record number: 34, Textual support number: 1 OBS
... the search for and taking custody of property unlawfully held, such as stolen goods, property forfeited for violation of the law, and property the use or possession of which is prohibited by law, and the discovery and taking into legal custody of ... things constituting or containing evidence of crime. 2, record 34, English, - search%20and%20seizure
Record 34, French
Record 34, Domaine(s)
- Police
Record 34, Main entry term, French
- perquisition et saisie
1, record 34, French, perquisition%20et%20saisie
correct, feminine noun
Record 34, Abbreviations, French
Record 34, Synonyms, French
Record 34, Textual support, French
Record number: 34, Textual support number: 1 CONT
On appelle perquisitions les investigations effectuées par [...] le juge d’instruction ou les officiers de police judiciaire [...] au domicile du prévenu ou du suspect [...]; les éléments de preuve ainsi découverts sont immédiatement inventoriés, saisis et placés sous scellés. Ces perquisitions et saisies doivent répondre à un formalisme différent selon qu'elles sont pratiquées : en enquête de crime ou délit flagrant; en enquête de crime ou délit non flagrant [...] 2, record 34, French, - perquisition%20et%20saisie
Record 34, Spanish
Record 34, Campo(s) temático(s)
- Policía
Record 34, Main entry term, Spanish
- allanamiento, registro e incautación
1, record 34, Spanish, allanamiento%2C%20registro%20e%20incautaci%C3%B3n
correct, masculine noun
Record 34, Abbreviations, Spanish
Record 34, Synonyms, Spanish
- allanamiento y secuestro 2, record 34, Spanish, allanamiento%20y%20secuestro
masculine noun
Record 34, Textual support, Spanish
Record number: 34, Textual support number: 1 CONT
Estos individuos reconocieron haber participado en el operativo arbitrario de allanamiento y secuestro. 2, record 34, Spanish, - allanamiento%2C%20registro%20e%20incautaci%C3%B3n
Record 35 - internal organization data 2009-11-09
Record 35, English
Record 35, Subject field(s)
- Nuclear Physics
- Atomic Physics
Record 35, Main entry term, English
- law of radioactive decay
1, record 35, English, law%20of%20radioactive%20decay
correct
Record 35, Abbreviations, English
Record 35, Synonyms, English
Record 35, Textual support, English
Record number: 35, Textual support number: 1 CONT
The law of radioactive decay predicts how the number of the not decayed nuclei of a given radioactive substance decreases in the course of time. 1, record 35, English, - law%20of%20radioactive%20decay
Record number: 35, Textual support number: 1 OBS
The red circles of this simulation symbolize 1000 atomic nuclei of a radioactive substance whose half-life period (T) amounts to 20 seconds. 1, record 35, English, - law%20of%20radioactive%20decay
Record 35, Key term(s)
- radioactive decay law
Record 35, French
Record 35, Domaine(s)
- Physique nucléaire
- Physique atomique
Record 35, Main entry term, French
- loi de décroissance radioactive
1, record 35, French, loi%20de%20d%C3%A9croissance%20radioactive
correct, feminine noun
Record 35, Abbreviations, French
Record 35, Synonyms, French
Record 35, Textual support, French
Record number: 35, Textual support number: 1 CONT
Loi de décroissance radioactive. C'est en 1902 que Rutherford et Soddy ont mis en évidence la loi de décroissance exponentielle d’un corps radioactif. En effet, ils cherchaient à interpréter leurs expériences réalisées sur les éléments appartenant à la famille radioactive du thorium. C'est à Bateman(en 1910) que l'on doit l'établissement du formalisme général de résolution des équations régissant les filiations radioactives en fonction du temps [...] 1, record 35, French, - loi%20de%20d%C3%A9croissance%20radioactive
Record 35, Spanish
Record 35, Textual support, Spanish
Record 36 - internal organization data 2008-09-19
Record 36, English
Record 36, Subject field(s)
- Titles of International Programs
- International Relations
Record 36, Main entry term, English
- Special Program of Assistance for Africa
1, record 36, English, Special%20Program%20of%20Assistance%20for%20Africa
correct
Record 36, Abbreviations, English
- SPA 1, record 36, English, SPA
correct
Record 36, Synonyms, English
Record 36, Textual support, English
Record number: 36, Textual support number: 1 OBS
The Special Program of Assistance for Africa (SPA) was established in 1987 as a response to the economic crises of the debt-distressed countries in Sub-Saharan Africa. An informal association of donors, the SPA was intended to support the countries structural adjustment programs with the International Development Association and the International Monetary Fund. The SPA did respond to the challenge. Free of the restrictive formality of other fora, donors were able to test ideas and develop a mutual understanding. High-level donor representation provided the opportunity for meaningful interactions with World Bank and IMF policy makers. The SPA helped to channel substantial quick-disbursing aid. Through peer pressure, it improved donor procedures. It broadened its agenda to address structural impediments to broad-based development. It provided a platform for frank and open exchanges on Africa's economic and social policy issues. It facilitated a convergence of development assistance goals and practices while preserving flexibility. 1, record 36, English, - Special%20Program%20of%20Assistance%20for%20Africa
Record 36, French
Record 36, Domaine(s)
- Titres de programmes internationaux
- Relations internationales
Record 36, Main entry term, French
- Programme spécial d’assistance à l’Afrique
1, record 36, French, Programme%20sp%C3%A9cial%20d%26rsquo%3Bassistance%20%C3%A0%20l%26rsquo%3BAfrique
correct, masculine noun
Record 36, Abbreviations, French
- PSA 1, record 36, French, PSA
correct, masculine noun
Record 36, Synonyms, French
Record 36, Textual support, French
Record number: 36, Textual support number: 1 OBS
Le Programme spécial d’assistance à l'Afrique(PSA) a été lancé en 1987 en réaction à la crise économique qui sévissait dans les pays lourdement endettés d’Afrique subsaharienne. Association informelle de donateurs, il visait à soutenir les programmes d’ajustement structurel de ces pays conjointement avec l'Association internationale de développement et le Fonds monétaire international. Le PSA a relevé le défi. Exempt du formalisme contraignant des autres instances, il a permis de tester des idées nouvelles et de développer la compréhension mutuelle entre les donateurs. Grâce à une représentation de haut niveau, ceux-ci ont pu avoir des échanges constructifs avec les responsables de la Banque mondiale et du FMI. Le PSA a permis d’acheminer une aide à décaissement rapide importante. Sous la pression des pairs, les donateurs ont amélioré leurs procédures. Le programme d’action a été élargi pour tenter de résoudre les problèmes structurels qui font obstacle au développement général. Le PSA a servi de base à des échanges francs et ouverts sur les questions économiques et sociales qui se posent en Afrique. Il a favorisé la convergence des buts et des pratiques en matière d’aide au développement tout en préservant la flexibilité. 1, record 36, French, - Programme%20sp%C3%A9cial%20d%26rsquo%3Bassistance%20%C3%A0%20l%26rsquo%3BAfrique
Record 36, Spanish
Record 36, Campo(s) temático(s)
- Títulos de programas internacionales
- Relaciones internacionales
Record 36, Main entry term, Spanish
- Programa Especial de Asistencia para África
1, record 36, Spanish, Programa%20Especial%20de%20Asistencia%20para%20%C3%81frica
masculine noun
Record 36, Abbreviations, Spanish
Record 36, Synonyms, Spanish
Record 36, Textual support, Spanish
Record 37 - internal organization data 2005-08-11
Record 37, English
Record 37, Subject field(s)
- Legal System
- Citizenship and Immigration
Record 37, Main entry term, English
- considerations of fairness and natural justice
1, record 37, English, considerations%20of%20fairness%20and%20natural%20justice
correct, federal act
Record 37, Abbreviations, English
Record 37, Synonyms, English
Record 37, Textual support, English
Record number: 37, Textual support number: 1 CONT
The judge shall deal with all matters as informally and expeditiously as the circumstances and considerations of fairness and natural justice permit. 1, record 37, English, - considerations%20of%20fairness%20and%20natural%20justice
Record number: 37, Textual support number: 1 OBS
Term found in the Immigration and Refugee Protection Act, 2001. 2, record 37, English, - considerations%20of%20fairness%20and%20natural%20justice
Record 37, Key term(s)
- consideration of fairness natural justice
Record 37, French
Record 37, Domaine(s)
- Théorie du droit
- Citoyenneté et immigration
Record 37, Main entry term, French
- considérations d’équité et de justice naturelle
1, record 37, French, consid%C3%A9rations%20d%26rsquo%3B%C3%A9quit%C3%A9%20et%20de%20justice%20naturelle
correct, federal act, feminine noun
Record 37, Abbreviations, French
Record 37, Synonyms, French
Record 37, Textual support, French
Record number: 37, Textual support number: 1 CONT
Le juge procède, dans la mesure où les circonstances et les considérations d’équité et de justice naturelle le permettent, sans formalisme et selon la procédure expéditive. 1, record 37, French, - consid%C3%A9rations%20d%26rsquo%3B%C3%A9quit%C3%A9%20et%20de%20justice%20naturelle
Record number: 37, Textual support number: 1 OBS
Terme tiré de la Loi sur l’immigration et la protection des réfugiés, 2001. 2, record 37, French, - consid%C3%A9rations%20d%26rsquo%3B%C3%A9quit%C3%A9%20et%20de%20justice%20naturelle
Record 37, Key term(s)
- considération d’équité et de justice naturelle
Record 37, Spanish
Record 37, Textual support, Spanish
Record 38 - internal organization data 2004-09-21
Record 38, English
Record 38, Subject field(s)
- Artificial Intelligence
Record 38, Main entry term, English
- knowledge representation
1, record 38, English, knowledge%20representation
correct, standardized
Record 38, Abbreviations, English
Record 38, Synonyms, English
Record 38, Textual support, English
Record number: 38, Textual support number: 1 DEF
The process or result of encoding and storing knowledge in a knowledge base. 2, record 38, English, - knowledge%20representation
Record number: 38, Textual support number: 1 CONT
...researchers who are attempting to build systems for understanding natural language prefer rich knowledge representations, such as frames, scripts, and semantic nets, to more uniform and less struc tured representations, such as attribute-value lists and PLANNER-style representations. 3, record 38, English, - knowledge%20representation
Record number: 38, Textual support number: 1 OBS
Term and definition standardized by ISO/IEC. 4, record 38, English, - knowledge%20representation
Record 38, French
Record 38, Domaine(s)
- Intelligence artificielle
Record 38, Main entry term, French
- représentation des connaissances
1, record 38, French, repr%C3%A9sentation%20des%20connaissances
correct, feminine noun, standardized
Record 38, Abbreviations, French
Record 38, Synonyms, French
- représentation de la connaissance 2, record 38, French, repr%C3%A9sentation%20de%20la%20connaissance
correct, feminine noun
Record 38, Textual support, French
Record number: 38, Textual support number: 1 DEF
Formalisme de représentation des faits et des règles concernant un domaine ou une spécialité. 3, record 38, French, - repr%C3%A9sentation%20des%20connaissances
Record number: 38, Textual support number: 2 DEF
Forme et structure des données des connaissances propres à un système, des règles qui s’y appliquent et de leurs relations (priorités, liens, méthodes, surcharges). 4, record 38, French, - repr%C3%A9sentation%20des%20connaissances
Record number: 38, Textual support number: 1 CONT
Le choix d’un formalisme approprié pour la représentation des connaissances dans les différentes bases aura un impact considérable sur le processus d’apprentissage puisqu'il affecte directement le pouvoir d’expression, le pouvoir d’inférence ainsi que les caractères modifiables et extensibles de ces bases. 5, record 38, French, - repr%C3%A9sentation%20des%20connaissances
Record number: 38, Textual support number: 1 OBS
Il s’agit d’emmagasiner un grand nombre de faits sous une forme telle qu’il soit possible d’enrichir, de modifier, de mobiliser et d’exploiter à toutes fins utiles ce stock de faits, en un temps raisonnable. 6, record 38, French, - repr%C3%A9sentation%20des%20connaissances
Record number: 38, Textual support number: 2 OBS
représentation des connaissances : Terme normalisé par ISO/CEI. 7, record 38, French, - repr%C3%A9sentation%20des%20connaissances
Record 38, Spanish
Record 38, Campo(s) temático(s)
- Inteligencia artificial
Record 38, Main entry term, Spanish
- representación del conocimiento
1, record 38, Spanish, representaci%C3%B3n%20del%20conocimiento
correct, feminine noun
Record 38, Abbreviations, Spanish
Record 38, Synonyms, Spanish
Record 38, Textual support, Spanish
Record number: 38, Textual support number: 1 DEF
[Resultado de la codificación y almacenamiento] del conocimiento en una base de conocimientos. 1, record 38, Spanish, - representaci%C3%B3n%20del%20conocimiento
Record 39 - internal organization data 2004-07-15
Record 39, English
Record 39, Subject field(s)
- Citizenship and Immigration
- Special-Language Phraseology
Record 39, Main entry term, English
- informally and expeditiously
1, record 39, English, informally%20and%20expeditiously
correct
Record 39, Abbreviations, English
Record 39, Synonyms, English
Record 39, Textual support, English
Record number: 39, Textual support number: 1 OBS
informally and expeditiously: terminology used by Citizenship and Immigration Canada and the Immigration and Refugee Board (IRB). 2, record 39, English, - informally%20and%20expeditiously
Record 39, French
Record 39, Domaine(s)
- Citoyenneté et immigration
- Phraséologie des langues de spécialité
Record 39, Main entry term, French
- sans formalisme et avec célérité
1, record 39, French, sans%20formalisme%20et%20avec%20c%C3%A9l%C3%A9rit%C3%A9
correct
Record 39, Abbreviations, French
Record 39, Synonyms, French
Record 39, Textual support, French
Record number: 39, Textual support number: 1 OBS
sans formalisme et avec célérité : terminologie employée par Citoyenneté et Immigration Canada et la Commission de l'immigration et du statut de réfugié(CISR). 2, record 39, French, - sans%20formalisme%20et%20avec%20c%C3%A9l%C3%A9rit%C3%A9
Record 39, Spanish
Record 39, Textual support, Spanish
Record 40 - internal organization data 2001-05-31
Record 40, English
Record 40, Subject field(s)
- Translation (General)
Record 40, Main entry term, English
- as informally and expeditiously as
1, record 40, English, as%20informally%20and%20expeditiously%20as
correct
Record 40, Abbreviations, English
Record 40, Synonyms, English
Record 40, Textual support, English
Record number: 40, Textual support number: 1 CONT
The review Board shall dispose of any matter before it as informally and expeditiously as, in its opinion, the circumstances and considerations of fairness will permit 1, record 40, English, - as%20informally%20and%20expeditiously%20as
Record number: 40, Textual support number: 2 CONT
Decisions of the Minister shall be made as informally and expeditiously as the circumstances and considerations of fairness permit 1, record 40, English, - as%20informally%20and%20expeditiously%20as
Record 40, French
Record 40, Domaine(s)
- Traduction (Généralités)
Record 40, Main entry term, French
- avec aussi peu de formalisme et autant de célérité 1, record 40, French, avec%20aussi%20peu%20de%20formalisme%20et%20autant%20de%20c%C3%A9l%C3%A9rit%C3%A9
Record 40, Abbreviations, French
Record 40, Synonyms, French
- sans formalisme et en procédure expéditive 1, record 40, French, sans%20formalisme%20et%20en%20proc%C3%A9dure%20exp%C3%A9ditive
Record 40, Textual support, French
Record number: 40, Textual support number: 1 CONT
La commission règle l'affaire dont elle est saisie avec aussi peu de formalisme et autant de célérité que le permettent, à son avis, l'équité et les circonstances 1, record 40, French, - avec%20aussi%20peu%20de%20formalisme%20et%20autant%20de%20c%C3%A9l%C3%A9rit%C3%A9
Record number: 40, Textual support number: 2 CONT
Dans la mesure où les circonstances et l'équité le permettent, le ministre prend ses décisions sans formalisme et en procédure expéditive 1, record 40, French, - avec%20aussi%20peu%20de%20formalisme%20et%20autant%20de%20c%C3%A9l%C3%A9rit%C3%A9
Record 40, Spanish
Record 40, Textual support, Spanish
Record 41 - internal organization data 2000-11-21
Record 41, English
Record 41, Subject field(s)
- Physics
Record 41, Main entry term, English
- path integral method
1, record 41, English, path%20integral%20method
correct
Record 41, Abbreviations, English
Record 41, Synonyms, English
Record 41, Textual support, English
Record number: 41, Textual support number: 1 DEF
A formulation of quantum mechanics and quantum statistical mechanics developed by Feynman. 2, record 41, English, - path%20integral%20method
Record 41, French
Record 41, Domaine(s)
- Physique
Record 41, Main entry term, French
- méthode des intégrales de chemin
1, record 41, French, m%C3%A9thode%20des%20int%C3%A9grales%20de%20chemin
proposal, feminine noun
Record 41, Abbreviations, French
Record 41, Synonyms, French
Record 41, Textual support, French
Record number: 41, Textual support number: 1 OBS
[...](formalisme des «intégrales des chemins» en théorie quantique). 1, record 41, French, - m%C3%A9thode%20des%20int%C3%A9grales%20de%20chemin
Record 41, Spanish
Record 41, Textual support, Spanish
Record 42 - internal organization data 2000-08-29
Record 42, English
Record 42, Subject field(s)
- Mathematics
- Computer Graphics
Record 42, Main entry term, English
- Dirac comb
1, record 42, English, Dirac%20comb
correct
Record 42, Abbreviations, English
Record 42, Synonyms, English
Record 42, Textual support, English
Record number: 42, Textual support number: 1 OBS
See Dirac equation, Dirac function, Dirac operator, Dirac impulse. 1, record 42, English, - Dirac%20comb
Record 42, French
Record 42, Domaine(s)
- Mathématiques
- Infographie
Record 42, Main entry term, French
- peigne de Dirac
1, record 42, French, peigne%20de%20Dirac
correct, masculine noun
Record 42, Abbreviations, French
Record 42, Synonyms, French
Record 42, Textual support, French
Record number: 42, Textual support number: 1 CONT
Il résulte de la quantification [...] de l'espace et du temps que la dimension est elle-même quantifiée(E). Il suffit alors de convoluer [...] par un peigne de Dirac mais le développement de ce formalisme ne s’impose pas ici. 1, record 42, French, - peigne%20de%20Dirac
Record 42, Spanish
Record 42, Textual support, Spanish
Record 43 - internal organization data 1998-11-24
Record 43, English
Record 43, Subject field(s)
- Artificial Intelligence
Record 43, Main entry term, English
- attribute-value pair
1, record 43, English, attribute%2Dvalue%20pair
correct
Record 43, Abbreviations, English
Record 43, Synonyms, English
- A-V pair 2, record 43, English, A%2DV%20pair
correct
Record 43, Textual support, English
Record number: 43, Textual support number: 1 DEF
A object representation schema for an attribute and its associated value. 3, record 43, English, - attribute%2Dvalue%20pair
Record number: 43, Textual support number: 1 CONT
Some systems are built around single objects or, in any case, do not formally represent multiple objects. In such cases the system represents facts in terms of attribute-value (A-V) pairs rather than triplets. This representation schema works much like an O-A-V schema except that, since it cannot represent multiple objects, it cannot take advantage of inheritance hierarchies. 4, record 43, English, - attribute%2Dvalue%20pair
Record number: 43, Textual support number: 2 CONT
The input to ID3 is a list of positive and negative instances of some concept, with each instance represented as a list of attribute-value pairs.... 5, record 43, English, - attribute%2Dvalue%20pair
Record 43, French
Record 43, Domaine(s)
- Intelligence artificielle
Record 43, Main entry term, French
- couple attribut-valeur
1, record 43, French, couple%20attribut%2Dvaleur
correct, masculine noun
Record 43, Abbreviations, French
Record 43, Synonyms, French
- couple paramètre-valeur 2, record 43, French, couple%20param%C3%A8tre%2Dvaleur
correct, masculine noun
Record 43, Textual support, French
Record number: 43, Textual support number: 1 DEF
Schéma de représentation d’objets uniques, distincte des triplets OBAV (objet-attribut-valeur) propres aux représentations d’objets multiples, en ce qu’il ne peut rendre compte des hiérarchies d’héritage. 2, record 43, French, - couple%20attribut%2Dvaleur
Record number: 43, Textual support number: 1 CONT
Les concepts appris par un système sont le plus souvent décrits dans un formalisme logique plus ou moins expressif, par exemple, en termes de conjonctions ou disjonctions de couples attribut-valeur; beaucoup de concepts réels ne peuvent être caractérisés de manière aussi naïve [...] 3, record 43, French, - couple%20attribut%2Dvaleur
Record 43, Spanish
Record 43, Textual support, Spanish
Record 44 - internal organization data 1997-09-17
Record 44, English
Record 44, Subject field(s)
- Artificial Intelligence
- Continuing Education
Record 44, Main entry term, English
- mechanistic mental model
1, record 44, English, mechanistic%20mental%20model
correct
Record 44, Abbreviations, English
Record 44, Synonyms, English
Record 44, Textual support, English
Record number: 44, Textual support number: 1 CONT
Indeed, according to the theory and in keeping with the conclusions of SOPHIE-III, the fragility of mechanistic mental models stems primarily from implicit assumptions, violations of which break the correspondence between model and actual system. 1, record 44, English, - mechanistic%20mental%20model
Record 44, French
Record 44, Domaine(s)
- Intelligence artificielle
- Éducation permanente
Record 44, Main entry term, French
- modèle mental mécaniste
1, record 44, French, mod%C3%A8le%20mental%20m%C3%A9caniste
correct, masculine noun
Record 44, Abbreviations, French
Record 44, Synonyms, French
Record 44, Textual support, French
Record number: 44, Textual support number: 1 CONT
modèle mental, formalisme mécaniste, modèle mental réaliste, etc. 1, record 44, French, - mod%C3%A8le%20mental%20m%C3%A9caniste
Record 44, Spanish
Record 44, Textual support, Spanish
Record 45 - internal organization data 1995-10-01
Record 45, English
Record 45, Subject field(s)
- Legal System
Record 45, Main entry term, English
- procrustean bed 1, record 45, English, procrustean%20bed
Record 45, Abbreviations, English
Record 45, Synonyms, English
Record 45, Textual support, English
Record 45, French
Record 45, Domaine(s)
- Théorie du droit
Record 45, Main entry term, French
- formalisme excessif
1, record 45, French, formalisme%20excessif
masculine noun
Record 45, Abbreviations, French
Record 45, Synonyms, French
Record 45, Textual support, French
Record number: 45, Textual support number: 1 OBS
Source(s) : Kumar, [1987] 3 CF 503, 508. 1, record 45, French, - formalisme%20excessif
Record 45, Spanish
Record 45, Textual support, Spanish
Record 46 - internal organization data 1994-11-14
Record 46, English
Record 46, Subject field(s)
- Mathematics
- Testing and Debugging
Record 46, Main entry term, English
- external perimeter
1, record 46, English, external%20perimeter
correct
Record 46, Abbreviations, English
Record 46, Synonyms, English
- envelope 2, record 46, English, envelope
correct
- hull 3, record 46, English, hull
correct, noun
Record 46, Textual support, English
Record number: 46, Textual support number: 1 DEF
Overall shape ... of (DLA) clusters 1, record 46, English, - external%20perimeter
Record number: 46, Textual support number: 1 OBS
Used of clusters as well as for the trajectories of random walks. 4, record 46, English, - external%20perimeter
Record number: 46, Textual support number: 1 PHR
Hilbert envelope. 5, record 46, English, - external%20perimeter
Record 46, French
Record 46, Domaine(s)
- Mathématiques
- Test et débogage
Record 46, Main entry term, French
- enveloppe
1, record 46, French, enveloppe
correct, feminine noun
Record 46, Abbreviations, French
Record 46, Synonyms, French
Record 46, Textual support, French
Record number: 46, Textual support number: 1 DEF
Périmètre extérieur d’un agrégat, d’un attracteur, d’une courbe fractale, ou d’une trajectoire aléatoire. 2, record 46, French, - enveloppe
Record number: 46, Textual support number: 1 PHR
enveloppe brownienne, convexe, exponentielle, inférieure, sinusoïdale, supérieure. 2, record 46, French, - enveloppe
Record number: 46, Textual support number: 2 PHR
enveloppe d’amas de percolation, d’attracteur, de cardioïde, de courbe, de fractale aléatoire, de trajectoire, de fonctions, de surfaces, d’une famille de courbes. 2, record 46, French, - enveloppe
Record number: 46, Textual support number: 3 PHR
conditions aux limites sur l'enveloppe, équation d’enveloppe, formalisme d’enveloppe, frontière fractale d’enveloppe, module d’enveloppe, théorie des enveloppes. 2, record 46, French, - enveloppe
Record 46, Spanish
Record 46, Textual support, Spanish
Record 47 - internal organization data 1994-04-12
Record 47, English
Record 47, Subject field(s)
- Mathematics
- Computer Graphics
Record 47, Main entry term, English
- noncommutative algebra
1, record 47, English, noncommutative%20algebra
correct
Record 47, Abbreviations, English
Record 47, Synonyms, English
Record 47, Textual support, English
Record 47, French
Record 47, Domaine(s)
- Mathématiques
- Infographie
Record 47, Main entry term, French
- algèbre non commutative
1, record 47, French, alg%C3%A8bre%20non%20commutative
correct, feminine noun
Record 47, Abbreviations, French
Record 47, Synonyms, French
- algèbre de projecteurs 2, record 47, French, alg%C3%A8bre%20de%20projecteurs
correct, feminine noun
Record 47, Textual support, French
Record number: 47, Textual support number: 1 DEF
En analyse fonctionnelle, algèbre généralisant la théorie des quaternions de Hamilton (1845) et correspondant à des espaces géométriques particuliers tels que les pavages de Penrose, ou l’espace des solutions d’une équation différentielle (feuilles d’un feuilletage). 2, record 47, French, - alg%C3%A8bre%20non%20commutative
Record number: 47, Textual support number: 1 OBS
Concept utilisé depuis 1982 par le mathématicien Vaughan F. R. Jones qui cherche à définir une algèbre de Von Neumann associée à un espace de dimension non entière. On le retrouve en physique quantique(matrices d’Heisenberg), en physique des solides(espaces de Bellissard) et en physique des particules(formalisme de Weinberg et Salam). 2, record 47, French, - alg%C3%A8bre%20non%20commutative
Record number: 47, Textual support number: 1 PHR
définir, étudier l’algèbre non commutative. 2, record 47, French, - alg%C3%A8bre%20non%20commutative
Record 47, Spanish
Record 47, Textual support, Spanish
Record 48 - internal organization data 1992-10-16
Record 48, English
Record 48, Subject field(s)
- Artificial Intelligence
Record 48, Main entry term, English
- knowledge representation formalism
1, record 48, English, knowledge%20representation%20formalism
correct
Record 48, Abbreviations, English
Record 48, Synonyms, English
Record 48, Textual support, English
Record number: 48, Textual support number: 1 CONT
Originally associative networks were specifically knowledge representation formalisms and so did not necessarily contain natural language terms. 1, record 48, English, - knowledge%20representation%20formalism
Record 48, French
Record 48, Domaine(s)
- Intelligence artificielle
Record 48, Main entry term, French
- formalisme de représentation des connaissances
1, record 48, French, formalisme%20de%20repr%C3%A9sentation%20des%20connaissances
correct, masculine noun
Record 48, Abbreviations, French
Record 48, Synonyms, French
Record 48, Textual support, French
Record number: 48, Textual support number: 1 OBS
Le choix d’un formalisme approprié pour la représentation des connaissances dans les différentes bases aura un impact considérable sur le processus d’apprentissage puisqu'il affecte directement le pouvoir d’expression, le pouvoir d’inférence ainsi que les caractères modifiables et extensibles de ces bases. 2, record 48, French, - formalisme%20de%20repr%C3%A9sentation%20des%20connaissances
Record 48, Spanish
Record 48, Textual support, Spanish
Record 49 - internal organization data 1992-09-03
Record 49, English
Record 49, Subject field(s)
- Chemistry
Record 49, Main entry term, English
- cryodessicated
1, record 49, English, cryodessicated
correct
Record 49, Abbreviations, English
Record 49, Synonyms, English
- freezedried 2, record 49, English, freezedried
correct
Record 49, Textual support, English
Record number: 49, Textual support number: 1 CONT
The following format of an injectable leucovorin calcium is available in single vials of 250 mg of cryodessicated powder. 3, record 49, English, - cryodessicated
Record number: 49, Textual support number: 2 CONT
Combination of gelatin-cryodessicated agarose for the selective extraction of human plasma fibronectin. (In Rev. Fr. Transfus. Immuno-Hématol., 1981, vol. 24, 6, p. 559-570, cited in data base.) 2, record 49, English, - cryodessicated
Record number: 49, Textual support number: 3 CONT
A comparison of neuropeptide immunocytochemistry in fluid-fixed and freezedried brains. (In CELL TISSUE RES., 1981, 220 (2) 223-230, cited in Pascal data base.) 2, record 49, English, - cryodessicated
Record 49, French
Record 49, Domaine(s)
- Chimie
Record 49, Main entry term, French
- cryolyophilisé
1, record 49, French, cryolyophilis%C3%A9
correct, adjective
Record 49, Abbreviations, French
Record 49, Synonyms, French
Record 49, Textual support, French
Record number: 49, Textual support number: 1 CONT
Coloration immunocytochimique de la LHRH, de la somatostatine et de la neurophysine dans des encéphales de rat fixés soit par formalisme, soit par solution de bovin, soit cryolyophilisés, soit cryolyophilisés et perfusé par des vapeurs de para-formaldéhyde.(Relevé dans CELL TISSUE RES., 1981, 220(2) 223-230, cité dans la base de données PASCAL.) 1, record 49, French, - cryolyophilis%C3%A9
Record 49, Spanish
Record 49, Textual support, Spanish
Record 50 - internal organization data 1991-03-11
Record 50, English
Record 50, Subject field(s)
- Artificial Intelligence
Record 50, Main entry term, English
- rule formalism
1, record 50, English, rule%20formalism
correct
Record 50, Abbreviations, English
Record 50, Synonyms, English
Record 50, French
Record 50, Domaine(s)
- Intelligence artificielle
Record 50, Main entry term, French
- formalisme des règles
1, record 50, French, formalisme%20des%20r%C3%A8gles
correct, masculine noun
Record 50, Abbreviations, French
Record 50, Synonyms, French
Record 50, Textual support, French
Record 50, Spanish
Record 50, Textual support, Spanish
Record 51 - internal organization data 1990-12-10
Record 51, English
Record 51, Subject field(s)
- Artificial Intelligence
Record 51, Main entry term, English
- membership function
1, record 51, English, membership%20function
correct
Record 51, Abbreviations, English
Record 51, Synonyms, English
Record 51, Textual support, English
Record 51, French
Record 51, Domaine(s)
- Intelligence artificielle
Record 51, Main entry term, French
- fonction d’appartenance
1, record 51, French, fonction%20d%26rsquo%3Bappartenance
correct, feminine noun
Record 51, Abbreviations, French
Record 51, Synonyms, French
Record 51, Textual support, French
Record number: 51, Textual support number: 1 DEF
Fonction qui permet de représenter et de manipuler aisément les ensembles flous en se servant du formalisme mathématique habituel. 1, record 51, French, - fonction%20d%26rsquo%3Bappartenance
Record 51, Spanish
Record 51, Textual support, Spanish
Record 52 - internal organization data 1990-09-21
Record 52, English
Record 52, Subject field(s)
- Artificial Intelligence
Record 52, Main entry term, English
- structured object
1, record 52, English, structured%20object
correct
Record 52, Abbreviations, English
Record 52, Synonyms, English
Record 52, Textual support, English
Record 52, French
Record 52, Domaine(s)
- Intelligence artificielle
Record 52, Main entry term, French
- objet structuré
1, record 52, French, objet%20structur%C3%A9
correct, masculine noun
Record 52, Abbreviations, French
Record 52, Synonyms, French
Record 52, Textual support, French
Record number: 52, Textual support number: 1 DEF
Formalisme de représentation des connaissances recouvrant les cadres, les schémas, les scripts, les objets. 1, record 52, French, - objet%20structur%C3%A9
Record 52, Spanish
Record 52, Textual support, Spanish
Record 53 - internal organization data 1990-09-11
Record 53, English
Record 53, Subject field(s)
- Artificial Intelligence
Record 53, Main entry term, English
- recursive formalism
1, record 53, English, recursive%20formalism
correct
Record 53, Abbreviations, English
Record 53, Synonyms, English
Record 53, French
Record 53, Domaine(s)
- Intelligence artificielle
Record 53, Main entry term, French
- formalisme récursif
1, record 53, French, formalisme%20r%C3%A9cursif
correct, masculine noun
Record 53, Abbreviations, French
Record 53, Synonyms, French
Record 53, Textual support, French
Record 53, Spanish
Record 53, Textual support, Spanish
Record 54 - internal organization data 1990-08-31
Record 54, English
Record 54, Subject field(s)
- Artificial Intelligence
Record 54, Main entry term, English
- semantic formalism
1, record 54, English, semantic%20formalism
correct
Record 54, Abbreviations, English
Record 54, Synonyms, English
Record 54, French
Record 54, Domaine(s)
- Intelligence artificielle
Record 54, Main entry term, French
- formalisme sémantique
1, record 54, French, formalisme%20s%C3%A9mantique
correct, masculine noun
Record 54, Abbreviations, French
Record 54, Synonyms, French
Record 54, Textual support, French
Record 54, Spanish
Record 54, Textual support, Spanish
Record 55 - internal organization data 1990-08-31
Record 55, English
Record 55, Subject field(s)
- Artificial Intelligence
Record 55, Main entry term, English
- semantic network formalism
1, record 55, English, semantic%20network%20formalism
correct
Record 55, Abbreviations, English
Record 55, Synonyms, English
Record 55, French
Record 55, Domaine(s)
- Intelligence artificielle
Record 55, Main entry term, French
- formalisme de réseau sémantique
1, record 55, French, formalisme%20de%20r%C3%A9seau%20s%C3%A9mantique
correct, masculine noun
Record 55, Abbreviations, French
Record 55, Synonyms, French
Record 55, Textual support, French
Record 55, Spanish
Record 55, Textual support, Spanish
Record 56 - internal organization data 1990-08-20
Record 56, English
Record 56, Subject field(s)
- Artificial Intelligence
Record 56, Main entry term, English
- string formalism
1, record 56, English, string%20formalism
correct
Record 56, Abbreviations, English
Record 56, Synonyms, English
Record 56, French
Record 56, Domaine(s)
- Intelligence artificielle
Record 56, Main entry term, French
- formalisme de chaîne
1, record 56, French, formalisme%20de%20cha%C3%AEne
correct, masculine noun
Record 56, Abbreviations, French
Record 56, Synonyms, French
Record 56, Textual support, French
Record 56, Spanish
Record 56, Textual support, Spanish
Record 57 - internal organization data 1990-08-20
Record 57, English
Record 57, Subject field(s)
- Artificial Intelligence
Record 57, Main entry term, English
- representation formalism
1, record 57, English, representation%20formalism
correct
Record 57, Abbreviations, English
Record 57, Synonyms, English
Record 57, French
Record 57, Domaine(s)
- Intelligence artificielle
Record 57, Main entry term, French
- formalisme de représentation
1, record 57, French, formalisme%20de%20repr%C3%A9sentation
correct, masculine noun
Record 57, Abbreviations, French
Record 57, Synonyms, French
Record 57, Textual support, French
Record 57, Spanish
Record 57, Textual support, Spanish
Record 58 - internal organization data 1990-08-20
Record 58, English
Record 58, Subject field(s)
- Artificial Intelligence
Record 58, Main entry term, English
- representational formalism
1, record 58, English, representational%20formalism
correct
Record 58, Abbreviations, English
Record 58, Synonyms, English
Record 58, French
Record 58, Domaine(s)
- Intelligence artificielle
Record 58, Main entry term, French
- formalisme représentationnel
1, record 58, French, formalisme%20repr%C3%A9sentationnel
correct, masculine noun
Record 58, Abbreviations, French
Record 58, Synonyms, French
Record 58, Textual support, French
Record 58, Spanish
Record 58, Textual support, Spanish
Record 59 - internal organization data 1990-06-04
Record 59, English
Record 59, Subject field(s)
- Artificial Intelligence
Record 59, Main entry term, English
- grammar formalism
1, record 59, English, grammar%20formalism
correct
Record 59, Abbreviations, English
Record 59, Synonyms, English
- grammatical formalism 2, record 59, English, grammatical%20formalism
correct
Record 59, Textual support, English
Record number: 59, Textual support number: 1 DEF
A formalism in which a given linguistic theory is expressed. 3, record 59, English, - grammar%20formalism
Record 59, French
Record 59, Domaine(s)
- Intelligence artificielle
Record 59, Main entry term, French
- formalisme de grammaire
1, record 59, French, formalisme%20de%20grammaire
correct, masculine noun
Record 59, Abbreviations, French
Record 59, Synonyms, French
- formalisme grammatical 2, record 59, French, formalisme%20grammatical
correct, masculine noun
Record 59, Textual support, French
Record 59, Spanish
Record 59, Textual support, Spanish
Record 60 - internal organization data 1989-12-11
Record 60, English
Record 60, Subject field(s)
- Artificial Intelligence
Record 60, Main entry term, English
- negamax
1, record 60, English, negamax
correct
Record 60, Abbreviations, English
Record 60, Synonyms, English
- NEGMAX 2, record 60, English, NEGMAX
correct
Record 60, Textual support, English
Record number: 60, Textual support number: 1 OBS
A version of minimax for zero-sum games. The minimax matrix is used again but its interpretation is changed. The playoff of the player whose choices are shown as columns, has the negative of the numbers shown on the matrix. One notes that the opponent now has a nested interest in giving up as little as possible ... if both sides more conservatively they would both play "Don't". This is a rather stable situation, different from the minimax one: here, no cooperation is possible between the two players. One gains exactly what the other loses. 3, record 60, English, - negamax
Record 60, French
Record 60, Domaine(s)
- Intelligence artificielle
Record 60, Main entry term, French
- négamax
1, record 60, French, n%C3%A9gamax
correct
Record 60, Abbreviations, French
Record 60, Synonyms, French
- negmax 2, record 60, French, negmax
correct
Record 60, Textual support, French
Record number: 60, Textual support number: 1 DEF
Variante de la symétrie minimax exploitée pour uniformiser la logique de décision, considérant que l’opposé de la fonction d’évaluation constitue la fonction d’évaluation de l’opposant. 3, record 60, French, - n%C3%A9gamax
Record number: 60, Textual support number: 2 DEF
Variante de la procédure minimax appliquée aux jeux à somme nulle où un joueur gagne exactement ce que l’autre perd. 4, record 60, French, - n%C3%A9gamax
Record number: 60, Textual support number: 1 CONT
Calcul negmax. 3, record 60, French, - n%C3%A9gamax
Record number: 60, Textual support number: 1 OBS
Le formalisme NEGMAX fut avancée par Knuth et Moore en 1975 "An Analysis of Alpha-Beta Pruning" in Artificial Intelligence, vol. 6, pp. 293-326. 3, record 60, French, - n%C3%A9gamax
Record number: 60, Textual support number: 2 OBS
L’expression "négamax" a été relevée dans Farreny (1987) et "negmax" dans Dominé (1988). 4, record 60, French, - n%C3%A9gamax
Record 60, Spanish
Record 60, Textual support, Spanish
Record 61 - internal organization data 1989-12-07
Record 61, English
Record 61, Subject field(s)
- Artificial Intelligence
Record 61, Main entry term, English
- basic transition network
1, record 61, English, basic%20transition%20network
correct
Record 61, Abbreviations, English
- BTN 1, record 61, English, BTN
correct
Record 61, Synonyms, English
Record 61, Textual support, English
Record 61, French
Record 61, Domaine(s)
- Intelligence artificielle
Record 61, Main entry term, French
- réseau de transition
1, record 61, French, r%C3%A9seau%20de%20transition
correct, masculine noun
Record 61, Abbreviations, French
Record 61, Synonyms, French
- réseau BTN 1, record 61, French, r%C3%A9seau%20BTN
correct, masculine noun
Record 61, Textual support, French
Record number: 61, Textual support number: 1 DEF
Représentation sous forme de grammaire d’un automate fini. La concision du formalisme BTN est obtenue en faisant jouer aux catégories syntaxiques d’une grammaire le rôle de symboles d’entrée pour le réseau. C'est le réseau de base ou le plus élémentaire dans la hiérarchie des réseaux. 1, record 61, French, - r%C3%A9seau%20de%20transition
Record 61, Spanish
Record 61, Textual support, Spanish
Record 62 - internal organization data 1989-05-30
Record 62, English
Record 62, Subject field(s)
- Artificial Intelligence
Record 62, Main entry term, English
- computational formalism
1, record 62, English, computational%20formalism
correct
Record 62, Abbreviations, English
Record 62, Synonyms, English
Record 62, Textual support, English
Record 62, French
Record 62, Domaine(s)
- Intelligence artificielle
Record 62, Main entry term, French
- formalisme calculatoire
1, record 62, French, formalisme%20calculatoire
proposal, masculine noun
Record 62, Abbreviations, French
Record 62, Synonyms, French
Record 62, Textual support, French
Record number: 62, Textual support number: 1 OBS
Calculatoire : de calcul algoristique. 2, record 62, French, - formalisme%20calculatoire
Record 62, Spanish
Record 62, Textual support, Spanish
Record 63 - internal organization data 1989-02-15
Record 63, English
Record 63, Subject field(s)
- Artificial Intelligence
Record 63, Main entry term, English
- default formalism
1, record 63, English, default%20formalism
correct
Record 63, Abbreviations, English
Record 63, Synonyms, English
Record 63, French
Record 63, Domaine(s)
- Intelligence artificielle
Record 63, Main entry term, French
- formalisme de défaut
1, record 63, French, formalisme%20de%20d%C3%A9faut
masculine noun
Record 63, Abbreviations, French
Record 63, Synonyms, French
Record 63, Textual support, French
Record 63, Spanish
Record 63, Textual support, Spanish
Record 64 - internal organization data 1989-02-08
Record 64, English
Record 64, Subject field(s)
- Artificial Intelligence
Record 64, Main entry term, English
- Bayesian formalism
1, record 64, English, Bayesian%20formalism
correct
Record 64, Abbreviations, English
Record 64, Synonyms, English
Record 64, French
Record 64, Domaine(s)
- Intelligence artificielle
Record 64, Main entry term, French
- formalisme bayésien
1, record 64, French, formalisme%20bay%C3%A9sien
correct, masculine noun
Record 64, Abbreviations, French
Record 64, Synonyms, French
Record 64, Textual support, French
Record 64, Spanish
Record 64, Textual support, Spanish
Record 65 - internal organization data 1989-02-07
Record 65, English
Record 65, Subject field(s)
- Artificial Intelligence
Record 65, Main entry term, English
- closed formalism
1, record 65, English, closed%20formalism
correct
Record 65, Abbreviations, English
Record 65, Synonyms, English
Record 65, French
Record 65, Domaine(s)
- Intelligence artificielle
Record 65, Main entry term, French
- formalisme clos
1, record 65, French, formalisme%20clos
correct, masculine noun
Record 65, Abbreviations, French
Record 65, Synonyms, French
- formalisme fermé 1, record 65, French, formalisme%20ferm%C3%A9
correct, masculine noun
Record 65, Textual support, French
Record 65, Spanish
Record 65, Textual support, Spanish
Record 66 - internal organization data 1989-01-20
Record 66, English
Record 66, Subject field(s)
- Artificial Intelligence
Record 66, Main entry term, English
- production rule specification
1, record 66, English, production%20rule%20specification
proposal
Record 66, Abbreviations, English
Record 66, Synonyms, English
- rule specification 1, record 66, English, rule%20specification
proposal
Record 66, Textual support, English
Record number: 66, Textual support number: 1 OBS
particularize: to specify; to make particular rather than general: apply or limit in a particular case. 2, record 66, English, - production%20rule%20specification
Record number: 66, Textual support number: 2 OBS
See also "system specification". compare to "program specification". 1, record 66, English, - production%20rule%20specification
Record 66, French
Record 66, Domaine(s)
- Intelligence artificielle
Record 66, Main entry term, French
- spécialisation des règles de production
1, record 66, French, sp%C3%A9cialisation%20des%20r%C3%A8gles%20de%20production
correct, feminine noun
Record 66, Abbreviations, French
Record 66, Synonyms, French
Record 66, Textual support, French
Record number: 66, Textual support number: 1 OBS
Plus le formalisme des règles de production est simple et uniforme, plus il se prête à des capacités d’apprentissage puisque la détection de régularités dans les règles favorise les possibilités de généralisation(ou au contraire de spécialisation) des règles existantes. 1, record 66, French, - sp%C3%A9cialisation%20des%20r%C3%A8gles%20de%20production
Record 66, Spanish
Record 66, Textual support, Spanish
Record 67 - internal organization data 1988-09-30
Record 67, English
Record 67, Subject field(s)
- Lasers and Masers
Record 67, Main entry term, English
- tetrahedral formalism
1, record 67, English, tetrahedral%20formalism
correct
Record 67, Abbreviations, English
Record 67, Synonyms, English
Record 67, French
Record 67, Domaine(s)
- Masers et lasers
Record 67, Main entry term, French
- formalisme tétraédrique
1, record 67, French, formalisme%20t%C3%A9tra%C3%A9drique
correct, masculine noun
Record 67, Abbreviations, French
Record 67, Synonyms, French
Record 67, Textual support, French
Record 67, Spanish
Record 67, Textual support, Spanish
Record 68 - internal organization data 1988-05-10
Record 68, English
Record 68, Subject field(s)
- Artificial Intelligence
Record 68, Main entry term, English
- extended Backus-Naur formalism
1, record 68, English, extended%20Backus%2DNaur%20formalism
correct
Record 68, Abbreviations, English
- EBNF 1, record 68, English, EBNF
correct
Record 68, Synonyms, English
Record 68, French
Record 68, Domaine(s)
- Intelligence artificielle
Record 68, Main entry term, French
- formalisme étendu de Backus-Naur
1, record 68, French, formalisme%20%C3%A9tendu%20de%20Backus%2DNaur
correct, masculine noun
Record 68, Abbreviations, French
Record 68, Synonyms, French
Record 68, Textual support, French
Record 68, Spanish
Record 68, Textual support, Spanish
Record 69 - internal organization data 1988-02-03
Record 69, English
Record 69, Subject field(s)
- Artificial Intelligence
Record 69, Main entry term, English
- epistemological formalism
1, record 69, English, epistemological%20formalism
correct
Record 69, Abbreviations, English
Record 69, Synonyms, English
Record 69, French
Record 69, Domaine(s)
- Intelligence artificielle
Record 69, Main entry term, French
- formalisme épistémologique
1, record 69, French, formalisme%20%C3%A9pist%C3%A9mologique
correct, masculine noun
Record 69, Abbreviations, French
Record 69, Synonyms, French
Record 69, Textual support, French
Record 69, Spanish
Record 69, Textual support, Spanish
Record 70 - internal organization data 1988-02-01
Record 70, English
Record 70, Subject field(s)
- Artificial Intelligence
Record 70, Main entry term, English
- context-free formalism
1, record 70, English, context%2Dfree%20formalism
correct
Record 70, Abbreviations, English
Record 70, Synonyms, English
Record 70, French
Record 70, Domaine(s)
- Intelligence artificielle
Record 70, Main entry term, French
- formalisme acontextuel
1, record 70, French, formalisme%20acontextuel
correct, masculine noun
Record 70, Abbreviations, French
Record 70, Synonyms, French
Record 70, Textual support, French
Record 70, Spanish
Record 70, Textual support, Spanish
Record 71 - internal organization data 1988-02-01
Record 71, English
Record 71, Subject field(s)
- Artificial Intelligence
Record 71, Main entry term, English
- context-sensitive formalism
1, record 71, English, context%2Dsensitive%20formalism
correct
Record 71, Abbreviations, English
Record 71, Synonyms, English
Record 71, French
Record 71, Domaine(s)
- Intelligence artificielle
Record 71, Main entry term, French
- formalisme sensible au contexte
1, record 71, French, formalisme%20sensible%20au%20contexte
correct, masculine noun
Record 71, Abbreviations, French
Record 71, Synonyms, French
Record 71, Textual support, French
Record 71, Spanish
Record 71, Textual support, Spanish
Record 72 - internal organization data 1988-01-27
Record 72, English
Record 72, Subject field(s)
- Artificial Intelligence
Record 72, Main entry term, English
- conceptual dependency formalism
1, record 72, English, conceptual%20dependency%20formalism
correct
Record 72, Abbreviations, English
Record 72, Synonyms, English
Record 72, French
Record 72, Domaine(s)
- Intelligence artificielle
Record 72, Main entry term, French
- formalisme de dépendance conceptuelle
1, record 72, French, formalisme%20de%20d%C3%A9pendance%20conceptuelle
correct, masculine noun
Record 72, Abbreviations, French
Record 72, Synonyms, French
Record 72, Textual support, French
Record 72, Spanish
Record 72, Textual support, Spanish
Record 73 - internal organization data 1987-12-08
Record 73, English
Record 73, Subject field(s)
- Artificial Intelligence
Record 73, Main entry term, English
- biased formalism
1, record 73, English, biased%20formalism
correct
Record 73, Abbreviations, English
Record 73, Synonyms, English
Record 73, Textual support, English
Record number: 73, Textual support number: 1 CONT
If a biased formalism is employed then an algorithm that shifts bias should be able to shift the formalism as well. 1, record 73, English, - biased%20formalism
Record 73, French
Record 73, Domaine(s)
- Intelligence artificielle
Record 73, Main entry term, French
- formalisme biaisé
1, record 73, French, formalisme%20biais%C3%A9
masculine noun
Record 73, Abbreviations, French
Record 73, Synonyms, French
- formalisme de parti pris 1, record 73, French, formalisme%20de%20parti%20pris
masculine noun
Record 73, Textual support, French
Record 73, Spanish
Record 73, Textual support, Spanish
Record 74 - internal organization data 1987-09-18
Record 74, English
Record 74, Subject field(s)
- Artificial Intelligence
Record 74, Main entry term, English
- abstract formalism
1, record 74, English, abstract%20formalism
correct
Record 74, Abbreviations, English
Record 74, Synonyms, English
Record 74, French
Record 74, Domaine(s)
- Intelligence artificielle
Record 74, Main entry term, French
- formalisme abstrait
1, record 74, French, formalisme%20abstrait
correct, masculine noun
Record 74, Abbreviations, French
Record 74, Synonyms, French
Record 74, Textual support, French
Record 74, Spanish
Record 74, Textual support, Spanish
Record 75 - internal organization data 1987-09-18
Record 75, English
Record 75, Subject field(s)
- Artificial Intelligence
Record 75, Main entry term, English
- backtracking formalism
1, record 75, English, backtracking%20formalism
correct
Record 75, Abbreviations, English
Record 75, Synonyms, English
Record 75, French
Record 75, Domaine(s)
- Intelligence artificielle
Record 75, Main entry term, French
- formalisme de retour arrière
1, record 75, French, formalisme%20de%20retour%20arri%C3%A8re
correct, masculine noun
Record 75, Abbreviations, French
Record 75, Synonyms, French
Record 75, Textual support, French
Record 75, Spanish
Record 75, Textual support, Spanish
Record 76 - internal organization data 1987-05-05
Record 76, English
Record 76, Subject field(s)
- Radio Waves
- Electromagnetic Radiation
Record 76, Main entry term, English
- spinor formalism
1, record 76, English, spinor%20formalism
correct
Record 76, Abbreviations, English
Record 76, Synonyms, English
Record 76, Textual support, English
Record number: 76, Textual support number: 1 CONT
There exists a close relationship between the electromagnetic field and the second rank spinor formalism. 2, record 76, English, - spinor%20formalism
Record 76, French
Record 76, Domaine(s)
- Ondes radioélectriques
- Rayonnements électromagnétiques
Record 76, Main entry term, French
- formalisme spinoriel
1, record 76, French, formalisme%20spinoriel
correct, masculine noun
Record 76, Abbreviations, French
Record 76, Synonyms, French
Record 76, Textual support, French
Record 76, Spanish
Record 76, Textual support, Spanish
Record 77 - internal organization data 1987-02-24
Record 77, English
Record 77, Subject field(s)
- Language (General)
- Philosophy (General)
Record 77, Main entry term, English
- formalism
1, record 77, English, formalism
correct
Record 77, Abbreviations, English
Record 77, Synonyms, English
Record 77, Textual support, English
Record number: 77, Textual support number: 1 DEF
A view pioneered by D. Hilbert (1862-1943) and his followers, in which it was claimed that the only foundation necessary for mathematics is its formalization and the proof that the system produced is consistent. 1, record 77, English, - formalism
Record 77, French
Record 77, Domaine(s)
- Linguistique (Généralités)
- Philosophie (Généralités)
Record 77, Main entry term, French
- formalisme
1, record 77, French, formalisme
correct, masculine noun
Record 77, Abbreviations, French
Record 77, Synonyms, French
Record 77, Textual support, French
Record number: 77, Textual support number: 1 CONT
Formalisme, dérivé de forme, s’oppose à réalisme, en tant qu'attitude particulière envers les études linguistiques(...). Le formalisme(...) centre son intérêt sur les postulats ou axiomes fondamentaux d’une théorie et sur la méthode d’analyse linguistique qui en découle. 1, record 77, French, - formalisme
Record 77, Spanish
Record 77, Textual support, Spanish
Record 78 - internal organization data 1987-02-16
Record 78, English
Record 78, Subject field(s)
- Artificial Intelligence
Record 78, Main entry term, English
- actor formalism
1, record 78, English, actor%20formalism
correct
Record 78, Abbreviations, English
Record 78, Synonyms, English
Record 78, French
Record 78, Domaine(s)
- Intelligence artificielle
Record 78, Main entry term, French
- formalisme d’acteur
1, record 78, French, formalisme%20d%26rsquo%3Bacteur
correct, masculine noun
Record 78, Abbreviations, French
Record 78, Synonyms, French
- formalisme d’acteurs 1, record 78, French, formalisme%20d%26rsquo%3Bacteurs
correct, masculine noun
Record 78, Textual support, French
Record 78, Spanish
Record 78, Textual support, Spanish
Record 79 - internal organization data 1987-02-16
Record 79, English
Record 79, Subject field(s)
- Artificial Intelligence
Record 79, Main entry term, English
- metagrammatical formalism
1, record 79, English, metagrammatical%20formalism
correct
Record 79, Abbreviations, English
Record 79, Synonyms, English
Record 79, French
Record 79, Domaine(s)
- Intelligence artificielle
Record 79, Main entry term, French
- formalisme métagrammatical
1, record 79, French, formalisme%20m%C3%A9tagrammatical
correct, masculine noun
Record 79, Abbreviations, French
Record 79, Synonyms, French
Record 79, Textual support, French
Record 79, Spanish
Record 79, Textual support, Spanish
Record 80 - internal organization data 1987-01-30
Record 80, English
Record 80, Subject field(s)
- Artificial Intelligence
- Computer Mathematics
Record 80, Main entry term, English
- mathematical formalism
1, record 80, English, mathematical%20formalism
correct
Record 80, Abbreviations, English
Record 80, Synonyms, English
Record 80, French
Record 80, Domaine(s)
- Intelligence artificielle
- Mathématiques informatiques
Record 80, Main entry term, French
- formalisme mathématique
1, record 80, French, formalisme%20math%C3%A9matique
correct, masculine noun
Record 80, Abbreviations, French
Record 80, Synonyms, French
Record 80, Textual support, French
Record 80, Spanish
Record 80, Textual support, Spanish
Record 81 - internal organization data 1986-12-30
Record 81, English
Record 81, Subject field(s)
- Psychology
- Logic (Philosophy)
- Artificial Intelligence
Record 81, Main entry term, English
- logical formalism
1, record 81, English, logical%20formalism
correct
Record 81, Abbreviations, English
Record 81, Synonyms, English
- logic formalism 2, record 81, English, logic%20formalism
correct
Record 81, Textual support, English
Record number: 81, Textual support number: 1 CONT
Piaget relied heavily on logical formalisms; ... but his grandiose claims have proved less robust than his specific experimental demonstrations. The logical formalisms underlying specific stages are invalid, the stages themselves are under attack, and his descriptions of the biological processes of stage transformation have eluded even sympathetic scholars. 3, record 81, English, - logical%20formalism
Record 81, French
Record 81, Domaine(s)
- Psychologie
- Logique (Philosophie)
- Intelligence artificielle
Record 81, Main entry term, French
- formalisme logique
1, record 81, French, formalisme%20logique
correct, masculine noun
Record 81, Abbreviations, French
Record 81, Synonyms, French
Record 81, Textual support, French
Record 81, Spanish
Record 81, Textual support, Spanish
Record 82 - internal organization data 1986-12-15
Record 82, English
Record 82, Subject field(s)
- Artificial Intelligence
- General Vocabulary
Record 82, Main entry term, English
- rewriting rule
1, record 82, English, rewriting%20rule
correct
Record 82, Abbreviations, English
Record 82, Synonyms, English
- rewrite rule 2, record 82, English, rewrite%20rule
correct
Record 82, Textual support, English
Record number: 82, Textual support number: 1 DEF
A rule indicating expansion of a term by replacing the term by further elements. Rewrite rules are typical, for example, of phrase structure rules in transformational-generative grammar. 3, record 82, English, - rewriting%20rule
Record 82, French
Record 82, Domaine(s)
- Intelligence artificielle
- Vocabulaire général
Record 82, Main entry term, French
- règle de récriture
1, record 82, French, r%C3%A8gle%20de%20r%C3%A9criture
correct, feminine noun
Record 82, Abbreviations, French
Record 82, Synonyms, French
- règle de réécriture 2, record 82, French, r%C3%A8gle%20de%20r%C3%A9%C3%A9criture
correct, feminine noun
Record 82, Textual support, French
Record number: 82, Textual support number: 1 DEF
Règle qui spécifie une équivalence entre deux séquences de symboles. 1, record 82, French, - r%C3%A8gle%20de%20r%C3%A9criture
Record number: 82, Textual support number: 1 CONT
Bien avant les débuts de l'intelligence artificielle, le formalisme des règles de production a été utilisé en logique symbolique par Post, puis dans les algorithmes de Markov et en linguistique par N. Chowsky sous forme de règles de récriture. 1, record 82, French, - r%C3%A8gle%20de%20r%C3%A9criture
Record 82, Spanish
Record 82, Textual support, Spanish
Record 83 - internal organization data 1986-11-14
Record 83, English
Record 83, Subject field(s)
- Artificial Intelligence
Record 83, Main entry term, English
- graph formalism
1, record 83, English, graph%20formalism
correct
Record 83, Abbreviations, English
Record 83, Synonyms, English
Record 83, French
Record 83, Domaine(s)
- Intelligence artificielle
Record 83, Main entry term, French
- formalisme de graphe
1, record 83, French, formalisme%20de%20graphe
correct, masculine noun
Record 83, Abbreviations, French
Record 83, Synonyms, French
Record 83, Textual support, French
Record 83, Spanish
Record 83, Textual support, Spanish
Record 84 - internal organization data 1986-10-17
Record 84, English
Record 84, Subject field(s)
- Artificial Intelligence
Record 84, Main entry term, English
- basic formalism
1, record 84, English, basic%20formalism
correct
Record 84, Abbreviations, English
Record 84, Synonyms, English
Record 84, French
Record 84, Domaine(s)
- Intelligence artificielle
Record 84, Main entry term, French
- formalisme de base
1, record 84, French, formalisme%20de%20base
correct, masculine noun
Record 84, Abbreviations, French
Record 84, Synonyms, French
- formalisme fundamental 1, record 84, French, formalisme%20fundamental
correct, masculine noun
Record 84, Textual support, French
Record 84, Spanish
Record 84, Textual support, Spanish
Record 85 - internal organization data 1986-05-13
Record 85, English
Record 85, Subject field(s)
- Artificial Intelligence
Record 85, Main entry term, English
- logical calculus
1, record 85, English, logical%20calculus
correct
Record 85, Abbreviations, English
Record 85, Synonyms, English
Record 85, Textual support, English
Record number: 85, Textual support number: 1 CONT
The PROLOG language has features as well as flaws. One good feature is a logical calculus, called first-order predicate calculus, known to have certain elegant and universal properties for the representation of knowledge. 1, record 85, English, - logical%20calculus
Record 85, French
Record 85, Domaine(s)
- Intelligence artificielle
Record 85, Main entry term, French
- calcul logique
1, record 85, French, calcul%20logique
correct, masculine noun
Record 85, Abbreviations, French
Record 85, Synonyms, French
- logique du premier ordre 2, record 85, French, logique%20du%20premier%20ordre
correct, feminine noun
Record 85, Textual support, French
Record number: 85, Textual support number: 1 CONT
La logique du premier ordre. Partant du calcul des propositions dont le formalisme est utile mais insuffisant pour exprimer la plupart des problèmes où l'intelligence intervient, nous décrirons ensuite le calcul des prédicats qui en est une extension. 2, record 85, French, - calcul%20logique
Record 85, Spanish
Record 85, Textual support, Spanish
Record 86 - internal organization data 1986-05-12
Record 86, English
Record 86, Subject field(s)
- Artificial Intelligence
Record 86, Main entry term, English
- inference net compiler
1, record 86, English, inference%20net%20compiler
correct
Record 86, Abbreviations, English
Record 86, Synonyms, English
- inference network compiler 2, record 86, English, inference%20network%20compiler
Record 86, Textual support, English
Record number: 86, Textual support number: 1 CONT
An inference net compiler for the PROSPECTOR rule-based consultation system. 1, record 86, English, - inference%20net%20compiler
Record 86, French
Record 86, Domaine(s)
- Intelligence artificielle
Record 86, Main entry term, French
- formalisme de réseaux sémantiques partitionnés efficacement compilés
1, record 86, French, formalisme%20de%20r%C3%A9seaux%20s%C3%A9mantiques%20partitionn%C3%A9s%20efficacement%20compil%C3%A9s
correct, masculine noun
Record 86, Abbreviations, French
Record 86, Synonyms, French
- compilateur de réseau d’inférences 2, record 86, French, compilateur%20de%20r%C3%A9seau%20d%26rsquo%3Binf%C3%A9rences
proposal, masculine noun
Record 86, Textual support, French
Record number: 86, Textual support number: 1 CONT
PROSPECTOR contient des mécanismes de raisonnement indépendant du domaine, principalement un formalisme de réseaux sémantiques partitionnés efficacement compilés. 1, record 86, French, - formalisme%20de%20r%C3%A9seaux%20s%C3%A9mantiques%20partitionn%C3%A9s%20efficacement%20compil%C3%A9s
Record 86, Spanish
Record 86, Textual support, Spanish
Record 87 - internal organization data 1986-05-09
Record 87, English
Record 87, Subject field(s)
- Artificial Intelligence
Record 87, Main entry term, English
- knowledge structure level
1, record 87, English, knowledge%20structure%20level
correct
Record 87, Abbreviations, English
Record 87, Synonyms, English
- structuring level 2, record 87, English, structuring%20level
proposal
Record 87, Textual support, English
Record number: 87, Textual support number: 1 CONT
We are equipped with knowledge structures (scripts, plans and goals) that allow us to make sense of stories. 1, record 87, English, - knowledge%20structure%20level
Record 87, French
Record 87, Domaine(s)
- Intelligence artificielle
Record 87, Main entry term, French
- niveau structurant
1, record 87, French, niveau%20structurant
correct, masculine noun
Record 87, Abbreviations, French
Record 87, Synonyms, French
Record 87, Textual support, French
Record number: 87, Textual support number: 1 CONT
L'on distingue trois niveaux de connaissances, auxquels correspondent trois phases d’étude, lors de la conception d’un système expert : un niveau structurant, un niveau conceptuel et un niveau cognitif. Le niveau structurant définit le mécanisme qui engendre la certitude. L'élucidation du niveau structurant permet de dégager un formalisme de représentation de la connaissance et un mécanisme de déduction appropriés. 1, record 87, French, - niveau%20structurant
Record 87, Spanish
Record 87, Textual support, Spanish
Record 88 - internal organization data 1986-05-05
Record 88, English
Record 88, Subject field(s)
- Artificial Intelligence
Record 88, Main entry term, English
- primitive descriptor 1, record 88, English, primitive%20descriptor
Record 88, Abbreviations, English
Record 88, Synonyms, English
Record 88, Textual support, English
Record number: 88, Textual support number: 1 OBS
descriptor: provides additional information about objects. 2, record 88, English, - primitive%20descriptor
Record 88, French
Record 88, Domaine(s)
- Intelligence artificielle
Record 88, Main entry term, French
- descripteur élémentaire
1, record 88, French, descripteur%20%C3%A9l%C3%A9mentaire
correct, masculine noun
Record 88, Abbreviations, French
Record 88, Synonyms, French
Record 88, Textual support, French
Record number: 88, Textual support number: 1 CONT
L'on associe aux niveaux structurant et conceptuel un "descripteur élémentaire" qui doit s’exprimer dans le formalisme dégagé au premier niveau. 1, record 88, French, - descripteur%20%C3%A9l%C3%A9mentaire
Record 88, Spanish
Record 88, Textual support, Spanish
Record 89 - internal organization data 1986-01-31
Record 89, English
Record 89, Subject field(s)
- Artificial Intelligence
Record 89, Main entry term, English
- formalism
1, record 89, English, formalism
correct
Record 89, Abbreviations, English
Record 89, Synonyms, English
Record 89, French
Record 89, Domaine(s)
- Intelligence artificielle
Record 89, Main entry term, French
- formalisme
1, record 89, French, formalisme
correct, masculine noun
Record 89, Abbreviations, French
Record 89, Synonyms, French
Record 89, Textual support, French
Record 89, Spanish
Record 89, Textual support, Spanish
Record 90 - internal organization data 1985-10-23
Record 90, English
Record 90, Subject field(s)
- Museums
Record 90, Main entry term, English
- de-accession
1, record 90, English, de%2Daccession
correct, noun
Record 90, Abbreviations, English
Record 90, Synonyms, English
- de-acquisition 1, record 90, English, de%2Dacquisition
correct, noun
Record 90, Textual support, English
Record number: 90, Textual support number: 1 DEF
the act or practice of de-accessioning a part of an art or other collection. 1, record 90, English, - de%2Daccession
Record number: 90, Textual support number: 1 OBS
de-accession: to sell or exchange pieces of a museum's collection or any other formal collection. 1, record 90, English, - de%2Daccession
Record 90, French
Record 90, Domaine(s)
- Muséologie
Record 90, Main entry term, French
- déclassement
1, record 90, French, d%C3%A9classement
correct, masculine noun
Record 90, Abbreviations, French
Record 90, Synonyms, French
Record 90, Textual support, French
Record number: 90, Textual support number: 1 CONT
Acquisition et perte de statut domanial.(...) Si tout formalisme demeure exclu de la procédure d’intégration des objets au domaine public, la sortie de ces objets ne peut(...) être obtenue que par un acte formel de déclassement. L'objet déclassé appartient désormais au domaine privé de la collectivité propriétaire et peut être vendu. 1, record 90, French, - d%C3%A9classement
Record 90, Spanish
Record 90, Textual support, Spanish
Record 91 - internal organization data 1985-05-27
Record 91, English
Record 91, Subject field(s)
- Computer Programs and Programming
Record 91, Main entry term, English
- intelligent programming module
1, record 91, English, intelligent%20programming%20module
proposal
Record 91, Abbreviations, English
Record 91, Synonyms, English
- intelligent programming unit 1, record 91, English, intelligent%20programming%20unit
proposal
- HOS programming module 1, record 91, English, HOS%20programming%20module
- HOS module 1, record 91, English, HOS%20module
Record 91, Textual support, English
Record number: 91, Textual support number: 1 OBS
See "higher order software" (HOS). 2, record 91, English, - intelligent%20programming%20module
Record 91, French
Record 91, Domaine(s)
- Programmes et programmation (Informatique)
Record 91, Main entry term, French
- module de programmation intelligente
1, record 91, French, module%20de%20programmation%20intelligente
correct, masculine noun
Record 91, Abbreviations, French
Record 91, Synonyms, French
Record 91, Textual support, French
Record number: 91, Textual support number: 1 CONT
[Un système essentiel comprend entre autres] Un module de programmation intelligente qui traduira un problème donné, exprimé dans un formalisme adéquat en un programme opérationnel. 1, record 91, French, - module%20de%20programmation%20intelligente
Record 91, Spanish
Record 91, Textual support, Spanish
Record 92 - internal organization data 1976-06-19
Record 92, English
Record 92, Subject field(s)
- Public Administration
Record 92, Main entry term, English
- red tapism 1, record 92, English, red%20tapism
Record 92, Abbreviations, English
Record 92, Synonyms, English
Record 92, French
Record 92, Domaine(s)
- Administration publique
Record 92, Main entry term, French
- formalisme administratif 1, record 92, French, formalisme%20administratif
Record 92, Abbreviations, French
Record 92, Synonyms, French
- esprit bureaucratique 1, record 92, French, esprit%20bureaucratique
Record 92, Textual support, French
Record 92, Spanish
Record 92, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
GCtranslate (available on the Government of Canada network only)
Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified:


