Island of stabilityIn nuclear physics, the island of stability is a predicted set of isotopes of superheavy elements that may have considerably longer half-lives than known isotopes of these elements. It is predicted to appear as an "island" in the chart of nuclides, separated from known stable and long-lived primordial radionuclides. Its theoretical existence is attributed to stabilizing effects of predicted "magic numbers" of protons and neutrons in the superheavy mass region.
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 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.
Valley of stabilityIn nuclear physics, the valley of stability (also called the belt of stability, nuclear valley, energy valley, or beta stability valley) is a characterization of the stability of nuclides to radioactivity based on their binding energy. Nuclides are composed of protons and neutrons. The shape of the valley refers to the profile of binding energy as a function of the numbers of neutrons and protons, with the lowest part of the valley corresponding to the region of most stable nuclei.
Interchange instabilityThe interchange instability, also known as the Kruskal–Schwarzchild instability or flute instability, is a type of plasma instability seen in magnetic fusion energy that is driven by the gradients in the magnetic pressure in areas where the confining magnetic field is curved. The name of the instability refers to the action of the plasma changing position with the magnetic field lines (i.e. an interchange of the lines of force in space) without significant disturbance to the geometry of the external field.
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.
Plasma betaThe beta of a plasma, symbolized by β, is the ratio of the plasma pressure (p = n kB T) to the magnetic pressure (pmag = B2/2μ0). The term is commonly used in studies of the Sun and Earth's magnetic field, and in the field of fusion power designs. In the fusion power field, plasma is often confined using strong magnets. Since the temperature of the fuel scales with pressure, reactors attempt to reach the highest pressures possible. The costs of large magnets roughly scales like β1⁄2.
Double beta decayIn nuclear physics, double beta decay is a type of radioactive decay in which two neutrons are simultaneously transformed into two protons, or vice versa, inside an atomic nucleus. As in single beta decay, this process allows the atom to move closer to the optimal ratio of protons and neutrons. As a result of this transformation, the nucleus emits two detectable beta particles, which are electrons or positrons. The literature distinguishes between two types of double beta decay: ordinary double beta decay and neutrinoless double beta decay.
