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.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Capteur solaire thermiqueUn capteur solaire thermique (ou capteur solaire, ou capteur hélio-thermique, ou encore panneau solaire) est un dispositif conçu pour recueillir l'énergie solaire transmise par rayonnement et la transférer à un fluide caloporteur (gaz ou liquide) sous forme de chaleur. Cette énergie thermique peut ensuite être utilisée pour le chauffage de bâtiments, pour la production d'eau chaude sanitaire ou encore dans divers procédés industriels. Cette technologie est différente de celle des panneaux photovoltaïques, qui transforment la lumière (les photons) en électricité.
Énergie thermique des mersthumb|upright=1.5|Différences de température des océans entre la surface et une profondeur de . L'énergie thermique des mers (ETM) ou énergie maréthermique est produite en exploitant la différence de température entre les eaux superficielles et les eaux profondes des océans. Un acronyme souvent rencontré est OTEC, pour . L'Union européenne utilise le terme énergie hydrothermique pour .
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
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.
Thermal energy storageThermal energy storage (TES) is achieved with widely different technologies. Depending on the specific technology, it allows excess thermal energy to be stored and used hours, days, months later, at scales ranging from the individual process, building, multiuser-building, district, town, or region. Usage examples are the balancing of energy demand between daytime and nighttime, storing summer heat for winter heating, or winter cold for summer air conditioning (Seasonal thermal energy storage).
MODFETLe MODFET (modulated-doping field effect transistor) ou transistor à effet de champ à dopage modulé est un type de transistor à effet de champ (FET). Il est connu aussi sous le nom de HEMT (High Electron Mobility Transistor), ou transistor à électron à haute mobilité. Comme les autres FET, les MODFET sont utilisés dans les circuits intégrés comme interrupteur numérique. vignette|Structure de bande d'un transistor HEMT n-AlGaAs/GaAs montrant la présence d'une zone de gaz d'électrons 2D.
Sulfure de zincLe sulfure de zinc désigne principalement deux corps ioniques inorganiques dimorphes, également composés de cations zinc et d'anions sulfures en proportion stoechiométrique, de formule ZnS. Le chimiste et le minéralogiste distinguent nettement le sulfure de zinc alpha ZnS α, de structure hexagonale, légèrement moins dense, correspondant à la wurtzite encore improprement dénommée blende hexagonale, et le sulfure de zinc bêta ZnS β, de structure cristalline cubique, correspondant à la sphalérite ou à l'ancienne blende minérale si commune dans la nature.
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.
