ArcheanThe Archean Eon (ɑrˈkiːən , also spelled Archaean or Archæan), in older sources sometimes called the Archaeozoic, is the second of the four geologic eons of Earth's history, preceded by the Hadean eon and followed by the Proterozoic. The Archean represents the time period from (millions of years ago). The Late Heavy Bombardment is hypothesized to overlap with the beginning of the Archean. The Huronian glaciation occurred at the end of the eon.
Silica cycleThe silica cycle is the biogeochemical cycle in which biogenic silica is transported between the Earth's systems. Silicon is considered a bioessential element and is one of the most abundant elements on Earth. The silica cycle has significant overlap with the carbon cycle (see carbonate–silicate cycle) and plays an important role in the sequestration of carbon through continental weathering, biogenic export and burial as oozes on geologic timescales.
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.
Theistic evolutionTheistic evolution (also known as theistic evolutionism or God-guided evolution) is a view that God acts and creates through laws of nature. It posits that the concept of God is compatible with the findings of modern science, including evolution. Theistic evolution is not in itself a scientific theory, but includes a range of views about how science relates to religious beliefs and the extent to which God intervenes. It rejects the strict creationist doctrines of special creation, but can include beliefs such as creation of the human soul.
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.
HydroxyapatiteHydroxyapatite (HA), is a naturally occurring mineral form of calcium apatite with the formula , but it is usually written to denote that the crystal unit cell comprises two entities. Hydroxylapatite is the hydroxyl endmember of the complex apatite group. The ion can be replaced by fluoride, chloride, producing fluorapatite or chlorapatite. It crystallizes in the hexagonal crystal system. Pure hydroxylapatite powder is white. Naturally occurring apatites can, however, also have brown, yellow, or green colorations, comparable to the discolorations of dental fluorosis.
ApatiteApatite is a group of phosphate minerals, usually hydroxyapatite, fluorapatite and chlorapatite, with high concentrations of OH−, F− and Cl− ion, respectively, in the crystal. The formula of the admixture of the three most common endmembers is written as Ca10(PO4)6(OH,F,Cl)2, and the crystal unit cell formulae of the individual minerals are written as Ca10(PO4)6(OH)2, Ca10(PO4)6F2 and Ca10(PO4)6Cl2.
Fumed silicaFumed silica (CAS number 112945-52-5), also known as pyrogenic silica because it is produced in a flame, consists of microscopic droplets of amorphous silica fused into branched, chainlike, three-dimensional secondary particles which then agglomerate into tertiary particles. The resulting powder has an extremely low bulk density and high surface area. Its three-dimensional structure results in viscosity-increasing, thixotropic behavior when used as a thickener or reinforcing filler.
LagerstätteA Lagerstätte (ˈlaːɡɐˌʃtɛtə, from Lager 'storage, lair' Stätte 'place'; plural Lagerstätten) or fossil bed is a sedimentary deposit that exhibits extraordinary fossils with exceptional preservation—sometimes including preserved soft tissues. These formations may have resulted from carcass burial in an anoxic environment with minimal bacteria, thus delaying the decomposition of both gross and fine biological features until long after a durable impression was created in the surrounding matrix.
Sociocultural evolutionSociocultural evolution, sociocultural evolutionism or social evolution are theories of sociobiology and cultural evolution that describe how societies and culture change over time. Whereas sociocultural development traces processes that tend to increase the complexity of a society or culture, sociocultural evolution also considers process that can lead to decreases in complexity (degeneration) or that can produce variation or proliferation without any seemingly significant changes in complexity (cladogenesis).
Calcite seaA calcite sea is a sea in which low-magnesium calcite is the primary inorganic marine calcium carbonate precipitate. An aragonite sea is the alternate seawater chemistry in which aragonite and high-magnesium calcite are the primary inorganic carbonate precipitates. The Early Paleozoic and the Middle to Late Mesozoic oceans were predominantly calcite seas, whereas the Middle Paleozoic through the Early Mesozoic and the Cenozoic (including today) are characterized by aragonite seas.
Diversity indexA diversity index is a quantitative measure that reflects how many different types (such as species) there are in a dataset (a community), and that can simultaneously take into account the phylogenetic relations among the individuals distributed among those types, such as richness, divergence or evenness. These indices are statistical representations of biodiversity in different aspects (richness, evenness, and dominance).
