Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Collisionneurvignette|Photographie d'un morceau du Large Hadron Collider, le plus grand collisionneur de particules du monde (27 km de diamètre). Un collisionneur est un type d'accélérateur de particules mettant en jeu des faisceaux dirigés de particules élémentaires. Les collisionneurs se répartissent en accélérateurs circulaires et accélérateurs linéaires. En physique des particules, pour en savoir davantage sur les particules élémentaires on accélère ces dernières jusqu'à ce qu'elles atteignent une énergie cinétique élevée et on les fait entrer en collision avec d'autres particules.
Asymétrie baryoniqueL'asymétrie baryonique réfère à l'excès de la matière baryonique sur l'antimatière baryonique dans l'univers observable. Bien que plusieurs hypothèses soient émises pour expliquer cet excès, dont la plupart concernent la baryogénèse, aucune d'elles ne fait consensus, et l'asymétrie baryonique demeure l'un des problèmes non résolus de la physique. La plupart des hypothèses formulées à propos de l'asymétrie baryonique impliquent la modification du modèle standard en physique des particules afin de permettre que certaines réactions (surtout celles impliquant l'interaction faible) puissent se réaliser plus facilement que leur contraire.
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.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Radioactivité αLa radioactivité alpha (ou rayonnement alpha, symbolisé α) est le rayonnement provoqué par la désintégration alpha, soit la forme de désintégration radioactive où un noyau atomique X éjecte une et se transforme en un noyau Y de nombre de masse A diminué de 4 et de numéro atomique Z diminué de 2. En 1898, Ernest Rutherford découvre que la radioactivité émise par un minerai d'uranium est un mélange de deux phénomènes distincts qu'il appelle radioactivité α et radioactivité β.
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.
Échantillonnage (statistiques)thumb|Exemple d'échantillonnage aléatoire En statistique, l'échantillonnage désigne les méthodes de sélection d'un sous-ensemble d'individus (un échantillon) à l'intérieur d'une population pour estimer les caractéristiques de l'ensemble de la population. Cette méthode présente plusieurs avantages : une étude restreinte sur une partie de la population, un moindre coût, une collecte des données plus rapide que si l'étude avait été réalisé sur l'ensemble de la population, la réalisation de contrôles destructifs Les résultats obtenus constituent un échantillon.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
StatistiqueLa statistique est la discipline qui étudie des phénomènes à travers la collecte de données, leur traitement, leur analyse, l'interprétation des résultats et leur présentation afin de rendre ces données compréhensibles par tous. C'est à la fois une branche des mathématiques appliquées, une méthode et un ensemble de techniques. ce qui permet de différencier ses applications mathématiques avec une statistique (avec une minuscule). Le pluriel est également souvent utilisé pour la désigner : « les statistiques ».
