TERMIUM Plus®

From: Translation Bureau

On social media

Consult the Government of Canada’s terminology data bank.

PROOF PROCEDURE [11 records]

Filter results by subject field Alphabetical list of terms

Filter results by subject field

Alphabetical list of terms

Record 1 2024-05-09

English

Subject field(s)
  • Artificial Intelligence
DEF

A proof procedure which tells us that the program in fact produces all of the correct answers.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 1

Record 2 - external organization data 2010-08-31

English

Subject field(s)
  • Internet and Telematics
  • Courts
  • Compartment - Canadian Nuclear Safety Commission
CONT

In the absence of proof to the contrary, the date of filing is the date on which the document is received by the Commission or designated officer, as indicated... by the date that appears on the covering page of the facsimile as processed by the receiving facsimile machine of the Commission, in the case of a document that is filed by facsimile. [Canadian Nuclear Safety Commission Rules of Procedure]

OBS

Of a fax transmission.

French

Domaine(s)
  • Internet et télématique
  • Tribunaux
  • Tiroir - Commission canadienne de sûreté nucléaire
OBS

D'un document télécopié.

Spanish

Save record 2

Record 3 2005-01-06

English

Subject field(s)
  • Health Law
CONT

In regard to the burden of proof of consent, in Common Law jurisdictions where a relationship is characterized as confidential, or fiduciary, undue influence is presumed to be present. This means that in the medical contract the doctor has the burden of proving the voluntariness of the consent, which burden should be regarded as encompassing both the consent to the contract and consent to the medical procedure that it contemplates.

French

Domaine(s)
  • Droit de la santé
CONT

Les règles de la responsabilité civile n'ont pas été affectées par le développement du virage ambulatoire. Les règles qui s'appliquent au contrat médical demeurent les mêmes.

Spanish

Save record 3

Record 4 - external organization data 2002-03-04

English

Subject field(s)
  • Translation (General)
  • Office Automation
  • Compartment - Canadian Nuclear Safety Commission
CONT

In the absence of proof to the contrary, the date of filing is the date on which the document is received by the Commission or designated officer, as indicated... by the date that appears on the covering page of the facsimile as processed by the receiving facsimile machine of the Commission, in the case of a document that is filed by facsimile. [Canadian Nuclear Safety Commission Rules of Procedure]

French

Domaine(s)
  • Traduction (Généralités)
  • Bureautique
  • Tiroir - Commission canadienne de sûreté nucléaire
CONT

Sauf preuve contraire, la date de dépôt d'un document est la date à laquelle la Commission ou le fonctionnaire désigné le reçoit, telle qu'en atteste [...] la date apposée sur la page couverture de la télécopie par le télécopieur récepteur de la Commission, s'il s'agit d'un document déposé par télécopieur. [Règles de procédures de la Commission canadienne de sûreté nucléaire]

Spanish

Save record 4

Record 5 - external organization data 2000-03-29

English

Subject field(s)
  • Scientific Instruments
  • Measuring Instruments (Engineering)
  • Radiological Physics (Theory and Application)
  • Compartment - Canadian Nuclear Safety Commission
CONT

Before calibrating any specific mark and model of survey meter the calibrator shall have available for inspection and assessment a documented calibration procedure consisting of :... an identification and proof of verification of uncertainties associated with the jig, the source, any transfer standards, attenuators, and decay correction which are associated with the total uncertainty of the calibration...

French

Domaine(s)
  • Instruments scientifiques
  • Instruments de mesure (Ingénierie)
  • Physique radiologique et applications
  • Tiroir - Commission canadienne de sûreté nucléaire
DEF

Matière qui, placée sur le trajet d'un rayonnement, provoque une atténuation appréciable.

Spanish

Save record 5

Record 6 1998-04-27

English

Subject field(s)
  • Rules of Court
OBS

Procedure in proof of the falsification of a document.

French

Domaine(s)
  • Règles de procédure
DEF

Contestation portée devant une juridiction civile [...] en vue de faire reconnaître qu'un acte authentique est faux [...]

Spanish

Save record 6

Record 7 1989-12-12

English

Subject field(s)
  • Artificial Intelligence
DEF

Property of a procedure to find a proof of either a sentence or that sentence's negation.

French

Domaine(s)
  • Intelligence artificielle
DEF

Propriété d'un problème "décidable", pour lequel on sait prouver qu'il existe des algorithmes résolvant toutes ses instances, ou permettant de distinguer les énoncés vrais des énoncés faux.

OBS

Voir indécidabilité, sémidécidabilité.

Spanish

Save record 7

Record 8 1988-01-06

English

Subject field(s)
  • Artificial Intelligence
DEF

Procedure which corresponds to proof procedures which work forward from the initial set of assumptions, by using implications to derive conclusions from assumptions.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 8

Record 9 1986-09-15

English

Subject field(s)
  • Artificial Intelligence
DEF

Is any collection of assumptions(or beliefs) expressed in logic together with a proof procedure and maintenance procedures, which manage the way the information system deals with change.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 9

Record 10 1986-05-07

English

Subject field(s)
  • Artificial Intelligence
OBS

A procedure that uses the resolution principle for proof finding tries to show that the negation of the given theorem to be proved is unsatisfiable(contradictory, inconsistent).

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 10

Record 11 1986-03-14

English

Subject field(s)
  • Artificial Intelligence
DEF

Is a systematic method for showing that a set of assumptions imply a conclusion. There are two kinds : a goad-directed proof procedure and a connection graph proof procedure.

French

Domaine(s)
  • Intelligence artificielle

Spanish

Save record 11

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

Display options

Change the order of display of the official languages of Canada
Option to display the non-official languages (Spanish or Portuguese)
Display definitions, contexts, etc., on records

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: