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.
Bottled waterBottled water is drinking water (e.g., well water, distilled water, mineral water, or spring water) packaged in plastic or glass water bottles. Bottled water may be carbonated or not. Sizes range from small single serving bottles to large carboys for water coolers. Although vessels to bottle and transport water were part of the earliest human civilizations, bottling water began in the United Kingdom with the first water bottling at the Holy Well in 1622.
Water conservationWater conservation includes all the policies, strategies and activities to sustainably manage the natural resource of fresh water, to protect the hydrosphere, and to meet the current and future human demand (thus avoiding water scarcity). Population, household size and growth and affluence all affect how much water is used. Factors such as climate change have increased pressures on natural water resources especially in manufacturing and agricultural irrigation.
Deposition (geology)Deposition is the geological process in which sediments, soil and rocks are added to a landform or landmass. Wind, ice, water, and gravity transport previously weathered surface material, which, at the loss of enough kinetic energy in the fluid, is deposited, building up layers of sediment. This thing occurs occurs when the forces responsible for sediment transportation are no longer sufficient to overcome the forces of gravity and friction, creating a resistance to motion; this is known as the null-point hypothesis.
Water supplyWater supply is the provision of water by public utilities, commercial organisations, community endeavors or by individuals, usually via a system of pumps and pipes. Public water supply systems are crucial to properly functioning societies. These systems are what supply drinking water to populations around the globe. Aspects of service quality include continuity of supply, water quality and water pressure. The institutional responsibility for water supply is arranged differently in different countries and regions (urban versus rural).
Water conflictWater conflict or water war is a term describing a conflict between countries, states, or groups over the rights to access water resources. The United Nations recognizes that water disputes result from opposing interests of water users, public or private. A wide range of water conflicts appear throughout history, though rarely are traditional wars waged over water alone. Instead, water has long been a source of tension and one of the causes for conflicts.
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.
Ion-exchange resinAn ion-exchange resin or ion-exchange polymer is a resin or polymer that acts as a medium for ion exchange. It is an insoluble matrix (or support structure) normally in the form of small (0.25–1.43 mm radius) microbeads, usually white or yellowish, fabricated from an organic polymer substrate. The beads are typically porous (with a specific size distribution that will affect its properties), providing a large surface area on and inside them where the trapping of ions occurs along with the accompanying release of other ions, and thus the process is called ion exchange.
GeomorphologyGeomorphology (from Ancient Greek: γῆ, gê, "earth"; μορφή, morphḗ, "form"; and λόγος, lógos, "study") is the scientific study of the origin and evolution of topographic and bathymetric features created by physical, chemical or biological processes operating at or near Earth's surface. Geomorphologists seek to understand why landscapes look the way they do, to understand landform and terrain history and dynamics and to predict changes through a combination of field observations, physical experiments and numerical modeling.
Open-channel flowIn fluid mechanics and hydraulics, open-channel flow is a type of liquid flow within a conduit with a free surface, known as a channel. The other type of flow within a conduit is pipe flow. These two types of flow are similar in many ways but differ in one important respect: open-channel flow has a free surface, whereas pipe flow does not. Open-channel flow can be classified and described in various ways based on the change in flow depth with respect to time and space.
