Optimizing compilerIn computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Plante carnivorevignette|upright=1.3|Différentes plantes carnivores. vignette|Drosera capensis. Une plante carnivore est une plante capable d'attirer et de capturer des proies (insectes, acariens et autres petits invertébrés essentiellement) puis de les assimiler, entièrement ou en partie, afin de subvenir (partiellement) à ses propres besoins. Il existe un peu plus de 700 espèces de plantes carnivores au sens strict connues au début du , mais en moyenne trois espèces de plantes carnivores sont découvertes ou décrites chaque année depuis l'an 2000.
Classical republicanismClassical republicanism, also known as civic republicanism or civic humanism, is a form of republicanism developed in the Renaissance inspired by the governmental forms and writings of classical antiquity, especially such classical writers as Aristotle, Polybius, and Cicero. Classical republicanism is built around concepts such as liberty as non-domination, self-government, rule of law, property-based personality, anti-corruption, abolition of monarchy, civics, civil society, common good, civic virtue, popular sovereignty, patriotism and mixed government.
Repeated gameIn game theory, a repeated game is an extensive form game that consists of a number of repetitions of some base game (called a stage game). The stage game is usually one of the well-studied 2-person games. Repeated games capture the idea that a player will have to take into account the impact of their current action on the future actions of other players; this impact is sometimes called their reputation. Single stage game or single shot game are names for non-repeated games.
Dilemme du prisonnierLe dilemme du prisonnier, énoncé en 1950 par Albert W. Tucker à Princeton, caractérise en théorie des jeux une situation où deux joueurs auraient intérêt à coopérer, mais où, en l'absence de communication entre les deux joueurs, chacun choisira de trahir l'autre si le jeu n'est joué qu'une fois. La raison est que si l'un coopère et que l'autre trahit, le coopérateur est fortement pénalisé. Pourtant, si les deux joueurs trahissent, le résultat leur est moins favorable que si les deux avaient choisi de coopérer.
