Cation–π interactionCation–π interaction is a noncovalent molecular interaction between the face of an electron-rich π system (e.g. benzene, ethylene, acetylene) and an adjacent cation (e.g. Li+, Na+). This interaction is an example of noncovalent bonding between a monopole (cation) and a quadrupole (π system). Bonding energies are significant, with solution-phase values falling within the same order of magnitude as hydrogen bonds and salt bridges.
Formal methodsIn computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.
Test caseIn software engineering, a test case is a specification of the inputs, execution conditions, testing procedure, and expected results that define a single test to be executed to achieve a particular software testing objective, such as to exercise a particular program path or to verify compliance with a specific requirement. Test cases underlie testing that is methodical rather than haphazard. A battery of test cases can be built to produce the desired coverage of the software being tested.
Surface energyIn surface science, surface free energy (also interfacial free energy or surface energy) quantifies the disruption of intermolecular bonds that occurs when a surface is created. In solid-state physics, surfaces must be intrinsically less energetically favorable than the bulk of the material (the atoms on the surface have more energy compared with the atoms in the bulk), otherwise there would be a driving force for surfaces to be created, removing the bulk of the material (see sublimation).
Fermi's interactionIn particle physics, Fermi's interaction (also the Fermi theory of beta decay or the Fermi four-fermion interaction) is an explanation of the beta decay, proposed by Enrico Fermi in 1933. The theory posits four fermions directly interacting with one another (at one vertex of the associated Feynman diagram). This interaction explains beta decay of a neutron by direct coupling of a neutron with an electron, a neutrino (later determined to be an antineutrino) and a proton.
Torsion springA torsion spring is a spring that works by twisting its end along its axis; that is, a flexible elastic object that stores mechanical energy when it is twisted. When it is twisted, it exerts a torque in the opposite direction, proportional to the amount (angle) it is twisted. There are various types: A torsion bar is a straight bar of metal or rubber that is subjected to twisting (shear stress) about its axis by torque applied at its ends.
Gravitational energyGravitational energy or gravitational potential energy is the potential energy a massive object has in relation to another massive object due to gravity. It is the potential energy associated with the gravitational field, which is released (converted into kinetic energy) when the objects fall towards each other. Gravitational potential energy increases when two objects are brought further apart. For two pairwise interacting point particles, the gravitational potential energy is given by where and are the masses of the two particles, is the distance between them, and is the gravitational constant.
Open-chain compoundIn chemistry, an open-chain compound (also spelled as open chain compound) or acyclic compound (Greek prefix "α", without and "κύκλος", cycle) is a compound with a linear structure, rather than a cyclic one. An open-chain compound having no side chains is called a straight-chain compound (also spelled as straight chain compound). Many of the simple molecules of organic chemistry, such as the alkanes and alkenes, have both linear and ring isomers, that is, both acyclic and cyclic, with the latter often classified as aromatic.
Chirality (chemistry)In chemistry, a molecule or ion is called chiral (ˈkaɪrəl) if it cannot be superposed on its by any combination of rotations, translations, and some conformational changes. This geometric property is called chirality (kaɪˈrælɪti). The terms are derived from Ancient Greek χείρ (cheir) 'hand'; which is the canonical example of an object with this property. A chiral molecule or ion exists in two stereoisomers that are mirror images of each other, called enantiomers; they are often distinguished as either "right-handed" or "left-handed" by their absolute configuration or some other criterion.
Butyl groupIn organic chemistry, butyl is a four-carbon alkyl radical or substituent group with general chemical formula , derived from either of the two isomers (n-butane and isobutane) of butane.
N-Butyllithiumn-Butyllithium C4H9Li (abbreviated n-BuLi) is an organolithium reagent. It is widely used as a polymerization initiator in the production of elastomers such as polybutadiene or styrene-butadiene-styrene (SBS). Also, it is broadly employed as a strong base (superbase) in the synthesis of organic compounds as in the pharmaceutical industry. Butyllithium is commercially available as solutions (15%, 25%, 1.5 M, 2 M, 2.5 M, 10 M, etc.) in alkanes such as pentane, hexanes, and heptanes.
Functional programmingIn computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than a sequence of imperative statements which update the running state of the program. In functional programming, functions are treated as first-class citizens, meaning that they can be bound to names (including local identifiers), passed as arguments, and returned from other functions, just as any other data type can.
