Strangeness and quark–gluon plasmaIn high-energy nuclear physics, strangeness production in relativistic heavy-ion collisions is a signature and diagnostic tool of quark–gluon plasma (QGP) formation and properties. Unlike up and down quarks, from which everyday matter is made, heavier quark flavors such as strange and charm typically approach chemical equilibrium in a dynamic evolution process. QGP (also known as quark matter) is an interacting localized assembly of quarks and gluons at thermal (kinetic) and not necessarily chemical (abundance) equilibrium.
Ordre de grandeurUn ordre de grandeur est un nombre qui représente de façon simplifiée mais approximative la mesure d'une grandeur physique. Ce nombre, le plus souvent une puissance de 10, est utilisé notamment pour communiquer sur des valeurs très grandes ou très petites, comme le diamètre du système solaire ou la charge d'un électron. L'ordre de grandeur se mémorise plus facilement qu'une valeur précise et suffit pour de nombreux usages. Il est également utile dans les domaines intermédiaires pour situer la taille d'un objet ou pour choisir la gamme d'appareils de mesure à lui appliquer.
Neutron cross sectionIn nuclear physics, the concept of a neutron cross section is used to express the likelihood of interaction between an incident neutron and a target nucleus. The neutron cross section σ can be defined as the area in cm2 for which the number of neutron-nuclei reactions taking place is equal to the product of the number of incident neutrons that would pass through the area and the number of target nuclei. In conjunction with the neutron flux, it enables the calculation of the reaction rate, for example to derive the thermal power of a nuclear power plant.
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.
Limite supérieure et limite inférieurevignette|upright=1.8|Exemple de recherche de limites inférieure et supérieure. La suite (x) est représentée en bleu. En mathématiques, plus précisément en analyse réelle, les limites inférieures et supérieures sont des outils d'étude des suites de nombres réels. Une telle suite n'est en général ni monotone, ni convergente. L'introduction des limites supérieure et inférieure permet de retrouver, partiellement, de telles propriétés. Il s'agit d'un cas particulier de valeurs d'adhérence de la suite.
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.
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.
Borne supérieure et borne inférieureEn mathématiques, les notions de borne supérieure et borne inférieure d'un ensemble de nombres réels interviennent en analyse, comme cas particulier de la définition générale suivante : la borne supérieure (ou le supremum) d'une partie d'un ensemble (partiellement) ordonné est le plus petit de ses majorants. Une telle borne n'existe pas toujours, mais si elle existe alors elle est unique. Elle n'appartient pas nécessairement à la partie considérée. Dualement, la borne inférieure (ou l'infimum) d'une partie est le plus grand de ses minorants.
Moment magnétique anomalEn physique des particules, le moment magnétique anomal désigne l'écart entre la valeur du facteur de Landé g d'un lepton et la valeur donnée par l'équation de Dirac. Cette anomalie est remarquablement bien expliquée par le modèle standard, en particulier par l'électrodynamique quantique, lorsque l'influence du vide quantique est prise en compte. L'anomalie est une quantité sans dimension, notée et donnée par : . Au moment cinétique orbital d'une particule de charge et de masse est associé un moment magnétique orbital : Le facteur est appelé rapport gyromagnétique.
Tomographie par émission de positonsvignette|Reconstruction tridimensionnelle de la distribution de glucose marqué au telle que mesurée par tomographie d'émission de positons. Outre l'accumulation normale du traceur dans le cœur, la vessie, les reins et le cerveau, des métastases hépatiques d'une tumeur colorectale sont clairement visibles dans la région abdominale de l'image.
