OxygenOxygen is the chemical element with the symbol O and atomic number 8. It is a member of the chalcogen group in the periodic table, a highly reactive nonmetal, and an oxidizing agent that readily forms oxides with most elements as well as with other compounds. Oxygen is Earth's most abundant element, and after hydrogen and helium, it is the third-most abundant element in the universe. At standard temperature and pressure, two atoms of the element bind to form dioxygen, a colorless and odorless diatomic gas with the formula O2.
PolarizabilityPolarizability usually refers to the tendency of matter, when subjected to an electric field, to acquire an electric dipole moment in proportion to that applied field. It is a property of all matter, considering that matter is made up of elementary particles which have an electric charge, namely protons and electrons. When subject to an electric field, the negatively charged electrons and positively charged atomic nuclei are subject to opposite forces and undergo charge separation.
Kripke structure (model checking)This article describes Kripke structures as used in model checking. For a more general description, see Kripke semantics. A Kripke structure is a variation of the transition system, originally proposed by Saul Kripke, used in model checking to represent the behavior of a system. It consists of a graph whose nodes represent the reachable states of the system and whose edges represent state transitions, together with a labelling function which maps each node to a set of properties that hold in the corresponding state.
Vibration isolationVibration isolation is the process of isolating an object, such as a piece of equipment, from the source of vibrations. Vibration is undesirable in many domains, primarily engineered systems and habitable spaces, and methods have been developed to prevent the transfer of vibration to such systems. Vibrations propagate via mechanical waves and certain mechanical linkages conduct vibrations more efficiently than others. Passive vibration isolation makes use of materials and mechanical linkages that absorb and damp these mechanical waves.
JadeiteJadeite is a pyroxene mineral with composition NaAlSi2O6. It is hard (Mohs hardness of about 6.5 to 7.0), very tough, and dense, with a specific gravity of about 3.4. It is found in a wide range of colors, but is most often found in shades of green or white. Jadeite is formed only in the subduction zones of continental margins, where rock undergoes metamorphism at high pressure but relatively low temperature. Jadeite is the principal mineral making up the most valuable form of jade, a precious stone particularly prized in China.
Parameter (computer programming)In computer programming, a parameter or a formal argument is a special kind of variable used in a subroutine to refer to one of the pieces of data provided as input to the subroutine. These pieces of data are the values of the arguments (often called actual arguments or actual parameters) with which the subroutine is going to be called/invoked. An ordered list of parameters is usually included in the definition of a subroutine, so that, each time the subroutine is called, its arguments for that call are evaluated, and the resulting values can be assigned to the corresponding parameters.
Thought disorderA thought disorder (TD) is a disturbance in cognition which affects language, thought and communication. Psychiatric and psychological glossaries in 2015 and 2017 identified thought disorders as encompassing poverty of ideas, neologisms, paralogia, word salad, and delusions - all disturbances of thought content and form. Two specific terms have been suggested — content thought disorder (CTD) and formal thought disorder (FTD).
Data modelA data model is an abstract model that organizes elements of data and standardizes how they relate to one another and to the properties of real-world entities. For instance, a data model may specify that the data element representing a car be composed of a number of other elements which, in turn, represent the color and size of the car and define its owner. The corresponding professional activity is called generally data modeling or, more specifically, database design.
Spectrum disorderA spectrum disorder is a mental disorder that includes a range of linked conditions, sometimes also extending to include singular symptoms and traits. The different elements of a spectrum either have a similar appearance or are thought to be caused by the same underlying mechanism. In either case, a spectrum approach is taken because there appears to be "not a unitary disorder but rather a syndrome composed of subgroups". The spectrum may represent a range of severity, comprising relatively "severe" mental disorders through to relatively "mild and nonclinical deficits".
Heterocyclic compoundA heterocyclic compound or ring structure is a cyclic compound that has atoms of at least two different elements as members of its ring(s). Heterocyclic organic chemistry is the branch of organic chemistry dealing with the synthesis, properties, and applications of organic heterocycles. Examples of heterocyclic compounds include all of the nucleic acids, the majority of drugs, most biomass (cellulose and related materials), and many natural and synthetic dyes. More than half of known compounds are heterocycles.
Volcanic glassVolcanic glass is the amorphous (uncrystallized) product of rapidly cooling magma. Like all types of glass, it is a state of matter intermediate between the closely packed, highly ordered array of a crystal and the highly disordered array of liquid. Volcanic glass may refer to the interstitial material, or matrix, in an aphanitic (fine-grained) volcanic rock, or to any of several types of vitreous igneous rocks. Volcanic glass is formed when magma is rapidly cooled.
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.
