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.
PeptidePeptides are short chains of amino acids linked by peptide bonds. A polypeptide is a longer, continuous, unbranched peptide chain. Polypeptides which have a molecular mass of 10,000 Da or more are called proteins. Chains of fewer than twenty amino acids are called oligopeptides, and include dipeptides, tripeptides, and tetrapeptides. Peptides fall under the broad chemical classes of biological polymers and oligomers, alongside nucleic acids, oligosaccharides, polysaccharides, and others.
MacrocycleMacrocycles are often described as molecules and ions containing a ring of twelve or more atoms. Classical examples include the crown ethers, calixarenes, porphyrins, and cyclodextrins. Macrocycles describe a large, mature area of chemistry. The formation of macrocycles by ring-closure is called macrocylization. Pioneering work was reported for studies on terpenoid macrocycles. The central challenge to macrocyclization is that ring-closing reactions do not favor the formation of large rings.
Synthetic rubberA synthetic rubber is an artificial elastomer. They are polymers synthesized from petroleum byproducts. About 32 million metric tons of rubbers are produced annually in the United States, and of that amount two thirds are synthetic. Synthetic rubber, just like natural rubber, has many uses in the automotive industry for tires, door and window profiles, seals such as O-rings and gaskets, hoses, belts, matting, and flooring. They offer a different range of physical and chemical properties which can improve the reliability of a given product or application.
BiochemistryBiochemistry or biological chemistry is the study of chemical processes within and relating to living organisms. A sub-discipline of both chemistry and biology, biochemistry may be divided into three fields: structural biology, enzymology, and metabolism. Over the last decades of the 20th century, biochemistry has become successful at explaining living processes through these three disciplines. Almost all areas of the life sciences are being uncovered and developed through biochemical methodology and research.
High dynamic rangeHigh dynamic range (HDR) is a dynamic range higher than usual, synonyms are wide dynamic range, extended dynamic range, expanded dynamic range. The term is often used in discussing the dynamic range of various signals such as s, videos, audio or radio. It may apply to the means of recording, processing, and reproducing such signals including analog and digitized signals. The term is also the name of some of the technologies or techniques allowing to achieve high dynamic range images, videos, or audio.
O-ringAn O-ring, also known as a packing or a toric joint, is a mechanical gasket in the shape of a torus; it is a loop of elastomer with a round cross-section, designed to be seated in a groove and compressed during assembly between two or more parts, forming a seal at the interface. The O-ring may be used in static applications or in dynamic applications where there is relative motion between the parts and the O-ring. Dynamic examples include rotating pump shafts and hydraulic cylinder pistons.
IsocyanideAn isocyanide (also called isonitrile or carbylamine) is an organic compound with the functional group –. It is the isomer of the related nitrile (–C≡N), hence the prefix is isocyano. The organic fragment is connected to the isocyanide group through the nitrogen atom, not via the carbon. They are used as building blocks for the synthesis of other compounds. The C-N distance in isocyanides is 115.8 pm in methyl isocyanide. The C-N-C angles are near 180°.
Sonata formSonata form (also sonata-allegro form or first movement form) is a musical structure generally consisting of three main sections: an exposition, a development, and a recapitulation. It has been used widely since the middle of the 18th century (the early Classical period). While it is typically used in the first movement of multi-movement pieces, it is sometimes used in subsequent movements as well—particularly the final movement.
Musical formIn music, form refers to the structure of a musical composition or performance. In his book, Worlds of Music, Jeff Todd Titon suggests that a number of organizational elements may determine the formal structure of a piece of music, such as "the arrangement of musical units of rhythm, melody, and/or harmony that show repetition or variation, the arrangement of the instruments (as in the order of solos in a jazz or bluegrass performance), or the way a symphonic piece is orchestrated", among other factors.
