Rotating disk electrodeIn analytical chemistry, a rotating disk electrode (RDE) is a working electrode used in three-electrode systems for hydrodynamic voltammetry. The electrode rotates during experiments, inducing a flux of analyte to the electrode. These working electrodes are used in electrochemical studies when investigating reaction mechanisms related to redox chemistry, among other chemical phenomena. The more complex rotating ring-disk electrode can be used as a rotating disk electrode if the ring is left inactive during the experiment.
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.
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.
Anaerobic organismAn anaerobic organism or anaerobe is any organism that does not require molecular oxygen for growth. It may react negatively or even die if free oxygen is present. In contrast, an aerobic organism (aerobe) is an organism that requires an oxygenated environment. Anaerobes may be unicellular (e.g. protozoans, bacteria) or multicellular. Most fungi are obligate aerobes, requiring oxygen to survive. However, some species, such as the Chytridiomycota that reside in the rumen of cattle, are obligate anaerobes; for these species, anaerobic respiration is used because oxygen will disrupt their metabolism or kill them.
Humboldt CurrentThe Humboldt Current is a cold, low-salinity ocean current that flows north along the western coast of South America. It is an eastern boundary current flowing in the direction of the equator, and extends offshore. The Humboldt Current is named after the German naturalist Alexander von Humboldt even though it was discovered by José de Acosta 250 years before Humboldt. In 1846, von Humboldt reported measurements of the cold-water current in his book Cosmos.
Boundary currentBoundary currents are ocean currents with dynamics determined by the presence of a coastline, and fall into two distinct categories: western boundary currents and eastern boundary currents. Eastern boundary currents are relatively shallow, broad and slow-flowing. They are found on the eastern side of oceanic basins (adjacent to the western coasts of continents). Subtropical eastern boundary currents flow equatorward, transporting cold water from higher latitudes to lower latitudes; examples include the Benguela Current, the Canary Current, the Humboldt (Peru) Current, and the California Current.
Induction heatingInduction heating is the process of heating electrically conductive materials, namely metals or semi-conductors, by electromagnetic induction, through heat transfer passing through an inductor that creates an electromagnetic field within the coil to heat up and possibly melt steel, copper, brass, graphite, gold, silver, aluminum, or carbide. An important feature of the induction heating process is that the heat is generated inside the object itself, instead of by an external heat source via heat conduction.
Facultative anaerobic organismA facultative anaerobic organism is an organism that makes ATP by aerobic respiration if oxygen is present, but is capable of switching to fermentation if oxygen is absent. Some examples of facultatively anaerobic bacteria are Staphylococcus spp., Escherichia coli, Salmonella, Listeria spp., Shewanella oneidensis and Yersinia pestis. Certain eukaryotes are also facultative anaerobes, including fungi such as Saccharomyces cerevisiae and many aquatic invertebrates such as nereid polychaetes.
Reactive armourReactive armour is a type of vehicle armour that reacts in some way to the impact of a weapon to reduce the damage done to the vehicle being protected. It is most effective in protecting against shaped charges and specially hardened kinetic energy penetrators. The most common type is explosive reactive armour (ERA), but variants include self-limiting explosive reactive armour (SLERA), non-energetic reactive armour (NERA), non-explosive reactive armour (NxRA), and electric armour.
Agulhas CurrentThe Agulhas Current (əˈɡʌləs) is the western boundary current of the southwest Indian Ocean. It flows south along the east coast of Africa from 27°S to 40°S. It is narrow, swift and strong. It is suggested that it is the largest western boundary current in the world ocean, with an estimated net transport of 70 sverdrups (70 million cubic metres per second), as western boundary currents at comparable latitudes transport less — Brazil Current (16.2 Sv), Gulf Stream (34 Sv), Kuroshio (42 Sv).
