Météoritevignette|Météorite de Willamette, présentant des regmaglyptes caractéristiques (exposée au musée américain d'histoire naturelle de New York). vignette|La météorite de Murchison intéresse particulièrement les astrophysiciens, les cosmochimistes et les exobiologistes à la recherche des origines de la vie, son étude ayant fortement influencé la conception sur l'origine extraterrestre de la vie sur Terre.
Machine de Turing universellevignette|upright=1.5|Une machine de Turing quelconque M réalise un calcul à partir d'une entrée écrite sur son ruban. Une machine de Turing universelle U simule le calcul de M sur l'entrée de M à partir d'une description de M et de l'entrée de M écrits sur le ruban de U. En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée.
Machine de TuringEn informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur. Ce modèle a été imaginé par Alan Turing en 1936, en vue de donner une définition précise au concept d’algorithme ou de « procédure mécanique ». Il est toujours largement utilisé en informatique théorique, en particulier dans les domaines de la complexité algorithmique et de la calculabilité.
Grand collisionneur électron-positronLe grand collisionneur électron-positron (en anglais : Large Electron Positron collider : LEP) était un accélérateur de particules circulaire de de circonférence, passant sous le site du CERN entre la France et la Suisse. En fonction de 1989 à 2000, le LEP demeure le plus puissant collisionneur de leptons jamais construit. vignette|Plan du complexe d'accélérateurs du CERN (le LHC remplace depuis 2008 le LEP). Les physiciens des pays membres du CERN ont développé l'idée du LEP vers la fin des années 1970.
Modélisation des donnéesDans la conception d'un système d'information, la modélisation des données est l'analyse et la conception de l'information contenue dans le système afin de représenter la structure de ces informations et de structurer le stockage et les traitements informatiques. Il s'agit essentiellement d'identifier les entités logiques et les dépendances logiques entre ces entités.
Usinagethumb|Usinage sur un chantier naval. Elswick, Newcastle upon Tyne. Première Guerre mondiale L'usinage est une famille de procédés de fabrication de pièces par enlèvement de copeaux. Le principe de l'usinage est d'enlever de la matière de façon à donner à la pièce brute la forme et les dimensions voulues, à l'aide d'une machine-outil. Par cette technique, on obtient des pièces d'une grande précision.
Vénus (planète)Vénus est la deuxième planète du Système solaire par ordre d'éloignement au Soleil, et la sixième plus grosse aussi bien par la masse que le diamètre. Elle doit son nom à la déesse romaine de l'amour. Vénus orbite autour du Soleil tous les terrestres. Avec une période de rotation de terrestres, il lui faut plus de temps pour tourner autour de son axe que toute autre planète du Système solaire. Comme Uranus, elle possède une rotation rétrograde et tourne dans le sens opposé à celui des autres planètes : le soleil s'y lève à l'ouest et se couche à l'est.
FraisageLe fraisage est un procédé de fabrication où l'enlèvement de matière sous forme de copeaux résulte de la combinaison de deux mouvements : la rotation de l'outil de coupe, d'une part, et l'avancée de la pièce à usiner d'autre part. Le fraisage est seulement réalisé par une machine-outil, la fraiseuse qui est particulièrement adaptée à l'usinage de pièces prismatiques et permet également, si la machine est équipée de commande numérique, de réaliser tous types de formes même complexes. L'outil classiquement utilisé est la fraise.
Machine à registres illimitésEn informatique, une machine à registres illimités ou URM (de l'anglais : Unlimited Register Machine) est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tout comme les machines de Turing et le lambda-calcul. Une URM est Turing-complète. Les registres de la machine sont représentés par : et peuvent contenir des éléments de . Un programme pour cette machine est représenté par toute suite de la forme : qui contient une suite finie d'instructions.
MuonLe muon est, selon le modèle standard de la physique des particules, une particule élémentaire de charge électrique négative, instable. Le muon a pour spin 1/2 et a les mêmes propriétés physiques que l'électron, mis à part sa masse, 207 fois plus grande (, c'est pour cela qu'on l'appelle parfois « électron lourd »). Les muons sont des fermions de la famille des leptons, comme les électrons et les taus. Les muons sont notés μ−. L'antimuon, l'antiparticule associée au muon, est notée μ+ et est chargée positivement.