Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
Spectrochemical seriesA spectrochemical series is a list of ligands ordered by ligand "strength", and a list of metal ions based on oxidation number, group and element. For a metal ion, the ligands modify the difference in energy Δ between the d orbitals, called the ligand-field splitting parameter in ligand field theory, or the crystal-field splitting parameter in crystal field theory. The splitting parameter is reflected in the ion's electronic and magnetic properties such as its spin state, and optical properties such as its color and absorption spectrum.
Coordination complexA coordination complex is a chemical compound consisting of a central atom or ion, which is usually metallic and is called the coordination centre, and a surrounding array of bound molecules or ions, that are in turn known as ligands or complexing agents. Many metal-containing compounds, especially those that include transition metals (elements like titanium that belong to the periodic table's d-block), are coordination complexes. Coordination complexes are so pervasive that their structures and reactions are described in many ways, sometimes confusingly.
Bioinorganic chemistryBioinorganic chemistry is a field that examines the role of metals in biology. Bioinorganic chemistry includes the study of both natural phenomena such as the behavior of metalloproteins as well as artificially introduced metals, including those that are non-essential, in medicine and toxicology. Many biological processes such as respiration depend upon molecules that fall within the realm of inorganic chemistry. The discipline also includes the study of inorganic models or mimics that imitate the behaviour of metalloproteins.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
RutheniumRuthenium is a chemical element with the symbol Ru and atomic number 44. It is a rare transition metal belonging to the platinum group of the periodic table. Like the other metals of the platinum group, ruthenium is inert to most other chemicals. Russian-born scientist of Baltic-German ancestry Karl Ernst Claus discovered the element in 1844 at Kazan State University and named ruthenium in honor of Russia. Ruthenium is usually found as a minor component of platinum ores; the annual production has risen from about 19 tonnes in 2009 to some 35.
Metal carbonylMetal carbonyls are coordination complexes of transition metals with carbon monoxide ligands. Metal carbonyls are useful in organic synthesis and as catalysts or catalyst precursors in homogeneous catalysis, such as hydroformylation and Reppe chemistry. In the Mond process, nickel tetracarbonyl is used to produce pure nickel. In organometallic chemistry, metal carbonyls serve as precursors for the preparation of other organometallic complexes.
Cis effectIn inorganic chemistry, the cis effect is defined as the labilization (or destabilization) of CO ligands that are cis to other ligands. CO is a well-known strong pi-accepting ligand in organometallic chemistry that will labilize in the cis position when adjacent to ligands due to steric and electronic effects. The system most often studied for the cis effect is an octahedral complex M(CO)5X where X is the ligand that will labilize a CO ligand cis to it.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
