TERMIUM Plus®

From: Translation Bureau

On social media

Consult the Government of Canada’s terminology data bank.

PROOF POSITIVE [6 records]

Record 1 2005-10-26

English

Subject field(s)
  • Logic (Philosophy)
  • Legal System
  • Health Law
CONT

In Rothman’s paradigm of causal inference, a disease occurs only when a necessary cause exists.

CONT

... an inference of causation may be drawn although positive or scientific proof of causation has not been adduced.

French

Domaine(s)
  • Logique (Philosophie)
  • Théorie du droit
  • Droit de la santé
CONT

Pour que l'on puisse faire une inférence de causalité, il faut satisfaire à un certain nombre de prérequis méthodologiques : en plus de l'association statistique, l'on doit pouvoir écarter le hasard, repousser des hypothèses alternatives, et démontrer que le facteur causal précède bel et bien la conséquence imputée.

CONT

Des inférences causales peuvent être faites à partir de données de recherche en évaluant dans quelle mesure la «preuve» satisfait aux critères largement reconnus.

Spanish

Save record 1

Record 2 2001-11-20

English

Subject field(s)
  • Correction and Proofreading (Printing)
DEF

A proof made by taking a positive photo-print from a colour separation, the printing plate before being used, or by pulling a contact print from the printing plate without mounting it on the press.

French

Domaine(s)
  • Correction d'épreuves (Imprimerie)
DEF

Épreuve obtenue par contact (en positif) avec la plaque d'impression.

OBS

L'épreuve client s'effectue avant de caler les plaques sur la presse d'impression.

Spanish

Save record 2

Record 3 2001-08-21

English

Subject field(s)
  • General Mechanics (Physics)
  • Aircraft Piloting and Navigation
  • Navigation Instruments
  • Flight Instruments and Equipment (Aeroindustry)
DEF

In pendulous devices, an axis through the mass center of the proof mass, perpendicular to and intersecting the output axis. The positive direction is defined from the output axis to the proof mass.

French

Domaine(s)
  • Mécanique générale (Physique)
  • Pilotage et navigation aérienne
  • Instruments de navigation
  • Instruments et équipement de bord (Constructions aéronautiques)

Spanish

Save record 3

Record 4 - external organization data 1998-01-12

English

Subject field(s)
  • Engineering Tests and Reliability
  • Nuclear Science and Technology
  • Compartment - Canadian Nuclear Safety Commission
CONT

Prior to first criticality of any reactor, positive pressure proof tests shall be done to demonstrate the structural integrity of all parts of the containment envelope and the containment system.

French

Domaine(s)
  • Fiabilité, contrôle et essais (Ingénierie)
  • Sciences et techniques nucléaires
  • Tiroir - Commission canadienne de sûreté nucléaire
CONT

Avant de procéder à la première divergence du réacteur, des épreuves de résistance à la pression positive doivent être effectuées pour démontrer l'intégrité structurale de toutes les parties de l'enceinte et des systèmes de confinement.

Spanish

Save record 4

Record 5 1992-11-16

English

Subject field(s)
  • Artificial Intelligence
DEF

A tree that consists of nodes and edges which represent the goals reduced during the computation.

CONT

The result of this stage is an And/Or proof tree, which we shall call the explanation tree for the training instance. The explanation tree indicates how the training instance satisfies PosInst(positive instance), and forms the basis for generalization by inferring sufficient conditions for satisfying PosInst.

French

Domaine(s)
  • Intelligence artificielle
CONT

La justification à construire est une démonstration prouvant que l'exemple positif donné satisfait bien la définition non opérationnelle du concept-but. Cette démonstration peut être structurée en un arbre de preuve.

Spanish

Save record 5

Record 6 1992-11-16

English

Subject field(s)
  • Artificial Intelligence
CONT

The analytic approach involves a two-step process. First, one uses the domain theory to construct an explanation("explanation" is really used to mean "proof" of correctness of a specific solution to a problem given the axioms of the domain theory) that proves that the training example is a positive instance of the goal concept.

French

Domaine(s)
  • Intelligence artificielle
DEF

Une des généralisations possibles de la trace d'une preuve formelle.

CONT

L'apprentissage analytique par explication. L'apprentissage s'effectue en deux étapes : (i) on élabore une explication justifiant en quoi l'exemple est une instance du concept faisant l'objet de l'apprentissage, en exploitant les connaissances du domaine disponibles.

Spanish

Save record 6

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: