HétérojonctionUne hétérojonction est une jonction entre deux semi-conducteurs dont les bandes interdites (gap, en langue anglaise) sont différentes. Les hétérojonctions ont une importance considérable en physique des semi-conducteurs et en optique. Une hétérojonction est une jonction formée par deux semi-conducteurs différents ou par un métal et un semi-conducteur. Quand les deux semi-conducteurs ont le même type de conductivité, on parle d'hétérojonction isotype. Lorsque le type de conductivité diffère, on parle d'hétérojonction anisotype.
Liaison pendanteUne liaison pendante (dangling bond en anglais) est une valence non satisfaite sur un atome d'une substance à l'état solide. On observe de telles liaisons pendantes notamment à l'interface entre phases différentes, typiquement sur les surfaces des matériaux ainsi que dans des phases amorphes, comme dans le silicium amorphe, mais elles existent également sous forme de défauts ponctuels au sein de phases cristallines.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
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.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
AdsorptionEn chimie, l’adsorption est un phénomène de surface par lequel des atomes, des ions ou des molécules - des adsorbats - se fixent sur une surface solide - l'adsorbant - depuis une phase gazeuse, liquide ou une solution solide. Dans le cas d'un atome adsorbé, on parle d'adatome. Ce phénomène est différent de l'absorption, par lequel un fluide ou le composant d'une solution solide rentre dans le volume d'une autre phase liquide ou solide, mais les deux effets sont similaires et sont facilement (et à tort) confondus, notamment dans des applications pour le grand public.
Crystalline siliconCrystalline silicon or (c-Si) Is the crystalline forms of silicon, either polycrystalline silicon (poly-Si, consisting of small crystals), or monocrystalline silicon (mono-Si, a continuous crystal). Crystalline silicon is the dominant semiconducting material used in photovoltaic technology for the production of solar cells. These cells are assembled into solar panels as part of a photovoltaic system to generate solar power from sunlight. In electronics, crystalline silicon is typically the monocrystalline form of silicon, and is used for producing microchips.
Metal–semiconductor junctionIn solid-state physics, a metal–semiconductor (M–S) junction is a type of electrical junction in which a metal comes in close contact with a semiconductor material. It is the oldest practical semiconductor device. M–S junctions can either be rectifying or non-rectifying. The rectifying metal–semiconductor junction forms a Schottky barrier, making a device known as a Schottky diode, while the non-rectifying junction is called an ohmic contact.
Oxyde de zincL’oxyde de zinc est un composé chimique d'oxygène et de zinc, corps ionique de formule chimique . Cet oxyde quasiment insoluble dans l'eau se présente généralement sous la forme d'une poudre blanche infusible communément appelée « zinc blanc », « blanc de zinc » ou « fleur de zinc ». Ce corps blanc pulvérulent se nommait autrefois pour ses aspects floconneux et légers en latin pompholix, nihil album (blanc de rien des alchimistes), lana philosophica (laine philosophique). Il était alors considéré comme un corps "infusible et fixe".
Géométrie différentielle des surfacesEn mathématiques, la géométrie différentielle des surfaces est la branche de la géométrie différentielle qui traite des surfaces (les objets géométriques de l'espace usuel E3, ou leur généralisation que sont les variétés de dimension 2), munies éventuellement de structures supplémentaires, le plus souvent une métrique riemannienne. Outre les surfaces classiques de la géométrie euclidienne (sphères, cônes, cylindres, etc.
