TERMIUM Plus^®

Record 1,  Textual support,  English

Record number: 1, Textual support number: 1 CONT

Hoare logic ... is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.  2, record 1, English, - Hoare%20logic

Record 1,  Textual support,  French

Record number: 1, Textual support number: 1 CONT

Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes.  3, record 1, French, - logique%20de%20Hoare

Record 1,  Textual support,  Spanish

Record 2,  Textual support,  English

Record number: 2, Textual support number: 1 CONT

In a Markov decision process (MDP), the environment is assumed to be in some state at any given point in time. In the case of brand/product marketing, such states would be represented as feature vectors comprising categorical and numerical data fields that characterize what is known about each product/brand at the time a decision is made.  1, record 2, English, - Markov%20decision%20process

Record number: 2, Textual support number: 1 OBS

Markov decision process; MDP: designations validated by Canadian subject-field experts from Concordia University, Dalhousie University, Laval University and Microsoft Canada.  2, record 2, English, - Markov%20decision%20process

Record 2,  Textual support,  French

Record number: 2, Textual support number: 1 CONT

Les processus décisionnels de Markov(PDM) constituent un cadre fréquemment utilisé pour formaliser les processus de décisions séquentielles impliquant un agent en interaction avec un environnement ou un système dynamique.  1, record 2, French, - processus%20d%C3%A9cisionnel%20de%20Markov

Record number: 2, Textual support number: 1 OBS

processus décisionnel de Markov; PDM : désignations validées par des spécialistes canadiens de l’Université Concordia, de l’Université Dalhousie, de l’Université Laval et de Microsoft Canada.  2, record 2, French, - processus%20d%C3%A9cisionnel%20de%20Markov

Record 2,  Textual support,  Spanish

Record number: 2, Textual support number: 1 CONT

Un proceso de decisión de Markov (PDM) [...] es un modelo que permite representar un proceso de decisión en el tiempo, conocido también como proceso de decisión secuencial. Mediante este modelo es posible representar problemas en los cuales se deben tomar decisiones sobre qué acción realizar, con el fin de minimizar el costo asociado a una serie de interacciones con el ambiente.  1, record 2, Spanish, - proceso%20de%20decisi%C3%B3n%20de%20Markov

Record 3,  Textual support,  English

Record 3,  Textual support,  French

Record number: 3, Textual support number: 1 DEF

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

Record number: 3, 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 3, French, - didactogramme

Record number: 3, 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 3, French, - didactogramme

Record 3,  Textual support,  Spanish

Record 4,  Textual support,  English

Record 4,  Textual support,  French

Record number: 4, Textual support number: 1 DEF

Représentation informatique d’un objet conceptuel réalisé sur écran graphique.  1, record 4, French, - mod%C3%A8le%20g%C3%A9om%C3%A9trique

Record number: 4, Textual support number: 1 PHR

Accéder à un modèle, adapter, afficher, affiner, analyser, appréhender, assembler, borner, concevoir, construire, créer, décrire(mathématiquement), définir, élaborer, enrichir, évaluer, exploiter, fabriquer, formaliser, fractionner, générer, gérer, homogénéiser, identifier, intégrer, manipuler, mémoriser, mettre en œuvre, paramétrer, passer par, réévaluer, résoudre, stocker, tester, visualiser un modèle, vérifier sur modèle.  1, record 4, French, - mod%C3%A8le%20g%C3%A9om%C3%A9trique

Record number: 4, Textual support number: 2 PHR

Modèle ambigu, bi-dimensionnel, cohérent, compatible, complexe, constructible, 2D, 2D½, empirique, erroné, facettisé, filaire, général, générique, hybride, informatique, mémorisé, multicontraintes, non ambigu, orienté objet, paramétré, performant, polygonal, procédural, relationnel, solide (par les frontières), structurel, surfacique, technologique, théorique, tri(-)dimensionnel, 3D, volumique.  1, record 4, French, - mod%C3%A8le%20g%C3%A9om%C3%A9trique

Record number: 4, Textual support number: 3 PHR

Modèle d’analyse, par arbre de construction, de base, à base de volumes, de bas niveau, Bézier, Bézier rationnel, par les bords, B-Rep, B-spline, de communication, CSG, de description des surfaces, à facettes planes (opaques), fil de fer, de fonctionnement, par les frontières, de haut niveau, par historique, d’illumination, par les limites, de lumière, en machine, d’ombrage, d’optimisation, de représentation par frontières, de représentation des surfaces, de solides, de surfaces, de synthèse, de visualisation.  1, record 4, French, - mod%C3%A8le%20g%C3%A9om%C3%A9trique

Record number: 4, Textual support number: 4 PHR

Analyse, cohabitation, cohérence, comportement, concision, conservation, construction, création, degré, description (numérique), évaluation, exécution, formulation, incohérence, mise en œuvre, représentation, revue, rusticité, transfert, validité, visualisation d’un modèle, maître-modèle.  1, record 4, French, - mod%C3%A8le%20g%C3%A9om%C3%A9trique

Record 4,  Textual support,  Spanish

Record 5,  Textual support,  English

Record number: 5, Textual support number: 1 DEF

A person who has suffered the death of a loved one.  4, record 5, English, - bereaved

Record number: 5, Textual support number: 1 OBS

bereaved: the plural form is "bereaved."  4, record 5, English, - bereaved

Record 5,  Textual support,  French

Record number: 5, Textual support number: 1 CONT

Les endeuillés : Dans le sillage direct des soins palliatifs, tout un mouvement médical et para-médical [...] tente de formaliser une «aide aux endeuillés». [...] il est statistiquement démontré qu'on rencontre dix fois plus de pathologies graves chez les personnes ayant eu un deuil l'année précédente [...]  1, record 5, French, - endeuill%C3%A9

Record 5,  Textual support,  Spanish

Record 7,  Textual support,  English

Record number: 7, Textual support number: 1 DEF

The algebra-like writing that contributed to the systematization of the psychoanalytic theory.  2, record 7, English, - matheme

Record number: 7, Textual support number: 1 CONT

... the mathemes are not to be understood but to be used. In this way, they constitute a formal core of psychoanalytic theory which may be transmitted integrally.  3, record 7, English, - matheme

Record 7,  Textual support,  French

Record number: 7, Textual support number: 1 DEF

Écriture d’aspect algébrique contribuant à formaliser la théorie psychanalytique.  2, record 7, French, - math%C3%A8me

Record 7,  Textual support,  Spanish

Record 8,  Textual support,  English

Record number: 8, Textual support number: 1 DEF

To feel, and show, resentment at another's actions or words.  2, record 8, English, - take%20offence

Record 8,  Textual support,  French

Record number: 8, Textual support number: 1 DEF

Réagir par un sentiment de dignité, d’amour-propre, d’honneur blessé à ce que l’on considère comme une offense.  3, record 8, French, - s%26rsquo%3Boffenser

Record number: 8, Textual support number: 1 CONT

Ne s’offenser de rien. Sa délicatesse s’offense de peu de chose. S’offenser contre quelqu’un. [Aussi, forme vieillie :] S’offenser de quelqu’un.  3, record 8, French, - s%26rsquo%3Boffenser

Record 8,  Textual support,  Spanish

Record 9,  Textual support,  English

Record number: 9, Textual support number: 1 CONT

For the members of EAEA [European Association for the Education of Adults] it is of special importance to strengthen non-formal adult learning at the European and national level. This is important for a sustainable social, political and economic development of our societies.  2, record 9, English, - non%2Dformal%20adult%20learning

Record 9,  Textual support,  French

Record number: 9, Textual support number: 1 CONT

Financé avec des fonds publics, le Learning and Skills Council a pour mission de formaliser et de reconnaître, par des cours et des formations, l'apprentissage non-formel des adultes. Ce système reflète la tradition britannique assez forte d’éducation volontariste pour les adultes.  2, record 9, French, - apprentissage%20non%20formel%20des%20adultes

Record 9,  Textual support,  Spanish

Record 10,  Textual support,  English

Record number: 10, Textual support number: 1 CONT

Consent or the refusal of consent should be given by legally competent individuals or authorized third parties. This may be done in writing (preferred), orally, or clearly indicated by conduct. Evidence of consent or its refusal should be clearly documented and available for audit and legal purposes.  3, record 10, English, - evidence%20of%20consent

Record number: 10, Textual support number: 2 CONT

Consent can be oral or written. That said, however, written consent is usually preferable and is the norm in practice. It is preferable because it can be used as evidence should a dispute about consent arise in the future. It is important to note that the mere fact of a patient's signature on a consent form does not constitute proof of consent. Instead, the content of the consent form can provide an evidentiary basis for conclusions about the content of the dialogue between the health care provider and the patient.  4, record 10, English, - evidence%20of%20consent

Record 10,  Textual support,  French

Record number: 10, Textual support number: 1 CONT

Il ne faut pas [... ] confondre le consentement avec la forme sous laquelle on peut le consigner. En aucun cas, le consentement ne peut être simplement qu'une question de forme, étant avant tout une question de fond : un accord signé, sans les explications préalables y ayant mené, ne peut jamais constituer un consentement valide. Toutefois, formaliser le consentement sur papier en rend la preuve de l'obtention certainement plus aisée. Le formulaire fait donc preuve du consentement en tant que tel devant les tribunaux, mais ne fait pas preuve de l'accomplissement du devoir d’information imposé aux dentistes.  3, record 10, French, - preuve%20du%20consentement

Record 10,  Textual support,  Spanish

Record 11,  Textual support,  English

Record number: 11, Textual support number: 1 CONT

If the utility of some object to you is different from its price, then surely your behavior should attempt to maximize not expected value in dollars but expected utility.  2, record 11, English, - expected%20utility

Record number: 11, Textual support number: 2 CONT

The subjective probability approach ... leads to the same decision rule ...: choose the project with the highest expected utility.  3, record 11, English, - expected%20utility

Record 11,  Textual support,  French

Record number: 11, Textual support number: 1 OBS

Les choix ouverts sont [...] classés d’après leur espérance d’utilité [...] Cette approche intuitive peut se formaliser : von Neuman a montré que, si on imposait à un critère de choix entre des loteries certains axiomes, d’apparence naturelle, celui-ci [sic] revenait à fonder les choix sur l'espérance mathématique d’une certaine fonction d’utilité des gains.  2, record 11, French, - esp%C3%A9rance%20d%26rsquo%3Butilit%C3%A9

Record 11,  Textual support,  Spanish

Record number: 11, Textual support number: 1 DEF

Medida del bienestar que posiblemente pueda obtener un consumidor a partir del rendimiento incierto de beneficios de un activo que posea.  1, record 11, Spanish, - utilidad%20esperada

Record 12,  Textual support,  English

Record number: 12, Textual support number: 1 DEF

The creative process by which all or part of a project is elaborated.  2, record 12, English, - design

Record number: 12, Textual support number: 1 OBS

Term officialized by the Engineers Terminology Working Group on bridging.  3, record 12, English, - design

Record number: 12, Textual support number: 2 OBS

design: term and definition approved by the committee set up by the Centre international GP to study the terminology related to major project management.  4, record 12, English, - design

Record 12,  Textual support,  French

Record number: 12, Textual support number: 1 DEF

Activité créatrice qui consiste à élaborer l’ensemble d’un projet ou une partie des éléments le constituant.  5, record 12, French, - design

Record number: 12, Textual support number: 1 OBS

Le terme "étude" désigne bien les travaux qui préparent l’exécution d’un projet (plans, croquis, rapports, etc.). Il s’agit toutefois d’un mot passe partout et donc moins précis que "design" et "conception"  6, record 12, French, - design

Record number: 12, Textual support number: 2 OBS

Le terme "conception" a été uniformisé par le Groupe de travail de terminologie du Génie (ponts).  7, record 12, French, - design

Record number: 12, Textual support number: 3 OBS

conception : terme et définition approuvés par le comité chargé par le Centre international GP d’étudier les termes de la gestion des grands projets.  6, record 12, French, - design

Record number: 12, Textual support number: 1 PHR

Automatiser, documenter, formaliser, modifier, remanier le design.  4, record 12, French, - design

Record number: 12, Textual support number: 2 PHR

Conception automatisable, automatisée, 2D, fonctionnelle, hiérarchisée, mécanique, paramétrique, simultanée, 3D.  4, record 12, French, - design

Record number: 12, Textual support number: 3 PHR

Base de données, cheminement, logiciel de conception, outil d’aide à la conception.  4, record 12, French, - design

Record 12,  Textual support,  Spanish

Record 13,  Textual support,  English

Record number: 13, Textual support number: 1 DEF

Rules written to capture the heuristics an expert uses to solve a problem.  1, record 13, English, - heuristic%20rules

Record number: 13, Textual support number: 1 OBS

heuristic rules: term and definition reproduced with the permission of the copyright holder, the Canadian Standards Association (CSA), 178 Rexdale Blvd., Toronto, Ontario Canada M9W 1R3. However, CSA shall not be responsible for the manner in which the information is presented, nor for any interpretations thereof. This CSA material may not have been updated to reflect amendments subsequently made to the original content. For further information, contact CSA.  2, record 13, English, - heuristic%20rules

Record 13,  Textual support,  French

Record number: 13, Textual support number: 1 DEF

Règles permettant de formaliser les connaissances et l'expérience utilisées par un spécialiste pour résoudre un problème.  1, record 13, French, - r%C3%A8gles%20heuristiques

Record number: 13, Textual support number: 1 OBS

règles heuristiques : terme et définition reproduits avec l’autorisation de l’Association canadienne de normalisation (CSA), 178, boul. Rexdale, Toronto (Ontario), Canada M9W 1R3 (détentrice des droits d’auteur). La CSA décline toute responsabilité quant à la façon dont la matière est présentée et quant à toute interprétation pouvant en découler. L’information reproduite pourrait ne pas être à jour. Pour plus de renseignements, communiquer avec la CSA.  2, record 13, French, - r%C3%A8gles%20heuristiques

Record 13,  Textual support,  Spanish

Record 14,  Textual support,  English

Record number: 14, Textual support number: 1 DEF

A resolution method that reaches conclusions using logic; it is normally done by theorem proving.  2, record 14, English, - logical%20inference

Record number: 14, Textual support number: 1 CONT

Japanese planners want their machines to handle millions of logical inferences per second (LIPS) - one logical inference equalling one step in a syllogistic, or IF-THEN, sequence of reasoning.  3, record 14, English, - logical%20inference

Record number: 14, Textual support number: 2 CONT

Each logical inference involves a set of premises, a reason, and a conclusion. ... The student is finished when there is a set of logical inferences connecting the given statements to the statements to be proved.  4, record 14, English, - logical%20inference

Record 14,  Textual support,  French

Record number: 14, Textual support number: 1 CONT

Lorsqu'il fallut formaliser des règles effectivement utilisées par les médecins, il fut évident que leurs inférences étaient moins des inférences logiques,(SI E alors H), que des inférences plausibles.  2, record 14, French, - inf%C3%A9rence%20logique

Record 14,  Textual support,  Spanish

Record 15,  Textual support,  English

Record number: 15, Textual support number: 1 CONT

When we study and decompose the rules into conceptual and procedural abstractions, we are formalizing a model that experts cannot always articulate.  1, record 15, English, - formalize

Record 15,  Textual support,  French

Record number: 15, Textual support number: 1 CONT

[...] le transfert de la connaissance ne doit pas s’effectuer directement de l’expert vers l’ordinateur, mais il doit passer par la mise en place d’un document formalisant les différentes facettes de l’expertise.  1, record 15, French, - formaliser

Record 15,  Textual support,  Spanish

Record 16,  Textual support,  English

Record number: 16, Textual support number: 1 OBS

as opposed to "informal group" (INSOC, 1968, vol. 6, p. 276).  2, record 16, English, - formal%20group

Record number: 16, Textual support number: 2 OBS

... it is instructive to adopt the strategy of tracing the formation of informal groups rather than of those instituted formally through blueprints handed down by outside authority (such as a committee or board).  3, record 16, English, - formal%20group

Record 16,  Textual support,  French

Record number: 16, Textual support number: 1 CONT

Le groupe formel se caractérise par une structure organisée. On parle d’organisation. Les rapports sociaux y sont impersonnels et s’exercent à travers des rôles préalablement définis. Ces rôles ont [...] tendance à s’y formaliser selon des normes définies par le milieu extérieur, par la culture.  4, record 16, French, - groupe%20formel

Record number: 16, Textual support number: 2 CONT

Tout groupe formel (organisé) ou informel (spontané) a des moments de rencontre d’une partie ou de la totalité de ses membres [...]  5, record 16, French, - groupe%20formel

Record number: 16, Textual support number: 3 CONT

Dans un groupe institutionnel, les distances sociales jouent à plein et les différences de statuts correspondent au "droit" de plus ou moins grande participation [...]  6, record 16, French, - groupe%20formel

Record 16,  Textual support,  Spanish

Record 17,  Textual support,  English

Record number: 17, Textual support number: 1 DEF

Refers to any logic other than the classical propositional or predicate calculus.  1, record 17, English, - non%2Dstandard%20logic

Record 17,  Textual support,  French

Record number: 17, Textual support number: 1 CONT

Les logiques souvent dites «non classiques»(en particulier les logiques modales et les logiques temporelles) ont été développées pour enrichir les capacités de représentation de la logique des prédicats, notamment en vue de formaliser la sémantique des langages naturels.  1, record 17, French, - logique%20non%20standard

Record 17,  Textual support,  Spanish