Impact environnemental de l'agricultureL'agriculture est une activité humaine qui modifie profondément les écosystèmes naturels afin de produire des ressources (principalement alimentaires) utiles aux humains. Elle occupe une proportion importante des surfaces de terres émergées, avec des conséquences majeures pour être utiles aux humains. Les impacts de l'agriculture sur les sols et la biodiversité existent depuis son apparition, il y a environ .
Polluant organique persistantvignette|En 1958, le programme national d'éradication du paludisme des États-Unis a utilisé une approche entièrement nouvelle mettant en œuvre le DDT pour la pulvérisation des moustiques. Le DDT, développé pour la première fois au début de la Seconde Guerre mondiale, était très efficace dans la lutte contre les maladies à transmission vectorielle telles que le paludisme, le typhus, mais a été interdit par l'Environmental Protection Agency en juin 1972, d'utilisation générale aux États-Unis.
Minéral argileuxLes minéraux argileux, ou simplement les argiles, sont des aluminosilicates hydratés de la famille des phyllosilicates. Ces minéraux sont les constituants principaux des roches argileuses et du matériau obtenu à partir de ces roches après un éventuel raffinage (ces roches et ce matériau sont également appelées argiles). Ces derniers sont classés en trois grandes familles selon l'épaisseur des feuillets (0,7 ; 1,0 ou ), qui correspondent à un nombre de couches d'oxydes tétraédriques (Si) et octaédriques (Al, Ni, Mg, Fe, Fe, Mn, Na, K).
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.
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.
Poussière cosmiquevignette|250px|droite|Poussière interplanétaire, poreuse et chondritique. La poussière cosmique est la poussière présente dans l'espace. L'essentiel de cette poussière est formé de grains de taille inférieure à , mais on y trouve aussi des cristaux réfractaires de taille avoisinant ou dépassant le micron. La poussière cosmique comprend de la matière organique complexe (des solides amorphes de structure mixte aromatique–aliphatique), qui pourrait avoir été synthétisée dans d'anciennes atmosphères stellaires.
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.
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.
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.
