Type abstraitEn informatique, un type de donnée abstrait (en anglais, abstract data type ou ADT) est une spécification mathématique d'un ensemble de données et de l'ensemble des opérations qu'on peut effectuer sur elles. On qualifie d'abstrait ce type de donnée car il ne spécifie pas comment les données sont représentées ni comment les opérations sont implémentées. Les types abstraits les plus utilisés sont : arbre binaire conteneur dictionnaire ou tableau associatif ensemble Graphe liste multiensemble pile Union-find Un type abstrait est composé de cinq champs : Type abstrait ; Utilise ; Opérations ; Pré-conditions ; Axiomes.
Couche minceUne couche mince () est un revêtement dont l’épaisseur peut varier de quelques couches atomiques à une dizaine de micromètres. Ces revêtements modifient les propriétés du substrat sur lesquels ils sont déposés. Ils sont principalement utilisés : dans la fabrication de composants électroniques telles des cellules photovoltaïques en raison de leurs propriétés isolantes ou conductrices ; pour la protection d'objets afin d'améliorer les propriétés mécaniques, de résistance à l’usure, à la corrosion ou en servant de barrière thermique.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Cellule solaire à pigment photosensibleUne cellule solaire à pigment photosensible parfois appelée cellules Grätzel (en anglais, Dye-sensitized solar cell ou DSC) est un système photoélectrochimique inspiré de la photosynthèse végétale qui, exposé à la lumière (photons), produit de l’électricité. Elle est souvent désignée par l'acronyme dérivé de son appellation en anglais : dye-sensitized solar cell, DSC, DSSc voire DYSC). Les cellules Grätzel ont été nommées ainsi en référence à son concepteur, Michael Grätzel, de l’École polytechnique fédérale de Lausanne.
Chaîne de transport d'électronsredresse=1.75|vignette| Schéma d'une membrane de thylakoïde montrant la chaîne formée par le , la plastoquinone, le complexe , la plastocyanine, le et la réductase assurant les réactions de la photosynthèse dépendantes de la lumière, couplée à l'ATP synthase par un gradient de concentration de protons dans le cadre d'un processus global appelé photophosphorylation. redresse=1.75|vignette|Schéma d'une matrice mitochondriale montrant les complexes à de la chaîne respiratoire, couplés à l'ATP synthase par un gradient de concentration de protons dans le cadre d'un processus global appelé phosphorylation oxydative.
Cellule photovoltaïque à pérovskiteUne cellule photovoltaïque à pérovskite est un type de cellule photovoltaïque dont la couche active est constituée d'un matériau de formule générale à structure pérovskite dans laquelle A est un cation, généralement de méthylammonium (MA), de formamidinium ou de césium , B est un cation d'étain ou de plomb , et X est un anion halogénure tel que chlorure , bromure ou iodure . Le rendement des cellules photovoltaïques utilisant ces matériaux est en constante augmentation depuis la fin des années 2000.
Spectroscopie d’émission atomiquevignette|250x250px| Spectromètre d'émission atomique à plasma à couplage inductif La spectroscopie d'émission atomique (AES) est une méthode d'analyse chimique qui utilise l'intensité de la lumière émise par une flamme, un plasma, un arc ou une étincelle à une longueur d'onde particulière pour déterminer la quantité d'un élément dans un échantillon. La longueur d'onde de la raie spectrale atomique sur le spectre d'émission donne l'identité de l'élément tandis que l'intensité de la lumière émise est proportionnelle au nombre d'atomes de l'élément.
Électronique organiquevignette| Circuit logique CMOS organique. L'épaisseur totale est inférieure à 3 μm. Barre d'échelle: 25 mm L'électronique organique est un domaine de la science des matériaux comprenant le design, la synthèse, la caractérisation et l'utilisation de petites molécules ou polymères organiques qui présentent des propriétés électroniques souhaitables comme la conductivité. Contrairement aux conducteurs et semi - conducteurs inorganiques conventionnels, les matériaux électroniques organiques sont constitués de petites molécules ou de polymères organiques.
Réseau métallo-organiquevignette|Exemple de MOF avec différents ligands organiques. Les réseaux métallo-organiques (MOF, pour l'anglais metal–organic framework) sont des solides poreux hybrides cristallins constitués d'ions métalliques ou de clusters coordonnés à des ligands organiques pour former des structures en une, deux ou trois dimensions. Les MOF présentent notamment une surface spécifique très élevée du fait de leur structure nanoporeuse. Les MOF sont nommés selon leur lieu de découverte suivi d’un numéro d’incrémentation, par exemple MIL-101 pour Matériaux Institut Lavoisier , ou UiO-66.
Semi-conducteur organiquevignette|Molécules de quinacridone (semi-conducteur organique) adsorbées sur une surface de graphite. Un semi-conducteur organique est un composé organique, sous la forme d'un cristal ou d'un polymère, qui montre des propriétés similaires aux semi-conducteurs inorganiques. Ses propriétés sont la conduction par les électrons et les trous, ainsi que la présence d'une bande interdite. Ces matériaux ont donné naissance à l'électronique organique, ou électronique des plastiques.
