GermaniumLe germanium est l'élément chimique de numéro atomique 32, de symbole Ge. Il appartient au groupe 14 du tableau périodique. Ce métalloïde est semi-conducteur et cristallise avec la même structure que le diamant, tout comme le silicium. Il possède cinq isotopes naturels, dont le Ge, qui est faiblement radioactif. Au moins ont été synthétisés. La quasi-totalité du germanium est récupérée dans les fonderies de zinc (sous-produit de fusion). Les premiers transistors avaient comme substrat le germanium.
Fibre optiqueUne fibre optique est un fil dont l’âme, très fine et faite de verre ou de plastique, a la propriété de conduire la lumière et sert pour la fibroscopie, l'éclairage ou la transmission de données numériques. Elle offre un débit d'information nettement supérieur à celui des câbles coaxiaux et peut servir de support à un réseau « large bande » par lequel transitent aussi bien la télévision, le téléphone, la visioconférence ou les données informatiques.
Electrical resistivity and conductivityElectrical resistivity (also called volume resistivity or specific electrical resistance) is a fundamental specific property of a material that measures its electrical resistance or how strongly it resists electric current. A low resistivity indicates a material that readily allows electric current. Resistivity is commonly represented by the Greek letter ρ (rho). The SI unit of electrical resistivity is the ohm-metre (Ω⋅m).
Film photovoltaïqueUn film photovoltaïque ou cellule solaire en couche mince ou encore couche mince photovoltaïque est une technologie de cellules photovoltaïques de deuxième génération, consistant à l'incorporation d'une ou plusieurs couches minces (ou TF pour ) de matériau photovoltaïque sur un substrat, tel que du verre, du plastique ou du métal. Les couches minces photovoltaïques commercialisées actuellement utilisent plusieurs matières, notamment le tellurure de cadmium (de formule CdTe), le diséléniure de cuivre-indium-gallium (CIGS) et le silicium amorphe (a-Si, TF-Si).
SiliciumLe silicium est l'élément chimique de numéro atomique 14, de symbole Si. Ce métalloïde tétravalent appartient au groupe 14 du tableau périodique. C'est l'élément le plus abondant dans la croûte terrestre après l'oxygène, soit 25,7 % de sa masse, mais il n'est comparativement présent qu'en relativement faible quantité dans la matière constituant le vivant.
Titanate de strontiumLe titanate de strontium est un composé chimique de formule . Il s'agit d'un composé paraélectrique à température ambiante et cristallisant dans une structure pérovskite cubique. À basse température, il tend vers une transition de phase ferroélectrique avec une permittivité très élevée, de l'ordre de , mais demeure paraélectrique jusqu'à la température la plus basse mesurable en raison de fluctuations quantiques qui en font un matériau paraélectrique quantique.
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.
IndiumL'indium est l'élément chimique de numéro atomique 49, de symbole In. Cet élément monoisotopique stable appartient au bloc p, au groupe 13 et à la période 5 et au groupe IIIA dit du bore du tableau périodique ainsi qu'à la famille des métaux pauvres. Le rayon atomique de l'indium avoisine 150 pm (). Le corps simple indium est un métal gris brillant, à bas point de fusion à peine supérieur à , résistant à la corrosion atmosphérique. Ce métal malléable présente une chimie assez analogue à l'aluminium et au gallium, mais aussi au cadmium et au thallium.
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).
EuropiumL'europium est un élément chimique, de symbole Eu et de numéro atomique 63. L'europium est le plus réactif des éléments des terres rares. Il s'oxyde rapidement à l'air, pour donner du trioxyde d'europium selon la réaction : Sa réaction à l'eau est comparable à celle du calcium 20Ca lorsqu'il réagit avec l'eau : Il est aisément soluble dans l'acide sulfurique : Comme les autres terres rares (à l'exception du lanthane 57La), l'europium brûle dans l'air à environ . Il est aussi dur que le plomb et assez ductile.
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.
GadoliniumLe gadolinium (Gd) est l'élément chimique de numéro atomique 64. Il fait partie du groupe des lanthanides. Il doit son nom à Johan Gadolin, chimiste finlandais. Isotopes du gadolinium Le gadolinium est un métal faisant partie des terres rares. Il est gris argent, malléable et ductile à la température ambiante. Il cristallise sous forme hexagonale à température ambiante, mais possède une autre forme allotropique connue sous le nom de forme « bêta », de structure cubique centrée au-dessus de .
