Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Rayonnement sortant à grande longueur d'ondevignette|Moyenne annuelle de 2003-2010 du rayonnement sortant à grande longueur d'onde. Le rayonnement sortant à grande longueur d'onde, ou simplement rayonnement de grande longueur d'onde, est le rayonnement électromagnétique de basse énergie émis de la Terre vers l'espace dans le domaine infrarouge. Le flux d'énergie transporté par ce rayonnement est mesuré en watts par mètre carré (W/m2). Le refroidissement radiatif produit par ce rayonnement est la principale façon dont le système terrestre perd de l'énergie.
RadiomètreUn radiomètre est un instrument qui permet de mesurer l'intensité du flux de rayonnement électromagnétique, dans différents domaines de longueurs d'onde, tels que l'ultraviolet, la lumière visible et l'infrarouge. Si la mesure du rayonnement est effectuée en fonction de la longueur d'onde (ou de la fréquence), l'instrument est nommé spectroradiomètre. Les radiomètres sont notamment utilisés en météorologie, embarqués sur des satellites tels que METEOSAT ou SPOT.
