IronIron is a chemical element with the symbol Fe () and atomic number 26. It is a metal that belongs to the first transition series and group 8 of the periodic table. It is, by mass, the most common element on Earth, just ahead of oxygen (32.1% and 30.1%, respectively), forming much of Earth's outer and inner core. It is the fourth most common element in the Earth's crust, being mainly deposited by meteorites in its metallic state, with its ores also being found there.
IridiumIridium is a chemical element with the symbol Ir and atomic number 77. A very hard, brittle, silvery-white transition metal of the platinum group, it is considered the second-densest naturally occurring metal (after osmium) with a density of as defined by experimental X-ray crystallography. It is one of the most corrosion-resistant metals, even at temperatures as high as .
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.
Titanocene dichlorideTitanocene dichloride is the organotitanium compound with the formula (η5-C5H5)2TiCl2, commonly abbreviated as Cp2TiCl2. This metallocene is a common reagent in organometallic and organic synthesis. It exists as a bright red solid that slowly hydrolyzes in air. It shows antitumour activity and was the first non-platinum complex to undergo clinical trials as a chemotherapy drug. The standard preparations of Cp2TiCl2 start with titanium tetrachloride.
Automated reasoningIn computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer programs that allow computers to reason completely, or nearly completely, automatically. Although automated reasoning is considered a sub-field of artificial intelligence, it also has connections with theoretical computer science and philosophy.
RhodoceneRhodocene is a chemical compound with the formula . Each molecule contains an atom of rhodium bound between two planar aromatic systems of five carbon atoms known as cyclopentadienyl rings in a sandwich arrangement. It is an organometallic compound as it has (haptic) covalent rhodium–carbon bonds. The radical is found above or when trapped by cooling to liquid nitrogen temperatures (). At room temperature, pairs of these radicals join via their cyclopentadienyl rings to form a dimer, a yellow solid.
Potassium ferrioxalatePotassium ferrioxalate, also called potassium trisoxalatoferrate or potassium tris(oxalato)ferrate(III) is a chemical compound with the formula . It often occurs as the trihydrate . Both are crystalline compounds, lime green in colour. The compound is a salt consisting of ferrioxalate anions, , and potassium cations . The anion is a transition metal complex consisting of an iron atom in the +3 oxidation state and three bidentate oxalate ions anions acting as ligands. Potassium acts as a counterion, balancing the −3 charge of the complex.
Automated theorem provingAutomated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics.
GlutathioneGlutathione (GSH, ˌɡluːtəˈθaɪəʊn) is an antioxidant in plants, animals, fungi, and some bacteria and archaea. Glutathione is capable of preventing damage to important cellular components caused by sources such as reactive oxygen species, free radicals, peroxides, lipid peroxides, and heavy metals. It is a tripeptide with a gamma peptide linkage between the carboxyl group of the glutamate side chain and cysteine. The carboxyl group of the cysteine residue is attached by normal peptide linkage to glycine.
Static program analysisIn computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution. The term is usually applied to analysis performed by an automated tool, with human analysis typically being called "program understanding", program comprehension, or code review. In the last of these, software inspection and software walkthroughs are also used.
