LuminositéEn astronomie, la luminosité est la quantité totale d'énergie émise par unité de temps (le flux énergétique), par une étoile, une galaxie, ou n'importe quel autre objet céleste. Elle s'exprime en pratique en luminosité solaire ( = ). Le flux lumineux, qui mesure plus particulièrement l'émission en lumière visible, peut également s'exprimer sur une échelle logarithmique par la magnitude absolue. En astronomie, elle représente la quantité totale d'énergie rayonnée (dans le domaine de l'électromagnétisme) par unité de temps par un astre.
AntiprotonL'antiproton est l'antiparticule du proton. Les antiprotons sont stables, mais ils ont généralement une durée de vie courte, une collision avec un proton ordinaire faisant disparaître les deux particules. L'antiproton est observé pour la première fois en 1955, au cours d'une expérience conduite dans le bevatron du laboratoire national Lawrence-Berkeley, un accélérateur de particules. Quatre ans plus tard, les physiciens américains Emilio Segrè et Owen Chamberlain reçoivent le prix Nobel de physique pour la découverte de cette antiparticule.
B-factoryIn particle physics, a B-factory, or sometimes a beauty factory, is a particle collider experiment designed to produce and detect a large number of B mesons so that their properties and behavior can be measured with small statistical uncertainty. Tau leptons and D mesons are also copiously produced at B-factories. A sort of "prototype" or "precursor" B-factory was the HERA-B experiment at DESY that was planned to study B-meson physics in the 1990–2000s, before the actual B-factories were constructed/operational.
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.
Annihilation (physique)En physique, l’annihilation ou anéantissement correspond à la collision entre une particule sous-atomique et son antiparticule respective. Puisque l’énergie et la quantité de mouvement doivent être conservées, les particules ne se muent pas en rien, mais plutôt en nouvelles particules. Les antiparticules possèdent des nombres quantiques exactement opposés à ceux des particules, donc la somme des nombres quantiques du pair égale zéro.
Hadron exotiquevignette|Exemple de pentaquark : quatre quarks, un antiquark (en jaune) et des gluons (ligne ondulées). Les hadrons exotiques sont des particules subatomiques constituées de quarks (et probablement de gluons), mais qui ne s'insèrent pas dans le schéma habituel des hadrons. Bien que sensibles à l'interaction forte, ils ne sont pas prévus par le . Les hadrons exotiques n'ont en effet pas le même contenu en quarks que les hadrons ordinaires : les baryons exotiques ont plus de quarks que les trois qui constituent les baryons ordinaires, et les mésons exotiques n'ont pas un quark et un antiquark comme les mésons ordinaires.
Magnitude absolueEn astronomie, la magnitude absolue indique la luminosité intrinsèque d'un objet céleste, au contraire de la magnitude apparente qui dépend de la distance à l'astre et de l'extinction dans la ligne de visée. Pour un objet situé à l'extérieur du Système solaire, elle est définie par la magnitude apparente qu'aurait cet astre s'il était placé à une distance de référence fixée à 10 parsecs (environ 32,6 années-lumière) en l'absence d'extinction interstellaire.
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.
Brillance de surfaceEn astronomie, la brillance de surface d'un corps céleste étendu comme une galaxie désigne la densité de flux reçue par unité d'angle solide. Elle est souvent mesurée en magnitude par seconde d'arc au carré (). Certains auteurs donnent aussi cette mesure en employant la minute d'arc. Les unités de la brillance de surface sont alors () La mesure de la brillance de surface dans les longueurs d'onde visible, ou dans l'infrarouge, est la photométrie. Le fond du ciel désigne la brillance de surface du ciel.
