| Eyrian/Archive 2 User_talk:Eyrian/Archive_2
|
| Base 32 Base 32 or duotrigesimal is a numeral system with 32 as its base. Base_32
|
| Zomi86 User_talk:Zomi86
|
| Zomi86 User:Zomi86
|
| Ledningsregementet Ledningsregementet designation LedR, is the Swedish Armed Forces signal center that traces its origins back to the 19th century. The regiment is currently garrisoned in Enköping, Uppland. Ledningsregementet
|
| Lazy ML Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of Technology, prior to Miranda and Haskell. LML is a strongly typed, statically scoped implementation of ML, with lazy evaluation.The key innovation of LML was to demonstrate how to compile a lazy functional language. Until then, lazy languages had been implemented via interpreted graph reduction. LML compiled to G-machine code. Lazy_ML
|
| EUFORIA project EUFORIA_project
|
| Nobel Prize in Economics/Archive 2 Talk:Nobel_Prize_in_Economics/Archive_2
|
| Physis/Logical axiom User:Physis/Logical_axiom
|
| Henry Wallman Henry (Hank) Wallman (1915 – 1992) was an American mathematician, known for his work in lattice theory, dimension theory, topology, and electronic circuit design.Wallman received his Ph.D. in mathematics from Princeton University in 1937, under the supervision of Solomon Lefschetz Henry_Wallman
|
| Chalmers School of Entrepreneurship Chalmers School of Entrepreneurship, CSE, is both an educational platform encompassing a Master’s Program and a pre-incubator. The Master's Program started 1997 and is a collaboration between Chalmers University of Technology and University of Gothenburg and has graduated over 200 students and the pre-incubator has a turned 27 technology based ideas into companies. These companies are valuated to 56 MEUR and has turnover on more than 14 MEUR. Chalmers_School_of_Entrepreneurship
|
| Renewable energy/Archive 3 Talk:Renewable_energy/Archive_3
|
| Pure type system proof and type theory, a pure type system is a form of typed lambda calculus that obscures the distinction between types and terms and collapses the type hierarchy. It can be seen as a generalisation of Barendregt's lambda cube, and therefore serves as a uniform logical framework for studying type systems. Pure_type_system
|
| Reductio Reductio
|
| Transpiranto Transpiranto is a parody language, a caricature of the international auxiliary language Esperanto. The name contains a play on the Swedish verb transpirera, to perspire. The parody language was developed from 1929 by contributors to the publication Grönköpings Veckoblad, (a Swedish satirical monthly whose title includes the word 'weekly'), through a series of comical translations of well-known Scandinavian songs and poems, more than 200 in all. Transpiranto
|
| Haile Selassie I of Ethiopia/Archive 1 Talk:Haile_Selassie_I_of_Ethiopia/Archive_1
|
| Articles for creation/2008-08-24 Wikipedia:Articles_for_creation/2008-08-24
|
| Rp/List of Petri net tools User:Rp/List_of_Petri_net_tools
|
| Euler spiral Euler spiral is a curve whose curvature changes linearly with its curve length. Euler spirals are also commonly referred to as clothoids or Cornu spirals.Euler spirals are widely used as transition curve in rail track / highway engineering for connecting and transiting the geometry between a tangent and a circular curve. Euler_spiral
|
| Permutation box In cryptography, a permutation box (or P-box) is a method of bit-shuffling used to permute or transpose bits across S-boxes inputs, retaining diffusion while transposing.In block ciphers, the S-boxes and P-Boxes are used to make the relation between the plaintext and the ciphertext difficult to understand (see Shannon's property of confusion). Permutation_box
|