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.
Soft errorIn electronics and computing, a soft error is a type of error where a signal or datum is wrong. Errors may be caused by a defect, usually understood either to be a mistake in design or construction, or a broken component. A soft error is also a signal or datum which is wrong, but is not assumed to imply such a mistake or breakage. After observing a soft error, there is no implication that the system is any less reliable than before. One cause of soft errors is single event upsets from cosmic rays.
Passive daytime radiative coolingPassive daytime radiative cooling (PDRC) is a renewable cooling method proposed as a solution to global warming of enhancing terrestrial heat flow to outer space through the installation of thermally-emissive surfaces on Earth that require zero energy consumption or pollution. Because all materials in nature absorb more heat during the day than at night, PDRC surfaces are designed to be high in solar reflectance (to minimize heat gain) and strong in longwave infrared (LWIR) thermal radiation heat transfer through the atmosphere's infrared window (8–13 μm) to cool temperatures during the daytime.
Quark–gluon plasmaQuark–gluon plasma (or QGP and quark soup) is an interacting localized assembly of quarks and gluons at thermal (local kinetic) and (close to) chemical (abundance) equilibrium. The word plasma signals that free color charges are allowed. In a 1987 summary, Léon van Hove pointed out the equivalence of the three terms: quark gluon plasma, quark matter and a new state of matter.
Hidden-variable theoryIn physics, hidden-variable theories are proposals to provide explanations of quantum mechanical phenomena through the introduction of (possibly unobservable) hypothetical entities. The existence of fundamental indeterminacy for some measurements is assumed as part of the mathematical formulation of quantum mechanics; moreover, bounds for indeterminacy can be expressed in a quantitative form by the Heisenberg uncertainty principle.
Atmospheric entryAtmospheric entry is the movement of an object from outer space into and through the gases of an atmosphere of a planet, dwarf planet, or natural satellite. There are two main types of atmospheric entry: uncontrolled entry, such as the entry of astronomical objects, space debris, or bolides; and controlled entry (or reentry) of a spacecraft capable of being navigated or following a predetermined course. Technologies and procedures allowing the controlled atmospheric entry, descent, and landing of spacecraft are collectively termed as EDL.
