Atome d'hydrogèneL'atome d'hydrogène est le plus simple de tous les atomes du tableau périodique, étant composé d'un proton et d'un électron. Il correspond au premier élément de la classification périodique. La compréhension des interactions au sein de cet atome au moyen de la théorie quantique fut une étape importante qui a notamment permis de développer la théorie des atomes à N électrons. C'est pour comprendre la nature de son spectre d'émission, discret, alors que la théorie classique prévoyait un spectre continu, que Niels Bohr a introduit en 1913 un premier modèle quantique de l'atome (cf.
Histoire de la mécanique quantiquethumb|Le congrès Solvay de 1927, année charnière dans le passage des théories dites semi-classiques aux théories quantiques proprement dites. L'histoire de la mécanique quantique commence traditionnellement avec le problème de la catastrophe ultraviolette et sa résolution en 1900 par l'hypothèse de Max Planck stipulant que tout système atomique irradiant de l'énergie peut être divisé en « éléments d'énergie » discrets liés à la constante h qui, depuis, porte son nom (constante de Planck).
Modèle d'IsingLe modèle d'Ising est un modèle de physique statistique qui a été adapté à divers phénomènes caractérisés par des interactions locales de particules à deux états. L'exemple principal est le ferromagnétisme pour lequel le modèle d'Ising est un modèle sur réseau de moments magnétiques, dans lequel les particules sont toujours orientées suivant le même axe spatial et ne peuvent prendre que deux valeurs. Ce modèle est parfois appelé modèle de Lenz-Ising en référence aux physiciens Wilhelm Lenz et Ernst Ising.
Loi d'OhmLa loi d'Ohm est une loi physique empirique qui lie l'intensité du courant électrique traversant un dipôle électrique à la tension à ses bornes. Cette loi permet de déterminer la valeur d'une résistance. La loi d'Ohm a été ainsi nommée en référence au physicien allemand Georg Simon Ohm qui la publie en 1827, dans son œuvre Die galvanische Kette: mathematisch bearbeitet. On note : U la tension aux bornes de la résistance ; I l’intensité du courant qui circule à travers la résistance ; R la valeur de la résistance.
Reversed field pinchA reversed-field pinch (RFP) is a device used to produce and contain near-thermonuclear plasmas. It is a toroidal pinch which uses a unique magnetic field configuration as a scheme to magnetically confine a plasma, primarily to study magnetic confinement fusion. Its magnetic geometry is somewhat different from that of the more common tokamak. As one moves out radially, the portion of the magnetic field pointing toroidally reverses its direction, giving rise to the term reversed field.
Stabilité de LiapounovEn mathématiques et en automatique, la notion de stabilité de Liapounov (ou, plus correctement, de stabilité au sens de Liapounov) apparaît dans l'étude des systèmes dynamiques. De manière générale, la notion de stabilité joue également un rôle en mécanique, dans les modèles économiques, les algorithmes numériques, la mécanique quantique, la physique nucléaire Un exemple typique de système stable au sens de Liapounov est celui constitué d'une bille roulant sans frottement au fond d'une coupelle ayant la forme d'une demi-sphère creuse : après avoir été écartée de sa position d'équilibre (qui est le fond de la coupelle), la bille oscille autour de cette position, sans s'éloigner davantage : la composante tangentielle de la force de gravité ramène constamment la bille vers sa position d'équilibre.
Ciblage d'inflationLe ciblage d'inflation est une politique économique par laquelle une banque centrale rend public un objectif d'inflation de moyen terme et met en œuvre ses outils pour l'atteindre. Le ciblage d'inflation a succédé au ciblage de la masse monétaire, qui s'était révélé inefficace. Le ciblage d'inflation est utilisé depuis plusieurs décennies, à la suite de la publication d'études mettant en lumière le rôle bénéfique de la stabilité monétaire, qui exige que l'inflation probable soit connue d'avance par les agents économiques.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
MagnétohydrodynamiqueLa magnétohydrodynamique (MHD) est une discipline scientifique qui décrit le comportement d'un fluide conducteur du courant électrique en présence de champs électromagnétiques. Elle s'applique notamment aux plasmas, au noyau externe et même à l'eau de mer. C'est une généralisation de l'hydrodynamique (appelée plus communément dynamique des fluides, définie par les équations de Navier-Stokes) couplée à l'électromagnétisme (équations de Maxwell).
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
