Isolant topologiqueUn isolant topologique est un matériau ayant une structure de bande de type isolant mais qui possède des états de surface métalliques. Ces matériaux sont donc isolants "en volume" et conducteurs en surface. En 2007, cet état de matière a été réalisé pour la première fois en 2D dans un puits quantique de (Hg,Cd)Te . Le BiSb (antimoniure de bismuth) est le premier isolant topologique 3D à être réalisé. La spectroscopie de photoélectrons résolue en angle a été l'outil principal qui a servi à confirmer l'existence de l'état isolant topologique en 3D.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Supraconducteur à haute températureUn supraconducteur à haute température (en anglais, high-temperature superconductor : high- ou HTSC) est un matériau présentant une température critique de supraconductivité relativement élevée par rapport aux supraconducteurs conventionnels, c'est-à-dire en général à des températures supérieures à soit . Ce terme désigne en général la famille des matériaux de type cuprate, dont la supraconductivité existe jusqu'à . Mais d'autres familles de supraconducteurs, comme les supraconducteurs à base de fer découverts en 2008, peuvent aussi être désignées par ce même terme.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Spectroscopie de perte d'énergie des électronsLa spectroscopie de perte d’énergie des électrons (electron energy loss spectroscopy, EELS) est une technique d'analyse dans laquelle le matériau à analyser est exposé à un faisceau d'électrons dont l'énergie cinétique est située dans une plage relativement étroite. Certains de ces électrons seront soumis à des interactions inélastiques avec l'échantillon, ce qui signifie qu'ils perdront de l'énergie et que leurs trajectoires subiront une déflexion faible et aléatoire.
Auger electron spectroscopyAuger electron spectroscopy (AES; pronounced oʒe in French) is a common analytical technique used specifically in the study of surfaces and, more generally, in the area of materials science. It is a form of electron spectroscopy that relies on the Auger effect, based on the analysis of energetic electrons emitted from an excited atom after a series of internal relaxation events. The Auger effect was discovered independently by both Lise Meitner and Pierre Auger in the 1920s.
Two-dimensional electron gasA two-dimensional electron gas (2DEG) is a scientific model in solid-state physics. It is an electron gas that is free to move in two dimensions, but tightly confined in the third. This tight confinement leads to quantized energy levels for motion in the third direction, which can then be ignored for most problems. Thus the electrons appear to be a 2D sheet embedded in a 3D world. The analogous construct of holes is called a two-dimensional hole gas (2DHG), and such systems have many useful and interesting properties.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Énergie d'ionisationthumb|right|600px|Graphique des premières énergies d'ionisation en eV, en fonction du numéro atomique. L'énergie d'ionisation augmente graduellement des métaux alcalins jusqu'aux gaz nobles. Et dans une colonne donnée du tableau périodique, l'énergie d'ionisation diminue du premier rang jusqu'au dernier, à cause de la distance croissante du noyau jusqu'à la couche des électrons de valence.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
