Microscopie électronique à balayagethumb|right|Premier microscope électronique à balayage par M von Ardenne thumb|right|Microscope électronique à balayage JEOL JSM-6340F thumb|upright=1.5|Principe de fonctionnement du Microscope Électronique à Balayage La microscopie électronique à balayage (MEB) ou scanning electron microscope (SEM) en anglais est une technique de microscopie électronique capable de produire des images en haute résolution de la surface d’un échantillon en utilisant le principe des interactions électrons-matière.
Billard (mathématiques)Un billard mathématique est un système dynamique dans lequel une particule alterne des mouvements libres sur une surface et des rebonds sur une paroi, sans perte de vitesse. L'angle de rebond est identique à l'angle d'incidence au moment de choc. Ces systèmes dynamiques sont des idéalisations hamiltoniennes du jeu de billard, mais où le domaine encadré par la frontière peut avoir d'autres formes qu'un rectangle et même être multidimensionnel. Les billards dynamiques peuvent aussi être étudiés sur des géométries non euclidiennes.
Freeman DysonFreeman J. Dyson, né le à Crowthorne dans le Berkshire (Royaume-Uni) et mort le à Princeton (New Jersey), est un physicien théoricien et mathématicien britanno-américain. Il contribue notamment aux fondements de l'électrodynamique quantique en 1948. Il fait également de nombreuses contributions à la physique des solides, l'astronomie et l’ingénierie nucléaire. On lui doit plusieurs concepts qui portent son nom, tels que la , , la conjecture de Dyson, la et la sphère de Dyson. Son père est le compositeur George Dyson.
Système de preuve interactivevignette|504x504px|Un système de preuve interactive est composé de deux machines abstraites : un prouveur et un vérificateur qui s'échangent des messages. En théorie de la complexité des algorithmes, un système de preuve interactive est un protocole formel de démonstration de théorèmes qui fait intervenir deux participants qui échangent des messages. Cela permet de définir des classes de complexité intéressantes, notamment la classe IP qui est le modèle utilisé dans le théorème PCP qui caractérise la classe NP.
AstroingénierieL'astroingénierie est, en astronautique, un domaine d'ingénierie visant l'intervention sur des objets célestes (astéroïdes, lunes, planètes, étoiles voire des galaxies entières). Ces procédés sont particulièrement présents en science-fiction, bien que cette discipline soit le sujet de recherches et d'exploration de concepts. vignette|redresse=0.5|Sphère de Dyson. vignette|redresse=0.5|Disque d'Alderson. vignette|redresse=0.5|Plan simplifié d'un anneau orbital.
Mégastructurevignette|Représentation d'artiste d'un anneau orbital. Une mégastructure est, en science-fiction et en ingénierie à grande échelle, une construction artificielle autosuffisante de très grandes dimensions, au moins de l'ordre de plusieurs kilomètres et pouvant atteindre le millier voire le million de kilomètres. La définition est plutôt informelle et varie selon les sources, mais exige généralement au moins que les dimensions soient dans les centaines de kilomètres.
Cerveau matriochkaUn cerveau matriochka est une mégastructure hypothétique proposée par Robert Bradbury, fondée sur la sphère de Dyson et dotée d'une capacité informatique immense. Il capte toute l'énergie produite par une étoile pour faire fonctionner ses systèmes informatiques. Le concept tire son nom des poupées russes, les matriochkas. Le terme cerveau matriochka a été forgé par Robert Bradbury comme alternative au « cerveau de Jupiter », un concept identique mais à l'échelle planétaire.
