TERMIUM Plus®

From: Translation Bureau

On social media

Consult the Government of Canada’s terminology data bank.

FORMALISME [92 records]

Record 1 2026-04-20

English

Subject field(s)
  • Legal System
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.

French

Domaine(s)
  • Théorie du droit
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.

Spanish

Save record 1

Record 2 2026-01-08

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 2

Record 3 2026-01-08

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 3

Record 4 2026-01-08

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 4

Record 5 2026-01-08

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 5

Record 6 2025-08-06

English

Subject field(s)
  • Management Operations (General)
  • Personnel Management (General)
DEF

Marked by form ...

French

Domaine(s)
  • Opérations de la gestion (Généralités)
  • Gestion du personnel (Généralités)
DEF

Empreint de formalisme [...]

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.

OBS

L’emploi de «formel», parfois critiqué, est passé dans l’usage standard.

PHR

rencontres formelles, discussions formelles

Spanish

Save record 6

Record 7 2025-02-04

English

Subject field(s)
  • Applications of Automation
  • Astronautics
  • Collaboration with WIPO
DEF

The field of telerobotics dealing with the design, building and operation of robots from a distance in outer space.

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).

OBS

space telerobotics: designation validated by a Canadian subject-matter expert from Université Laval.

Key term(s)
  • SearchOnlyKey1

French

Domaine(s)
  • Automatisation et applications
  • Astronautique
  • Collaboration avec l'OMPI
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 [...]

OBS

télérobotique spatiale : désignation validée par un spécialiste canadien de l’Université Laval.

Spanish

Campo(s) temático(s)
  • Automatización y aplicaciones
  • Astronáutica
  • Colaboración con la OMPI
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.

Save record 7

Record 8 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Grammaire qui associe à chaque règle conforme à la grammaire source GS une clause conforme à la grammaire objet GO qui constitue le formalisme interne.

Spanish

Save record 8

Record 9 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 9

Record 10 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
CONT

Le formalisme des règles de production n’ est que la représentation externe de la connaissance.

Spanish

Save record 10

Record 11 2024-05-09

English

Subject field(s)
  • Artificial Intelligence
  • Computer Programs and Programming

French

Domaine(s)
  • Intelligence artificielle
  • Programmes et programmation (Informatique)
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.

Spanish

Save record 11

Record 12 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 12

Record 13 2024-05-09

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Campo(s) temático(s)
  • Inteligencia artificial
Save record 13

Record 14 2023-04-14

English

Subject field(s)
  • Mathematics
  • Logic (Philosophy)
  • Computer Programs and Programming
  • Artificial Intelligence
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.

French

Domaine(s)
  • Mathématiques
  • Logique (Philosophie)
  • Programmes et programmation (Informatique)
  • Intelligence artificielle
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].

Spanish

Campo(s) temático(s)
  • Matemáticas
  • Lógica (Filosofía)
  • Programas y programación (Informática)
  • Inteligencia artificial
Save record 14

Record 15 2020-10-14

English

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
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.

Key term(s)
  • Bayesian programing

French

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)
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» [...]

Spanish

Campo(s) temático(s)
  • Matemáticas para computación
  • Programas y programación (Informática)
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.

Save record 15

Record 16 2019-06-17

English

Subject field(s)
  • Programming Languages
  • Computer Mathematics
DEF

A high-level programming language with a syntax and character set designed for mathematical applications, especially those requiring numeric or literal array manipulation.

Key term(s)
  • a programing language

French

Domaine(s)
  • Langages de programmation
  • Mathématiques informatiques
DEF

Langage [...] destiné à l’écriture concise des algorithmes.

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.

Spanish

Save record 16

Record 17 2017-08-11

English

Subject field(s)
  • Informatics
  • Mathematical Geography
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 ...

French

Domaine(s)
  • Informatique
  • Géographie mathématique
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.

OBS

formalisme : développement de systèmes formels.

Spanish

Save record 17

Record 18 2015-01-19

English

Subject field(s)
  • Artificial Intelligence
  • Continuing Education
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.

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."

OBS

semantic network, semantic net: terms standardized by CSA International in 1992 and ISO/IEC in 1995.

French

Domaine(s)
  • Intelligence artificielle
  • Éducation permanente
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].

OBS

réseau sémantique : terme normalisé par l’ISO/CEI en 1995 et la CSA International en 1992.

Spanish

Campo(s) temático(s)
  • Inteligencia artificial
  • Educación permanente
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.

Save record 18

Record 19 2014-12-09

English

Subject field(s)
  • Artificial Intelligence
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).

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 19

Record 20 - external organization data 2014-09-03

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.02.10 (2382)
ISO/IEC standard entry number
DEF

concept-based knowledge representation in which objects or states appear as nodes connected with links that indicate the relationships between various nodes

OBS

semantic network; semantic net: terms and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995].

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
28.02.10 (2382)
ISO/IEC standard entry number
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

OBS

réseau sémantique : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-28:1995].

Spanish

Save record 20

Record 21 - external organization data 2014-09-03

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.02.15 (2382)
ISO/IEC standard entry number
DEF

knowledge representation that uses predetermined sequences of events to determine the results of interactions between known entities

OBS

An event is represented by means of scenes, settings, thematic roles, and props.

OBS

A script is event-oriented in contrast with a frame which is data-oriented and which refers to a point in time.

OBS

script; scenario: terms and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995].

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
28.02.15 (2382)
ISO/IEC standard entry number
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

OBS

Les événements sont décrits à l’aide de scènes, de décors, de rôles thématiques et d’accessoires.

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é.

OBS

script; scénario : termes et définition normalisés par l’ISO/CEI [ISO/IEC 2382-28:1995].

Spanish

Save record 21

Record 22 2014-04-22

English

Subject field(s)
  • Penal Administration
  • Police
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).

French

Domaine(s)
  • Administration pénitentiaire
  • Police
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.

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.

Spanish

Save record 22

Record 23 2014-01-16

English

Subject field(s)
  • Rights and Freedoms

French

Domaine(s)
  • Droits et libertés

Spanish

Save record 23

Record 24 2013-05-17

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Qui représente le sens du langage naturel en termes de calculabilité informatique.

PHR

Architecture calculatoire, dispositif calculatoire, formalisme calculatoire, théorie calculatoire; cadre algoristique, modèle algoristique; schéma computationnel.

Spanish

Campo(s) temático(s)
  • Inteligencia artificial
Save record 24

Record 25 - external organization data 2012-11-26

English

Subject field(s)
  • Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies)
28.02.07 (2382)
ISO/IEC standard entry number
DEF

<artificial intelligence> formalism for representing knowledge about a simple concept, an entity, or a class of objects by means of its possible uses

OBS

The schema shows ways of using a concept. It does not describe typical instances of that concept.

OBS

schema: term and definition standardized by ISO/IEC [ISO/IEC 2382-28:1995].

French

Domaine(s)
  • Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s)
28.02.07 (2382)
ISO/IEC standard entry number
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

OBS

Le schéma montre les façons typiques d’utiliser les concepts mais ne décrit pas des instances typiques de ces concepts.

OBS

schéma : terme et définition normalisés par l’ISO/CEI [ISO/IEC 2382-28:1995].

Spanish

Save record 25

Record 26 2012-03-12

English

Subject field(s)
  • Special-Language Phraseology
OBS

Proceedings ... All proceedings before the Tribunal shall be dealt with as informally and expeditiously as the circumstances and considerations of fairness permit.

French

Domaine(s)
  • Phraséologie des langues de spécialité
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.

Spanish

Save record 26

Record 27 2012-03-12

English

Subject field(s)
  • Special-Language Phraseology
CONT

Proceedings ... (2) All proceedings before the Tribunal shall be dealt with as informally and expeditiously as the circumstances and considerations of fairness permit.

French

Domaine(s)
  • Phraséologie des langues de spécialité
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.

Spanish

Save record 27

Record 28 2012-01-09

English

Subject field(s)
  • Laws and Legal Documents
  • Phraseology
OBS

informality: taken from the Public Servants Disclosure Protection Act.

French

Domaine(s)
  • Lois et documents juridiques
  • Phraséologie
OBS

absence de formalisme : extrait de la Loi sur la protection des fonctionnaires divulgateurs d’actes répréhensibles.

Spanish

Save record 28

Record 29 2011-11-02

English

Subject field(s)
  • Chemistry
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 ...

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.

French

Domaine(s)
  • Chimie
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.

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 [...]

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. [...]

OBS

hyperconjugaison : terme et définition publiés au Journal officiel de la République française le 8 octobre 2003.

Spanish

Save record 29

Record 30 2011-09-26

English

Subject field(s)
  • Nuclear Physics
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.

French

Domaine(s)
  • Physique nucléaire
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.

Spanish

Save record 30

Record 31 2011-09-21

English

Subject field(s)
  • Nuclear Physics
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.

French

Domaine(s)
  • Physique nucléaire
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.

Spanish

Save record 31

Record 32 2011-06-07

English

Subject field(s)
  • Physics of Solids
CONT

In one approach, Bloch formalism — used commonly for describing motion of electrons in semiconductors — is applied to Bragg gratings.

French

Domaine(s)
  • Physique des solides

Spanish

Save record 32

Record 33 2011-06-01

English

Subject field(s)
  • Meetings and Assemblies (Administration)
  • Group Dynamics
DEF

A group encounter of extended length, usually of 24 hours duration or more.

Key term(s)
  • marathon encounter group

French

Domaine(s)
  • Réunions et assemblées (Administration)
  • Dynamique des groupes
OBS

pl.: groupes marathon (cf. AGROU, 1981, p. 211).

DEF

Formule d’intensification du Groupe T par des sessions quasi-ininterrompues à vie communautaire dense et à consignes d’expression sauvage des sentiments.

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).

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 [...]

Spanish

Save record 33

Record 34 2010-12-08

English

Subject field(s)
  • Police
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.

French

Domaine(s)
  • Police
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 [...]

Spanish

Campo(s) temático(s)
  • Policía
CONT

Estos individuos reconocieron haber participado en el operativo arbitrario de allanamiento y secuestro.

Save record 34

Record 35 2009-11-09

English

Subject field(s)
  • Nuclear Physics
  • Atomic Physics
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.

OBS

The red circles of this simulation symbolize 1000 atomic nuclei of a radioactive substance whose half-life period (T) amounts to 20 seconds.

Key term(s)
  • radioactive decay law

French

Domaine(s)
  • Physique nucléaire
  • Physique atomique
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 [...]

Spanish

Save record 35

Record 36 2008-09-19

English

Subject field(s)
  • Titles of International Programs
  • International Relations
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.

French

Domaine(s)
  • Titres de programmes internationaux
  • Relations internationales
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é.

Spanish

Campo(s) temático(s)
  • Títulos de programas internacionales
  • Relaciones internacionales
Save record 36

Record 37 2005-08-11

English

Subject field(s)
  • Legal System
  • Citizenship and Immigration
CONT

The judge shall deal with all matters as informally and expeditiously as the circumstances and considerations of fairness and natural justice permit.

OBS

Term found in the Immigration and Refugee Protection Act, 2001.

Key term(s)
  • consideration of fairness natural justice

French

Domaine(s)
  • Théorie du droit
  • Citoyenneté et immigration
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.

OBS

Terme tiré de la Loi sur l’immigration et la protection des réfugiés, 2001.

Key term(s)
  • considération d’équité et de justice naturelle

Spanish

Save record 37

Record 38 2004-09-21

English

Subject field(s)
  • Artificial Intelligence
DEF

The process or result of encoding and storing knowledge in a knowledge base.

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.

OBS

Term and definition standardized by ISO/IEC.

French

Domaine(s)
  • Intelligence artificielle
DEF

Formalisme de représentation des faits et des règles concernant un domaine ou une spécialité.

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).

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.

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.

OBS

représentation des connaissances : Terme normalisé par ISO/CEI.

Spanish

Campo(s) temático(s)
  • Inteligencia artificial
DEF

[Resultado de la codificación y almacenamiento] del conocimiento en una base de conocimientos.

Save record 38

Record 39 2004-07-15

English

Subject field(s)
  • Citizenship and Immigration
  • Special-Language Phraseology
OBS

informally and expeditiously: terminology used by Citizenship and Immigration Canada and the Immigration and Refugee Board (IRB).

French

Domaine(s)
  • Citoyenneté et immigration
  • Phraséologie des langues de spécialité
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).

Spanish

Save record 39

Record 40 2001-05-31

English

Subject field(s)
  • Translation (General)
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

CONT

Decisions of the Minister shall be made as informally and expeditiously as the circumstances and considerations of fairness permit

French

Domaine(s)
  • Traduction (Généralités)
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

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

Spanish

Save record 40

Record 41 2000-11-21

English

Subject field(s)
  • Physics
DEF

A formulation of quantum mechanics and quantum statistical mechanics developed by Feynman.

French

Domaine(s)
  • Physique
OBS

[...](formalisme des «intégrales des chemins» en théorie quantique).

Spanish

Save record 41

Record 42 2000-08-29

English

Subject field(s)
  • Mathematics
  • Computer Graphics
OBS

See Dirac equation, Dirac function, Dirac operator, Dirac impulse.

French

Domaine(s)
  • Mathématiques
  • Infographie
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.

Spanish

Save record 42

Record 43 1998-11-24

English

Subject field(s)
  • Artificial Intelligence
DEF

A object representation schema for an attribute and its associated value.

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.

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....

French

Domaine(s)
  • Intelligence artificielle
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.

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 [...]

Spanish

Save record 43

Record 44 1997-09-17

English

Subject field(s)
  • Artificial Intelligence
  • Continuing Education
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.

French

Domaine(s)
  • Intelligence artificielle
  • Éducation permanente
CONT

modèle mental, formalisme mécaniste, modèle mental réaliste, etc.

Spanish

Save record 44

Record 45 1995-10-01

English

Subject field(s)
  • Legal System

French

Domaine(s)
  • Théorie du droit
OBS

Source(s) : Kumar, [1987] 3 CF 503, 508.

Spanish

Save record 45

Record 46 1994-11-14

English

Subject field(s)
  • Mathematics
  • Testing and Debugging
DEF

Overall shape ... of (DLA) clusters

OBS

Used of clusters as well as for the trajectories of random walks.

PHR

Hilbert envelope.

French

Domaine(s)
  • Mathématiques
  • Test et débogage
DEF

Périmètre extérieur d’un agrégat, d’un attracteur, d’une courbe fractale, ou d’une trajectoire aléatoire.

PHR

enveloppe brownienne, convexe, exponentielle, inférieure, sinusoïdale, supérieure.

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.

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.

Spanish

Save record 46

Record 47 1994-04-12

English

Subject field(s)
  • Mathematics
  • Computer Graphics

French

Domaine(s)
  • Mathématiques
  • Infographie
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).

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).

PHR

définir, étudier l’algèbre non commutative.

Spanish

Save record 47

Record 48 1992-10-16

English

Subject field(s)
  • Artificial Intelligence
CONT

Originally associative networks were specifically knowledge representation formalisms and so did not necessarily contain natural language terms.

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 48

Record 49 1992-09-03

English

Subject field(s)
  • Chemistry
CONT

The following format of an injectable leucovorin calcium is available in single vials of 250 mg of cryodessicated powder.

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.)

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.)

French

Domaine(s)
  • Chimie
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.)

Spanish

Save record 49

Record 50 1991-03-11

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 50

Record 51 1990-12-10

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Fonction qui permet de représenter et de manipuler aisément les ensembles flous en se servant du formalisme mathématique habituel.

Spanish

Save record 51

Record 52 1990-09-21

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
DEF

Formalisme de représentation des connaissances recouvrant les cadres, les schémas, les scripts, les objets.

Spanish

Save record 52

Record 53 1990-09-11

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 53

Record 54 1990-08-31

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 54

Record 55 1990-08-31

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 55

Record 56 1990-08-20

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 56

Record 57 1990-08-20

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 57

Record 58 1990-08-20

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 58

Record 59 1990-06-04

English

Subject field(s)
  • Artificial Intelligence
DEF

A formalism in which a given linguistic theory is expressed.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 59

Record 60 1989-12-11

English

Subject field(s)
  • Artificial Intelligence
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.

French

Domaine(s)
  • Intelligence artificielle
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.

DEF

Variante de la procédure minimax appliquée aux jeux à somme nulle où un joueur gagne exactement ce que l’autre perd.

CONT

Calcul negmax.

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.

OBS

L’expression "négamax" a été relevée dans Farreny (1987) et "negmax" dans Dominé (1988).

Spanish

Save record 60

Record 61 1989-12-07

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 61

Record 62 1989-05-30

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
OBS

Calculatoire : de calcul algoristique.

Spanish

Save record 62

Record 63 1989-02-15

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 63

Record 64 1989-02-08

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 64

Record 65 1989-02-07

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 65

Record 66 1989-01-20

English

Subject field(s)
  • Artificial Intelligence
OBS

particularize: to specify; to make particular rather than general: apply or limit in a particular case.

OBS

See also "system specification". compare to "program specification".

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 66

Record 67 1988-09-30

English

Subject field(s)
  • Lasers and Masers

French

Domaine(s)
  • Masers et lasers

Spanish

Save record 67

Record 68 1988-05-10

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 68

Record 69 1988-02-03

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 69

Record 70 1988-02-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 70

Record 71 1988-02-01

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 71

Record 72 1988-01-27

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 72

Record 73 1987-12-08

English

Subject field(s)
  • Artificial Intelligence
CONT

If a biased formalism is employed then an algorithm that shifts bias should be able to shift the formalism as well.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 73

Record 74 1987-09-18

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 74

Record 75 1987-09-18

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 75

Record 76 1987-05-05

English

Subject field(s)
  • Radio Waves
  • Electromagnetic Radiation
CONT

There exists a close relationship between the electromagnetic field and the second rank spinor formalism.

French

Domaine(s)
  • Ondes radioélectriques
  • Rayonnements électromagnétiques

Spanish

Save record 76

Record 77 1987-02-24

English

Subject field(s)
  • Language (General)
  • Philosophy (General)
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.

French

Domaine(s)
  • Linguistique (Généralités)
  • Philosophie (Généralités)
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.

Spanish

Save record 77

Record 78 1987-02-16

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 78

Record 79 1987-02-16

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 79

Record 80 1987-01-30

English

Subject field(s)
  • Artificial Intelligence
  • Computer Mathematics

French

Domaine(s)
  • Intelligence artificielle
  • Mathématiques informatiques

Spanish

Save record 80

Record 81 1986-12-30

English

Subject field(s)
  • Psychology
  • Logic (Philosophy)
  • Artificial Intelligence
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.

French

Domaine(s)
  • Psychologie
  • Logique (Philosophie)
  • Intelligence artificielle

Spanish

Save record 81

Record 82 1986-12-15

English

Subject field(s)
  • Artificial Intelligence
  • General Vocabulary
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.

French

Domaine(s)
  • Intelligence artificielle
  • Vocabulaire général
DEF

Règle qui spécifie une équivalence entre deux séquences de symboles.

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.

Spanish

Save record 82

Record 83 1986-11-14

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 83

Record 84 1986-10-17

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 84

Record 85 1986-05-13

English

Subject field(s)
  • Artificial Intelligence
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.

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 85

Record 86 1986-05-12

English

Subject field(s)
  • Artificial Intelligence
CONT

An inference net compiler for the PROSPECTOR rule-based consultation system.

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 86

Record 87 1986-05-09

English

Subject field(s)
  • Artificial Intelligence
CONT

We are equipped with knowledge structures (scripts, plans and goals) that allow us to make sense of stories.

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 87

Record 88 1986-05-05

English

Subject field(s)
  • Artificial Intelligence
OBS

descriptor: provides additional information about objects.

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 88

Record 89 1986-01-31

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 89

Record 90 1985-10-23

English

Subject field(s)
  • Museums
DEF

the act or practice of de-accessioning a part of an art or other collection.

OBS

de-accession: to sell or exchange pieces of a museum's collection or any other formal collection.

French

Domaine(s)
  • Muséologie
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.

Spanish

Save record 90

Record 91 1985-05-27

English

Subject field(s)
  • Computer Programs and Programming
OBS

See "higher order software" (HOS).

French

Domaine(s)
  • Programmes et programmation (Informatique)
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.

Spanish

Save record 91

Record 92 1976-06-19

English

Subject field(s)
  • Public Administration

French

Domaine(s)
  • Administration publique

Spanish

Save record 92

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: