Boussinesq approximation (water waves)In fluid dynamics, the Boussinesq approximation for water waves is an approximation valid for weakly non-linear and fairly long waves. The approximation is named after Joseph Boussinesq, who first derived them in response to the observation by John Scott Russell of the wave of translation (also known as solitary wave or soliton). The 1872 paper of Boussinesq introduces the equations now known as the Boussinesq equations. The Boussinesq approximation for water waves takes into account the vertical structure of the horizontal and vertical flow velocity.
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.
Compressive strengthIn mechanics, compressive strength (or compression strength) is the capacity of a material or structure to withstand loads tending to reduce size (as opposed to tensile strength which withstands loads tending to elongate). In other words, compressive strength resists compression (being pushed together), whereas tensile strength resists tension (being pulled apart). In the study of strength of materials, tensile strength, compressive strength, and shear strength can be analyzed independently.
Wave function collapseIn quantum mechanics, wave function collapse occurs when a wave function—initially in a superposition of several eigenstates—reduces to a single eigenstate due to interaction with the external world. This interaction is called an observation, and is the essence of a measurement in quantum mechanics, which connects the wave function with classical observables such as position and momentum. Collapse is one of the two processes by which quantum systems evolve in time; the other is the continuous evolution governed by the Schrödinger equation.
Coated paperCoated paper (also known as enamel paper, gloss paper, and thin paper) is paper that has been coated by a mixture of materials or a polymer to impart certain qualities to the paper, including weight, surface gloss, smoothness, or reduced ink absorbency. Various materials, including kaolinite, calcium carbonate, bentonite, and talc, can be used to coat paper for high-quality printing used in the packaging industry and in magazines. The chalk or china clay is bound to the paper with synthetic s, such as styrene-butadiene latexes and natural organic binders such as starch.
CalliphoridaeThe Calliphoridae (commonly known as blow flies, blow-flies, carrion flies, bluebottles, or greenbottles) are a family of insects in the order Diptera, with almost 1,900 known species. The maggot larvae, often used as fishing bait, are known as gentles. The family is known to be polyphyletic, but much remains disputed regarding proper treatment of the constituent taxa, some of which are occasionally accorded family status (e.g., Bengaliidae and Helicoboscidae).
Phormia reginaPhormia regina, the black blow fly, belongs to the blow fly family Calliphoridae and was first described by Johann Wilhelm Meigen. The black blow fly's wings are specialized with a sharp bend. These flies are also have well-developed calypters. Blow flies generally are about the size of a house fly or a little larger, and many are metallic blue or green in color. Key characteristics of this species include black gena, mostly white calypters, and anterior thoracic spiracles that appear to be orange yellow due to being surrounded by bright orange setae.
