TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

ENUMERATIVE ALGORITHM [1 record]

Record 1 2024-03-28

English

Subject field(s)
  • Computer Mathematics
  • Computer Programs and Programming
  • Artificial Intelligence
CONT

The enumerative algorithm was tested and refined through feedback from two rounds of large-scale experimental testing, involving in total the assembly of synthetic genes encoding 7,896 designs and assessment of their stability on yeast cell surface, detailed biophysical characterization of 64 designs, and crystal structures of 5 designs.

French

Domaine(s)
  • Mathématiques informatiques
  • Programmes et programmation (Informatique)
  • Intelligence artificielle
CONT

[...] la procédure [Davis, Putnam, Logemann et Loveland (DPLL)] est un algorithme énumératif dont le but est de générer un arbre de recherche. Deux points importants renforcent cet algorithme, qui sont la fonction de simplification de la formule et celle du choix de la prochaine variable à affecter. Donc c'est bien grâce à ces améliorations qu'il est possible d'éviter certaines redondances dans la recherche effectuée.

Spanish

Save record 1

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau

Features

Language Portal of Canada

Access a collection of Canadian resources on all aspects of English and French, including quizzes.

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: