** A Brief Explanation of a Late Pamphlet, entitled, The Shortest Way with the Dissenters

** The Shortest Way to Peace and Union

** The Shortest Way with the Dissenters

** Shortest stay in the Academy: Axinia Chenkova, 15 days

** Distilled at an alcoholic strength by volume of less than 94. 8 % ( 190 US proof )

** Andrew Wiles wins worldwide fame after presenting his proof of Fermat's Last Theorem, a problem that had been unsolved for more than 3 centuries.

** Deception Point — about a discovery of a meteorite with proof of extraterrestrial life, microbotics, weapons technologies

** Formal verification, mathematical proof of the correctness of algorithms

** Shark proof cage, used by scuba divers to examine sharks with better safely

** Fentimans, a brewery in Hexham, markets a lemonade-based shandy made of a 70 %: 30 % mixture of beer and carbonated lemonade rated at 0. 5 % ABV ( 1 proof ).

** Pi² T, proof of concept model presented in April 1992

** Mitchell Feigenbaum's discovery of the Feigenbaum constant was based initially on numerical observations, followed by a rigorous proof.

** Thomas Hales's proof of the Kepler conjecture.

** Clement Lam's proof of the non-existence of a finite projective plane of order 10.

** Double counting ( proof technique )

** Bijective proof

** Bijective proof –

** Double counting ( proof technique ) –

** 1892 ( 950, 000, including about 100 proof coinage.

** In proof theory:

** A direct result of the construction of the proof.

** Tianeptine — paradoxical antidepressant ( considered to be a selective serotonin reuptake enhancer ( SSRE ) ( note that no widely known proof of direct SSRE action exists )), improves mood and reduces anxiety ; action on the NMDA and AMPA receptor, a hypothesized mechanism of action, based on tianeptine's effect of promoting stress-associated impaired neuroplasticity ; it enhances the extracellular concentration of dopamine in the nucleus accumbens and modulates the D < sub > 2 </ sub > and D < sub > 3 </ sub > dopamine receptors, but this effect is modest and almost certainly indirect.

** Gunshield: proof against shrapnel and rifle fire ( 500 yds )

** a proof calculus, a framework for expressing systems of logical inference

** the sequent calculus, a proof calculus for first-order logic

** Theoretically speaking, exchange controls were abolished in 1994, but the rules still state that repatriation of foreign investment and the profits from it is subject to proof of the origin of the money, and subject to payment of any outstanding Mauritian taxes.

** Non-interactive zero-knowledge proof, a common random string shared between the prover and the verifier is enough to achieve computational zero-knowledge without requiring interaction

** Zero-knowledge password proof, an interactive method for one party ( the prover ) to prove to another party ( the verifier ) that it knows a value of a password

** The Atari 7800 is backward compatible with almost all Atari 2600 games.

** The Game Boy Advance line, except for the Game Boy Micro, is backward compatible with all Game Boy and Game Boy Color games.

** The Nintendo DS and the Nintendo DS Lite are backward compatible with all Game Boy Advance games.

** The Wii is backward compatible with all games from the Nintendo GameCube, due to its being based on the PowerPC, the same base as the latter ; however, a " Family Edition " model released in North America and Europe in late 2011 removes GameCube support.

** The Wii U will be backward compatible with all games from the Wii.

** Initial PlayStation 3 models are backward compatible with most PlayStation and PlayStation 2 games.

** The PS Vita is backward compatible with PSP games, Minis, PlayStation and Neo Geo games downloaded from the PlayStation Store.

** The Xbox 360 is backward compatible with some Xbox games via software emulation.

** Console ( video game CLI ), a command-line user interface element for personal computer games originating in Quake

** Handheld game console, a specific lightweight and portable device for playing video games

** Massively multiplayer online games and virtual reality communities.

** Miniature figure ( gaming ), a small figurine used in role playing games and tabletop wargames

** Game engine, system designed for the creation and development of video games

** Major League Baseball-Baseball Commissioner Bud Selig called off games for one day, extending cancellations for three days, then all games through September 16 were postponed.

** The National Football League postponed football games on September 16 and Monday night game the following night.

** Division I college football games to be played on September 13 and 15 were called off.

** The Canadian Football League scrapped all games for the ensuing week.

** Games scheduled by UEFA, the European governing body of soccer, that were scheduled for September 12 and 13 were postponed ( games had been played on the 11th as the first plane strike took place at 2: 46 PM CET ).

** List of video games using Vorbis

** The Portland Trail Blazers defeat the Philadelphia 76ers 109 – 107 to win the National Basketball Association finals four games to two.

** The St. Louis Cardinals defeat the visiting New York Yankees, 7 – 5 to win the World Series in 7 games ( 4 – 3 ), ending a long run of 29 World Series appearances in 44 seasons for the Bronx Bombers ( also known as the Yankee Dynasty ).

** Atari kicks off the first generation of video games with the release of their seminal arcade version of Pong, the first game to achieve commercial success.

** The Baltimore Orioles defeat the Cincinnati Reds in Game 5 of the World Series, 9 – 3, to win the series 4 games to 1 for their 2nd World Championship.