Tempête de sableUne tempête de sable est un phénomène météorologique qui se manifeste par des vents violents provoquant la déflation et le transport des particules de sable dans l'atmosphère, par le processus de saltation, voire par suspension pour les sables fins. Les tempêtes de poussières sont similaires mais le substrat soulevé est le sol desséché. Elles laissent dans leur sillage ou ensuite des brumes de sable qui contribuent à la pollution de l'air par les particules.
Sel minéralvignette|Le sel contient deux sel minéraux à l'état pur : le sodium et le chlore. Les sels minéraux sont des éléments chimiques qui entrent dans la composition des organismes et qui sont présents dans l'alimentation animale et végétale. La concentration de certain sels minéraux dans les fruits et légumes a considérablement diminué entre 1940 et 2020. Ils se présentent sous forme ionique (anions ou cations), comme Ca2+ pour le calcium et Cl− pour le chlore. Ce sont des substances indispensables à l'organisme.
Minéralvignette|Quartz. Un minéral est essentiellement une substance chimique cristalline formée par un processus géologique, mais cette définition comporte quelques exceptions. Il peut être décrit, dans la très grande majorité des cas, comme une matière cristallisée caractérisée par sa composition chimique et l'agencement de ses atomes selon une périodicité et une symétrie précises qui se reflètent dans le système cristallin et le groupe d'espace du minéral.
Composition of the human bodyBody composition may be analyzed in various ways. This can be done in terms of the chemical elements present, or by molecular type e.g., water, protein, fats (or lipids), hydroxylapatite (in bones), carbohydrates (such as glycogen and glucose) and DNA. In terms of tissue type, the body may be analyzed into water, fat, connective tissue, muscle, bone, etc. In terms of cell type, the body contains hundreds of different types of cells, but notably, the largest number of cells contained in a human body (though not the largest mass of cells) are not human cells, but bacteria residing in the normal human gastrointestinal tract.
Formule chimiquethumb|Formule développée plane de l'isobutane. La formule chimique d'un composé chimique, d'une espèce chimique ou d'un minéral est une expression indiquant quels éléments, et dans quelles proportions, constituent ce composé, cette entité ou ce minéral (par exemple la formule brute de l'eau est ). Les formules chimiques obéissent à une certaine standardisation, afin de faciliter leur et d'éviter les ambiguïtés.
Enjeux du réchauffement climatiqueCet article examine les enjeux du réchauffement climatique. En 1824, le physicien français Joseph Fourier découvre le phénomène de l'effet de serre et son effet sur le bilan thermique de la Terre. En 1896, Svante Arrhenius publie un article décrivant le phénomène, et proposant une prédiction de l'élévation de la température atmosphérique en cas de doublement de la concentration en . Dans les années 1980, cette question refait surface à l'échelle mondiale, avec la création du GIEC en 1988.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
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.
Economic analysis of climate changeThe economic analysis of climate change explains how economic thinking, tools and techniques are applied to calculate the magnitude and distribution of damage caused by climate change. It also informs the policies and approaches for mitigation and adaptation to climate change from global to household scales. This topic is also inclusive of alternative economic approaches, including ecological economics and degrowth. Economic analysis of climate change is considered challenging as it is a long-term problem and has substantial distributional issues within and across countries.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Particules en suspensionLes particules en suspension sont toutes les particules (solides ou en aérosols) portées par l'eau ou par l'air, quantifiables par filtration ou par d'autres procédés physiques. Les matières particulaires ou PM (acronyme de particulate matter en anglais) sont les particules en suspension dans l'atmosphère terrestre (aérosols atmosphériques). Un taux élevé de particules fines et ultrafines dans l'air est un facteur de risque sanitaire (maladies cardiovasculaires, altération des fonctions pulmonaires, cancer du poumon), induisant une nette diminution de l'espérance de vie.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
