Environmental impact of agricultureThe environmental impact of agriculture is the effect that different farming practices have on the ecosystems around them, and how those effects can be traced back to those practices. The environmental impact of agriculture varies widely based on practices employed by farmers and by the scale of practice. Farming communities that try to reduce environmental impacts through modifying their practices will adopt sustainable agriculture practices.
Persistent organic pollutantPersistent organic pollutants (POPs) are organic compounds that are resistant to degradation through chemical, biological, and photolytic processes. They are toxic chemicals that adversely affect human health and the environment around the world. Because they can be transported by wind and water, most POPs generated in one country can and do affect people and wildlife far from where they are used and released.
Clay mineralClay minerals are hydrous aluminium phyllosilicates (e.g. kaolin, Al2Si2O5(OH)4), sometimes with variable amounts of iron, magnesium, alkali metals, alkaline earths, and other cations found on or near some planetary surfaces. Clay minerals form in the presence of water and have been important to life, and many theories of abiogenesis involve them. They are important constituents of soils, and have been useful to humans since ancient times in agriculture and manufacturing.
Mineral (nutrient)In the context of nutrition, a mineral is a chemical element required as an essential nutrient by organisms to perform functions necessary for life. However, the four major structural elements in the human body by weight (carbon, hydrogen, oxygen, and nitrogen) (CHON), are usually not included in lists of major nutrient minerals (nitrogen is considered a "mineral" for plants, as it often is included in fertilizers). These four elements compose about 96% of the weight of the human body, and major minerals (macrominerals) and minor minerals (also called trace elements) compose the remainder.
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.
Chemical formulaIn chemistry, a chemical formula is a way of presenting information about the chemical proportions of atoms that constitute a particular chemical compound or molecule, using chemical element symbols, numbers, and sometimes also other symbols, such as parentheses, dashes, brackets, commas and plus (+) and minus (−) signs. These are limited to a single typographic line of symbols, which may include subscripts and superscripts. A chemical formula is not a chemical name since it does not contain any words.
Effects of climate changeClimate change affects the physical environment, ecosystems and human societies. Changes in the climate system include an overall warming trend, more extreme weather and rising sea levels. These in turn impact nature and wildlife, as well as human settlements and societies. The effects of human-caused climate change are broad and far-reaching, especially if significant climate action is not taken. The projected and observed negative impacts of climate change are sometimes referred to as the climate crisis.
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.
Cosmic dustCosmic dust - also called extraterrestrial dust, space dust, or star dust - is dust that occurs in outer space or has fallen onto Earth. Most cosmic dust particles measure between a few molecules and , such as micrometeoroids. Larger particles are called meteoroids. Cosmic dust can be further distinguished by its astronomical location: intergalactic dust, interstellar dust, interplanetary dust (as in the zodiacal cloud), and circumplanetary dust (as in a planetary ring). There are several methods to obtain space dust measurement.
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.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
