The cut-elimination theorem is the central result establishing the significance of the sequent calculus. It was originally proved by Gerhard Gentzen in his landmark paper "Investigations in Logical Deduction" for the systems LJ and LK formalising intuitionistic and classical logic respectively. The cut-elimination theorem states that any judgement that possesses a proof in the sequent calculus that makes use of the cut rule also possesses a cut-free proof ...

Read more here: » Cut-elimination theorem: Encyclopedia - Cut-elimination theorem

See also:

Elimination communication, Elimination communication - Origins, Elimination communication - Components, Elimination communication - Timing, Elimination communication - Signals, Elimination communication - Cueing, Elimination communication - Intuition

Read more here: » Elimination communication: Encyclopedia II - Elimination communication - Origins

eliminate: To remove; get rid of; reject.

(See also: Eliminate, Hinduism, Body Mind and Soul)

The Convention on the Elimination of All Forms of Racial Discrimination (CERD) is a United Nations convention adopted and opened for signature and ratification by United Nations General Assembly resolution 2106 (XX) December 21, 1965, and which entered into force January 4, 1969. Other related archives1965, 1969, December 21, January 4, United Nations, United Nations General Assembly, convention

Read more here: » Convention on the Elimination of All Forms of Racial Discrimination: Encyclopedia - Convention on the Elimination of All Forms of Racial Discrimination

The Convention on the Elimination of All Forms of Discrimination against Women (CEDAW) is an international convention adopted in 1979 by the United Nations General Assembly. Described as an international bill of rights for women, it came into force on 3 September 1981. The United States is the only developed nation that has not ratified CEDAW. Convention on the Elimination of All Forms of Discrimination Against Women - The Convention. The Convention defines discrimination agains ...

Including:

• Convention on the Elimination of All Forms of Discrimination Against Women - The Convention
• Convention on the Elimination of All Forms of Discrimination Against Women - The Committee
• Convention on the Elimination of All Forms of Discrimination Against Women - External link

Read more here: » Convention on the Elimination of All Forms of Discrimination Against Women: Encyclopedia - Convention on the Elimination of All Forms of Discrimination Against Women

Why You Talk So White? Eliminate the Behaviors that Sabotage Your Success, ISBN 1-932197-00-1, is a self-help book written by Sylvia Henderson. The book offers anyone pointed guidance to effective business and life skills, regardless of ethnicity. Born of the author's experience of being accused of "talking white", the book has little to do with race. Rather, it has a lot to do with the choices one makes and the behaviors and attitudes one displays, regardless of demographics. The intent is to ...

Including:

• Why You Talk So White? Eliminate the Behaviors that Sabotage Your Success - Citation

Read more here: » Why You Talk So White? Eliminate the Behaviors that Sabotage Your Success: Encyclopedia - Why You Talk So White? Eliminate the Behaviors that Sabotage Your Success

Poverty is the state of being without the necessities of daily living, often associated with need, hardship and lack of resources across a wide range of circumstances. For some, poverty is a subjective and comparative term; for others, it is moral and evaluative; and for others, scientifically established. The principal uses of the term include: Descriptions of material need, including deprivation of essential goods and services, multiple deprivation, and patterns of deprivation over time. Economic circumstances, ...

Including:

• Poverty - World poverty
• Poverty - Causes of poverty
• Poverty - Eliminating poverty
• Poverty - Noteable Figures in Poverty Reduction
• Poverty - Debates about poverty

Read more here: » Poverty: Encyclopedia - Poverty

Suppose you need to find numbers x, y, and z such that the following three equations are all simultaneously true: 2x + y − z = 8, − 3x − y + 2z = − 11, − 2x + y + 2z = − 3 This is called a system of linear equations for the unknowns x, y, and z. They are called linear bec ...

See also:

Gaussian elimination, Gaussian elimination - History, Gaussian elimination - Numerical analysis, Gaussian elimination - Example, Gaussian elimination - Row echelon and reduced row echelon form, Gaussian elimination - Other applications, Gaussian elimination - Finding the inverse of a matrix, Gaussian elimination - The general algorithm to compute ranks and bases

Read more here: » Gaussian elimination: Encyclopedia II - Gaussian elimination - Example

This process is usually a first-order logarithmic process - that is, a constant proportion of the agent is eliminated per unit time (Birkett, 2002). Thus the fall in plasma concentration after the administration of a single dose is described by the following equation: Ct is concentration after time t C0 is the initial concentration (t=0) k is the elimination rate constant The relationship between the elimination rate c ...

See also:

Elimination half-life, Elimination half-life - Half-life in first-order elimination, Elimination half-life - Half-life in zero-order elimination

Read more here: » Elimination half-life: Encyclopedia II - Elimination half-life - Half-life in first-order elimination

The reaction rate is influenced by halogens reactivity; iodide and bromide being favored. Fluoride is too reactive and its level of basicity too high. As a last note, there is a certain level of competition between elimination reaction and nucleophilic substitution. More precisely, there are competitions between E2 and SN2 and also between E1 and SN1. Substitution generally predominates and elimination occurs only during precise circumstances. Generally, when steric hindrance, basicity or temperature increases elimination is favored over substitution. The E1cB eliminatio ...

See also:

Elimination reaction, Elimination reaction - E2 mechanism, Elimination reaction - E1 mechanism, Elimination reaction - E2 and E1 elimination final notes, Elimination reaction - Specific elimination reactions

Read more here: » Elimination reaction: Encyclopedia II - Elimination reaction - E2 and E1 elimination final notes

Elimination Chamber - Survivor Series 2002. November 17, 2002 (World Heavyweight Championship) - Triple H (champion) vs Shawn Michaels vs Chris Jericho vs Rob Van Dam vs Booker T vs Kane; Michaels last pinned Triple H to win the Championship. - Survivor Series 2002 - New York, NY Elimination Chamber - SummerSlam 2003. August 24, 2003 (World Heavyweight Championship) - Triple H (champion) vs Shawn Michaels vs Chris Jericho vs Kevin Nash vs Randy Orton vs Goldberg; Triple H last pinned Goldberg to retain the World Heavyweight Champi ...

See also:

Elimination Chamber, Elimination Chamber - Match history, Elimination Chamber - Survivor Series 2002, Elimination Chamber - SummerSlam 2003, Elimination Chamber - New Year's Revolution 2005, Elimination Chamber - New Year's Revolution 2006, Elimination Chamber - Records

Read more here: » Elimination Chamber: Encyclopedia II - Elimination Chamber - Match history

E1 is a model to explain a peculiar type of chemical elimination reaction. E1 stands for unimolecular elimination and has the following specificities. It is a two-step process of elimination ionization and deprotonation. Ionization, Carbon-halogen breaks to give a carbocation intermediate. Deprotonation of the carbocation. Typical of tertiary and some secondary substituted alkyl halides. The reaction rate is influenced only by the concentration of the alkyl halide because carbocation formation is the slowest, rate-determining step. Reaction m ...

See also:

Elimination reaction, Elimination reaction - E2 mechanism, Elimination reaction - E1 mechanism, Elimination reaction - E2 and E1 elimination final notes, Elimination reaction - Specific elimination reactions

Read more here: » Elimination reaction: Encyclopedia II - Elimination reaction - E1 mechanism

Often, the number of participants in a single-elimination tournament is fixed as a power of two; for example, the Wimbledon singles championships are tournaments of 128 players. This ensures all competitors will face opponents who have previously played the same number of matches. The full schedule of pairings across all rounds (the bracket) may be allocated before the start of the tournament; or each round may be allocated at the end of the preceding round. Each successive round halves the number of competitors remaining (assuming th ...

See also:

Single-elimination tournament, Single-elimination tournament - Format, Single-elimination tournament - Seeding, Single-elimination tournament - Evaluation

Read more here: » Single-elimination tournament: Encyclopedia II - Single-elimination tournament - Format

The computational complexity of Gaussian elimination is O(n3); that is, the number of operations required is (approximately) proportional to n3 if the matrix size is n × n. This algorithm can be used on a computer for systems with thousands of equations and unknowns. It is, however, numerically unstable, at least on pathological examples; that is, floating-point errors committed throughout the computation are accumulated and may result in results far from the correct solution. For thi ...

See also:

Gaussian elimination, Gaussian elimination - History, Gaussian elimination - Numerical analysis, Gaussian elimination - Example, Gaussian elimination - Row echelon and reduced row echelon form, Gaussian elimination - Other applications, Gaussian elimination - Finding the inverse of a matrix, Gaussian elimination - The general algorithm to compute ranks and bases

Read more here: » Gaussian elimination: Encyclopedia II - Gaussian elimination - Numerical analysis

Opponents may be allocated randomly; however, since the "luck of the draw" may result in the highest-rated competitors being scheduled to face each other early in the competition, seeding is often used to prevent this. Brackets are set up, so that the top two seeds could not possibly meet until the final round (should either or both advance that far), none of the top four can meet prior to the semifinals, and so on. Ideally, the brackets would be set up so that the quarterfinal pairings (barring any upsets) would be the 1 seed ...

See also:

Single-elimination tournament, Single-elimination tournament - Format, Single-elimination tournament - Seeding, Single-elimination tournament - Evaluation

Read more here: » Single-elimination tournament: Encyclopedia II - Single-elimination tournament - Seeding

In the 1920s, Sir Christopher Ingold proposed a model to explain a peculiar type of chemical reaction: the E2 mechanism. E2 stands for bimolecular elimination and has the following specificities. It is a one-step process of elimination. Typical of primary or secondary substituted alkyl halides. The reaction rate is influenced by both the alkyl halide and the base. Reaction often present with strong base. eg. H-CH2-CH2-Br + OH- → CH2See also:

Elimination reaction, Elimination reaction - E2 mechanism, Elimination reaction - E1 mechanism, Elimination reaction - E2 and E1 elimination final notes, Elimination reaction - Specific elimination reactions

Read more here: » Elimination reaction: Encyclopedia II - Elimination reaction - E2 mechanism

Two special arrangements of matrix are called row echelon form and reduced row echelon form. The definitions of these terms depends on the first non-zero term in each row, called the row's leading coefficient. For a matrix to be in row echelon form (REF), each leading coefficient must equal 1. Furthermore the rows must be arranged as follows. As one moves from the top to the bottom of the matrix, the leading coefficients move from the left to the right and finally rows without any leading coefficient appear last. The final matrix in ...

See also:

Gaussian elimination, Gaussian elimination - History, Gaussian elimination - Numerical analysis, Gaussian elimination - Example, Gaussian elimination - Row echelon and reduced row echelon form, Gaussian elimination - Other applications, Gaussian elimination - Finding the inverse of a matrix, Gaussian elimination - The general algorithm to compute ranks and bases

Read more here: » Gaussian elimination: Encyclopedia II - Gaussian elimination - Row echelon and reduced row echelon form

Lord Hastings, with the approval of the Court of Directors of the East India Comapny, decided to exterminate and eliminate the Pindaris. The approval was received in September 1816 and Hastings put into place a plan by the end of 1817. To begin with, he entered into an understanding with several other powers active in India, and then commenced precise military planning and preparations to encircle and eliminate all the Pindaris. This organized campaign, known as the Pindari W ...

See also:

Pindari, Pindari - Emergence, Pindari - Elimination, Pindari - External link

Read more here: » Pindari: Encyclopedia II - Pindari - Elimination

Double-elimination tournaments are less cutthroat than single-elimination tournaments, as a player is allowed to lose one game without being dropped from the tournament. The winners of the first round move on to play each other in the "winners' bracket" in the second round; the losers of the first round move on to the "losers' bracket" and play each other in the second round. In each subsequent round, those players in the "losers' bracket" who lose a game are dropped from the tournament, whereas those who win get to advance to the next round ...

See also:

Tournament, Tournament - Single-elimination, Tournament - Double-elimination, Tournament - Swiss style tournaments, Tournament - Brackets and initial matchups, Tournament - Byes, Tournament - Tiebreakers, Tournament - Poker, Tournament - Bridge

Read more here: » Tournament: Encyclopedia II - Tournament - Double-elimination

Convention oversight is the task of the Committee on the Elimination of Discrimination against Women, which is made up of 23 experts on women's issues from different UN member states. The Committee meets twice a year to review reports on compliance with the Convention's provisions that the signatory nations are required to submit every four years. The Committee's members, described as "experts of high moral standing and competence in the field covered by the Convention", are elected to serve four-year terms in staggered elections held ...

See also:

Convention on the Elimination of All Forms of Discrimination Against Women, Convention on the Elimination of All Forms of Discrimination Against Women - The Convention, Convention on the Elimination of All Forms of Discrimination Against Women - The Committee, Convention on the Elimination of All Forms of Discrimination Against Women - External link

Read more here: » Convention on the Elimination of All Forms of Discrimination Against Women: Encyclopedia II - Convention on the Elimination of All Forms of Discrimination Against Women - The Committee