Réchauffement climatiquevignette|redresse=1.35|Températures moyennes de l'air en surface de 2011 à 2020 par rapport à une moyenne de référence de 1951 à 1980. vignette|redresse=1.35|Température observée par la NASA par rapport à la moyenne de 1850-1900 comme référence préindustrielle. Le principal facteur d'augmentation des températures mondiales à l'ère industrielle est l'activité humaine, les forces naturelles ajoutant de la variabilité. vignette|redresse=1.35|L'énergie circule entre l'espace, l'atmosphère et la surface de la Terre.
Nucléationvignette|Nucléation de bulles de CO2 autour d'un doigt. La nucléation (ou germination) est l'apparition de petits domaines (appelés nuclei ou germes) d'une nouvelle phase à l'intérieur ou à la frontière d'une phase homogène devenue instable (en raison d'une modification de la température, de la pression ou de sa composition). La nucléation est une étape indispensable à la réalisation de la plupart des transitions de phase (fluide ↔ fluide, solide ↔ solide et fluide → solide).
Cristallisation (chimie)vignette|Cristaux de sel obtenus par cristallisation lente dans une saumure à température ambiante. 250px|vignette La cristallisation est une opération unitaire du génie chimique consistant à isoler un produit sous forme de cristaux. La cristallisation est l’une des opérations physiques les plus anciennes pratiquées, avec l'évaporation de l’eau de mer pour isoler du sel.
ClimatLe climat est la distribution statistique des conditions de l'atmosphère terrestre dans une région donnée pendant une période donnée. L'étude du climat est la climatologie. Elle se distingue de la météorologie qui désigne l'étude du temps dans l’atmosphère à court terme et dans des zones ponctuelles. La caractérisation du climat est effectuée à partir de mesures statistiques annuelles et mensuelles sur des données atmosphériques locales : température, pression atmosphérique, précipitations, ensoleillement, humidité, vitesse du vent.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Passive daytime radiative coolingPassive daytime radiative cooling (PDRC) is a renewable cooling method proposed as a solution to global warming of enhancing terrestrial heat flow to outer space through the installation of thermally-emissive surfaces on Earth that require zero energy consumption or pollution. Because all materials in nature absorb more heat during the day than at night, PDRC surfaces are designed to be high in solar reflectance (to minimize heat gain) and strong in longwave infrared (LWIR) thermal radiation heat transfer through the atmosphere's infrared window (8–13 μm) to cool temperatures during the daytime.
Projet d'intercomparaison des modèles couplésLe projet d’intercomparaison des modèles couplés (CMIP pour Coupled model intercomparison project en anglais) est un projet du programme mondial de recherche sur le climat (WCRP). Ce projet vise à réaliser des simulations climatiques de façons coordonnées entre les différents groupes de recherche, permettant une meilleure estimation et compréhension des différences entre les modèles climatiques. Il permet, en outre, d’estimer l’incertitude due à l’imperfection des modèles dans l’estimation du changement climatique lié à l’homme.
Glace de merthumb|upright=1.25|Fragments épars de glace de mer recouverts de neige. thumb|upright=1.25|Lame fine de glace de mer, observée sous une lumière à polarisation croisée. Tous les cristaux (que l'on distingue grâce aux couleurs d'interférence différentes) contiennent des inclusions de saumure (solution saline) et d'air ; inclusions situées dans le plan cristallographique. La glace de mer est constituée d'eau de mer gelée, et parfois aussi de neige tassée ou d'eau douce gelée (l'eau de mer gèle à une température plus basse - environ -2°C - que l'eau douce).
Oscillation arctiquevignette|upright=.65|Positions moyennes des systèmes météorologiques lors des oscillations arctiques positives et négatives. L’oscillation arctique (OA) est une variation de la différence de pression atmosphérique, au niveau de la mer, entre 20° N et le Pôle, d'une année à l'autre. Cette variation est reliée à l'intensité et la position moyenne des dépressions et anticyclones entre l'Arctique et les latitudes de 37° à 45° nord ; ainsi que celle du vortex polaire.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
