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 .
Quark étrangeLe quark étrange (souvent appelé quark strange en empruntant la terminologie anglophone, et également nommé quark s) est un quark, une particule élémentaire du modèle standard de la physique des particules. L’UIPPA définit le symbole s comme son nom officiel, désignant strange comme une appellation d’intérêt mnémotechnique. Avec le quark charm, il fait partie des quarks de deuxième génération. Comme tous les quarks de charge négative, sa charge électrique est de −1/3 e (celle des quarks électropositifs est de +2/3 e).
BaryonLes baryons sont, en physique des particules, une catégorie de particules composites (c’est-à-dire non élémentaires) formées de trois quarks, dont les représentants les plus connus sont le proton et le neutron. Le terme « baryon » vient du grec barys, qui signifie « lourd » : il se réfère au fait que les baryons sont en général plus lourds que les autres types de particules. Les baryons appartiennent à la famille des hadrons, ils sont composés de trois quarks. Leur spin demi-entier les classe dans la catégorie des fermions.
Fonction anonymeEn programmation informatique, une fonction anonyme, aussi appelée lambda expression ou fonction lambda est une fonction n'ayant pas de nom. Les fonctions anonymes existent dans certains langages de programmation comme Python, JavaScript, OCaml ou C++. Certains langages, comme le C et Pascal (tout au moins les versions standards de ces langages), ne permettent pas d'écrire des fonctions anonymes. Parce que ces fonctions n'ont pas de nom, à l'endroit où l'on voudrait mettre leur nom, on trouve directement les instructions définissant la fonction introduites par une syntaxe particulière.
Fermeture (informatique)Dans un langage de programmation, une fermeture ou clôture () est une fonction accompagnée de son environnement lexical. L'environnement lexical d'une fonction est l'ensemble des variables non locales qu'elle a capturées, soit par valeur (c'est-à-dire par copie des valeurs des variables), soit par référence (c'est-à-dire par copie des adresses mémoires des variables). Une fermeture est donc créée, entre autres, lorsqu'une fonction est définie dans le corps d'une autre fonction et utilise des paramètres ou des variables locales de cette dernière.
Décroissance exponentiellethumb|La décharge d'un condensateur est à décroissance exponentielle. La décroissance exponentielle d'une quantité est sa diminution au fil du temps selon une loi exponentielle. On l'observe quand la dérivée par rapport au temps de cette quantité (c'est-à-dire son taux de variation instantané) est négative et proportionnelle à la quantité elle-même. Dans la langue courante on emploie souvent, mais improprement, le terme « décroissance exponentielle » pour qualifier une diminution simplement décélérée, quand la valeur absolue de la dérivée est elle-même décroissante.
HypernoyauA hypernucleus is similar to a conventional atomic nucleus, but contains at least one hyperon in addition to the normal protons and neutrons. Hyperons are a category of baryon particles that carry non-zero strangeness quantum number, which is conserved by the strong and electromagnetic interactions. A variety of reactions give access to depositing one or more units of strangeness in a nucleus. Hypernuclei containing the lightest hyperon, the lambda (Λ), tend to be more tightly bound than normal nuclei, though they can decay via the weak force with a mean lifetime of around 200ps.
Double désintégration bêtaLe processus de double désintégration bêta est un mode de décroissance nucléaire, qui consiste en deux désintégrations bêta simultanées dans un même noyau atomique. Il résulte généralement de ce processus l'émission de deux neutrinos, mais certaines théories prédisent une double désintégration sans émission de neutrinos, bien qu'un tel évènement n'ait jamais été observé. La double désintégration bêta avec émission de neutrinos (ββ2ν) est un mode de décroissance autorisé par le modèle standard.
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.
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.
