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.
Équilibre chimiqueUn équilibre chimique est le résultat de deux réactions chimiques simultanées dont les effets s'annulent mutuellement. Une réaction telle que la combustion du propane avec l'oxygène, qui s'arrête lorsque l'un des réactifs est totalement épuisé, est qualifiée de réaction totale, complète ou irréversible. À contrario, une réaction comme l'estérification, aboutissant à un mélange stable dans le temps de réactifs et de produits, sans disparition totale de l'une des espèces chimiques, est qualifiée de réaction partielle, incomplète, réversible ou inversible : ce type de réaction aboutit à un équilibre chimique.
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.
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).
PhotodétecteurUn photodétecteur (ou détecteur photosensible ou détecteur optique ou détecteur de lumière) est un dispositif (détecteur) qui transforme la lumière qu'il absorbe en une grandeur mesurable, généralement un courant ou une tension électrique. Le capteur à fibre optique repose sur ce principe. Photodétecteurs (simples) : photomultiplicateur (ou phototube ou tube photomultiplicateur) ; photoconducteur (ou détecteur photoconducteur) ; photodiode ; photodiode à avalanche.
Constante d'équilibreEn chimie, une constante d'équilibre caractérise l'état d'équilibre d'un système chimique. Elle est donc associée à un état du système qui ne peut pas évoluer de manière spontanée. La valeur de la constante d'équilibre dépend uniquement de la réaction chimique considérée et de la température. Les constantes d'équilibre sont généralement données à . Claude-Louis Berthollet fut le premier, en 1803, à comprendre que toute réaction chimique n'est pas totale.
Potentiel VoltaLe potentiel Volta (également appelé différence de potentiel Volta, différence de potentiel de contact, différence de potentiel externe, Δψ, ou "delta psi") en électrochimie, est la différence de potentiel électrostatique entre deux métaux (ou un métal et un électrolyte ) qui sont en contact et sont en équilibre thermodynamique. Plus précisément, il s'agit de la différence de potentiel entre un point proche de la surface du premier métal et un point proche de la surface du second métal (ou électrolyte ).
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.
Énergie potentielleL'énergie potentielle d'un système physique est l'énergie liée à une interaction, qui a la capacité de se transformer en d'autres formes d'énergie, le plus souvent en énergie cinétique, une énergie de mouvement. La force qui modélise l'interaction est une force conservative c'est-à-dire que son travail ne dépend pas du chemin suivi lors du déplacement, mais uniquement du point de départ et du point d'arrivée : .
EstranL'estran, zone de balancement des marées, zone de marnage, zone intertidale ou replat de marée également appelé foreshore (de l'anglais) en sédimentologie, est la partie du littoral située entre les limites extrêmes des plus hautes et des plus basses marées. Il constitue un biotope spécifique, qui peut abriter de nombreux sous-habitats naturels. Il est découpé en trois étages, de haut en bas : l’étage supralittoral, l’étage médiolittoral et l’étage infralittoral. thumb|250px|Battures du fleuve Saint-Laurent.
Hypoxia (environmental)Hypoxia refers to low oxygen conditions. Normally, 20.9% of the gas in the atmosphere is oxygen. The partial pressure of oxygen in the atmosphere is 20.9% of the total barometric pressure. In water, oxygen levels are much lower, approximately 7 ppm or 0.0007% in good quality water, and fluctuate locally depending on the presence of photosynthetic organisms and relative distance to the surface (if there is more oxygen in the air, it will diffuse across the partial pressure gradient).
Zone photiquethumb|right|250px|Diagramme des couches de la zone pélagique. La zone photique, aussi nommée zone euphotique, zone épipélagique ou couche photique, est la zone aquatique d’un lac ou d’un océan exposée à une lumière suffisante pour que la photosynthèse s'y produise. La profondeur de la zone photique peut être grandement affectée par la turbidité et la latitude. Elle s’étend jusqu’à une profondeur à laquelle l’intensité lumineuse résiduelle correspond à 1 % de celle en surface (également appelée « profondeur euphotique »).
