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.
Induced seismicityInduced seismicity is typically earthquakes and tremors that are caused by human activity that alters the stresses and strains on Earth's crust. Most induced seismicity is of a low magnitude. A few sites regularly have larger quakes, such as The Geysers geothermal plant in California which averaged two M4 events and 15 M3 events every year from 2004 to 2009. The Human-Induced Earthquake Database (HiQuake) documents all reported cases of induced seismicity proposed on scientific grounds and is the most complete compilation of its kind.
Fluid mechanicsFluid mechanics is the branch of physics concerned with the mechanics of fluids (liquids, gases, and plasmas) and the forces on them. It has applications in a wide range of disciplines, including mechanical, aerospace, civil, chemical, and biomedical engineering, as well as geophysics, oceanography, meteorology, astrophysics, and biology. It can be divided into fluid statics, the study of fluids at rest; and fluid dynamics, the study of the effect of forces on fluid motion.
Seismic hazardA seismic hazard is the probability that an earthquake will occur in a given geographic area, within a given window of time, and with ground motion intensity exceeding a given threshold. With a hazard thus estimated, risk can be assessed and included in such areas as building codes for standard buildings, designing larger buildings and infrastructure projects, land use planning and determining insurance rates.
Cerebrospinal fluidCerebrospinal fluid (CSF) is a clear, colorless body fluid found within the tissue that surrounds the brain and spinal cord of all vertebrates. CSF is produced by specialised ependymal cells in the choroid plexus of the ventricles of the brain, and absorbed in the arachnoid granulations. There is about 125 mL of CSF at any one time, and about 500 mL is generated every day. CSF acts as a shock absorber, cushion or buffer, providing basic mechanical and immunological protection to the brain inside the skull.
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.
Dynamic pressureIn fluid dynamics, dynamic pressure (denoted by q or Q and sometimes called velocity pressure) is the quantity defined by: where (in SI units): q is the dynamic pressure in pascals (i.e., kg/(m*s2), ρ (Greek letter rho) is the fluid mass density (e.g. in kg/m3), and u is the flow speed in m/s. It can be thought of as the fluid's kinetic energy per unit volume. For incompressible flow, the dynamic pressure of a fluid is the difference between its total pressure and static pressure.
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.
Center of pressure (fluid mechanics)In fluid mechanics, the center of pressure is the point where the total sum of a pressure field acts on a body, causing a force to act through that point. The total force vector acting at the center of pressure is the surface integral of the pressure vector field across the surface of the body. The resultant force and center of pressure location produce an equivalent force and moment on the body as the original pressure field. Pressure fields occur in both static and dynamic fluid mechanics.
Earthquake warning systemAn earthquake warning system or earthquake early warning system is a system of accelerometers, seismometers, communication, computers, and alarms that is devised for notifying adjoining regions of a substantial earthquake while it is in progress. This is not the same as earthquake prediction, which is currently incapable of producing decisive event warnings. An earthquake is caused by the release of stored elastic strain energy during rapid sliding along a fault.
