FluorescenceFluorescence is the emission of light by a substance that has absorbed light or other electromagnetic radiation. It is a form of luminescence. In most cases, the emitted light has a longer wavelength, and therefore a lower photon energy, than the absorbed radiation. A perceptible example of fluorescence occurs when the absorbed radiation is in the ultraviolet region of the electromagnetic spectrum (invisible to the human eye), while the emitted light is in the visible region; this gives the fluorescent substance a distinct color that can only be seen when the substance has been exposed to UV light.
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.
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.
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.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
Singlet oxygenSinglet oxygen, systematically named dioxygen(singlet) and dioxidene, is a gaseous inorganic chemical with the formula O=O (also written as 1[O2] or 1O2), which is in a quantum state where all electrons are spin paired. It is kinetically unstable at ambient temperature, but the rate of decay is slow. The lowest excited state of the diatomic oxygen molecule is a singlet state. It is a gas with physical properties differing only subtly from those of the more prevalent triplet ground state of O2.
Fluorescence spectroscopyFluorescence spectroscopy (also known as fluorimetry or spectrofluorometry) is a type of electromagnetic spectroscopy that analyzes fluorescence from a sample. It involves using a beam of light, usually ultraviolet light, that excites the electrons in molecules of certain compounds and causes them to emit light; typically, but not necessarily, visible light. A complementary technique is absorption spectroscopy. In the special case of single molecule fluorescence spectroscopy, intensity fluctuations from the emitted light are measured from either single fluorophores, or pairs of fluorophores.
Fluorescence microscopeA fluorescence microscope is an optical microscope that uses fluorescence instead of, or in addition to, scattering, reflection, and attenuation or absorption, to study the properties of organic or inorganic substances. "Fluorescence microscope" refers to any microscope that uses fluorescence to generate an image, whether it is a simple set up like an epifluorescence microscope or a more complicated design such as a confocal microscope, which uses optical sectioning to get better resolution of the fluorescence image.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Optical brightenerOptical brighteners, optical brightening agents (OBAs), fluorescent brightening agents (FBAs), or fluorescent whitening agents (FWAs), are chemical compounds that absorb light in the ultraviolet and violet region (usually 340-370 nm) of the electromagnetic spectrum, and re-emit light in the blue region (typically 420-470 nm) through the phenomenon of fluorescence.
Dissolved organic carbonDissolved organic carbon (DOC) is the fraction of organic carbon operationally defined as that which can pass through a filter with a pore size typically between 0.22 and 0.7 micrometers. The fraction remaining on the filter is called particulate organic carbon (POC). Dissolved organic matter (DOM) is a closely related term often used interchangeably with DOC. While DOC refers specifically to the mass of carbon in the dissolved organic material, DOM refers to the total mass of the dissolved organic matter.
Humic substanceHumic substances (HS) are coloured recalcitrant organic compounds naturally formed during long-term decomposition and transformation of biomass residues. The colour of humic substances varies from yellow to brown to black. Humic substances represent the major part of organic matter in soil, peat, coal and sediments and are important components of dissolved natural organic matter (NOM) in lakes (especially, dystrophic lakes), rivers and sea water.
Titanium dioxideTitanium dioxide, also known as titanium(IV) oxide or titania taɪˈteɪniə, is the inorganic compound with the chemical formula TiO2. When used as a pigment, it is called titanium white, Pigment White 6 (PW6), or CI 77891. It is a white solid that is insoluble in water, although mineral forms can appear black. As a pigment, it has a wide range of applications, including paint, sunscreen, and food coloring. When used as a food coloring, it has E number E171. World production in 2014 exceeded 9 million tonnes.
Industrial wastewater treatmentIndustrial wastewater treatment describes the processes used for treating wastewater that is produced by industries as an undesirable by-product. After treatment, the treated industrial wastewater (or effluent) may be reused or released to a sanitary sewer or to a surface water in the environment. Some industrial facilities generate wastewater that can be treated in sewage treatment plants.
Polymer degradationPolymer degradation is the reduction in the physical properties of a polymer, such as strength, caused by changes in its chemical composition. Polymers and particularly plastics are subject to degradation at all stages of their product life cycle, including during their initial processing, use, disposal into the environment and recycling. The rate of this degradation varies significantly; biodegradation can take decades, whereas some industrial processes can completely decompose a polymer in hours.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Photo-oxidation of polymersIn polymer chemistry photo-oxidation (sometimes: oxidative photodegradation) is the degradation of a polymer surface due to the combined action of light and oxygen. It is the most significant factor in the weathering of plastics. Photo-oxidation causes the polymer chains to break (chain scission), resulting in the material becoming increasingly brittle. This leads to mechanical failure and, at an advanced stage, the formation of microplastics. In textiles the process is called phototendering.
Nitrogen cycleThe nitrogen cycle is the biogeochemical cycle by which nitrogen is converted into multiple chemical forms as it circulates among atmospheric, terrestrial, and marine ecosystems. The conversion of nitrogen can be carried out through both biological and physical processes. Important processes in the nitrogen cycle include fixation, ammonification, nitrification, and denitrification. The majority of Earth's atmosphere (78%) is atmospheric nitrogen, making it the largest source of nitrogen.
