Diode électroluminescente organiquevignette|droite|250px|Prototype de panneaux OLED. Une diode électroluminescente organique ou DELO — usuellement désignée par son acronyme anglais OLED, pour organic light-emitting diode — est un composant électronique qui permet de produire de la lumière. La structure de la diode est relativement simple puisque c'est une superposition de plusieurs couches semi-conductrices organiques entre deux électrodes dont l'une (au moins) est transparente.
Alliage métallique amorphevignette|Alliage métallique amorphe. vignette|Pièces d'un alliage métallique amorphe de composition chimique . Le diamètre du cylindre est de . Un alliage métallique amorphe, ou métal amorphe, est un alliage métallique solide doté d'une structure amorphe plutôt que cristalline. Ces matériaux peuvent être obtenus par refroidissement très rapide depuis l'état fondu de l'alliage, ou par d'autres méthodes.
Diode électroluminescentethumb|Diodes de différentes couleurs.|alt= thumb|upright|Symbole de la diode électroluminescente.|alt= Une diode électroluminescente (abrégé en DEL en français, ou LED, de llight-emitting diode) est un dispositif opto-électronique capable d'émettre de la lumière lorsqu'il est parcouru par un courant électrique. Une diode électroluminescente ne laisse passer le courant électrique que dans un seul sens et produit un rayonnement monochromatique ou polychromatique non cohérent par conversion d'énergie électrique lorsqu'un courant la traverse.
Array (data type)In computer science, array is a data type that represents a collection of elements (values or variables), each selected by one or more indices (identifying keys) that can be computed at run time during program execution. Such a collection is usually called an array variable or array value. By analogy with the mathematical concepts vector and matrix, array types with one and two indices are often called vector type and matrix type, respectively. More generally, a multidimensional array type can be called a tensor type, by analogy with the physical concept, tensor.
Système nominatif de typesUn système nominatif de types est une classe majeure de système de types en programmation informatique. C'est avec lui qu'on détermine la compatibilité et l'équivalence de types par la déclaration explicite et/ou le nommage des types. On utilise les systèmes nominatifs pour déterminer si des types sont équivalents ou pour savoir si un type est un sous-type d'un autre. Ce système est en contraste avec le système structurel, où les comparaisons sont fondées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites.
Back-illuminated sensorA back-illuminated sensor, also known as backside illumination (BI) sensor, is a type of digital that uses a novel arrangement of the imaging elements to increase the amount of light captured and thereby improve low-light performance. The technique was used for some time in specialized roles like low-light security cameras and astronomy sensors, but was complex to build and required further refinement to become widely used. Sony was the first to reduce these problems and their costs sufficiently to introduce a 5-megapixel 1.
Carbure de siliciumLe carbure de silicium est un composé chimique de formule SiC. C'est une céramique ultraréfractaire ultradure semiconductrice synthétique, qu'on peut trouver dans la nature sous la forme d'un minéral très rare, la moissanite. Grâce au procédé Acheson, depuis la fin du , on sait produire industriellement de la poudre de carbure de silicium, qui servit d'abord comme abrasif. Les grains de SiC peuvent être traités par frittage pour obtenir des pièces en céramique très dures qui sont largement utilisées pour des applications exigeant une résistance élevée comme les freins, les embrayages, ou les plaques de certains gilets pare-balles.
Capteur photographique CCDvignette|Capteur photographique CCD pour l'imagerie astronomique. Un capteur photographique CCD est un capteur photographique basé sur un dispositif à transfert de charges (charge coupled device, CCD). Dans les scanners de documents et beaucoup d'autres applications similaires, les dispositifs sont linéaires ; ils passent transversalement sur l'objet à explorer. Dans les appareils photographiques et les caméras vidéo numériques, les capteurs sont regroupés sur une surface rectangulaire, où chaque CCD forme une ligne, souvent dans la plus petite dimension de l'image.
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.
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.
