Contingent voteThe contingent vote is an electoral system used to elect a single representative in which a candidate requires a majority of votes to win. It is a variation of instant-runoff voting (IRV). Under the contingent vote, the voter ranks the candidates in order of preference, and the first preference votes are counted. If no candidate has a majority (more than half the votes cast), then all but the two leading candidates are eliminated and the votes received by the eliminated candidates are distributed among the two remaining candidates according to voters' preferences.
Arbre binaireEn informatique, un arbre binaire est une structure de données qui peut se représenter sous la forme d'une hiérarchie dont chaque élément est appelé nœud, le nœud initial étant appelé racine. Dans un arbre binaire, chaque élément possède au plus deux éléments fils au niveau inférieur, habituellement appelés gauche et droit. Du point de vue de ces éléments fils, l'élément dont ils sont issus au niveau supérieur est appelé père. Au niveau le plus élevé, niveau 0, il y a un nœud racine.
Opinion dissidenteUne opinion dissidente est le désaccord d'un juge à un jugement auquel il a participé. Les juges de nombreuses juridictions nationales ou supranationales, par exemple la Cour internationale de justice, la Cour européenne des droits de l'homme et la Cour suprême des États-Unis, utilisent l'opinion dissidente. Il en va de même pour la Cour suprême du Canada et la Cour d'appel du Québec même si ces deux cours sont amenées à statuer sur des affaires touchant le droit civil de type romano-germanique.
Recherche dichotomiqueLa recherche dichotomique, ou recherche par dichotomie (), est un algorithme de recherche pour trouver la position d'un élément dans un tableau trié. Le principe est le suivant : comparer l'élément avec la valeur de la case au milieu du tableau ; si les valeurs sont égales, la tâche est accomplie, sinon on recommence dans la moitié du tableau pertinente. Le nombre d'itérations de la procédure, c'est-à-dire le nombre de comparaisons, est logarithmique en la taille du tableau.
Agent logicielEn informatique, un agent ou agent logiciel (du latin agere : agir) est un logiciel qui agit de façon autonome. C'est un programme qui accomplit des tâches à la manière d'un automate et en fonction de ce que lui a demandé son auteur. Dans le contexte d'Internet, les agents intelligents sont liés au Web sémantique, dans lequel ils sont utilisés pour faire à la place des humains les recherches et les corrélations entre les résultats de ces recherches. Ceci se fait en fonction de règles prédéfinies.
Agent intelligentEn intelligence artificielle, un agent intelligent (AI) est une entité autonome capable de percevoir son environnement grâce à des capteurs et aussi d'agir sur celui-ci via des effecteurs afin de réaliser des objectifs. Un agent intelligent peut également apprendre ou utiliser des connaissances pour pouvoir réaliser ses objectifs. Ils peuvent être simples ou complexes. Par exemple, un simple système réactif, comme le thermostat est considéré comme étant un agent intelligent.
Judicial opinionA judicial opinion is a form of legal opinion written by a judge or a judicial panel in the course of resolving a legal dispute, providing the decision reached to resolve the dispute, and usually indicating the facts which led to the dispute and an analysis of the law used to arrive at the decision. An opinion may be released in several stages of completeness. First, a bench opinion may be handed down, with the judge or panel of judges indicating their decision and a rough explanation of the reasoning underlying it.
