Baryon LambdaEn physique des particules, les baryons Lambda, notés par la lettre grecque (majuscule), sont des baryons instables constitués de trois quarks : un quark up, un quark down et, soit un quark bottom (c'est alors un baryon 0b), soit un quark charmé (baryon +c), soit un quark étrange (baryon 0, également appelé hypéron ). Le premier baryon Lambda découvert fut le 0 en 1947. Sa durée de vie, quoique très courte, était plus longue que prévu : 10-10 secondes (on s'attendait à une durée de vie mille fois plus courte).
LHCbLHCb (Large Hadron Collider beauty experiment : Expérience du LHC sur le quark beauté) est une expérience de physique des particules utilisant les collisions de protons produites au collisionneur LHC du CERN (Genève). Ce détecteur est spécialisé dans la physique des saveurs et la recherche de nouvelle physique par des méthodes indirectes comme la mesure de violation de la symétrie CP ou de taux d'embranchement de décroissances rares. Le détecteur LHCb se trouve sur la commune de Ferney-Voltaire en France au point 8 du LHC, à quelques mètres de la frontière suisse.
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.
Méson J/ψEn physique des particules, le J/ψ (ψ étant la lettre grecque psi) est un méson, une particule composée d'un quark et d'un antiquark. Le J/ψ est un méson sans saveur composé d'un quark charm et d'un antiquark charm. Les mésons composés d'une paire charm-anticharm sont généralement connus sous le terme générique de « charmonium » ; le J/ψ est le premier état excité de charmonium (c'est-à-dire la forme de charmonium possédant la deuxième plus petite masse). Le J/ψ possède une masse de 3 096,9 MeV.
Pentaquarkvignette|Schéma d'un pentaquark générique : quatre quarks et un antiquark (en jaune). Un pentaquark est une particule subatomique composée de cinq quarks qui a été prévue par les théoriciens en 1997. La recherche des pentaquarks (et des tétraquarks) est devenue un sujet d’étude à part entière en physique expérimentale, et plusieurs pentaquarks ont été produits au LHC, de type cqqq. L'existence des pentaquarks fut prédite initialement par Maxim Polyakov, et Victor Petrov de l' en 1997 ; mais leur théorie fut accueillie avec scepticisme.
TétraquarkEn physique des particules, un tétraquark est un méson exotique composé de quatre quarks. Les tétraquarks peuvent être considérés comme des particules virtuelles, tant leur durée de vie est courte. L'existence des tétraquarks a été prédite théoriquement dans les années 1960 dans le cadre de la chromodynamique quantique. La recherche des tétraquarks (et des pentaquarks) est ensuite devenue un sujet d’étude à part entière en physique expérimentale, et plusieurs tétraquarks ont été produits au LHC, de types cc et cq.
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.
Quark charméLe quark charmé (ou quark de charme, traduit de l'anglais charm quark), souvent abrégé en quark c, est l'une des six saveurs connues de quarks (des particules élémentaires de la physique des particules). vignette|redresse=1.4|Diagramme de désintégration des quarks. Comme tous les quarks, le quark charmé est un fermion. Il s’agit d’un quark de possédant une charge électrique de et une masse d'environ (un peu plus élevée que celle du proton). L’antiparticule du quark charmé est l’antiquark charmé, de charge électrique .
HypéronLes hypérons sont des particules de type baryon, composés d'au moins un quark étrange. Ce sont tous des hadrons fermioniques ayant une masse plus ou moins importante. Ils sont donc instables, et se désintègrent en mésons (particules composées de paires quark/anti-quark) et nucléons (particules d’isospin , qui sont composées de trois quarks de génération, dont au moins un quark up et un quark down). Le terme « hypéron » a été inventé par Louis Leprince-Ringuet en 1953, pour désigner les particules plus lourdes qu'un nucléon.
Rapport de branchementEn physique des particules et en physique nucléaire, le rapport de branchement (ou rapport d'embranchement) désigne la probabilité de voir un nucléide emprunter un mode de désintégration radioactive donné parmi tous les modes de désintégration qu'il est susceptible de connaître. La somme des rapports de branchement de tous les modes de désintégration d'un nucléide est donc par définition égale à 1 (soit 100 %).
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.
Fraction continue généraliséeEn mathématiques, une fraction continue généralisée est une expression de la forme : comportant un nombre fini ou infini d'étages. C'est donc une généralisation des fractions continues simples puisque dans ces dernières, tous les a sont égaux à 1. Une fraction continue généralisée est une généralisation des fractions continues où les numérateurs et dénominateurs partiels peuvent être des complexes quelconques : où an (n > 0) sont les numérateurs partiels et les bn les dénominateurs partiels.
Signal logiqueUn signal logique est un signal physique qui ne peut prendre que 2 valeurs, un niveau haut (en anglais "high" = "H"), et un niveau bas (en anglais "low" = "L"). Dans les ordinateurs et d'autres systèmes numériques, une forme d'onde qui alterne entre deux niveaux de tension représentant les deux états d'une valeur booléenne (0 et 1) est désigné comme un signal logique. Pour tout ce qui concerne la logique combinatoire ces deux niveaux suffisent.
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.
Fraction continue de GaussEn analyse complexe, une fraction continue de Gauss est un cas particulier de fraction continue dérivé des fonctions hypergéométriques. Ce fut l'un des premiers exemples de fractions continues analytiques. Elles permettent de représenter des fonctions élémentaires importantes, ainsi que des fonctions spéciales transcendantes plus compliquées. Lambert a publié quelques exemples de fractions continues généralisées de cette forme en 1768, démontrant entre autres l'irrationalité de π ( § « Applications à F » ci-dessous).
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).
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.
