Pericyclic reactionIn organic chemistry, a pericyclic reaction is the type of organic reaction wherein the transition state of the molecule has a cyclic geometry, the reaction progresses in a concerted fashion, and the bond orbitals involved in the reaction overlap in a continuous cycle at the transition state. Pericyclic reactions stand in contrast to linear reactions, encompassing most organic transformations and proceeding through an acyclic transition state, on the one hand and coarctate reactions, which proceed through a doubly cyclic, concerted transition state on the other hand.
Formal verificationIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Michael addition reactionIn organic chemistry, the Michael reaction or Michael 1,4 addition is a reaction between a Michael donor (an enolate or other nucleophile) and a Michael acceptor (usually an α,β-unsaturated carbonyl) to produce a Michael adduct by creating a carbon-carbon bond at the acceptor's β-carbon. It belongs to the larger class of conjugate additions and is widely used for the mild formation of carbon-carbon bonds.
Enzyme kineticsEnzyme kinetics is the study of the rates of enzyme-catalysed chemical reactions. In enzyme kinetics, the reaction rate is measured and the effects of varying the conditions of the reaction are investigated. Studying an enzyme's kinetics in this way can reveal the catalytic mechanism of this enzyme, its role in metabolism, how its activity is controlled, and how a drug or a modifier (inhibitor or activator) might affect the rate. An enzyme (E) is typically a protein molecule that promotes a reaction of another molecule, its substrate (S).
Binding siteIn biochemistry and molecular biology, a binding site is a region on a macromolecule such as a protein that binds to another molecule with specificity. The binding partner of the macromolecule is often referred to as a ligand. Ligands may include other proteins (resulting in a protein-protein interaction), enzyme substrates, second messengers, hormones, or allosteric modulators. The binding event is often, but not always, accompanied by a conformational change that alters the protein's function.
BiocatalysisBiocatalysis refers to the use of living (biological) systems or their parts to speed up (catalyze) chemical reactions. In biocatalytic processes, natural catalysts, such as enzymes, perform chemical transformations on organic compounds. Both enzymes that have been more or less isolated and enzymes still residing inside living cells are employed for this task. Modern biotechnology, specifically directed evolution, has made the production of modified or non-natural enzymes possible.
Metric spaceIn mathematics, a metric space is a set together with a notion of distance between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane.
Space stationA space station is a spacecraft capable of supporting a human crew in orbit for an extended period of time and is therefore a type of space habitat. It lacks major propulsion or landing systems. An orbital station or an orbital space station is an artificial satellite (i.e., a type of orbital spaceflight). Stations must have docking ports to allow other spacecraft to dock to transfer crew and supplies. The purpose of maintaining an orbital outpost varies depending on the program.
Philosophy of space and timePhilosophy of space and time is the branch of philosophy concerned with the issues surrounding the ontology and epistemology of space and time. While such ideas have been central to philosophy from its inception, the philosophy of space and time was both an inspiration for and a central aspect of early analytic philosophy. The subject focuses on a number of basic issues, including whether time and space exist independently of the mind, whether they exist independently of one another, what accounts for time's apparently unidirectional flow, whether times other than the present moment exist, and questions about the nature of identity (particularly the nature of identity over time).
Runtime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.
