2014 European Parliament election in SpainThe 2014 European Parliament election in Spain was held on Sunday, 25 May 2014, as part of the EU-wide election to elect the 8th European Parliament. All 54 seats allocated to Spain as per the Treaty of Lisbon were up for election. The People's Party (PP) emerged as the largest party overall, albeit with its worst nationwide election result in 25 years with a mere 26.1% of the share and 16 seats, losing 2.6 million votes and 8 seats from its 2009 result. The Spanish Socialist Workers' Party (PSOE) lost 9 seats and 2.
Norfolk and Western LC-1 ClassThe N&W LC-1 was a class of boxcab electric locomotives built by Baldwin-Westinghouse for the Norfolk and Western Railway. The locomotives were part of an electrification project undertaken by the N&W to improve traffic conditions on the Elkhorn grade in its Bluefield Division. Baldwin-Westinghouse delivered 12 twin-unit boxcabs in 1914–1915. N&W scrapped them in 1950 when it discontinued electric operations. Elkhorn Grade Electrification In the early twentieth century the Bluefield Division of the Norfolk and Western Railway featured a forbidding two percent average grade.
Laird LC-EWThe Laird LC-EW was a six seat cabin sesquiplane designed for the industrialist George Horton. It first flew in 1934. Many Laird aircraft were designated as LC (Laird Commercial). In most cases this was followed by an airframe code, here E and an engine code, here W for Wasp. The LC-EW was designed to an order from the industrialist George Horton, who had previously owned the sole Laird LC-AA, first flown in 1928. It was a true sesquiplane, with a lower wingspan slightly less than half that of the upper.
Linear mapIn mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism. If a linear map is a bijection then it is called a .
Proof theoryProof theory is a major branch of mathematical logic and theoretical computer science within which proofs are treated as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as lists, boxed lists, or trees, which are constructed according to the axioms and rules of inference of a given logical system. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature.
ISO week dateThe ISO week date system is effectively a leap week calendar system that is part of the ISO 8601 date and time standard issued by the International Organization for Standardization (ISO) since 1988 (last revised in 2019) and, before that, it was defined in ISO (R) 2015 since 1971. It is used (mainly) in government and business for fiscal years, as well as in timekeeping. This was previously known as "Industrial date coding". The system specifies a week year atop the Gregorian calendar by defining a notation for ordinal weeks of the year.
Normal distributionIn statistics, a normal distribution or Gaussian distribution is a type of continuous probability distribution for a real-valued random variable. The general form of its probability density function is The parameter is the mean or expectation of the distribution (and also its median and mode), while the parameter is its standard deviation. The variance of the distribution is . A random variable with a Gaussian distribution is said to be normally distributed, and is called a normal deviate.
Linear algebraLinear algebra is the branch of mathematics concerning linear equations such as: linear maps such as: and their representations in vector spaces and through matrices. Linear algebra is central to almost all areas of mathematics. For instance, linear algebra is fundamental in modern presentations of geometry, including for defining basic objects such as lines, planes and rotations. Also, functional analysis, a branch of mathematical analysis, may be viewed as the application of linear algebra to spaces of functions.
Bartlett ZephyrNOTOC The Bartlett LC-13A Zephyr 150 was a United States light civil aircraft built in the 1940s. It was a mid-wing braced monoplane of conventional design with side-by-side seating for two and fixed, tailwheel undercarriage. It was originally marketed as the Babcock LC-13 by its original manufacturer, then as the Taubman LC-13 when the Babcock Airplane Corporation was acquired by Taubman Aircraft. The rights were finally acquired by Bartlett Aircraft in 1941, but plans to mass-produce it were halted by the outbreak of World War II.
Proof assistantIn computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer. A recent effort within this field is making these tools use artificial intelligence to automate the formalization of ordinary mathematics.
NP-completenessIn computational complexity theory, a problem is NP-complete when: It is a decision problem, meaning that for any input to the problem, the output is either "yes" or "no". When the answer is "yes", this can be demonstrated through the existence of a short (polynomial length) solution. The correctness of each solution can be verified quickly (namely, in polynomial time) and a brute-force search algorithm can find a solution by trying all possible solutions.
