Word problem for groupsIn mathematics, especially in the area of abstract algebra known as combinatorial group theory, the word problem for a finitely generated group G is the algorithmic problem of deciding whether two words in the generators represent the same element. More precisely, if A is a finite set of generators for G then the word problem is the membership problem for the formal language of all words in A and a formal set of inverses that map to the identity under the natural map from the free monoid with involution on A to the group G.
Participation criterionThe participation criterion is a voting system criterion. Voting systems that fail the participation criterion are said to exhibit the no show paradox and allow a particularly unusual strategy of tactical voting: abstaining from an election can help a voter's preferred choice win. The criterion has been defined as follows: In a deterministic framework, the participation criterion says that the addition of a ballot, where candidate A is strictly preferred to candidate B, to an existing tally of votes should not change the winner from candidate A to candidate B.
Search theoryIn microeconomics, search theory studies buyers or sellers who cannot instantly find a trading partner, and must therefore search for a partner prior to transacting. It involves determining the best approach to use when looking for a specific item or person in a sizable, uncharted environment. The goal of the theory is to determine the best search strategy, one that maximises the chance of finding the target while minimising search-related expenses. Search theory clarifies how buyers and sellers choose when to acknowledge a coordinating offer for a transaction.
Majority judgmentMajority judgment (MJ) is a single-winner voting system proposed in 2010 by Michel Balinski and Rida Laraki. It uses a highest median rule, i.e., a cardinal voting system that elects the candidate with the highest median rating. Unlike other voting methods, MJ guarantees that the winner between three or more candidates will be the candidate who had received an absolute majority of the highest grades given by all the voters.
Explicit parallelismIn computer programming, explicit parallelism is the representation of concurrent computations by means of primitives in the form of special-purpose directives or function calls. Most parallel primitives are related to process synchronization, communication or task partitioning. As they seldom contribute to actually carry out the intended computation of the program, their computational cost is often considered as parallelization overhead. The advantage of explicit parallel programming is the absolute programmer control over the parallel execution.
Stock and flowEconomics, business, accounting, and related fields often distinguish between quantities that are stocks and those that are flows. These differ in their units of measurement. A stock is measured at one specific time, and represents a quantity existing at that point in time (say, December 31, 2004), which may have accumulated in the past. A flow variable is measured over an interval of time. Therefore, a flow would be measured per unit of time (say a year). Flow is roughly analogous to rate or speed in this sense.
Toyota Production SystemThe Toyota Production System (TPS) is an integrated socio-technical system, developed by Toyota, that comprises its management philosophy and practices. The TPS is a management system that organizes manufacturing and logistics for the automobile manufacturer, including interaction with suppliers and customers. The system is a major precursor of the more generic "lean manufacturing". Taiichi Ohno and Eiji Toyoda, Japanese industrial engineers, developed the system between 1948 and 1975.Strategos-International.
Electoral systemAn electoral system or voting system is a set of rules that determine how elections and referendums are conducted and how their results are determined. Electoral systems are used in politics to elect governments, while non-political elections may take place in business, non-profit organisations and informal organisations. These rules govern all aspects of the voting process: when elections occur, who is allowed to vote, who can stand as a candidate, how ballots are marked and cast, how the ballots are counted, how votes translate into the election outcome, limits on campaign spending, and other factors that can affect the result.
Strategic votingStrategic voting, also called tactical voting, sophisticated voting or insincere voting, occurs in voting systems when a voter votes for a candidate or party other than their sincere preference to prevent an undesirable outcome. For example, in a simple plurality election, a voter might gain a better outcome by voting for a less preferred but more generally popular candidate. Gibbard's theorem shows that all single-winner voting methods encourage strategic voting, unless there are only two options or dictatorial (i.
Axiom of constructibilityThe axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written as V = L, where V and L denote the von Neumann universe and the constructible universe, respectively. The axiom, first investigated by Kurt Gödel, is inconsistent with the proposition that zero sharp exists and stronger large cardinal axioms (see list of large cardinal properties). Generalizations of this axiom are explored in inner model theory.
