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.
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.
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.
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.
Let expressionIn computer science, a "let" expression associates a function definition with a restricted scope. The "let" expression may also be defined in mathematics, where it associates a Boolean condition with a restricted scope. The "let" expression may be considered as a lambda abstraction applied to a value. Within mathematics, a let expression may also be considered as a conjunction of expressions, within an existential quantifier which restricts the scope of the variable.
CurryficationEn informatique, plus précisément en programmation fonctionnelle, la curryfication est la transformation d'une fonction à plusieurs arguments en une fonction à un argument qui retourne une fonction sur le reste des arguments. L'opération inverse est possible et s'appelle la décurryfication. Le terme vient du nom du mathématicien américain Haskell Curry, bien que cette opération ait été introduite pour la première fois par Moses Schönfinkel. Considérons une fonction add qui prend deux arguments (x et y) et en renvoie la somme.
Branche des géantes rougesvignette|droite|upright=1.4|Diagramme de Hertzsprung–Russell de l'amas globulaire M5. La branche des géantes rouges part de la fine branche horizontale des sous-géantes vers le haut à droite, avec certaines étoiles RGB plus lumineuses marquées en rouge. La branche des (étoiles) géantes rouges (en anglais : red-giant branch ou RGB), appelée parfois la première branche des géantes, est la partie de la branche des géantes avant que la combustion de l'hélium ne démarre, lors de l'évolution stellaire.
Church encodingIn mathematics, Church encoding is a means of representing data and operators in the lambda calculus. The Church numerals are a representation of the natural numbers using lambda notation. The method is named for Alonzo Church, who first encoded data in the lambda calculus this way. Terms that are usually considered primitive in other notations (such as integers, booleans, pairs, lists, and tagged unions) are mapped to higher-order functions under Church encoding.
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.
