Lazy evaluationIn programming language theory, lazy evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-strict evaluation) and which also avoids repeated evaluations (by the use of sharing). The benefits of lazy evaluation include: The ability to define control flow (structures) as abstractions instead of primitives. The ability to define potentially infinite data structures. This allows for more straightforward implementation of some algorithms.
Geometric topologyIn mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another. Geometric topology as an area distinct from algebraic topology may be said to have originated in the 1935 classification of lens spaces by Reidemeister torsion, which required distinguishing spaces that are homotopy equivalent but not homeomorphic. This was the origin of simple homotopy theory. The use of the term geometric topology to describe these seems to have originated rather recently.
Beta prime distributionIn probability theory and statistics, the beta prime distribution (also known as inverted beta distribution or beta distribution of the second kind) is an absolutely continuous probability distribution. If has a beta distribution, then the odds has a beta prime distribution. Beta prime distribution is defined for with two parameters α and β, having the probability density function: where B is the Beta function. The cumulative distribution function is where I is the regularized incomplete beta function.
Millennium Prize ProblemsThe Millennium Prize Problems are seven well-known complex mathematical problems selected by the Clay Mathematics Institute in 2000. The Clay Institute has pledged a US$1 million prize for the first correct solution to each problem. The Clay Mathematics Institute officially designated the title Millennium Problem for the seven unsolved mathematical problems, the Birch and Swinnerton-Dyer conjecture, Hodge conjecture, Navier–Stokes existence and smoothness, P versus NP problem, Riemann hypothesis, Yang–Mills existence and mass gap, and the Poincaré conjecture at the Millennium Meeting held on May 24, 2000.
ParaboloidIn geometry, a paraboloid is a quadric surface that has exactly one axis of symmetry and no center of symmetry. The term "paraboloid" is derived from parabola, which refers to a conic section that has a similar property of symmetry. Every plane section of a paraboloid by a plane parallel to the axis of symmetry is a parabola. The paraboloid is hyperbolic if every other plane section is either a hyperbola, or two crossing lines (in the case of a section by a tangent plane).
Intima–media thicknessIntima–media thickness (IMT), also called intimal medial thickness, is a measurement of the thickness of tunica intima and tunica media, the innermost two layers of the wall of an artery. The measurement is usually made by external ultrasound and occasionally by internal, invasive ultrasound catheters. Measurements of the total wall thickness of blood vessels can also be done using other imaging modalities. Carotid IMT is used to detect the presence of atherosclerosis in humans and, more contentiously, to track the regression, arrest or progression of atherosclerosis.
Semiregular variable starIn astronomy, a semiregular variable star, a type of variable star, is a giant or supergiant of intermediate and late (cooler) spectral type showing considerable periodicity in its light changes, accompanied or sometimes interrupted by various irregularities. Periods lie in the range from 20 to more than 2000 days, while the shapes of the light curves may be rather different and variable with each cycle. The amplitudes may be from several hundredths to several magnitudes (usually 1-2 magnitudes in the V filter).
Intravascular ultrasoundIntravascular ultrasound (IVUS) or intravascular echocardiography is a medical imaging methodology using a specially designed catheter with a miniaturized ultrasound probe attached to the distal end of the catheter. The proximal end of the catheter is attached to computerized ultrasound equipment. It allows the application of ultrasound technology, such as piezoelectric transducer or CMUT, to see from inside blood vessels out through the surrounding blood column, visualizing the endothelium (inner wall) of blood vessels.
Tetralogy of FallotTetralogy of Fallot (TOF), formerly known as Steno-Fallot tetralogy, is a congenital heart defect characterized by four specific cardiac defects. Classically, the four defects are: pulmonary stenosis, which is narrowing of the exit from the right ventricle; a ventricular septal defect, which is a hole allowing blood to flow between the two ventricles; right ventricular hypertrophy, which is thickening of the right ventricular muscle; and an overriding aorta, which is where the aorta expands to allow blood from both ventricles to enter.
Subclavian arteryIn human anatomy, the subclavian arteries are paired major arteries of the upper thorax, below the clavicle. They receive blood from the aortic arch. The left subclavian artery supplies blood to the left arm and the right subclavian artery supplies blood to the right arm, with some branches supplying the head and thorax. On the left side of the body, the subclavian comes directly off the aortic arch, while on the right side it arises from the relatively short brachiocephalic artery when it bifurcates into the subclavian and the right common carotid artery.
