Liaison métalliqueredresse=1.75|vignette| Diagramme représentant la distribution des électrons dans les bandes de différents types de matériaux à l'équilibre. De gauche à droite : métal ; semimétal ; semiconducteur (dopé p, intrinsèque, dopé n) ; isolant. L'énergie est représentée par l'axe vertical, tandis que l'épaisseur horizontale des bandes représente la densité d'états.La densité électronique par niveau d'énergie suit la statistique de Fermi-Dirac et est représentée par un dégradé de noir.
Paire de CooperEn physique de la matière condensée, une paire de Cooper est le nom donné aux électrons liés entre eux à basses températures d'une manière spécifique décrite en 1956 par Leon Cooper. Leon Cooper montrait qu'une petite interaction arbitraire entre électrons dans un métal peut induire un état de paire d'électrons ayant une énergie plus basse que l'énergie de Fermi, ce qui implique que cette paire est liée. Dans les supraconducteurs classiques, cette attraction est due à l'interaction électron-phonon.
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.
Processus isentropiqueEn thermodynamique, un processus isentropique est un processus thermodynamique au cours duquel l'entropie du système étudié reste constante. La constance de l'entropie peut être obtenue par un processus idéal qui est à la fois adiabatique et réversible. Les transferts d'énergie par travail doivent alors être sans frottement et il ne doit y avoir ni transfert d'énergie thermique (chaleur) ni transfert de matière. Un tel processus idéal est utile en ingénierie pour modéliser certains processus réels.
Radioactivitévignette|Pictogramme signalant la présence de matière radioactive. (☢) vignette|La maison de Georges Cuvier, au Jardin des plantes de Paris, où Henri Becquerel découvrit la radioactivité en 1896. La radioactivité est le phénomène physique par lequel des noyaux atomiques instables (dits radionucléides ou radioisotopes) se transforment spontanément en d'autres atomes (désintégration) en émettant simultanément des particules de matière (électrons, noyaux d'hélium, neutrons) et de l'énergie (photons et énergie cinétique).
Diffusion BrillouinLa 'diffusion Brillouin' est la diffusion inélastique de la lumière par les ondes acoustiques d'un milieu. Dans une expérience de diffusion Brillouin, on illumine un milieu à l'aide d'un faisceau laser et on détecte la lumière diffusée à une fréquence légèrement différente. Les décalages en fréquence observés sont de l'ordre de 1 à 200 GHz environ. La mesure de ce décalage permet de remonter à certaines propriétés du milieu. Cet effet a été prédit en 1914 par Léon Brillouin.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Onde de spinIn condensed matter physics, a spin wave is a propagating disturbance in the ordering of a magnetic material. These low-lying collective excitations occur in magnetic lattices with continuous symmetry. From the equivalent quasiparticle point of view, spin waves are known as magnons, which are bosonic modes of the spin lattice that correspond roughly to the phonon excitations of the nuclear lattice. As temperature is increased, the thermal excitation of spin waves reduces a ferromagnet's spontaneous magnetization.
Effet tunnelL'effet tunnel désigne la propriété que possède un objet quantique de franchir une barrière de potentiel même si son énergie est inférieure à l'énergie minimale requise pour franchir cette barrière. C'est un effet purement quantique, qui ne peut pas s'expliquer par la mécanique classique. Pour une telle particule, la fonction d'onde, dont le carré du module représente la densité de probabilité de présence, ne s'annule pas au niveau de la barrière, mais s'atténue à l'intérieur de la barrière (pratiquement exponentiellement pour une barrière assez large).
