Coral reefA coral reef is an underwater ecosystem characterized by reef-building corals. Reefs are formed of colonies of coral polyps held together by calcium carbonate. Most coral reefs are built from stony corals, whose polyps cluster in groups. Coral belongs to the class Anthozoa in the animal phylum Cnidaria, which includes sea anemones and jellyfish. Unlike sea anemones, corals secrete hard carbonate exoskeletons that support and protect the coral. Most reefs grow best in warm, shallow, clear, sunny and agitated water.
Coral bleachingCoral bleaching is the process when corals become white due to various stressors, such as changes in temperature, light, or nutrients. Bleaching occurs when coral polyps expel the zooxanthellae (dinoflagellates that are commonly referred to as algae) that live inside their tissue, causing the coral to turn white. The zooxanthellae are photosynthetic, and as the water temperature rises, they begin to produce reactive oxygen species. This is toxic to the coral, so the coral expels the zooxanthellae.
CoralCorals are marine invertebrates within the class Anthozoa of the phylum Cnidaria. They typically form compact colonies of many identical individual polyps. Coral species include the important reef builders that inhabit tropical oceans and secrete calcium carbonate to form a hard skeleton. A coral "group" is a colony of very many genetically identical polyps. Each polyp is a sac-like animal typically only a few millimeters in diameter and a few centimeters in height. A set of tentacles surround a central mouth opening.
DinoflagellateThe dinoflagellates (Greek δῖνος dinos "whirling" and Latin flagellum "whip, scourge") are a monophyletic group of single-celled eukaryotes constituting the phylum Dinoflagellata and are usually considered protist. Dinoflagellates are mostly marine plankton, but they also are common in freshwater habitats. Their populations vary with sea surface temperature, salinity, and depth. Many dinoflagellates are photosynthetic, but a large fraction of these are in fact mixotrophic, combining photosynthesis with ingestion of prey (phagotrophy and myzocytosis).
SymbiodiniumSymbiodinium is a genus of dinoflagellates that encompasses the largest and most prevalent group of endosymbiotic dinoflagellates known. These unicellular microalgae commonly reside in the endoderm of tropical cnidarians such as corals, sea anemones, and jellyfish, where the products of their photosynthetic processing are exchanged in the host for inorganic molecules. They are also harbored by various species of demosponges, flatworms, mollusks such as the giant clams, foraminifera (soritids), and some ciliates.
Marine microorganismsMarine microorganisms are defined by their habitat as microorganisms living in a marine environment, that is, in the saltwater of a sea or ocean or the brackish water of a coastal estuary. A microorganism (or microbe) is any microscopic living organism or virus, that is too small to see with the unaided human eye without magnification. Microorganisms are very diverse. They can be single-celled or multicellular and include bacteria, archaea, viruses and most protozoa, as well as some fungi, algae, and animals, such as rotifers and copepods.
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.
EndosymbiontAn endosymbiont or endobiont is any organism that lives within the body or cells of another organism most often, though not always, in a mutualistic relationship. (The term endosymbiosis is from the Greek: ἔνδον endon "within", σύν syn "together" and βίωσις biosis "living".) Examples are nitrogen-fixing bacteria (called rhizobia), which live in the root nodules of legumes, single-cell algae inside reef-building corals and bacterial endosymbionts that provide essential nutrients to insects.
Isotopic labelingIsotopic labeling (or isotopic labelling) is a technique used to track the passage of an isotope (an atom with a detectable variation in neutron count) through a reaction, metabolic pathway, or cell. The reactant is 'labeled' by replacing specific atoms by their isotope. The reactant is then allowed to undergo the reaction. The position of the isotopes in the products is measured to determine the sequence the isotopic atom followed in the reaction or the cell's metabolic pathway.
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.
