Neutrino stérileLe neutrino stérile est un type hypothétique de neutrino qui n'interagit via aucune des interactions fondamentales du modèle standard de la physique des particules, hormis la gravité. C'est un neutrino dextrogyre (autrement dit à chiralité droite) léger ou bien un antineutrino lévogyre qui pourrait s'ajouter au modèle standard, et prendre part aux phénomènes tels que le mélange des neutrinos. Le terme neutrino stérile est utilisé pour le distinguer du neutrino actif du modèle standard, qui dispose d'une charge pour l'interaction faible.
Oscillation des neutrinosvignette|Phénomène périodique L'oscillation du neutrino est un phénomène de la mécanique quantique dans lequel un neutrino créé avec une certaine saveur leptonique (neutrino électronique, muonique ou tauique) peut être mesuré plus tard ayant une saveur différente. La probabilité d'avoir une valeur donnée de cette propriété varie de façon périodique alors que la particule se propage. L'oscillation du neutrino est d'intérêt tant théorique qu'expérimental, puisque l'observation de ce phénomène implique la non-nullité de la masse de la particule, .
Théorie MLa théorie M est une théorie physique devant unifier les différentes versions de la théorie des supercordes. L'existence de cette théorie fut conjecturée par Edward Witten en 1995, lors d'un colloque sur la théorie des cordes à l'Université de Californie du Sud. Cette annonce engendra un tourbillon de nouvelles recherches, qu'on a appelé la . Selon Witten le M de théorie M peut signifier magie, mystère ou membrane au choix, et le véritable sens ne s'imposera que quand la théorie sera formulée définitivement.
Théorie des supercordesthumb|Vue d'artiste de la théorie des supercordes. La théorie des supercordes est une tentative pour expliquer l'existence de toutes les particules et forces fondamentales de la nature, en les modélisant comme les vibrations de minuscules cordes supersymétriques. Au début du , elle est considérée comme la plus féconde des théories pour une gravité quantique, même si elle souffre des mêmes défauts que la théorie des cordes en raison de l'impossibilité de la vérifier par l'expérimentation.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Théorie du toutLa théorie du tout est une théorie physique susceptible de décrire de manière cohérente et unifiée l'ensemble des interactions fondamentales. Une telle théorie n'a pas été découverte à l'heure actuelle, principalement en raison de l'impossibilité de trouver une description de la gravitation qui soit compatible avec le modèle standard de la physique des particules, qui est le cadre théorique utilisé pour la description des trois autres interactions connues (électromagnétisme, interaction faible et interaction forte).
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é β.
Grand unification energyThe grand unification energy , or the GUT scale, is the energy level above which, it is believed, the electromagnetic force, weak force, and strong force become equal in strength and unify to one force governed by a simple Lie group. The exact value of the grand unification energy (if grand unification is indeed realized in nature) depends on the precise physics present at shorter distance scales not yet explored by experiments. If one assumes the Desert and supersymmetry, it is at around 1025 eV or GeV (≈ 1.
Théorie critiqueLa théorie critique est une approche de la philosophie sociale qui vise à analyser la société et la culture en mobilisant les sciences sociales et les humanités afin de révéler et mettre en question les structures de pouvoir. Elle considère que les problèmes sociaux sont créés et influencés davantage par des structures sociétales et des présupposés culturels que par des facteurs individuels ou psychologiques. La théorie critique a été établie comme une école de pensée soutenant que l'idéologie est le principal obstacle à la libération humaine.
