BELLE (expérience)L’expérience Belle est une expérience de physique des particules menée par la "Collaboration" BELLE, une équipe temporaire internationale de 400 physiciens et ingénieurs, pour la recherche des effets de la violation de symétrie CP, et conduite à l’Organisation de Recherche de l’Accélérateur des hautes Énergies (K2K), à Tsukuba, Préfecture d'Ibaraki, au Japon. Le détecteur Belle est précisément positionné au point de collision de l'accélérateur , un collisionneur à énergie asymétrique électron-antiélectron.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Radioactivitévignette|Pictogramme signalant la présence de matière radioactive. (☢) vignette|La maison de Georges Cuvier, au Jardin des plantes de Paris, où Henri Becquerel découvrit la radioactivité en 1896. La radioactivité est le phénomène physique par lequel des noyaux atomiques instables (dits radionucléides ou radioisotopes) se transforment spontanément en d'autres atomes (désintégration) en émettant simultanément des particules de matière (électrons, noyaux d'hélium, neutrons) et de l'énergie (photons et énergie cinétique).
ATLAS (détecteur)thumb|Le détecteur ATLAS vers la fin février 2006 ATLAS (acronyme de A Toroidal LHC ApparatuS : - dispositif instrumental toroïdal pour le LHC - qui utilise un électro-aimant toroïdal où le champ magnétique se referme sur lui-même dans l'air, sans l'aide d'un retour de fer) est l'une des du collisionneur LHC au CERN. Il s'agit d'un détecteur de particules semblable à CMS, mais de plus grande taille et de conception différente. Il a pour tâche de détecter le boson de Higgs, des particules supersymétriques (SUSY).
