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.
Peptidevignette|Exemple de peptide. vignette|Exemple de peptide. vignette|Exemple de peptide. Un peptide est un polymère d’acides aminés reliés entre eux par des liaisons peptidiques. Il existe une énorme variété de peptides différents. Par exemple, sachant qu'il existe distincts chez les mammifères, le nombre de peptides différents formés de seulement dix d'acides aminés vaut un peu moins de , soit près de . Les peptides constitués d’un faible nombre d’acides aminés (de deux à quelques dizaines) sont nommés oligopeptides.
MacrocycleUn macrocycle est une macromolécule cyclique ou partie cyclique macromoléculaire d'une macromolécule. Cependant, le terme macrocycle est aussi utilisé pour désigner des molécules à grands cycles qui ne répondent pas aux critères de définition des macromolécules. Ainsi, en chimie non macromoléculaire, un macrocycle est une molécule organique avec une grande structure cyclique, habituellement contenant au moins 15 atomes. Par exemple, les porphyrines sont des macrocycles.
Caoutchouc synthétiqueLes caoutchoucs synthétiques (ou artificiels) sont un type d’élastomère, invariablement polymères. Comme les matières plastiques, ils sont souvent issus d’un combustible fossile. Un élastomère possède une meilleure déformation élastique sous contrainte que la plupart des matériaux et revient à sa forme initiale sans aucune déformation permanente. Son premier usage est la fabrication de pneus (où l'on trouve aussi une certaine proportion de caoutchouc réalisé avec du latex naturel, notamment dans les pneus de camions).
Biochimievignette|Représentation tridimensionnelle de la neuraminidase. Les coordonnées des atomes ont été obtenues par cristallographie aux rayons X sur un échantillon de protéine cristallisée. vignette| Relations schématiques entre la biochimie, la génétique et la biologie moléculaire. La biochimie est l'étude des réactions chimiques qui se déroulent au sein des êtres vivants, et notamment dans les cellules. La complexité des processus chimiques biologiques est contrôlée à travers la signalisation cellulaire et les transferts d'énergie au cours du métabolisme.
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.
Joint toriqueUn joint torique est un joint en forme de tore. Ils sont généralement utilisés pour assurer l'étanchéité. Il existe trois standards de dureté Shore : 70 Shore A, 80 Shore A et 90 Shore A. Dans le matériel hydromécanique, c'est le principal dispositif d'étanchéité. Caoutchouc « nitrile » (NBR) EPDM Silicone Polyuréthane Viton (FKM ou FPM) : élastomère fluoré. Voir aussi Liste des codes des polymères. Il existe plusieurs dimensions (en mm) pour le diamètre du joint. Les principaux sont 1,78, 2,62, 3,53 et 5,33.
IsonitrileUn isonitrile, isocyanure, également, plus anciennement, une carbylamine, est un composé organique contenant le groupe fonctionnel isocyanure C≡N-. Les isonitriles ont été découverts en 1867 par A. Gautier et August Wilhelm von Hofmann, mais n’ont été étudiés qu’à partir de 1960. Ces composés ont été mis à l’écart pour deux raisons principales: d’une part à cause de leur odeur souvent désagréable et d’autre part à cause de l’ambiguïté liée à leur double réactivité.
Forme sonateEn musique classique, la forme sonate est une forme musicale qui est composée de trois parties : l'exposition, le développement et la réexposition (ou récapitulation). La forme sonate est le plus souvent fondée sur deux thèmes musicaux, utilisés lors de l'exposition et la récapitulation, et souvent combinés ou se répondant lors du développement. Attention à ne pas confondre la forme sonate et la sonate. Généralement, le premier mouvement d'une sonate - mais aussi d'une symphonie, d'un concerto - est de forme sonate.
Forme musicaleLe terme forme désigne, dans le domaine musical, la structure d'une œuvre musicale. Le travail d'analyse des œuvres musicales a notamment pour tâche de comprendre la forme des œuvres, qui peut être très simple (forme strophique, forme couplet-refrain) ou très complexe. Évidemment, le terme structure doit se comprendre à plusieurs niveaux, c'est-à-dire qu'une œuvre musicale pourra avoir une forme générale en un ou plusieurs mouvements, dans l'un des mouvements il y aura une forme en plusieurs sections, et dans chaque section il y aura des phrases distinctes.
