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.
Constraint satisfaction problemConstraint satisfaction problems (CSPs) are mathematical questions defined as a set of objects whose state must satisfy a number of constraints or limitations. CSPs represent the entities in a problem as a homogeneous collection of finite constraints over variables, which is solved by constraint satisfaction methods. CSPs are the subject of research in both artificial intelligence and operations research, since the regularity in their formulation provides a common basis to analyze and solve problems of many seemingly unrelated families.
Carnivorous plantCarnivorous plants are plants that derive some or most of their nutrients from trapping and consuming animals or protozoans, typically insects and other arthropods, and occasionally small mammals and birds. They still generate all of their energy from photosynthesis. They have adapted to grow in places where the soil is thin or poor in nutrients, especially nitrogen, such as acidic bogs. They can be found on all continents except Antarctica, as well as many Pacific islands.
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.
Prisoner's dilemmaThe prisoner's dilemma is a game theory thought experiment that involves two rational agents, each of whom can cooperate for mutual benefit or betray their partner ("defect") for individual reward. This dilemma was originally framed by Merrill Flood and Melvin Dresher in 1950 while they worked at RAND. Albert W. Tucker later formalized the game by structuring the rewards in terms of prison sentences and named it the "prisoner's dilemma". The prisoner's dilemma models many real-world situations involving strategic behavior.
