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.
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.
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 .
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).
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).
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.
ZirconiumLe zirconium est l'élément chimique de numéro atomique 40, de symbole Zr. Il a été découvert par Martin Heinrich Klaproth à Berlin, qui l'a extrait du zircon en 1789 sous forme d'oxyde. Mais ce n'est qu'en 1824, que Jöns Jacob Berzelius l'a isolé sous forme de métal à Stockholm, en Suède. En 1999 est trouvé en Australie un fin morceau de cristal de zircon de 4,4 milliards d'années d'âge : hormis certains fragments de météorites, c'est le plus vieil objet terrestre connu.
Bain à ultrasonsLe bain à ultrasons ou nettoyage à ultrasons ou sonicateur est une procédure accélérée de nettoyage de pièces ou de dissolution de produits par l’effet mécanique d’ondes ultrasonores de fréquence généralement comprises entre et . Généralement, le nettoyage par ultrasons s'effectue par immersion de la pièce à nettoyer dans un bain. Le dispositif comprend une cuve assez grande pour recevoir la pièce à nettoyer. De l'eau ou un autre solvant (pour dégraisser), auxquels s'ajoutent éventuellement des produits détergents remplissent la cuve.
Céramique transparentevignette|Tige de YAG dopé au néodyme, matériau utilisé dans les lasers Nd:YAG. Une céramique transparente est une céramique qui, cristalline ou vitreuse, se caractérise par un coefficient de transmission élevé des ondes électromagnétiques dans une gamme de longueurs d'onde incluant généralement la lumière visible. L'alumine en est un exemple bien connu, mais le nitrure d'aluminium AlN, l'oxynitrure d'aluminium , l'oxynitrure de silicium , le spinelle , l'oxyde d'yttrium(III) et le YAG en sont d'autres exemples qui ont également de nombreuses applications industrielles et militaires.
LanthanideLes lanthanides sont une famille du tableau périodique comprenant les allant du lanthane () au lutécium (). Avec le scandium et l'yttrium, ces éléments font partie des terres rares. Ils tirent leur nom du lanthane, premier de la famille, en raison de leurs propriétés chimiques très semblables à ce dernier, du moins pour les plus légers d'entre eux. On les désigne parfois sous le symbole chimique collectif Ln, qui représente alors n'importe quel lanthanide. Ce sont tous des éléments du , hormis le lutécium, qui appartient au .
