Physique au-delà du modèle standardLa physique au-delà du modèle standard se rapporte aux développements théoriques de la physique des particules nécessaires pour expliquer les défaillances du modèle standard, telles que l'origine de la masse, le problème de la violation CP de l'interaction forte, les oscillations des neutrinos, l'asymétrie matière-antimatière, et la nature de la matière noire et de l'énergie noire.
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).
Grand collisionneur de hadronsvignette|Tunnel du LHC avec le tube contenant les électroaimants supraconducteurs. Le Grand collisionneur de hadrons (en anglais : Large Hadron Collider — LHC), est un accélérateur de particules mis en fonction en 2008 au CERN et situé dans la région frontalière entre la France et la Suisse entre la périphérie nord-ouest de Genève et le pays de Gex (France). C'est le plus puissant accélérateur de particules construit à ce jour, a fortiori depuis son amélioration achevée en 2015 après deux ans de mise à l'arrêt.
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.
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.
Universvignette|redresse=1.8|Représentation à l'échelle logarithmique de l'Univers observable. Au centre figure le Système solaire et, à mesure qu'on s'en éloigne, les étoiles proches, le bras de Persée, la Voie lactée, les galaxies proches, le réseau des structures à grande échelle, le fond diffus cosmologique et, à la périphérie, le plasma invisible du Big Bang. L'Univers, au sens cosmologique, est l'ensemble de tout ce qui existe, décrit à partir d'observations scientifiques et régi par des lois physiques.
BarnLe barn (symbole b) est une unité d'aire employée spécialement en physique nucléaire et en physique des particules pour exprimer les sections efficaces. Cette unité se situe en dehors du Système international. Sa valeur est de soit ou . Cette unité est du même ordre de grandeur que la section géométrique du noyau d'un atome, le rayon du proton étant de . Cependant, les valeurs des sections efficaces diffèrent notablement de leurs valeurs géométriques et varient également de façon importante en fonction de la nature, de l'énergie du flux de particules et des interactions qu'elles subissent en traversant le matériau considéré.
Faux videDans la théorie quantique des champs, le faux vide est un secteur d'espace métastable qui semble être un vide par analyse perturbative mais qui est instable sous les effets instanton (effet tunnel vers un potentiel plus bas). En physique théorique du faux vide, un système métastable transite vers un vide de plus basse énergie par un processus connu sous le nom de nucléation de bulle. Dans une approche semi-classique, la transition est modélisée par l'apparition d'une bulle dans laquelle les champs ont la valeur d'attente du vide et qui est due aux effets des instantons.
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.
