TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 DEF

A statutorily defined number of persons selected according to law and sworn to determine, in accordance with the law as instructed by the court, certain matters of fact based on evidence presented in a trial, and to render a verdict.  1, record 1, English, - trial%20jury

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 CONT

Pour sa part, la formalisation du jury en tant qu'institution donnant une décision irrévocable quant à la culpabilité ou à l'innocence, qui sera appelée le «petit jury», connaît un développement progressif. Dans sa forme criminelle, cette procédure fait appel à un nombre très variable de jurés, et leur présence dans les jurys de présentation(grand jury) se révèle très fluctuante.  3, record 1, French, - petit%20jury

Record 1,  Textual support,  Spanish

Record number: 1, Textual support number: 1 DEF

El tribunal popular de origen inglés, que resuelve en conciencia sobre los hechos y la culpabilidad de los acusados en el proceso penal, base del fallo que pronunciará, en cuanto al Derecho, el tribunal permanente y letrado.  2, record 1, Spanish, - jurado

Record 2,  Textual support,  French

Record 2,  Textual support,  Spanish

Record 3,  Textual support,  English

Record number: 3, Textual support number: 1 CONT

As the term "autoepistemic logic" suggests, AEL was designed to model (a single agent's) knowledge, including knowledge derived from reasoning about knowledge.  2, record 3, English, - autoepistemic%20logic

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 DEF

Logique qui a pour objet la formalisation d’un raisonnement introspectif et idéalement rationnel opéré sur un ensemble initial de croyances.  2, record 3, French, - logique%20auto%C3%A9pist%C3%A9mique

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record number: 4, Textual support number: 1 OBS

A request for federal assistance (RFA) is the formalization of a request to the federal government to provide support in response to an emergency such as a natural disaster, national security incident and/or pandemic like COVID-19. If the provinces or territories (P/Ts) assess that the emergency exceeds their capacity and resources to response, they may seek assistance from the federal government to help them fill the gaps to mitigate and respond to an emergency.  2, record 4, English, - request%20for%20federal%20assistance

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 OBS

Une demande d’aide fédérale(DAF) est la formalisation d’une demande au gouvernement fédéral pour qu'il fournisse un soutien en réponse à une urgence telle qu'une catastrophe naturelle, un incident de sécurité nationale et/ou une pandémie comme la COVID-19. Si les provinces ou les territoires(PT) estiment que l'urgence dépasse leur capacité et leurs ressources d’intervention, ils peuvent demander l'aide du gouvernement fédéral pour combler les lacunes afin d’atténuer les effets de l'urgence et d’y répondre.  2, record 4, French, - demande%20d%26rsquo%3Baide%20f%C3%A9d%C3%A9rale

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 DEF

A formal representation of domain knowledge, including concepts, relationships and axioms.  3, record 5, English, - ontology

Record number: 5, Textual support number: 1 CONT

Ontologies are used to create a common vocabulary and understanding of a particular domain, which can be used to improve data integration, knowledge sharing, and decision-making. Ontologies can be represented using various formal languages, such as RDF [Resource Description Framework], OWL [Web Ontology Language], or XML [Extensible Markup Language], and can be used in a variety of applications, including natural language processing, semantic search, and machine learning.  4, record 5, English, - ontology

Record 5,  Textual support,  French

Record number: 5, Textual support number: 1 DEF

Corpus structuré de concepts, qui est modélisé dans un langage permettant l’exploitation par un ordinateur des relations sémantiques ou taxonomiques établies entre ces concepts.  3, record 5, French, - ontologie

Record number: 5, Textual support number: 1 CONT

En informatique et en science de l’information, une ontologie est l’ensemble structuré des termes et concepts représentant le sens d’un champ d’informations, que ce soit par les métadonnées d’un espace de noms, ou les éléments d’un domaine de connaissances. L’ontologie constitue en soi un modèle de données représentatif d’un ensemble de concepts dans un domaine, ainsi que des relations entre ces concepts.  4, record 5, French, - ontologie

Record number: 5, Textual support number: 2 CONT

Une ontologie fournit le vocabulaire spécifique à un domaine de la connaissance et, selon un degré de formalisation variable, fixe le sens des concepts et des relations qui les unissent.  5, record 5, French, - ontologie

Record number: 5, Textual support number: 1 OBS

ontologie informatique : désignation et définition publiées au Journal officiel de la République française le 30 avril 2022.  6, record 5, French, - ontologie

Record 5,  Textual support,  Spanish

Record number: 5, Textual support number: 1 DEF

Formulación de un exhaustivo y riguroso esquema conceptual dentro de uno o varios dominios dados con la finalidad de facilitar la comunicación y la compartición de la información entre diferentes sistemas y entidades.  1, record 5, Spanish, - ontolog%C3%ADa

Record 6,  Textual support,  English

Record 6,  Textual support,  French

Record number: 6, Textual support number: 1 DEF

Outil graphique de formalisation de la structure et des fonctions d’un didacticiel.  1, record 6, French, - didactogramme

Record number: 6, Textual support number: 2 DEF

Représentation graphique de la structure et des fonctions du didacticiel qui est généralement fixée à la maquette et qui permet de formaliser les relations existant entre chacune des composantes.  2, record 6, French, - didactogramme

Record number: 6, Textual support number: 1 OBS

Le didactogramme permet de visualiser les différents parcours possibles selon les réactions prévues des apprenants et les actions pédagogiques correspondant à chacun de ces parcours.  2, record 6, French, - didactogramme

Record 6,  Textual support,  Spanish

Record 7,  Textual support,  English

Record 7,  Textual support,  French

Record number: 7, Textual support number: 1 DEF

Degré de complexité d’une formalisation logique selon qu'elle accepte ou non les variables de prédicat.  1, record 7, French, - ordre

Record number: 7, Textual support number: 1 OBS

Les théories du premier ordre sont de loin les plus nombreuses parce qu’exprimées dans un langage formalisant la plupart des énoncés mathématiques.  1, record 7, French, - ordre

Record number: 7, Textual support number: 1 PHR

logique d’ordre zéro, logique du deuxième ordre  1, record 7, French, - ordre

Record 7,  Textual support,  Spanish

Record number: 7, Textual support number: 1 CONT

¿De qué hablamos cuando hablamos de lógica proposicional? A veces entendida como "lógica de orden cero", es un sistema formal cuyos elementos más simples representan proposiciones, y que posee operadores lógicos que se aplica sobre proposiciones para formar otras de mayor complejidad.  1, record 7, Spanish, - orden

Record 8,  Textual support,  English

Record number: 8, Textual support number: 1 DEF

A type of expert system where the procedural knowledge is integrated with the declarative knowledge in the form of production rules.  3, record 8, English, - rule%2Dbased%20system

Record number: 8, Textual support number: 1 CONT

Rule-based systems provide explanations of results to users by keeping track of which rules were invoked in a consultation.  4, record 8, English, - rule%2Dbased%20system

Record number: 8, Textual support number: 1 OBS

rule-based system: term standardized by ISO and IEC.  5, record 8, English, - rule%2Dbased%20system

Record 8,  Textual support,  French

Record number: 8, Textual support number: 1 DEF

Système expert reproduisant certaines facultés humaines de décision à partir non d’algorithmes complets mais d’éléments d’algorithmes spécifiques d’un domaine d’application, épars et non définitifs, fournis par des experts du domaine.  3, record 8, French, - syst%C3%A8me%20%C3%A0%20base%20de%20r%C3%A8gles

Record number: 8, Textual support number: 1 CONT

Les tentatives de formalisation logique des systèmes à base de règles restent très limitées; plus fondamentalement, le rôle de la logique dans la représentation des connaissances est l'objet de vives controversies.  4, record 8, French, - syst%C3%A8me%20%C3%A0%20base%20de%20r%C3%A8gles

Record number: 8, Textual support number: 1 OBS

Ainsi appelé parce que les connaissances opératoires sont intégrées sous forme de règles aux connaissances assertionnelles de la base de connaissances.  3, record 8, French, - syst%C3%A8me%20%C3%A0%20base%20de%20r%C3%A8gles

Record number: 8, Textual support number: 2 OBS

système à base de règles : terme normalisé par ISO et CEI.  5, record 8, French, - syst%C3%A8me%20%C3%A0%20base%20de%20r%C3%A8gles

Record 8,  Textual support,  Spanish

Record 9,  Textual support,  English

Record number: 9, Textual support number: 1 CONT

Examples of general equilibrium analysis that have become widespread in recent years are econometric models and the body of techniques that have been labelled systems analysis. These models consist of sets of equations expressing the relationship among the key variables in the economy ... The use of such models will be most familiar to the analyst in connection with the simulation of changes in macroeconomic policies. These models have also been deemed appropriate in examining proposed public health programs ...  3, record 9, English, - econometric%20model

Record number: 9, Textual support number: 1 OBS

model: In econometrics an equation or set of equations depicting the causal relationships that are believed to generate observed data.  2, record 9, English, - econometric%20model

Record number: 9, Textual support number: 1 PHR

Aggregate econometric model.  4, record 9, English, - econometric%20model

Record 9,  Textual support,  French

Record number: 9, Textual support number: 1 CONT

Modèle (économétrique) [...] Le modèle est une construction simplifiée, qui cherche à représenter la réalité économique sous son aspect chiffré. De plus, le modèle est le résultat d’une réflexion théorique appuyée et contrôlée par les mesures statistiques. Tout modèle est donc, par nature, économétrique, l’économétrie étant la théorie économique basée sur la mesure effective chiffrée des phénomènes.  3, record 9, French, - mod%C3%A8le%20%C3%A9conom%C3%A9trique

Record number: 9, Textual support number: 1 OBS

modèle : Instrument d’analyse économétrique qui s’exprime généralement comme une formalisation mathématique de l'évolution d’un ensemble économique cohérent à partir d’hypothèses données.  4, record 9, French, - mod%C3%A8le%20%C3%A9conom%C3%A9trique

Record number: 9, Textual support number: 1 PHR

Modèle économétrique agrégatif.  5, record 9, French, - mod%C3%A8le%20%C3%A9conom%C3%A9trique

Record 9,  Textual support,  Spanish

Record number: 9, Textual support number: 1 DEF

Modelo económico que contiene las especificaciones necesarias para su aplicación empírica.  1, record 9, Spanish, - modelo%20econom%C3%A9trico

Record 10,  Textual support,  English

Record 10,  Textual support,  French

Record number: 10, Textual support number: 1 DEF

Phase de formalisation des connaissances expertes lors de la conception d’un système expert. Le cogniticien distingue le niveau structurant qui définit le mécanisme générant la certitude, le niveau conceptuel qui détermine l'ensemble des concepts opératoires utilisés par l'expert, et le niveau cognitif qui correspond à l'ensemble des connaissances mises en œuvre par l'expert.  1, record 10, French, - niveau%20des%20connaissances

Record 10,  Textual support,  Spanish

Record 11,  Textual support,  English

Record number: 11, Textual support number: 1 CONT

The creation of on-line courses is first and foremost a venture in education, but it also has all the elements of a multimedia project. It includes a number of technologies, a spectrum of media encompassing the printed word, images, sound and moving images. As such, the development of on-line instruction requires a team including content specialist (the educator), programmers, the graphic and instructional designers, technical writer, editor and project manager. A development team is as complex as the process of planning, creating, and validating the courseware.  2, record 11, English, - development%20team

Record 11,  Textual support,  French

Record number: 11, Textual support number: 1 DEF

Équipe qui étudie et réalise un didacticiel, sous la direction du concepteur médiatique.  5, record 11, French, - %C3%A9quipe%20auteur

Record number: 11, Textual support number: 1 CONT

Suite aux remarques des utilisateurs, suite à ses propres idées de simplification ou d’aménagement voire de développement, l’auteur (ou l’équipe auteur) est amené à perfectionner son produit.  1, record 11, French, - %C3%A9quipe%20auteur

Record number: 11, Textual support number: 2 CONT

[...] il n’ est pas nécessaire que le document de représentation de l'expertise soit entièrement complété pour passer à l'implémentation. En fait, l'équipe de développement alterne implémentation et identification/formalisation de la connaissance au cours du développement du système.  6, record 11, French, - %C3%A9quipe%20auteur

Record 11,  Textual support,  Spanish

Record 12,  Textual support,  English

Record number: 12, Textual support number: 1 DEF

Installation of a computer system for immediate use [which] involves the selection of hardware and software, the physical installation of this hardware and software at the users' sites, and related testing and training activities.  2, record 12, English, - implementation

Record number: 12, Textual support number: 1 CONT

Implementation. The implementation phase turns the design into code executable in the run-time environment. This entails defining the internal mechanisms by which each module will meet its module specification, and then mapping module mechanisms and interface properties into the implementation language.  3, record 12, English, - implementation

Record 12,  Textual support,  French

Record number: 12, Textual support number: 1 DEF

Mise en place sur un ordinateur d’un système d’exploitation ou d’un ensemble de programmes généraux correspondant à une fonction particulière destinée à l’utilisateur, et adaptée à sa configuration propre.  2, record 12, French, - impl%C3%A9mentation

Record number: 12, Textual support number: 1 CONT

[...] il n’ est pas nécessaire que le document de représentation de l'expertise soit entièrement complété pour passer à l'implémentation. En fait, l'équipe de développement alterne implémentation et identification/formalisation de la connaissance au cours du développement du système [expert].  3, record 12, French, - impl%C3%A9mentation

Record 12,  Textual support,  Spanish

Record 13,  Textual support,  English

Record number: 13, Textual support number: 1 CONT

Dimensioning and Tolerancing for Simplified and Economical Manufacturing [title]. Dr. Irving W. Burr, Prof. of Statistics and Mathematics, Purdue University .... Suppose that an important characteristic of an assembly is determined by the sum and/or difference of dimensions of components, for example, total length of several parts or clearance between a shaft and a bearing. This paper provides simple process controls and acceptance sampling plans that the design engineer can use instead of conventional specification limits for a part.  2, record 13, English, - tolerancing

Record 13,  Textual support,  French

Record number: 13, Textual support number: 1 DEF

Établissement de l’ensemble des tolérances admissibles pour une pièce.  2, record 13, French, - tol%C3%A9rancement

Record number: 13, Textual support number: 1 CONT

Nouvellement enregistrée en concordance technique avec la norme internationale ISO 3040, la norme NF E04-557 rappelle les caractéristiques fonctionnelles dimensionnelles des éléments coniques conjugués et propose des principes de cotation et de tolérancement dans l’établissement du dessin de définition de chacun de ses éléments d’assemblage.  2, record 13, French, - tol%C3%A9rancement

Record number: 13, Textual support number: 1 PHR

Répartir le tolérancement.  3, record 13, French, - tol%C3%A9rancement

Record number: 13, Textual support number: 2 PHR

Automatisation, formalisation du tolérancement(des pièces mécaniques).  3, record 13, French, - tol%C3%A9rancement

Record 13,  Textual support,  Spanish

Record 14,  Textual support,  English

Record number: 14, Textual support number: 1 DEF

The process of an organization acquiring and/or intensifying characteristics of a bureaucracy.  2, record 14, English, - bureaucratization

Record 14,  Textual support,  French

Record number: 14, Textual support number: 1 DEF

Processus de formalisation des activités, de multiplication des fonctions et de centralisation des pouvoirs par lequel une organisation acquiert progressivement les caractéristiques d’une bureaucratie.  2, record 14, French, - bureaucratisation

Record 14,  Textual support,  Spanish

Record number: 14, Textual support number: 1 CONT

La burocratización, es decir, el crecimiento del poder de los servicios administrativos, es una fatalidad inevitable y representa a su vez el rasgo más evidente del proceso de racionalización característico de la vida moderna [...]  1, record 14, Spanish, - burocratizaci%C3%B3n

Record 15,  Textual support,  English

Record 15,  Textual support,  French

Record number: 15, Textual support number: 1 DEF

Accord dépourvu de toute formalisation mais pouvant reposer sur une déclaration n’ ayant pas entraîné de contestation sur le champ.  1, record 15, French, - arrangement

Record 15,  Textual support,  Spanish

Record 16,  Textual support,  English

Record number: 16, Textual support number: 1 CONT

[The] knowledge life cycle is a process involving the following four phases: knowledge extraction; decision-making; decision evaluation; data farming.  1, record 16, English, - knowledge%20life%20cycle

Record 16,  Textual support,  French

Record number: 16, Textual support number: 1 CONT

Cycle de vie de la connaissance : émergence d’une idée, formalisation, validation, diffusion, réutilisation, valorisation.  1, record 16, French, - cycle%20de%20vie%20de%20la%20connaissance

Record 16,  Textual support,  Spanish

Record 17,  Textual support,  English

Record number: 17, Textual support number: 1 CONT

Constructing a knowledge base is in general a modeling problem, using representational tools that are unavailable to the expert. It is a problem of formalization and reformulation.  2, record 17, English, - formalization

Record number: 17, Textual support number: 1 OBS

[This stage] involves generation of formal representations of the key concepts, sub-problems, and information flow characteristics.  3, record 17, English, - formalization

Record 17,  Textual support,  French

Record number: 17, Textual support number: 1 CONT

L'activité principale des étudiants est la formalisation, ou encore la programmation dans un langage qui permet des constructions formelles intéressantes.  2, record 17, French, - formalisation

Record number: 17, Textual support number: 1 OBS

[Cette étape] comporte la production de représentations formelles des concepts clés, des sous-problèmes et des caractéristiques du débit de l’information.  3, record 17, French, - formalisation

Record 17,  Textual support,  Spanish

Record 18,  Textual support,  French

Record 18,  Textual support,  Spanish

Record 19,  Textual support,  French

Record 19,  Textual support,  Spanish

Record 20,  Textual support,  English

Record 20,  Textual support,  French

Record number: 20, Textual support number: 1 DEF

Formalisation du raisonnement plausible.  1, record 20, French, - induction%20Bay%C3%A9sienne

Record 20,  Textual support,  Spanish

Record 21,  Textual support,  English

Record 21,  Textual support,  French

Record number: 21, Textual support number: 1 DEF

Formulation logicielle des connaissances de l’expert par le cogniticien. Deuxième étape du transfert des connaissances.  1, record 21, French, - mise%20en%20bo%C3%AEte%20de%20l%26rsquo%3Bexpertise

Record 21,  Textual support,  Spanish

Record 22,  Textual support,  English

Record number: 22, Textual support number: 1 DEF

Translating a problem statement into an alternative logically equivalent form so that an appropriate solution method can be applied. This may include reformulating data representations and restating problem constraints.  1, record 22, English, - problem%20reformulation

Record 22,  Textual support,  French

Record number: 22, Textual support number: 1 OBS

formulation : action de mettre en formule.  2, record 22, French, - remise%20en%20%C3%A9quation%20d%26rsquo%3Bun%20probl%C3%A8me

Record number: 22, Textual support number: 2 OBS

Voir "mise en équation" des connaissances, formalisation.  1, record 22, French, - remise%20en%20%C3%A9quation%20d%26rsquo%3Bun%20probl%C3%A8me

Record 22,  Textual support,  Spanish

Record 23,  Textual support,  French

Record 23,  Textual support,  Spanish

Record 24,  Textual support,  English

Record number: 24, Textual support number: 1 DEF

A lithologic body to which casual reference is made but for which there is insufficient need, insufficient information, or inappropriate basis to justify designation as a formal unit.  2, record 24, English, - informal%20unit

Record 24,  Textual support,  French

Record number: 24, Textual support number: 1 CONT

Les unités informelles, dont les termes d’unité sont des noms ordinaires, ne sont pas protégées par la stabilité qu'apportent la formalisation appropriée et les procédures de classification recommandées : elles sont connues à la fois pour des raisons économiques et scientifiques.  1, record 24, French, - unit%C3%A9%20informelle

Record 24,  Textual support,  Spanish

Record 25,  Textual support,  French

Record 25,  Textual support,  Spanish

Record 26,  Textual support,  English

Record 26,  Textual support,  French

Record number: 26, Textual support number: 1 DEF

La formalisation de la structure d’hologrammorphisme.  2, record 26, French, - logique%20holoscopique

Record 26,  Textual support,  Spanish

Record 27,  Textual support,  French

Record 27,  Textual support,  Spanish

Record 28,  Textual support,  French

Record 28,  Textual support,  Spanish

Record 29,  Textual support,  English

Record number: 29, Textual support number: 1 OBS

See implicit function  1, record 29, English, - rag%2Dbag%20implicit%20function

Record 29,  Textual support,  French

Record number: 29, Textual support number: 1 CONT

Remarquez l'emploi de l'implicite zéro. On s’en sert quand on ne peut pas appliquer un des implicites du langage. Ici, c'est la formalisation d’une règle qui ne nécessite l'emploi d’aucune fonction. C'est pourquoi on se sert de cet implicite fourre-tout.  1, record 29, French, - implicite%20fourre%2Dtout

Record 29,  Textual support,  Spanish