International Union of Pure and Applied ChemistryThe International Union of Pure and Applied Chemistry (IUPAC ˈaɪjuːpæk,_ˈjuː-) is an international federation of National Adhering Organizations working for the advancement of the chemical sciences, especially by developing nomenclature and terminology. It is a member of the International Science Council (ISC). IUPAC is registered in Zürich, Switzerland, and the administrative office, known as the "IUPAC Secretariat", is in Research Triangle Park, North Carolina, United States.
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.
Water distribution systemA water distribution system is a part of water supply network with components that carry potable water from a centralized treatment plant or wells to consumers to satisfy residential, commercial, industrial and fire fighting requirements. Water distribution network is the term for the portion of a water distribution system up to the service points of bulk water consumers or demand nodes where many consumers are lumped together.
TurbidityTurbidity is the cloudiness or haziness of a fluid caused by large numbers of individual particles that are generally invisible to the naked eye, similar to smoke in air. The measurement of turbidity is a key test of both water clarity and water quality. Fluids can contain suspended solid matter consisting of particles of many different sizes. While some suspended material will be large enough and heavy enough to settle rapidly to the bottom of the container if a liquid sample is left to stand (the settable solids), very small particles will settle only very slowly or not at all if the sample is regularly agitated or the particles are colloidal.
BleachBleach is the generic name for any chemical product that is used industrially or domestically to remove colour (whitening) from fabric or fiber or to clean or to remove stains in a process called bleaching. It often refers specifically to a dilute solution of sodium hypochlorite, also called "liquid bleach". Many bleaches have broad-spectrum bactericidal properties, making them useful for disinfecting and sterilizing. They are used in swimming pool sanitation to control bacteria, viruses, and algae and in many places where sterile conditions are required.
Sodium bromideSodium bromide is an inorganic compound with the formula NaBr. It is a high-melting white, crystalline solid that resembles sodium chloride. It is a widely used source of the bromide ion and has many applications. NaBr crystallizes in the same cubic motif as NaCl, NaF and NaI. The anhydrous salt crystallizes above 50.7 °C. Dihydrate salts (NaBr·2H2O) crystallize out of water solution below 50.7 °C. NaBr is produced by treating sodium hydroxide with hydrogen bromide. Sodium bromide can be used as a source of the chemical element bromine.
Higher-order logicIn mathematics and logic, a higher-order logic (abbreviated HOL) is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic. The term "higher-order logic" is commonly used to mean higher-order simple predicate logic.
Giardia duodenalisGiardia duodenalis, also known as Giardia intestinalis and Giardia lamblia, is a flagellated parasitic microorganism of the genus Giardia that colonizes the small intestine, causing a diarrheal condition known as giardiasis. The parasite attaches to the epithelium by a ventral adhesive disc or sucker, and reproduces via binary fission. Giardiasis does not spread via the bloodstream, nor does it spread to other parts of the gastrointestinal tract, but remains confined to the lumen of the small intestine.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Microbial cystA microbial cyst is a resting or dormant stage of a microorganism, usually a bacterium or a protist or rarely an invertebrate animal, that helps the organism to survive in unfavorable environmental conditions. It can be thought of as a state of suspended animation in which the metabolic processes of the cell are slowed and the cell ceases all activities like feeding and locomotion. Encystment, the formation of the cyst, also helps the microbe to disperse easily, from one host to another or to a more favorable environment.
