Microscopie électronique en transmissionvignette|upright=1.5|Principe de fonctionnement du microscope électronique en transmission. vignette|Un microscope électronique en transmission (1976). La microscopie électronique en transmission (MET, ou TEM pour l'anglais transmission electron microscopy) est une technique de microscopie où un faisceau d'électrons est « transmis » à travers un échantillon très mince. Les effets d'interaction entre les électrons et l'échantillon donnent naissance à une image, dont la résolution peut atteindre 0,08 nanomètre (voire ).
Ablation laser pulséL'ablation laser pulsé (en anglais Pulsed Laser Deposition ou PLD) est une méthode de dépôt en couches minces utilisant un laser de très forte puissance. Elle permet de facilement produire divers alliages binaires. Expérimentée pour la première fois en 1965, par H.M. Smith et A.F. Turner, la découverte de l'ablation laser pulsé fait suite aux récentes avancées concernant l'étude et la compréhension des phénomènes d'interactions entre les lasers et les surfaces solides.
Microscope électronique en transmission à balayagevignette|Exemple de Microscope électronique en transmission à balayage VG501 Un microscope électronique en transmission à balayage (METB ou en anglais STEM pour scanning transmission electron microscope) est un type de microscope électronique dont le principe de fonctionnement allie certains aspects du microscope électronique à balayage et du microscope électronique en transmission. Une source d'électrons focalise un faisceau d'électrons qui traverse l'échantillon.
Electron beam physical vapor depositionvignette|Evaporateur métallique « E-gun » utilisé au centre de recherche « Thales Research & Technology » du milieu des années 80 jusqu’en 2004 pour l’évaporation des sandwichs métalliques de contact ohmique et de grille. L’évaporation par faisceau d’électrons (aussi évaporation par faisceau électronique ; en anglais : Electron-beam physical vapor deposition / EBPVD, aussi simplement electron-beam evaporation) est une forme de dépôt physique en phase gazeuse, plus spécifiquement d’évaporation sous vide, dans laquelle une anode cible sous vide poussé est bombardée par un faisceau d’électrons émis par un canon à électrons.
Cryomicroscopie électroniquevignette|Un microscope électronique en transmission (2003). La cryomicroscopie électronique (cryo-ME) correspond à une technique particulière de préparation d’échantillons biologiques utilisée en microscopie électronique en transmission. Développée au début des années 1980, cette technique permet de réduire les dommages d’irradiation causés par le faisceau d’électrons. Elle permet également de préserver la morphologie et la structure des échantillons.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Auto-assemblageL’auto-assemblage, parfois rapproché de l'auto-organisation, désigne les procédés par lesquels un système désorganisé de composants élémentaires s'assemble et s'organise de façon spontanée et autonome, à la suite d'interactions spécifiques et locales entre ces composants. On parle d'auto-assemblage moléculaire lorsque les composants en question sont des molécules, mais l'auto-assemblage s'observe à différentes échelles, des molécules à la formation du système solaire et des galaxies en passant par l'échelle nanométrique.
Enrobagethumb|Une meringue enrobée de chocolat. L’enrobage est un procédé industriel consistant à appliquer une couche de liquide ou de poudre sur la surface d'un produit de base de forme quelconque afin de lui conférer des propriétés particulières. Lorsque le substrat est de forme plane (bobines de papier, film plastique, d'acier), on parle plutôt d'enduction. L'enrobage est notamment utilisé dans les secteurs métallurgique, chimique, parachimique, pharmaceutique et agroalimentaire. On utilise parfois le terme anglais équivalent coating.
Auto-assemblage moléculairedroite|400px|thumb|Un exemple de molécules se liant par liaisons d'hydrogène. L'auto-assemblage moléculaire est le processus par lequel des molécules soi-montant adoptent un agencement sans la direction d'une source extérieure. En général, le terme fait référence à l'auto-assemblage intermoléculaire alors que l'auto-assemblage intramoléculaire prend plus communément le nom de pliage ou de repliement dans le cas de protéines.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
