Fluid parcelIn fluid dynamics, a fluid parcel, also known as a fluid element or material element, is an infinitesimal volume of fluid, identifiable throughout its dynamic history while moving with the fluid flow. As it moves, the mass of a fluid parcel remains constant, while—in a compressible flow—its volume may change, and its shape changes due to distortion by the flow. In an incompressible flow, the volume of the fluid parcel is also a constant (isochoric flow). Material surfaces and material lines are the corresponding notions for surfaces and lines, respectively.
Tsunami warning systemA tsunami warning system (TWS) is used to detect tsunamis in advance and issue the warnings to prevent loss of life and damage to property. It is made up of two equally important components: a network of sensors to detect tsunamis and a communications infrastructure to issue timely alarms to permit evacuation of the coastal areas. There are two distinct types of tsunami warning systems: international and regional.
Seismic waveA seismic wave is a mechanical wave of acoustic energy that travels through the Earth or another planetary body. It can result from an earthquake (or generally, a quake), volcanic eruption, magma movement, a large landslide, and a large man-made explosion that produces low-frequency acoustic energy. Seismic waves are studied by seismologists, who record the waves using seismometers, hydrophones (in water), or accelerometers.
Cnoidal waveIn fluid dynamics, a cnoidal wave is a nonlinear and exact periodic wave solution of the Korteweg–de Vries equation. These solutions are in terms of the Jacobi elliptic function cn, which is why they are coined cnoidal waves. They are used to describe surface gravity waves of fairly long wavelength, as compared to the water depth. The cnoidal wave solutions were derived by Korteweg and de Vries, in their 1895 paper in which they also propose their dispersive long-wave equation, now known as the Korteweg–de Vries equation.
SumatraSumatra is one of the Sunda Islands of western Indonesia. It is the largest island that is fully within Indonesian territory, as well as the sixth-largest island in the world at 475,807.63 km2 (182,812 mi.2), including adjacent islands such as the Simeulue, Nias, Mentawai, Enggano, Riau Islands, Bangka Belitung and Krakatoa archipelago. Sumatra is an elongated landmass spanning a diagonal northwest–southeast axis. The Indian Ocean borders the northwest, west, and southwest coasts of Sumatra, with the island chain of Simeulue, Nias, Mentawai, and Enggano off the western coast.
Wave equationThe (two-way) wave equation is a second-order linear partial differential equation for the description of waves or standing wave fields - as they occur in classical physics - such as mechanical waves (e.g. water waves, sound waves and seismic waves) or electromagnetic waves (including light waves). It arises in fields like acoustics, electromagnetism, and fluid dynamics. Single mechanical or electromagnetic waves propagating in a pre-defined direction can also be described with the first-order one-way wave equation, which is much easier to solve and also valid for inhomogeneous media.
PhysicsPhysics is the natural science of matter, involving the study of matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. Physics is one of the most fundamental scientific disciplines, with its main goal being to understand how the universe behaves. A scientist who specializes in the field of physics is called a physicist. Physics is one of the oldest academic disciplines and, through its inclusion of astronomy, perhaps the oldest.
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.
Schrödinger equationThe Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. The equation is named after Erwin Schrödinger, who postulated the equation in 1925 and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933. Conceptually, the Schrödinger equation is the quantum counterpart of Newton's second law in classical mechanics.
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.
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.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
