Quantum chromodynamicsIn theoretical physics, quantum chromodynamics (QCD) is the theory of the strong interaction between quarks mediated by gluons. Quarks are fundamental particles that make up composite hadrons such as the proton, neutron and pion. QCD is a type of quantum field theory called a non-abelian gauge theory, with symmetry group SU(3). The QCD analog of electric charge is a property called color. Gluons are the force carriers of the theory, just as photons are for the electromagnetic force in quantum electrodynamics.
Terahertz spectroscopy and technologyTerahertz spectroscopy detects and controls properties of matter with electromagnetic fields that are in the frequency range between a few hundred gigahertz and several terahertz (abbreviated as THz). In many-body systems, several of the relevant states have an energy difference that matches with the energy of a THz photon. Therefore, THz spectroscopy provides a particularly powerful method in resolving and controlling individual transitions between different many-body states.
Congenital heart defectA congenital heart defect (CHD), also known as a congenital heart anomaly, congenital cardiovascular malformation, and congenital heart disease, is a defect in the structure of the heart or great vessels that is present at birth. A congenital heart defect is classed as a cardiovascular disease. Signs and symptoms depend on the specific type of defect. Symptoms can vary from none to life-threatening. When present, symptoms are variable and may include rapid breathing, bluish skin (cyanosis), poor weight gain, and feeling tired.
Ventricular septal defectA ventricular septal defect (VSD) is a defect in the ventricular septum, the wall dividing the left and right ventricles of the heart. The extent of the opening may vary from pin size to complete absence of the ventricular septum, creating one common ventricle. The ventricular septum consists of an inferior muscular and superior membranous portion and is extensively innervated with conducting cardiomyocytes. The membranous portion, which is close to the atrioventricular node, is most commonly affected in adults and older children in the United States.
Cadmium sulfideCadmium sulfide is the inorganic compound with the formula CdS. Cadmium sulfide is a yellow solid. It occurs in nature with two different crystal structures as the rare minerals greenockite and hawleyite, but is more prevalent as an impurity substituent in the similarly structured zinc ores sphalerite and wurtzite, which are the major economic sources of cadmium. As a compound that is easy to isolate and purify, it is the principal source of cadmium for all commercial applications.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Semiconductor deviceA semiconductor device is an electronic component that relies on the electronic properties of a semiconductor material (primarily silicon, germanium, and gallium arsenide, as well as organic semiconductors) for its function. Its conductivity lies between conductors and insulators. Semiconductor devices have replaced vacuum tubes in most applications. They conduct electric current in the solid state, rather than as free electrons across a vacuum (typically liberated by thermionic emission) or as free electrons and ions through an ionized gas.
Atrial septal defectAtrial septal defect (ASD) is a congenital heart defect in which blood flows between the atria (upper chambers) of the heart. Some flow is a normal condition both pre-birth and immediately post-birth via the foramen ovale; however, when this does not naturally close after birth it is referred to as a patent (open) foramen ovale (PFO). It is common in patients with a congenital atrial septal aneurysm (ASA). After PFO closure the atria normally are separated by a dividing wall, the interatrial septum.
PhotonA photon () is an elementary particle that is a quantum of the electromagnetic field, including electromagnetic radiation such as light and radio waves, and the force carrier for the electromagnetic force. Photons are massless, so they always move at the speed of light in vacuum, 299792458m/s (or about ). The photon belongs to the class of boson particles. As with other elementary particles, photons are best explained by quantum mechanics and exhibit wave–particle duality, their behavior featuring properties of both waves and particles.
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.
École polytechniqueÉcole polytechnique, also known as Polytechnique or l'X liks, is a grande école located in Palaiseau, France. It specializes in science and engineering and is a founding member of the Polytechnic Institute of Paris. The school was founded in 1794 by mathematician Gaspard Monge during the French Revolution and was militarized under Napoleon I in 1804. It is still supervised by the French Ministry of Armed Forces. Originally located in the Latin Quarter in central Paris, the institution moved to Palaiseau in 1976, in the Paris-Saclay technology cluster.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
