DomainTools.com |
 |
||
|
|
||
English Wikipedia references for Man.ac.uk 1-20 of 418
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | >>
| Language: | ||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
|
| Articles: | 418 |
41 |
26 |
27 |
11 |
13 |
7 |
7 |
20 |
20 |
6 |
65 |
| Apostolic succession Apostolic succession is the doctrine in some of the more ancient Christian communions that the succession of bishops, in uninterrupted lines, is historically traceable back to the original Twelve Apostles Within Catholic Christianity it "is one of four elements which define the true Church of Jesus Christ" and legitimizes the existing sacramental offices, as it is considered necessary for a bishop to perform legitimate or "valid" ordinations of priests, deacons, and other bishops. Apostolic_succession | |
| Automated theorem proving Automated theorem proving (ATP) or automated deduction, currently the most well-developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Automated_theorem_proving | |
| Boltzmann distribution In physics and mathematics, the Boltzmann distribution is a certain distribution function or probability measure for the distribution of the states of a system. It underpins the concept of the canonical ensemble, providing its underlying distribution. A special case of the Boltzmann distribution, used for describing the velocities of particles of a gas, is the Maxwell-Boltzmann distribution. In more general mathematical settings, the Boltzmann distribution is also known as the Gibbs measure. Boltzmann_distribution | |
| British National Party The British National Party (BNP) is a far-right and whites-only political party in the United Kingdom, formed as a splinter group of the British National Front by John Tyndall in 1982. The party's current chairman is Nick Griffin, himself a former national organiser of the National Front.A minor political party in the United Kingdom, the BNP is not represented in Parliament. British_National_Party | |
| Category theory mathematics, category theory deals in an abstract way with mathematical structures and relationships between themsets and functions to objects linked in diagrams by morphisms or arrows. One of the simplest examples of a category (which is a very important concept in topology) is that of groupoid, defined as a category whose arrows or morphisms are all invertible.Categories now appear in most branches of mathematics and also in some areas of theoretical computer science where they correspond to types and mathematical physics where they can be used to describe vector spaces. Category_theory | |
| Electronic Delay Storage Automatic Calculator Electronic Delay Storage Automatic Calculator (EDSAC) was an early British computer. The machine, having been inspired by John von Neumann's seminal First Draft of a Report on the EDVAC, was constructed by Maurice Wilkes and his team at the University of Cambridge Mathematical Laboratory in England. Electronic_Delay_Storage_Automatic_Calculator | |
| Genetic code The genetic code is the set of rules by which information encoded in genetic material (DNA or RNA sequences) is translated into proteins (amino acid sequences) by living cells. The code defines a mapping between tri-nucleotide sequences, called codons, and amino acids. Genetic_code | |
| Gospel of John The Gospel of John (literally, According to John; Greek, Κατὰ Ἰωάννην, Kata Iōannēn) is the fourth gospel in the canon of the New Testament, traditionally ascribed to John the Evangelist. Like the three synoptic gospels, it contains an account of some of the actions and sayings of Jesus of Nazareth, but differs from them in ethos and theological emphases. Gospel_of_John | |
| History of Spain The History of Spain spans the period from Prehistoric Iberia, through the rise and fall of the first global empire, to Spain's current position as a member of the European Union. Modern humans entered the Iberian Peninsula more than 35,000 years ago. Waves of invaders and colonizers followed over the millennia, including the Celts, Phoenicians, Greeks, Carthaginians, Romans, and Visigoths. History_of_Spain | |
| History of computing hardware The history of computing hardware encompasses the hardware, its architecture, and its impact on software. The von Neumann architecture unifies our current computing hardware implementations. History_of_computing_hardware | |
| Lambda calculus mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole Kleene in the 1930s as part of an investigation into the foundations of mathematics, but has emerged as a useful tool in the investigation of problems in computability or recursion theory, and forms the basis of a paradigm of computer programming called functional programming. Lambda_calculus | |
| Model theory In mathematics, model theory is the study of (classes of) mathematical structures such as groups, fields, graphs, or even models of set theory, using tools from mathematical logic. Model theory has close ties to algebra and universal algebra.This article focuses on finitary first order model theory of infinite structures. Model_theory | |
| Punch (magazine) Punch was a British weekly magazine of humour and satire published from 1841 to 1992 and from 1996 to 2002. Punch material was also collected in book formats as early as the 1800s, including Pick of the Punch annuals with cartoons and text features, Punch and the War a 1941 collection of WWII-related cartoons, and A Big Bowl of Punch which was republished a number of times. Many Punch cartoonists of the late 20th century published collections of their own work partly based on Punch contributions. Punch_(magazine) | |
| Quasar A quasi-stellar radio source (quasar) is a powerfully energetic and distant galaxy with an active galactic nucleus. Quasars were first identified as being high redshift sources of electromagnetic energy, including radio waves and visible light, that were point-like, similar to stars, rather than extended sources similar to galaxies. Quasar | |
| Role-playing game A role-playing game (RPG; often roleplaying game) is a game in which the participants assume the roles of fictional characters. Participants determine the actions of their characters based on their characterization, Role-playing_game | |
| Supernova supernova (pl. supernovae) is a stellar explosion. Supernovae are extremely luminous and cause a burst of radiation that often briefly outshines an entire galaxy, before fading from view over several weeks or months. During this short interval, a supernova can radiate as much energy as the Sun could emit over its life span. Supernova | |
| Seymour Cray Seymour Roger Cray (September 28, 1925 – October 5, 1996) was a U.S. electrical engineer and supercomputer architect who designed a series of computers that were the fastest in the world for decades, and founded the company Cray Research which would build many of these machines. Called "the father of supercomputing," Seymour_Cray | |
| Manchester Mark 1 This article is about the early British computer. The term "Manchester Mark 1" can also refer to the Avro Manchester heavy bomber in RAF service during the early stages of World War II. Manchester Mark 1 was one of the earliest electronic computers, developed at the University of Manchester from the Small-Scale Experimental Machine (SSEM) or "Baby", the world's first electronic stored-program computer. Manchester_Mark_1 | |
| Extinction In biology and ecology, extinction is the death of every member of a species or group of taxa. The moment of extinction is generally considered to be the death of the last individual of that species (although the capacity to breed and recover may have been lost before this point). Extinction | |
| Natural deduction logic, natural deduction is an approach to proof theory that attempts to provide a deductive system which is a formal model of logical reasoning as it "naturally" occurs. This approach is in contrast to axiomatic systems which use axioms. Natural_deduction |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | >>
