TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Model checking, a powerful technique in artificial intelligence and computer science, is used to verify the correctness of systems across various domains. Its applications span from hardware and software verification to planning and formal verification... In the field of artificial intelligence, model checking verifies the correctness of proposed solutions to planning problems, ensuring that the planned actions lead to the desired outcomes.  2, fiche 1, Anglais, - model%20checking

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 DEF

Méthode de vérification algorithmique, qui permet de déterminer avec efficacité si un système représenté par un modèle satisfait à un ensemble de spécifications formelles et qui, si une des spécifications n'est pas vérifiée, fournit des contre-exemples servant à identifier la source des erreurs.  1, fiche 1, Français, - exploration%20de%20mod%C3%A8le

Record number: 1, Textual support number: 1 OBS

L'exploration de modèle trouve de nombreuses applications dans les industries du logiciel et du matériel, la vérification de puces, les protocoles de communication, les logiciels pilotes de périphériques, les systèmes critiques embarqués et les algorithmes de sécurité.  1, fiche 1, Français, - exploration%20de%20mod%C3%A8le

Record number: 1, Textual support number: 2 OBS

exploration de modèle : terme et définition publiés au Journal officiel de la République française le 1er janvier 2013.  2, fiche 1, Français, - exploration%20de%20mod%C3%A8le

Fiche 1,  Justifications,  Espagnol

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 CONT

In the mathematical fields of graph theory and finite model theory, the logic of graphs deals with formal specifications of graph properties using sentences of mathematical logic.  2, fiche 2, Anglais, - graph%20logic

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 CONT

Dans les domaines mathématiques de la théorie des graphes et de la théorie des modèles finis, la logique des graphes traite de la spécification formelle de propriétés de graphe en utilisant des propositions de la logique mathématique.  2, fiche 2, Français, - logique%20des%20graphes

Fiche 2,  Justifications,  Espagnol

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 CONT

Business executives and their lawyers frequently insert a model ADR clause into the international agreement, designating a pre-determined method … of formal dispute resolution in the case of a dispute.  3, fiche 3, Anglais, - model%20alternative%20dispute%20resolution%20clause

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 DEF

An abstract, formal model of information flow, showing static and dynamic properties of a system.  1, fiche 4, Anglais, - Petri%20net

Record number: 4, Textual support number: 1 CONT

A Petri net is usually represented as a graph having two types of nodes (called places and transitions) connected by arcs, and markers (called tokens) indicating dynamic properties.  1, fiche 4, Anglais, - Petri%20net

Record number: 4, Textual support number: 1 OBS

Petri net: term standardized by the Institute of Electrical and Electronics Engineers (IEEE).  3, fiche 4, Anglais, - Petri%20net

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 DEF

Modèle abstrait et formel d'un flux informationnel indiquant les propriétés statiques et dynamiques d'un système.  2, fiche 4, Français, - r%C3%A9seau%20de%20P%C3%A9tri

Record number: 4, Textual support number: 1 CONT

Un réseau de Pétri est habituellement présenté sous la forme d'un graphe ayant deux types de nœuds (appelés places et transitions) reliés par des arcs, et des marqueurs (appelés jetons) indiquant les propriétés dynamiques.  2, fiche 4, Français, - r%C3%A9seau%20de%20P%C3%A9tri

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 DEF

A formal transition model of computer security policy that describes a set of access control rules [where] the entities in a computer system are divided into abstract sets of subjects and objects.  2, fiche 5, Anglais, - Bell%2DLaPadula%20model

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 DEF

Modèle formel de politique de sécurité [dans lequel sont modélisées] les exigences de contrôle d'accès caractérisant une politique nationale de sécurité à l'aide d'un modèle basé sur le concept du moniteur de références et d'une politique de sécurité multi-niveaux de confidentialité. [Définition reproduite avec l'autorisation de l'AFNOR.]  2, fiche 5, Français, - mod%C3%A8le%20de%20Bell%2DLaPadula

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 CONT

Similarly, a “strategic model” or more formal strategy to attract large international sport events was tested on representatives from all provinces/territories and a select group of respondents and the reaction was generally positive, with the details needing to be resolved.  2, fiche 6, Anglais, - strategic%20model

Fiche 6,  Justifications,  Français

Record number: 6, Textual support number: 1 CONT

De même, dans le but d'attirer de grandes manifestations sportives internationales, on a testé un «modèle stratégique» (ou une stratégie plus formelle) auprès des représentants de toutes les provinces et tous les territoires de même qu'auprès d'un groupe exclusif de répondants, et la réaction a été généralement positive, même si certains détails avaient besoin d'être définis.  2, fiche 6, Français, - mod%C3%A8le%20strat%C3%A9gique

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

Universities of the Third Age(U3As) provide learning opportunities for older adults who are largely free of work and family responsibilities. Worldwide, they typically take on two forms(Swindell 1997) : the French model(based on the first U3A founded in 1973) is university based and offers formal courses; the British model, arising in Cambridge in 1981, emphasizes informal, autonomous slef-help groups in which the instructors are usually thrid-agers themselves, not college professors.  3, fiche 7, Anglais, - university%20of%20the%20third%20age

Record number: 7, Textual support number: 2 CONT

In 2000-2001, close to 5,500 seniors took part in over 380 training activities offered by one of the 26 regional branches of the Université du troisième âge, totalling over 166,000 training hours.  6, fiche 7, Anglais, - university%20of%20the%20third%20age

Fiche 7,  Justifications,  Français

Record number: 7, Textual support number: 1 DEF

Cours organisés par les universités à l'intention des retraités  1, fiche 7, Français, - universit%C3%A9%20du%20troisi%C3%A8me%20%C3%A2ge

Record number: 7, Textual support number: 1 OBS

La première université du troisième âge fut crée à Toulouse en 1973; le sigle serait de date plus récente.  1, fiche 7, Français, - universit%C3%A9%20du%20troisi%C3%A8me%20%C3%A2ge

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 DEF

A type of operational integration that enables patients to receive a variety of health services from the same organization or entity, which streamlines administrative processes and increases the potential for the delivery of high-quality healthcare.  2, fiche 8, Anglais, - clinical%20integration

Record number: 8, Textual support number: 1 CONT

Clinical integration is the key to an integrated model and involves : a) continuity of care; b) good communication amongst all caregivers, formal and informal; c) smooth transfer of communication and records; d) elimination of duplicate testing and procedures; and e) patient care services co-ordinated across people, functions, activities and sites.  3, fiche 8, Anglais, - clinical%20integration

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 DEF

[Intégration opérationnelle] selon laquelle les soins au patient sont coordonnés en cours du temps entre divers intervenants, fonctions, activités et unités opérationnelles composant le réseau [intégré de soins].  1, fiche 8, Français, - int%C3%A9gration%20clinique

Record number: 8, Textual support number: 1 OBS

L'intégration clinique est rendue possible grâce aux deux autres types d'intégration [intégration fonctionnelle et intégration médecins-réseau].  1, fiche 8, Français, - int%C3%A9gration%20clinique

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 CONT

In this formal model, the entities in a computer system are divided into abstract sets of subjects and objects.  1, fiche 9, Anglais, - formal%20model

Fiche 9,  Justifications,  Français

Record number: 9, Textual support number: 1 OBS

modèle formel : terme tiré d'un document traduit de l'anglais par le World Wide Web Consortium dont le rôle est d'établir des normes reliées aux technologies Internet.  2, fiche 9, Français, - mod%C3%A8le%20formel

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 CONT

The precise interpretation of the grammar in terms of the formal model is also given. Syntactic features inherited from XML are not reproduced here. These include all well-formedness constraints, the use of whitespace around attributes and the ’=’, as well as the use of either double or single quotes around attribute values. This section is intended for implementors who are building tools that read and interpret RDF/XML syntax.  1, fiche 10, Anglais, - syntactic%20feature

Record number: 10, Textual support number: 1 OBS

The English terminology on this record is standardized by the World Wide Web Consortium (W3C) whose role it is to establish standards relating to Internet technology. The French terminology was proposed by translators certified by the W3C and was verified by the author of this record.  2, fiche 10, Anglais, - syntactic%20feature

Fiche 10,  Justifications,  Français

Record number: 10, Textual support number: 1 CONT

L'interprétation précise de la grammaire en termes de modèle formel est également donnée. Les options syntaxiques héritées de XML ne sont pas reproduites ici. Ceci inclut toutes les contraintes de formatage correct, l'utilisation des espaces autour des attributs et le '=', ainsi que l'utilisation des guillemets doubles ou bien simples autour des valeurs d'attribut. Cette section est rédigée pour les développeurs qui créent les outils qui lisent et interprètent la syntaxe RDF/XML.  1, fiche 10, Français, - option%20syntaxique

Record number: 10, Textual support number: 1 OBS

La terminologie anglaise de cette fiche est normalisée par le World Wide Web Consortium (consortium W3C) dont le rôle principal est d'établir les normes reliées aux technologies Internet. La terminologie française est proposée par des traducteurs agréés par le Consortium et elle a été vérifiée par l'auteur de cette fiche.  2, fiche 10, Français, - option%20syntaxique

Fiche 10,  Justifications,  Espagnol

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 DEF

An instructional system such as the Quadratic tutor, capable of refining its knowledge by evaluating its own performance and improving its domain knowledge and teaching strategies.  4, fiche 11, Anglais, - self%2Dimproving%20tutoring%20system

Record number: 11, Textual support number: 1 CONT

If the student’s approach leads to a better solution than the trace stored in the expert’s archive, the system adopts the student’s solution as its standard: hence the label of self-improving sometimes given this tutor.  4, fiche 11, Anglais, - self%2Dimproving%20tutoring%20system

Record number: 11, Textual support number: 2 CONT

Although it is not presented as a self-improving system, Self's program contrasts with O’Shea's in that the tutor has access to a formal learning model.  5, fiche 11, Anglais, - self%2Dimproving%20tutoring%20system

Record number: 11, Textual support number: 1 OBS

In Hartley and Sleeman taxonomy of instructional systems, a true ICAI system. Compare to prestructured system, generative system, and adaptive system.  6, fiche 11, Anglais, - self%2Dimproving%20tutoring%20system

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 DEF

Système EIAO capable d'acquérir, en cours d'utilisation, des informations généralisables à des situations ultérieures. Ces informations produisent une transformation irréversible de l'état initial du système, censée améliorer ses performances pédagogiques.  1, fiche 11, Français, - syst%C3%A8me%20tutoriel%20%C3%A9volutif

Record number: 11, Textual support number: 1 CONT

PROTO-TEG est un tutoriel évolutif : la connaissance qu'il a acquise a produit une transformation durable du tutoriel.  4, fiche 11, Français, - syst%C3%A8me%20tutoriel%20%C3%A9volutif

Record number: 11, Textual support number: 1 OBS

Il remplit une ou plusieurs des fonctions suivantes : enrichir le modèle du domaine avec des propositions de l'apprenant lorsqu'elles sont plus courtes que celles des concepteurs (module expert);analyser l'effet des activités proposées à l'élève et en tenir compte lors du choix des stratégies didactiques (modèle pédagogique); mettre à jour la représentation de l'état cognitif de l'apprenant en fonction de l'évolution (modèle de l'apprenant); acquérir des connaissances en vue d'optimiser le dialogue avec l'apprenant (module d'interface). Néologisme créé par P. Dillenbourg.  1, fiche 11, Français, - syst%C3%A8me%20tutoriel%20%C3%A9volutif

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 DEF

An informal presentation of a formal security policy model.  1, fiche 12, Anglais, - security%20policy%20model

Record number: 12, Textual support number: 1 OBS

Formal Security Policy Model. A mathematically precise statement of a security policy. To be adequately precise, such a model must represent the initial state of a system, the way in which the system progresses from one state to another, and a definition of a "secure" state of the system. To be acceptable as a basis for a TCB, the model must be supported by a formal proof that if the initial state of the system satisfies the definition of a "secure" state and if all assumptions required by the model hold, then all future states of the system will be secure. Some formal modeling techniques include : state transition models, temporal logic models, denotational semantics models, algebraic specification models. An example is the model described by Bell and LaPadula....  1, fiche 12, Anglais, - security%20policy%20model

Fiche 12,  Justifications,  Français

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 CONT

The deprivation model is based on the assumption that imprisonment is a degrading and depriving experience. Inmates, in an effort to alleviate the "pains of imprisonment" formulate and maintain a subcultural normative system which emphasizes physical toughness, rejection of the formal institution and exploitation of prison programs and staff.  2, fiche 13, Anglais, - deprivation%20model

Fiche 13,  Justifications,  Français

Record number: 13, Textual support number: 1 CONT

Le modèle de privation se fonde sur l'hypothèse selon laquelle l'emprisonnement est une expérience dégradante et «restrictive». Dans un effort pour alléger les «douleurs de l'emprisonnement», les détenus conçoivent et entretiennent une sous-culture normative qui met l'accent sur la résistance physique, le rejet de l'établissement de détention et l'exploitation des programmes et du personnel de l'établissement.  2, fiche 13, Français, - mod%C3%A8le%20de%20privation

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 OBS

formal language : an abstract mathematical object used to model the syntax of a programming or natural language.  2, fiche 14, Anglais, - formal%20grammar

Fiche 14,  Justifications,  Français

Record number: 14, Textual support number: 1 DEF

Cela signifie: étudier formellement et mathématiquement les éléments des langages.  2, fiche 14, Français, - grammaire%20formelle

Record number: 14, Textual support number: 2 DEF

Grammaire qui est composée d'un vocabulaire formé de terminaux (les mots) et de non-terminaux (groupes de mots ayant une fonction, par exemple un groupe verbal), de règles de réécriture et d'un axiome.  3, fiche 14, Français, - grammaire%20formelle

Fiche 14,  Justifications,  Espagnol

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 CONT

Self's vision of formalizing teaching in terms of a student model is given a sharp focus in his work on concept teaching(Self, 1977). It differs from other projects by being a formal experiment on teaching rather than a teaching system. The domain is the acquisition of simple conjunctive concepts in a relational language close to first-order logic. An example of the concepts taught by Self's system would be R(x) T(y)("There is a rectangle and no triangle"). The target concept is taught through successive variable-free examples classified as positive or negative instances. For example, the tutor could say that R(a) T(b)("There is a rectangle a and a triangle b") is a negative example. Since the order in which the sequence of instances is presented greatly influences the time the student takes to converge on the correct concept, the idea is for the teacher to use a learning model to optimize its selection of examples.  1, fiche 15, Anglais, - concept%20teaching

Fiche 15,  Justifications,  Français

Record number: 15, Textual support number: 1 OBS

Voir étude de concepts, évaluation des concepts, test de concepts.  3, fiche 15, Français, - enseignement%20de%20type%20conceptuel

Record number: 15, Textual support number: 2 OBS

Comparer à apprentissage de concepts : apprentissage visant à trouver une fonction de reconnaissance qui permet de distinguer les éléments appartenant au concept de ceux n'en faisant pas partie.  3, fiche 15, Français, - enseignement%20de%20type%20conceptuel

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 DEF

The formal mathematical model of belief systems.  2, fiche 16, Anglais, - deduction%20structure

Fiche 16,  Justifications,  Français

Fiche 16,  Justifications,  Espagnol

Fiche 17,  Justifications,  Anglais

Record number: 17, Textual support number: 1 CONT

Under the title organic model there are two items : a) minimum of formal division of duties; b) temporary task force  1, fiche 17, Anglais, - organic%20model

Fiche 17,  Justifications,  Français

Fiche 17,  Justifications,  Espagnol

Fiche 18,  Justifications,  Anglais

Record number: 18, Textual support number: 1 OBS

A model focusing on the formal operations of organizations; it examines such subjects as principles of specialization, hierarchical arrangements, delegation, and responsibility structure.  1, fiche 18, Anglais, - bureaucratic%20model

Fiche 18,  Justifications,  Français

Fiche 18,  Justifications,  Espagnol