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.
Inertial electrostatic confinementInertial electrostatic confinement, or IEC, is a class of fusion power devices that use electric fields to confine the plasma rather than the more common approach using magnetic fields found in magnetic confinement fusion (MCF) designs. Most IEC devices directly accelerate their fuel to fusion conditions, thereby avoiding energy losses seen during the longer heating stages of MCF devices. In theory, this makes them more suitable for using alternative aneutronic fusion fuels, which offer a number of major practical benefits and makes IEC devices one of the more widely studied approaches to fusion.
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.
Hydrogen vehicleA hydrogen vehicle is a vehicle that uses hydrogen fuel for motive power. Hydrogen vehicles include hydrogen-fueled space rockets, as well as ships and aircraft. Power is generated by converting the chemical energy of hydrogen to mechanical energy, either by reacting hydrogen with oxygen in a fuel cell to power electric motors or, less commonly, by burning hydrogen in an internal combustion engine. there are two models of hydrogen cars publicly available in select markets: the Toyota Mirai (2014–), which is the world's first mass-produced dedicated fuel cell electric vehicle (FCEV), and the Hyundai Nexo (2018–).
Pinch (plasma physics)A pinch (or: Bennett pinch (after Willard Harrison Bennett), electromagnetic pinch, magnetic pinch, pinch effect, or plasma pinch.) is the compression of an electrically conducting filament by magnetic forces, or a device that does such. The conductor is usually a plasma, but could also be a solid or liquid metal. Pinches were the first type of device used for experiments in controlled nuclear fusion power. Pinches occur naturally in electrical discharges such as lightning bolts, planetary auroras, current sheets, and solar flares.
SpheromakA spheromak is an arrangement of plasma formed into a toroidal shape similar to a smoke ring. The spheromak contains large internal electric currents and their associated magnetic fields arranged so the magnetohydrodynamic forces within the spheromak are nearly balanced, resulting in long-lived (microsecond) confinement times without external fields. Spheromaks belong to a type of plasma configuration referred to as the compact toroids. A spheromak can be made and sustained using magnetic flux injection, leading to a dynomak.
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.
Thermoelectric effectThe thermoelectric effect is the direct conversion of temperature differences to electric voltage and vice versa via a thermocouple. A thermoelectric device creates a voltage when there is a different temperature on each side. Conversely, when a voltage is applied to it, heat is transferred from one side to the other, creating a temperature difference. At the atomic scale, an applied temperature gradient causes charge carriers in the material to diffuse from the hot side to the cold side.
HohlraumIn radiation thermodynamics, a hohlraum (a non-specific German word for a "hollow space" or "cavity") is a cavity whose walls are in radiative equilibrium with the radiant energy within the cavity. This idealized cavity can be approximated in practice by making a small perforation in the wall of a hollow container of any opaque material. The radiation escaping through such a perforation will be a good approximation to black-body radiation at the temperature of the interior of the container.
