TERMIUM Plus^®

Fiche 1,  Justifications,  Anglais

Record number: 1, Textual support number: 1 CONT

Linear threshold units (LTUs) were originally proposed as models of biological neurons. They were widely studied in the context of the perceptron ... Due to the difficulties of finding a general algorithm for networks with hidden nodes, they never passed into general use.  3, fiche 1, Anglais, - linear%20threshold%20unit

Record number: 1, Textual support number: 2 CONT

Regarding the advantage of depth, early theoretical results have focused on circuit operations(neural net unit computations) that are substantially different from those being used in real state-of-the-art deep learning applications, such as logic gates... and linear threshold units with non-negative weights...  4, fiche 1, Anglais, - linear%20threshold%20unit

Fiche 1,  Justifications,  Français

Record number: 1, Textual support number: 1 CONT

Le perceptron est l'une des architectures des réseaux de neurones les plus simples[. Son architecture] est formée de deux couches : une couche d'entrée et une couche de sortie. La couche d'entrée représente les neurones d'entrée qui permettent de sortir les mêmes entrées fournies. La couche de sortie représente un type de neurone artificiel différent des autres, appelé «unité linéaire à seuil (ULS)» [...] Chaque neurone ULS est connecté à toutes les neurones d'entrées et aussi à un neurone particulier appelé «neurone de biais» dont la sortie est toujours égale à 1 (neurone de terme constant).  1, fiche 1, Français, - unit%C3%A9%20lin%C3%A9aire%20%C3%A0%20seuil

Fiche 1,  Justifications,  Espagnol

Record number: 1, Textual support number: 1 CONT

El perceptrón es una de las arquitecturas de redes neuronales más simples, basado en una neurona artificial [que se] conoce como [...] unidad de umbral lineal [...]  1, fiche 1, Espagnol, - unidad%20de%20umbral%20lineal

Fiche 2,  Justifications,  Anglais

Record number: 2, Textual support number: 1 DEF

An apparently harmless program containing malicious logic that allows the unauthorized collection, falsification, or destruction of data.  3, fiche 2, Anglais, - Trojan%20horse

Record number: 2, Textual support number: 1 OBS

Trojan horse virus: Unlike a computer virus, ... a Trojan horse is not able to replicate itself, nor can it propagate without an end user’s assistance.  2, fiche 2, Anglais, - Trojan%20horse

Record number: 2, Textual support number: 2 OBS

Trojan horse: designation and definition standardized by ISO and the International Electrotechnical Commission; designation standardized by the Canadian Standards Association (CSA).  4, fiche 2, Anglais, - Trojan%20horse

Fiche 2,  Justifications,  Français

Record number: 2, Textual support number: 1 DEF

Programme apparemment inoffensif contenant un [programme] malveillant qui permet la collecte, la falsification ou la destruction non autorisée de données.  2, fiche 2, Français, - cheval%20de%20Troie

Record number: 2, Textual support number: 1 OBS

cheval de Troie : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale; désignation normalisée par l'Association canadienne de normalisation (CSA).  3, fiche 2, Français, - cheval%20de%20Troie

Record number: 2, Textual support number: 2 OBS

cheval de Troie : désignation publiée au Journal officiel de la République française le 20 mai 2005.  3, fiche 2, Français, - cheval%20de%20Troie

Fiche 2,  Justifications,  Espagnol

Record number: 2, Textual support number: 1 DEF

Programa que actúa como vehículo para colocar códigos destructivos, como bombas lógicas o virus, dentro de una computadora (ordenador).  2, fiche 2, Espagnol, - caballo%20de%20Troya

Record number: 2, Textual support number: 1 OBS

Programa diseñado para entrar en un ordenador sin ser detectado y permitir el acceso a personas no autorizadas a través de la red.  1, fiche 2, Espagnol, - caballo%20de%20Troya

Fiche 3,  Justifications,  Anglais

Record number: 3, Textual support number: 1 DEF

A logic in which a conclusion stands no matter what new axioms are added.  2, fiche 3, Anglais, - monotonic%20logic

Fiche 3,  Justifications,  Français

Fiche 3,  Justifications,  Espagnol

Fiche 4,  Justifications,  Anglais

Record number: 4, Textual support number: 1 CONT

Associative logic means we put things together in surprising and unexpected ways to solve dilemmas, address challenges and open up new horizons. It is typically defined, for business purposes, as a process involved in discerning and applying connections between unrelated or distantly related concepts.  2, fiche 4, Anglais, - associative%20logic

Fiche 4,  Justifications,  Français

Record number: 4, Textual support number: 1 CONT

La logique associative est la capacité à faire des liens entre les idées ou les sujets sans se préoccuper de la logique et d'une relation de cause à effet. C'est le mécanisme amenant les idées originales.  2, fiche 4, Français, - logique%20associative

Fiche 4,  Justifications,  Espagnol

Fiche 5,  Justifications,  Anglais

Record number: 5, Textual support number: 1 CONT

The concepts that can be expressed by means of equations and the kinds of proofs that may be devised using equations are central concerns of equational logic.  2, fiche 5, Anglais, - equational%20logic

Fiche 5,  Justifications,  Français

Record number: 5, Textual support number: 1 OBS

Dans cette logique, les axiomes sont des équations, et les théorèmes sont déduits des axiomes par une règle d'inférence très simple, appelée le remplacement d'égaux par des égaux.  2, fiche 5, Français, - logique%20%C3%A9quationnelle

Fiche 5,  Justifications,  Espagnol

Fiche 6,  Justifications,  Anglais

Record number: 6, Textual support number: 1 CONT

Belief logic is "logic" in an extended sense. Instead of studying what follows from what, our belief logic studies patterns of consistent believing and willing; it generates consistency norms that prescribe that we be consistent in various ways.  2, fiche 6, Anglais, - belief%20logic

Fiche 6,  Justifications,  Français

Fiche 6,  Justifications,  Espagnol

Fiche 7,  Justifications,  Anglais

Record number: 7, Textual support number: 1 CONT

Abductive logic is about inferring the most likely explanation for a set of observations.  2, fiche 7, Anglais, - abductive%20logic

Fiche 7,  Justifications,  Français

Fiche 7,  Justifications,  Espagnol

Fiche 8,  Justifications,  Anglais

Record number: 8, Textual support number: 1 CONT

Elementary logic is the branch of philosophy and mathematics that studies the principles and methods of reasoning. It involves the study of propositions, statements, arguments, and inference. The purpose of elementary logic is to provide a systematic framework for evaluating arguments and determining their validity.  2, fiche 8, Anglais, - elementary%20logic

Fiche 8,  Justifications,  Français

Record number: 8, Textual support number: 1 CONT

[...] la logique élémentaire se veut une étude qui précède le développement de toute mathématique, en tant que fondement de celle-ci.  2, fiche 8, Français, - logique%20%C3%A9l%C3%A9mentaire

Fiche 8,  Justifications,  Espagnol

Fiche 9,  Justifications,  Anglais

Record number: 9, Textual support number: 1 DEF

A problem-solving approach used in production systems, where production rules are employed to find a solution path by chaining backwards from the goal.  2, fiche 9, Anglais, - top%2Ddown%20logic

Fiche 9,  Justifications,  Français

Fiche 9,  Justifications,  Espagnol

Fiche 10,  Justifications,  Anglais

Record number: 10, Textual support number: 1 CONT

Intuitionistic logic encompasses the general principles of logical reasoning which have been abstracted by logicians from intuitionistic mathematics.  2, fiche 10, Anglais, - intuitionistic%20logic

Fiche 10,  Justifications,  Français

Fiche 10,  Justifications,  Espagnol

Fiche 11,  Justifications,  Anglais

Record number: 11, Textual support number: 1 CONT

As the term "autoepistemic logic" suggests, AEL was designed to model(a single agent's) knowledge, including knowledge derived from reasoning about knowledge.  2, fiche 11, Anglais, - autoepistemic%20logic

Fiche 11,  Justifications,  Français

Record number: 11, Textual support number: 1 DEF

Logique qui a pour objet la formalisation d'un raisonnement introspectif et idéalement rationnel opéré sur un ensemble initial de croyances.  2, fiche 11, Français, - logique%20auto%C3%A9pist%C3%A9mique

Fiche 11,  Justifications,  Espagnol

Fiche 12,  Justifications,  Anglais

Record number: 12, Textual support number: 1 OBS

counterexample : A counterexample is any exception to a generalization. In logic a counterexample disproves the generalization, and does so rigorously in the fields of mathematics and philosophy.  2, fiche 12, Anglais, - counterexample%20logic

Fiche 12,  Justifications,  Français

Record number: 12, Textual support number: 1 OBS

contre-exemple : En logique, en rhétorique et en mathématiques, un contre-exemple est un exemple, un cas particulier ou un résultat général, qui contredit les premières impressions.  2, fiche 12, Français, - logique%20de%20contre%2Dexemple

Fiche 12,  Justifications,  Espagnol

Fiche 13,  Justifications,  Anglais

Record number: 13, Textual support number: 1 CONT

Conceptually abstraction logic is situated between first-order logic and second-order logic.  2, fiche 13, Anglais, - abstraction%20logic

Fiche 13,  Justifications,  Français

Record number: 13, Textual support number: 1 CONT

Cette logique d'abstraction se développe dans ce que l'on qualifie de logique formelle, à savoir, un système de logique dans lequel on raisonne sur les structures des arguments avec un système abstrait de déduction (par inférence).  2, fiche 13, Français, - logique%20d%27abstraction

Fiche 13,  Justifications,  Espagnol

Fiche 14,  Justifications,  Anglais

Record number: 14, Textual support number: 1 CONT

Voting achieves reliability with both permanent and transient faults. An experimental system uses off-the-shelf microcomputers in a triplicated configuration with voting logic which votes on all processor accesses to the bus. The system can also operate with each processor working separately and interprocessor communications taking place via the full duplex single-word parallel interfaces.  2, fiche 14, Anglais, - voting

Record number: 14, Textual support number: 1 PHR

voting gate, voting mode, voting nodes, voting type  3, fiche 14, Anglais, - voting

Fiche 14,  Justifications,  Français

Record number: 14, Textual support number: 1 PHR

configuration de vote, mode de vote, opérateur de vote, type de vote  1, fiche 14, Français, - vote

Record number: 14, Textual support number: 2 PHR

vote personnalisé  1, fiche 14, Français, - vote

Fiche 14,  Justifications,  Espagnol

Record number: 14, Textual support number: 1 PHR

botones de voto, puerta de voto  1, fiche 14, Espagnol, - voto

Record number: 14, Textual support number: 2 PHR

tipo de votación  1, fiche 14, Espagnol, - voto

Fiche 15,  Justifications,  Anglais

Record number: 15, Textual support number: 1 CONT

Deductive logic deals with arguments where the truth of the conclusion is guaranteed by the truth of the premises. If the premises are true and the argument is structured correctly, the conclusion must be true. This is the type of logic often seen in mathematics and computer science, where absolute certainty is achievable.  2, fiche 15, Anglais, - deductive%20logic

Fiche 15,  Justifications,  Français

Record number: 15, Textual support number: 1 CONT

Les principes de l'épistémologie positiviste mènent à la décomposition des problèmes en des chaînes d'éléments simple à résoudre, ce qui est inspiré par la logique déductive (recherche de la cause).  2, fiche 15, Français, - logique%20d%C3%A9ductive

Fiche 15,  Justifications,  Espagnol

Fiche 16,  Justifications,  Anglais

Record number: 16, Textual support number: 1 CONT

In essence, conditional logic refers to executing different actions in a program or process based on whether certain conditions are met.  3, fiche 16, Anglais, - conditional%20logic

Fiche 16,  Justifications,  Français

Record number: 16, Textual support number: 1 CONT

La logique conditionnelle modifie ce que les personnes voient lorsqu'elles remplissent un formulaire, en fonction de leurs réponses précédentes.  2, fiche 16, Français, - logique%20conditionnelle

Fiche 16,  Justifications,  Espagnol

Fiche 17,  Justifications,  Anglais

Record number: 17, Textual support number: 1 CONT

Complex logic is a branch of mathematics that deals with numbers that have both real and imaginary components.  2, fiche 17, Anglais, - complex%20logic

Fiche 17,  Justifications,  Français

Fiche 17,  Justifications,  Espagnol

Fiche 18,  Justifications,  Anglais

Record number: 18, Textual support number: 1 CONT

Reasoning engines are systems that process data, apply logic, and conclude. They come in various types : rule-based, semantic, probabilistic, and machine learning-based.  2, fiche 18, Anglais, - reasoning%20engine

Fiche 18,  Justifications,  Français

Fiche 18,  Justifications,  Espagnol

Fiche 19,  Justifications,  Anglais

Record number: 19, Textual support number: 1 CONT

A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain.  2, fiche 19, Anglais, - free%20logic

Fiche 19,  Justifications,  Français

Record number: 19, Textual support number: 1 CONT

[La] logique libre [est une] logique qui diffère de la logique classique du fait qu'elle ne présuppose pas que les noms dont elle use se réfèrent à quoi que ce soit de réel [...]  2, fiche 19, Français, - logique%20libre

Fiche 19,  Justifications,  Espagnol

Fiche 20,  Justifications,  Anglais

Record number: 20, 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 20, Anglais, - graph%20logic

Fiche 20,  Justifications,  Français

Record number: 20, 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 20, Français, - logique%20des%20graphes

Fiche 20,  Justifications,  Espagnol

Fiche 21,  Justifications,  Anglais

Record number: 21, 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, fiche 21, Anglais, - Hoare%20logic

Fiche 21,  Justifications,  Français

Record number: 21, Textual support number: 1 CONT

Le but de la logique de Hoare est de formaliser la preuve de la correction des programmes.  3, fiche 21, Français, - logique%20de%20Hoare

Fiche 21,  Justifications,  Espagnol

Fiche 22,  Justifications,  Anglais

Record number: 22, Textual support number: 1 CONT

A transient effect ring oscillator(TERO) is a special case of a ring oscillator(RO) design that exhibits increased sensitivity to intrinsic noise. It can serve as a basis for implementing a true random number generator(TRNG) or a physically unclonable function(PUF). Also, [it can serve] as a digital sensor for detecting insertion of malicious hardware logic(Trojans) in digital circuits.  1, fiche 22, Anglais, - transient%20effect%20ring%20oscillator

Fiche 22,  Justifications,  Français

Record number: 22, Textual support number: 1 CONT

Le TERO est une cellule oscillante à événements multiples avec collision. Elle a deux états distincts : un état transitoire d'oscillation et un état stable de non-oscillation.  1, fiche 22, Français, - oscillateur%20en%20anneau%20%C3%A0%20effet%20transitoire

Fiche 22,  Justifications,  Espagnol

Record number: 22, Textual support number: 1 CONT

[...] se introdujo el oscilador en anillo de efecto transitorio [...] (TERO), que utiliza la metaestabilidad oscilatoria para generar aleatoriedad.  1, fiche 22, Espagnol, - oscilador%20en%20anillo%20de%20efecto%20transitorio

Fiche 23,  Justifications,  Anglais

Record number: 23, Textual support number: 1 CONT

Two well-known electronic PUFs [physical unclonable functions] are the arbiter and ring oscillator PUF(ROPUF) designs... Both of these designs exploit unique variations in the propagation delays through interconnects and logic gates. The arbiter PUF... comprises two identically laid out paths. To measure a response bit from the arbiter, a rising edge is input simultaneously to the two paths. This input signal races through the circuit, and a latch at the output detects which path propagated the input signal faster.  3, fiche 23, Anglais, - arbiter%20physical%20unclonable%20function

Fiche 23,  Justifications,  Français

Record number: 23, Textual support number: 1 CONT

L'arbiter-PUF est une fonction physique non clonable basée sur le délai de propagation d'un signal dans deux chemins théoriquement identiques. Mais à cause des variations de fabrication, les deux lignes de délais sont légèrement différentes. La détection du chemin le plus court permet de générer une réponse. Malheureusement, ce type de fonctions physiques non clonables souffre d'une grande faiblesse face aux attaques par modélisation [...]  3, fiche 23, Français, - arbiter%2DPUF

Record number: 23, Textual support number: 1 OBS

PUF [fonction physique non clonable] basée sur la comparaison des délais de propagation électrique dans deux chemins identiques.  4, fiche 23, Français, - arbiter%2DPUF

Record number: 23, Textual support number: 2 OBS

PUF : fonction physique non clonable.  5, fiche 23, Français, - arbiter%2DPUF

Fiche 23,  Justifications,  Espagnol

Record number: 23, Textual support number: 1 CONT

En [el] proyecto se implementa la arbiter PUF que utiliza los retardos de propagación de los circuitos multiplexores para autenticar dispositivos electrónicos.  1, fiche 23, Espagnol, - arbiter%20PUF

Record number: 23, Textual support number: 1 OBS

PUF: función física no clonable.  3, fiche 23, Espagnol, - arbiter%20PUF

Fiche 24,  Justifications,  Anglais

Record number: 24, Textual support number: 1 DEF

A PLD(programmable logic device) comprising an array of logic cells surrounded by input-output cells, and in which the interconnections to be established between input and output ports are stored in memory cells, and [in which] reconfiguration during design is possible by introducing new data into the memory cells for controlling gate switching states.  3, fiche 24, Anglais, - field%20programmable%20gate%20array

Fiche 24,  Justifications,  Français

Record number: 24, Textual support number: 1 DEF

Circuit composé d'un ensemble de cellules ou blocs électroniques dont les interconnexions sont programmables.  5, fiche 24, Français, - matrice%20pr%C3%A9diffus%C3%A9e%20programmable%20par%20l%27utilisateur

Fiche 24,  Justifications,  Espagnol

Record number: 24, Textual support number: 1 CONT

[...] las FPGA [...] son circuitos lógicos programables directamente por el usuario, lo cual requiere de herramientas de costo relativamente bajo, como lo son el software de desarrollo y el dispositivo grabador.  3, fiche 24, Espagnol, - matriz%20de%20puertas%20l%C3%B3gicas%20programable%20en%20campo

Fiche 25,  Justifications,  Anglais

Record number: 25, Textual support number: 1 CONT

Unbeknownst to the customer, the vendor had previously installed a drop-dead device, similar to a logic bomb, in the software program that was designed to deny the customer access to the software, in addition to information the customer had stored in the computer when the device was activated.... When a dispute over payment arose between the two parties, the vendor informed the customer of the drop-dead device and threatened to activate it unless payment was received.  2, fiche 25, Anglais, - drop%20dead%20device

Fiche 25,  Justifications,  Français

Record number: 25, Textual support number: 1 OBS

Le dispositif d'arrêt immédiat permet entre autres d'empêcher l'utilisation d'un logiciel. Il est parfois employé par des pirates informatiques, mais aussi par des éditeurs de logiciels qui s'en servent pour bloquer l'accès à leurs produits lorsqu'il y a défaut de paiement.  2, fiche 25, Français, - dispositif%20d%27arr%C3%AAt%20imm%C3%A9diat

Fiche 25,  Justifications,  Espagnol

Fiche 26,  Justifications,  Anglais

Record number: 26, Textual support number: 1 CONT

Online targeting is a process that refers to creating advertisement elements that specifically reach out to prospects and customers interested in your offerings.  3, fiche 26, Anglais, - online%20targeting

Record number: 26, Textual support number: 1 OBS

It means that each individual experiences a different online environment, one that has been personalised and tailored according to a specific business logic.  2, fiche 26, Anglais, - online%20targeting

Fiche 26,  Justifications,  Français

Record number: 26, Textual support number: 1 CONT

Réaliser un ciblage en ligne de qualité consiste, en premier lieu, à bien identifier certaines caractéristiques clés liées à sa clientèle. Il peut s'agir de son sexe, de sa tranche d'âge, de ses habitudes de consommation ou encore de sa situation géographique. Une fois ces données délimitées, il est obligatoire d'identifier les supports et plates-formes sur lesquels cette cible est présente. Ainsi, il est recommandé de dresser une liste des sites Internet populaires auprès de cette cible. L'objectif est de réaliser un choix pertinent afin d'exposer cette audience à son message publicitaire.  3, fiche 26, Français, - ciblage%20en%20ligne

Fiche 26,  Justifications,  Espagnol

Fiche 27,  Justifications,  Anglais

Record number: 27, Textual support number: 1 DEF

A process by which a receiving decrypting cryptographic logic attains the same internal state as the transmitting encrypting logic.  2, fiche 27, Anglais, - cryptographic%20synchronization

Fiche 27,  Justifications,  Français

Record number: 27, Textual support number: 1 DEF

Processus par lequel la logique cryptographique déchiffrante à la réception atteint le même état interne que la logique chiffrante à l'émission.  2, fiche 27, Français, - synchronisation%20cryptographique

Fiche 27,  Justifications,  Espagnol

Record number: 27, Textual support number: 1 CONT

[...] la sincronización criptográfica presenta en realidad dos aspectos. En primer lugar la sincronización inicial, es decir al principio de la comunicación. Y a continuación la sincronización periódica, que permite paliar una eventual pérdida de la sincronización criptográfica entre los terminales móviles que participan en la comunicación, y que permite además la entrada tardía [...] de otros terminales móviles en la comunicación, en el marco de una comunicación en grupo.  1, fiche 27, Espagnol, - sincronizaci%C3%B3n%20criptogr%C3%A1fica

Fiche 28,  Justifications,  Anglais

Record number: 28, Textual support number: 1 CONT

[The] programmable logic and [the] dedicated logic each may have I/O [input/output] pins [that allow] connection to external circuitry...  1, fiche 28, Anglais, - dedicated%20logic

Record number: 28, Textual support number: 1 OBS

dedicated logic : designation validated by Canadian subject-field experts from Concordia University, Dalhousie University, Laval University and Microsoft Canada.  2, fiche 28, Anglais, - dedicated%20logic

Fiche 28,  Justifications,  Français

Record number: 28, Textual support number: 1 CONT

[L'entreprise] a proposé [une] architecture [...] qui offre trois bus permettant de connecter les cœurs de processeur, la logique dédiée et les fonctions accélératrices.  1, fiche 28, Français, - logique%20d%C3%A9di%C3%A9e

Record number: 28, Textual support number: 1 OBS

logique dédiée : désignation validée par des spécialistes canadiens de l'Université Concordia, de l'Université Dalhousie, de l'Université Laval et de Microsoft Canada.  2, fiche 28, Français, - logique%20d%C3%A9di%C3%A9e

Fiche 28,  Justifications,  Espagnol

Record number: 28, Textual support number: 1 CONT

El resto de elementos de la pila de protocolos podrían implementarse mediante lógica dedicada o bien mediante código ejecutado por un microprocesador [...]  1, fiche 28, Espagnol, - l%C3%B3gica%20dedicada

Fiche 29,  Justifications,  Anglais

Record number: 29, Textual support number: 1 CONT

The system may... comprise a decision-making logic configured to identify at least one trigger in one of the recognized inputs and [to] select one of the two or more speech recognizers...  1, fiche 29, Anglais, - decision%2Dmaking%20logic

Record number: 29, Textual support number: 1 OBS

decision-making logic; decision logic : designations validated by Canadian subject-field experts from Concordia University, Dalhousie University, Laval University and Microsoft Canada.  3, fiche 29, Anglais, - decision%2Dmaking%20logic

Fiche 29,  Justifications,  Français

Record number: 29, Textual support number: 1 CONT

[...] les agents et objets de la simulation sont constamment informés sur l'environnement géographique ainsi que sur les composants qui les entourent. [On peut donc développer] les comportements des objets/agents [...] en intégrant ces informations au niveau de la logique décisionnelle.  1, fiche 29, Français, - logique%20d%C3%A9cisionnelle

Record number: 29, Textual support number: 1 OBS

logique décisionnelle; logique de la décision; logique de prise de décision : 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.  4, fiche 29, Français, - logique%20d%C3%A9cisionnelle

Fiche 29,  Justifications,  Espagnol

Record number: 29, Textual support number: 1 CONT

Desde una perspectiva cognitiva, la toma de decisiones es considerada como el resultado de un proceso mental en continua interacción con el ambiente, con el fin de seleccionar un curso de acción entre las alternativas posibles. El análisis normativo hace hincapié en la definición de racionalidad y en la lógica de la toma de decisiones.  1, fiche 29, Espagnol, - l%C3%B3gica%20de%20la%20toma%20de%20decisiones

Fiche 30,  Justifications,  Anglais

Record number: 30, Textual support number: 1 CONT

Generally speaking, the RWO [real world object] insertion logic may insert a RWO at a location within the VRS [virtual reality scene] that corresponds to its location in the real world relative to the user's direction of gaze in real-time. As a result, the user sees the RWO within the augmented VRS as she would by taking off the HMD [head mounted display], providing her with spatial familiarity and reorientation cues without disrupting the flow of the VRS. Nevertheless, there may be certain instances where the insertion logic may place a RWO at a location within the VRS different than its location within the real world. The process of augmenting the VRS can continue progressively with the insertion or blending or overlaying of additional real world objects until the computer's DDL [disorientation detection logic] determines that the user no longer meets the criteria indicative of disorientation.  1, fiche 30, Anglais, - insertion

Record number: 30, Textual support number: 1 OBS

insertion: data validated by Canadian subject-field experts from École Polytechnique de Montréal, MasterpieceVR and McGill University.  2, fiche 30, Anglais, - insertion

Fiche 30,  Justifications,  Français

Record number: 30, Textual support number: 1 CONT

La technique du fond bleu est très répandue dans le cas d'insertions d'objets réels au sein d'une scène entièrement virtuelle, c'est le cas pour la météo par exemple ou encore les plateaux de tournages télévisés.  1, fiche 30, Français, - insertion

Fiche 30,  Justifications,  Espagnol

Record number: 30, Textual support number: 1 CONT

Los nuevos datos generados […] se basarán en la inserción de distintos tipos de objetos en las escenas generadas que se puedan encontrar en una conducción real como son nuevos coches que antes no aparecían, nuevos peatones en las zonas circundantes de la vía o nuevas señales de tráfico.  2, fiche 30, Espagnol, - inserci%C3%B3n

Fiche 31,  Justifications,  Anglais

Record number: 31, Textual support number: 1 CONT

Logic modules are programmable controllers which allow machines to perform processes without human intervention.  1, fiche 31, Anglais, - logic%20module

Fiche 31,  Justifications,  Français

Record number: 31, Textual support number: 1 CONT

Les modules logiques sont des contrôleurs programmables qui permettent [aux] machines [d'effectuer] des processus sans avoir besoin d'une intervention humaine.  1, fiche 31, Français, - module%20logique

Fiche 31,  Justifications,  Espagnol

Record number: 31, Textual support number: 1 CONT

Los módulos lógicos son controladores programables que permiten que máquinas realicen procesos sin la necesidad de intervención humana.  1, fiche 31, Espagnol, - m%C3%B3dulo%20l%C3%B3gico

Fiche 32,  Justifications,  Anglais

Record number: 32, Textual support number: 1 CONT

In computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about specific domains and often include reasoning rules that support the processing of that knowledge. Ontology languages are usually declarative languages, are almost always generalizations of frame languages, and are commonly based on either first-order logic or on description logic.  3, fiche 32, Anglais, - ontology%20language

Record number: 32, Textual support number: 2 CONT

An ontology language is a type of computer language used for specifying classes, properties, and restrictions in the context of information processing by applications. The latest ontology language in use is the Web Ontology Language (OWL).  4, fiche 32, Anglais, - ontology%20language

Fiche 32,  Justifications,  Français

Record number: 32, Textual support number: 1 CONT

En informatique et en intelligence artificielle, les langages d'ontologie sont des langages formels utilisés pour construire des ontologies. Ils permettent l'encodage des connaissances sur des domaines spécifiques et incluent souvent des règles de raisonnement qui prennent en charge le traitement de ces connaissances. Les langages d'ontologie sont habituellement des langages déclaratifs, sont presque toujours des généralisations de langages de trame, et sont couramment basés sur une logique de premier ordre ou sur une logique de description.  3, fiche 32, Français, - langage%20d%27ontologie

Record number: 32, Textual support number: 2 CONT

La construction des ontologies est fondée sur les langages formels. Un langage d'ontologie permet de signifier l'appartenance d'un objet à une catégorie, de déclarer la relation de généralisation entre catégories et de typer les objets que lie une relation.  4, fiche 32, Français, - langage%20d%27ontologie

Fiche 32,  Justifications,  Espagnol

Fiche 33,  Justifications,  Anglais

Record number: 33, Textual support number: 1 DEF

... the means of specifying combinations of terms that must be matched for successful [data] retrieval.  3, fiche 33, Anglais, - search%20logic

Fiche 33,  Justifications,  Français

Fiche 33,  Justifications,  Espagnol

Record number: 33, Textual support number: 1 CONT

La lógica booleana es la frase utilizada para describir el sistema que se aplica a la lógica de búsqueda electrónica.  1, fiche 33, Espagnol, - l%C3%B3gica%20de%20b%C3%BAsqueda

Fiche 34,  Justifications,  Anglais

Record number: 34, Textual support number: 1 DEF

The logical sense, true or false, of a given binary signal.  2, fiche 34, Anglais, - logic%20state

Record number: 34, Textual support number: 1 CONT

Sometimes the logic state is indicated by the presence or absence of a voltage or different polarities of the same voltage.  3, fiche 34, Anglais, - logic%20state

Fiche 34,  Justifications,  Français

Fiche 34,  Justifications,  Espagnol

Record number: 34, Textual support number: 1 DEF

[...] sentido lógico, verdadero o falso, de una señal binaria dada.  1, fiche 34, Espagnol, - estado%20l%C3%B3gico

Fiche 35,  Justifications,  Anglais

Record number: 35, Textual support number: 1 DEF

The planning tool used for performance audit and special examination.  3, fiche 35, Anglais, - audit%20logic%20matrix

Record number: 35, Textual support number: 1 OBS

The [Office of the Auditor General of Canada] has designed... the audit logic matrix(ALM), which describes the logical relationship between the audit objectives, criteria, audit scope and approach, and the observations to emerge.  2, fiche 35, Anglais, - audit%20logic%20matrix

Fiche 35,  Justifications,  Français

Record number: 35, Textual support number: 1 DEF

Outil de planification utilisé pour les audits de performance et les examens spéciaux.  4, fiche 35, Français, - grille%20logique%20d%27audit

Record number: 35, Textual support number: 1 OBS

Le [Bureau du vérificateur général du Canada] a conçu [...] la grille logique d'audit qui décrit la relation logique entre l'objectif, les critères, l'étendue et l'approche de l'audit, ainsi que les observations qui pourraient en découler.  2, fiche 35, Français, - grille%20logique%20d%27audit

Record number: 35, Textual support number: 2 OBS

grille logique de vérification : Le terme «vérification» a été en usage dans les normes canadiennes jusqu'en décembre 2010, date à laquelle un consensus international a entériné l'emploi de la désignation «audit».  5, fiche 35, Français, - grille%20logique%20d%27audit

Record number: 35, Textual support number: 3 OBS

grille logique d'audit : Le Bureau de la traduction du gouvernement du Canada recommande l'usage du terme «audit» dans le domaine de la comptabilité (REC-13/2013-02).  5, fiche 35, Français, - grille%20logique%20d%27audit

Fiche 35,  Justifications,  Espagnol

Fiche 36,  Justifications,  Anglais

Record number: 36, Textual support number: 1 DEF

A nonclassical logic in which facts, inference rules, and quantifiers are given certainty factors.  2, fiche 36, Anglais, - fuzzy%20logic

Record number: 36, Textual support number: 1 OBS

fuzzy logic; fuzzy-set logic : designations and definition standardized by ISO in collaboration with the International Electrotechnical Commission.  4, fiche 36, Anglais, - fuzzy%20logic

Record number: 36, Textual support number: 2 OBS

fuzzy logic; fuzzy set logic : designations standardized by the Canadian Standards Association(CSA).  4, fiche 36, Anglais, - fuzzy%20logic

Fiche 36,  Justifications,  Français

Record number: 36, Textual support number: 1 DEF

Logique non classique dans laquelle des facteurs de certitude sont attribués aux faits, aux règles d'inférence et aux quantificateurs.  4, fiche 36, Français, - logique%20floue

Record number: 36, Textual support number: 1 OBS

logique floue : désignation et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale; désignation normalisée par l'Association canadienne de normalisation (CSA).  5, fiche 36, Français, - logique%20floue

Record number: 36, Textual support number: 2 OBS

logique des ensembles flous : désignation normalisée par l'Association canadienne de normalisation (CSA).  5, fiche 36, Français, - logique%20floue

Fiche 36,  Justifications,  Espagnol

Fiche 37,  Justifications,  Anglais

Record number: 37, Textual support number: 1 DEF

A rectangular diagram of a logic function of variables drawn with overlapping sub-rectangles such that each intersection of overlapping rectangles represents a unique combination of the logic variables and such that an intersection is shown for all combinations.  2, fiche 37, Anglais, - Karnaugh%20map

Record number: 37, Textual support number: 1 OBS

Karnaugh map: designation and definition standardized by ISO in collaboration with the International Electrotechnical Commission; designation officially approved by the Government EDP (Electronic Data Processing) Standards Committee (GESC).  3, fiche 37, Anglais, - Karnaugh%20map

Fiche 37,  Justifications,  Français

Record number: 37, Textual support number: 1 DEF

Représentation symbolique des valeurs prises par une fonction logique à l'aide d'un tableau rectangulaire subdivisé lui-même en cases de manière que chacun des domaines communs à plusieurs de ces cases représente une combinaison unique des valeurs des variables et que toute combinaison possible de ces valeurs soit représentée dans le tableau.  2, fiche 37, Français, - table%20de%20Karnaugh

Record number: 37, Textual support number: 1 OBS

table de Karnaugh : désignation et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale; désignation normalisée par l'Association française de normalisation (AFNOR); désignation uniformisée par le Comité des normes gouvernementales en informatique (CNGI).  3, fiche 37, Français, - table%20de%20Karnaugh

Fiche 37,  Justifications,  Espagnol

Fiche 38,  Justifications,  Anglais

Record number: 38, Textual support number: 1 CONT

What is dynamic epistemic logic(DEL) ? It is a framework within logical theory that combines epistemic logic, which deals with knowledge and beliefs, with dynamic logic, which focuses on the effects of actions on knowledge.  3, fiche 38, Anglais, - dynamic%20epistemic%20logic

Fiche 38,  Justifications,  Français

Record number: 38, Textual support number: 1 CONT

Qu'est-ce que la logique épistémique dynamique? Il s'agit d'un cadre au sein de la théorie logique qui combine la logique épistémique, qui traite des connaissances et des croyances, avec la logique dynamique, qui se concentre sur les effets des actions sur les connaissances.  2, fiche 38, Français, - logique%20%C3%A9pist%C3%A9mique%20dynamique

Fiche 38,  Justifications,  Espagnol

Fiche 39,  Justifications,  Anglais

Record number: 39, Textual support number: 1 CONT

An adaptive neuro fuzzy inference system(ANFIS) is a type of artificial intelligence that combines the benefits of both neural networks and fuzzy logic systems. ANFIS is able to learn and make decisions based on data, just like a neural network, but it can also handle imprecise or incomplete data, like a fuzzy logic system.  3, fiche 39, Anglais, - adaptive%20neuro%20fuzzy%20inference%20system

Fiche 39,  Justifications,  Français

Record number: 39, Textual support number: 1 CONT

Le neuroflou (ANFIS), également connu sous le nom d'adaptive neuro-fuzzy inference system (système d'inférence neuro-flou adaptatif), est une méthode d'apprentissage automatique qui combine des réseaux de neurones artificiels et des systèmes d'inférence flous pour modéliser des systèmes complexes.  2, fiche 39, Français, - syst%C3%A8me%20d%27inf%C3%A9rence%20neuro%2Dflou%20adaptatif

Fiche 39,  Justifications,  Espagnol

Fiche 40,  Justifications,  Anglais

Record number: 40, Textual support number: 1 CONT

Once conceived as a single formal system, epistemic logic has become a general formal approach to the study of the structure of knowledge, its limits and possibilities, and its static and dynamic properties.  2, fiche 40, Anglais, - epistemic%20logic

Fiche 40,  Justifications,  Français

Record number: 40, Textual support number: 1 DEF

Système logique permettant de raisonner sur la connaissance.  2, fiche 40, Français, - logique%20%C3%A9pist%C3%A9mique

Fiche 40,  Justifications,  Espagnol

Fiche 41,  Justifications,  Anglais

Record number: 41, Textual support number: 1 DEF

Data prepared solely to test the accuracy of the programming and logic of a computerized system.  3, fiche 41, Anglais, - test%20data

Record number: 41, Textual support number: 1 OBS

test data; evaluation data: designations standardized by ISO in collaboration with the International Electrotechnical Commission.  4, fiche 41, Anglais, - test%20data

Fiche 41,  Justifications,  Français

Record number: 41, Textual support number: 1 DEF

Données servant à vérifier la précision de la programmation et de la logique d'un système informatique.  3, fiche 41, Français, - donn%C3%A9es%20d%27essai

Record number: 41, Textual support number: 1 OBS

données d'essai; données d'évaluation : désignations normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.  4, fiche 41, Français, - donn%C3%A9es%20d%27essai

Fiche 41,  Justifications,  Espagnol

Record number: 41, Textual support number: 1 DEF

Información definida y creada para verificar y depurar programas y que es desarrollada tanto por los usuarios como por los programadores para validar un programa recién creado.  2, fiche 41, Espagnol, - datos%20de%20prueba

Record number: 41, Textual support number: 1 CONT

Los datos de prueba deben contener ejemplos de todas las combinaciones posibles de condiciones válidas y erróneas que pueden ocurrir para así verificar todo el programa.  2, fiche 41, Espagnol, - datos%20de%20prueba

Fiche 42,  Justifications,  Anglais

Record number: 42, Textual support number: 1 DEF

An operation table for a logic operation.  2, fiche 42, Anglais, - truth%20table

Record number: 42, Textual support number: 1 OBS

truth table: designation and definition standardized by ISO and the International Electrotechnical Commission; designation standardized by the Canadian Standards Association (CSA).  3, fiche 42, Anglais, - truth%20table

Fiche 42,  Justifications,  Français

Record number: 42, Textual support number: 1 DEF

Table d'opération d'une opération logique.  3, fiche 42, Français, - table%20de%20v%C3%A9rit%C3%A9

Record number: 42, Textual support number: 1 OBS

table de vérité : désignation et définition normalisées par l'ISO et la Commission électrotechnique internationale; désignation normalisée par l'Association canadienne de normalisation (CSA).  4, fiche 42, Français, - table%20de%20v%C3%A9rit%C3%A9

Fiche 42,  Justifications,  Espagnol

Record number: 42, Textual support number: 1 DEF

Tabla que describe una función lógica [...]  2, fiche 42, Espagnol, - tabla%20de%20verdad

Fiche 43,  Justifications,  Anglais

Record number: 43, Textual support number: 1 DEF

[A] field of computing that is tolerant of and exploits imprecision, uncertainty and partial truth to make problem-solving more tractable and robust.  2, fiche 43, Anglais, - soft%20computing

Record number: 43, Textual support number: 1 CONT

Soft computing encompasses various techniques such as fuzzy logic, machine learning and probabilistic reasoning.  2, fiche 43, Anglais, - soft%20computing

Record number: 43, Textual support number: 1 OBS

soft computing: designation and definition standardized by ISO in collaboration with the International Electrotechnical Commission.  3, fiche 43, Anglais, - soft%20computing

Fiche 43,  Justifications,  Français

Record number: 43, Textual support number: 1 DEF

Domaine de calcul qui tolère et exploite l'imprécision, l'incertitude et la vérité partielle pour rendre la résolution de problèmes plus tractable et robuste.  2, fiche 43, Français, - calcul%20souple

Record number: 43, Textual support number: 1 CONT

Le calcul souple englobe diverses techniques telles que la logique floue, l'apprentissage machine et le raisonnement probabiliste.  2, fiche 43, Français, - calcul%20souple

Record number: 43, Textual support number: 1 OBS

calcul souple : désignation et définition normalisées par l'ISO en collaboration avec la Commission électrotechnique internationale.  3, fiche 43, Français, - calcul%20souple

Fiche 43,  Justifications,  Espagnol

Fiche 44,  Justifications,  Anglais

Record number: 44, Textual support number: 1 DEF

A normal form for predicate calculus formulae borrowed from mathematical logic, and much used in automatic theorem proving.  2, fiche 44, Anglais, - clausal%20form

Record number: 44, Textual support number: 1 CONT

The logic used to represent knowledge in logic programming is clausal form which is a subset of first-order predicate logic.  3, fiche 44, Anglais, - clausal%20form

Fiche 44,  Justifications,  Français

Record number: 44, Textual support number: 1 CONT

On peut représenter une formule en forme normale conjonctive par un ensemble de clauses, on parle alors de forme clausale.  2, fiche 44, Français, - forme%20clausale

Fiche 44,  Justifications,  Espagnol

Fiche 45,  Justifications,  Anglais

Record number: 45, Textual support number: 1 OBS

A collective name for the scholarly activities that form the scientific base for public health practice, services, and systems. Until the early 19^th century, scholarly activities were limited to natural and biological sciences sometimes enlightened by empirical logic. The scientific base has broadened to include vital statistics, epidemiology, environmental sciences, biostatistics, microbiology, social and behavioral sciences, demography, genetics, nutrition, molecular biology, and more.  2, fiche 45, Anglais, - public%20health%20sciences

Fiche 45,  Justifications,  Français

Record number: 45, Textual support number: 1 OBS

Expression désignant les activités scientifiques qui contribuent aux fondements scientifiques de la pratique, des services et des systèmes de la santé publique. Jusqu'au début du XIX^e siècle, les activités scientifiques se limitaient aux sciences de la nature et à la biologie, en s'étayant parfois sur une logique empirique. Depuis ce temps, l'assise scientifique des sciences de la santé publique s'est étendue à de nombreux secteurs, dont les statistiques démographiques, l'épidémiologie, les sciences de l'environnement, la biostatistique, la microbiologie, les sciences sociales et comportementales, la démographie, la génétique, la nutrition, la biologie moléculaire et d'autres encore.  2, fiche 45, Français, - sciences%20de%20la%20sant%C3%A9%20publique

Fiche 45,  Justifications,  Espagnol

Fiche 46,  Justifications,  Anglais

Record number: 46, Textual support number: 1 CONT

In AI [artificial intelligence], the default logic is a reasoning method that allows for the drawing of conclusions from a set of given premises that are incomplete or uncertain. It is based on the principle of assuming the truth of something unless there is evidence to the contrary.  2, fiche 46, Anglais, - default%20logic

Fiche 46,  Justifications,  Français

Fiche 46,  Justifications,  Espagnol

Fiche 47,  Justifications,  Anglais

Record number: 47, Textual support number: 1 DEF

... a clause containing at most one positive literal.  2, fiche 47, Anglais, - Horn%20clause

Record number: 47, Textual support number: 1 CONT

In logic programming, Horn clauses are expressions connected by "or" with at most one positive proposition.  3, fiche 47, Anglais, - Horn%20clause

Fiche 47,  Justifications,  Français

Record number: 47, Textual support number: 1 DEF

[...] clause comportant au plus un littéral positif.  2, fiche 47, Français, - clause%20de%20Horn

Record number: 47, Textual support number: 1 OBS

Les clauses de Horn possèdent une syntaxe plus restrictive que les règles de production utilisées dans beaucoup de systèmes experts.  3, fiche 47, Français, - clause%20de%20Horn

Fiche 47,  Justifications,  Espagnol

Record number: 47, Textual support number: 1 DEF

Cláusula que contiene como máximo un literal positivo.  1, fiche 47, Espagnol, - cl%C3%A1usula%20de%20Horn

Fiche 48,  Justifications,  Anglais

Record number: 48, Textual support number: 1 CONT

Predicate logic is a formal system of logic that allows for the expression of complex propositions and relationships between objects, including the use of variables.  2, fiche 48, Anglais, - predicate%20logic

Fiche 48,  Justifications,  Français

Record number: 48, Textual support number: 1 CONT

La puissance additionnelle de la logique des prédicats résulte de la possibilité d'utiliser des variables quantifiées. Ainsi la proposition "Tous les escargots ont des cornes" est exprimable en logique des prédicats de premier ordre et pas en logique des propositions.  2, fiche 48, Français, - logique%20des%20pr%C3%A9dicats

Fiche 48,  Justifications,  Espagnol

Fiche 49,  Justifications,  Anglais

Record number: 49, Textual support number: 1 CONT

The two major AI [artificial intelligence] approaches are the logic and rules-based approach, and a pattern-based approach(i. e., machine learning).  2, fiche 49, Anglais, - logic%20and%20rules%2Dbased%20approach

Fiche 49,  Justifications,  Français

Fiche 49,  Justifications,  Espagnol

Fiche 50,  Justifications,  Anglais

Record number: 50, Textual support number: 1 CONT

A fuzzy control system is a type of AI [artificial intellligence] that uses fuzzy logic to make decisions.  2, fiche 50, Anglais, - fuzzy%20control%20system

Fiche 50,  Justifications,  Français

Record number: 50, Textual support number: 1 CONT

Un système intelligent flou se base sur la théorie logique qu'est la logique floue.  2, fiche 50, Français, - syst%C3%A8me%20de%20contr%C3%B4le%20flou

Fiche 50,  Justifications,  Espagnol

Fiche 51,  Justifications,  Anglais

Record number: 51, Textual support number: 1 CONT

Constraint logic programming is a subfield of AI [artificial intelligence] that deals with the use of logic to solve problems with constraints.  3, fiche 51, Anglais, - constraint%20logic%20programming

Fiche 51,  Justifications,  Français

Fiche 51,  Justifications,  Espagnol

Fiche 52,  Justifications,  Anglais

Record number: 52, Textual support number: 1 CONT

Description logic is a formalism used for knowledge representation and reasoning in artificial intelligence. It is based on the idea of formally describing a set of concepts and their relationships.  4, fiche 52, Anglais, - description%20logic

Fiche 52,  Justifications,  Français

Record number: 52, Textual support number: 1 CONT

Les logiques de description aussi appelées logiques descriptives sont utilisées en intelligence artificielle pour décrire et raisonner sur les concepts pertinents d'un domaine d'application (connu sous le nom de connaissance terminologique).  2, fiche 52, Français, - logique%20de%20description

Fiche 52,  Justifications,  Espagnol

Fiche 53,  Justifications,  Anglais

Record number: 53, Textual support number: 1 CONT

A randomized algorithm is an algorithm that employs a degree of randomness as part of its logic or procedure.  2, fiche 53, Anglais, - randomized%20algorithm

Fiche 53,  Justifications,  Français

Record number: 53, Textual support number: 1 CONT

Un algorithme probabiliste est un algorithme qui fait des choix aléatoires au cours de son exécution.  3, fiche 53, Français, - algorithme%20probabiliste

Fiche 53,  Justifications,  Espagnol

Fiche 54,  Justifications,  Anglais

Record number: 54, Textual support number: 1 CONT

Artificial intelligence designers often consider complexity to be part of the nature of intelligence. They build their systems out of logical entities(such as gates, or threshold logic elements), using some mixture of hardware and software to develop complex logical systems.  3, fiche 54, Anglais, - artificial%20intelligence%20designer

Fiche 54,  Justifications,  Français

Record number: 54, Textual support number: 1 CONT

Concepteur, conceptrice en intelligence artificielle. Cette personne conçoit et développe des logiciels informatiques ou des procédés d'automatisation capables de raisonnement ou d'apprentissage afin d'offrir des outils performants dans de nombreux domaines tels que la finance, la robotique, les jeux, le traitement du langage et la production industrielle.  1, fiche 54, Français, - concepteur%20en%20intelligence%20artificielle

Fiche 54,  Justifications,  Espagnol

Fiche 55,  Justifications,  Anglais

Record number: 55, Textual support number: 1 CONT

A double-bus system uses two buses. [For example, ] a single input bus or source bus(S-bus) connects to both inputs of the ALU(arithmetic logic unit) and a separate result bus(D-bus) connects the ALU to the register.  4, fiche 55, Anglais, - double%2Dbus%20architecture

Fiche 55,  Justifications,  Français

Record number: 55, Textual support number: 1 CONT

L'architecture à double bus est une amélioration par rapport à l'architecture à bus central partagé unique.  1, fiche 55, Français, - architecture%20%C3%A0%20double%20bus

Fiche 55,  Justifications,  Espagnol