Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Synthèse totaleEn chimie organique, la synthèse totale est en principe la synthèse chimique complète de molécules organiques à partir de morceaux plus simples et habituellement sans recourir à des processus biologiques. Dans la pratique, ces morceaux plus simples sont commercialement disponibles en grandes quantités et sont souvent des précurseurs pétrochimiques. Parfois, des produits « naturels » (comme le sucre) sont utilisés comme point de départ : il est fait l'hypothèse qu'ils sont fabriqués naturellement ou qu'ils peuvent être recréés à partir de leur éléments constitutifs.
Synthèse organiquevignette|Schéma réactionnel de la préparation du diène de Danishefsky La synthèse organique est une branche de la synthèse chimique qui est concernée par la création de composés organiques à l'aide de réactions organiques. Les molécules organiques ont souvent un degré de complexité plus élevé que celles dites inorganiques. De nos jours, la synthèse organique occupe une place importante en chimie organique. À l'intérieur de celle-ci, on distingue deux principaux champs de recherche : la synthèse totale et la méthodologie.
Synthèse chimiqueUne synthèse chimique est un enchaînement de réactions chimiques mis en œuvre volontairement ou non permettant l'obtention d'un ou de plusieurs produits finaux, parfois avec isolation de composés chimiques intermédiaires. Les synthèses chimiques peuvent avoir lieu à toutes sortes d'échelles : du laboratoire de recherche (de l'ordre du gramme ou moins) à l'industrie chimique (souvent de l'ordre de la tonne ou plus) ou dans la nature (biosynthèses).
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
ProtéinopathieEn médecine, les protéinopathies font référence à une classe de maladies dans lesquelles certaines protéines deviennent structurellement anormales et perturbent ainsi la fonction des cellules, des tissus et des organes du corps. Souvent, les protéines ne parviennent pas à se replier dans leur configuration normale ; dans cet état mal replié, les protéines peuvent devenir toxiques (en acquérant de nouvelles fonctions indésirées par mutation) ou perdre leur fonction normale.
Structure quaternairevignette|Structure quaternaire de l'hémoglobine humaine. Deux sous-unités α et deux sous-unités β forment le tétramère fonctionnel de l'hémoglobine. Elles sont arrangées avec un enchaînement de type αβαβ. La structure quaternaire d'une protéine multimérique est la manière dont sont agencées les différentes chaînes protéiques, ou sous-unités, à l'état natif les unes par rapport aux autres. Ce qualificatif ne s'applique qu'aux protéines multimériques, c'est-à-dire ne contenant pas qu'une seule sous unité.
Protéineredresse=1.36|vignette|Représentation d'une protéine, ici deux sous-unités d'une molécule d'hémoglobine. On observe les représentées en couleur, ainsi que deux des quatre molécules d'hème, qui sont les groupes prosthétiques caractéristiques de cette protéine. redresse=1.36|vignette|Liaison peptidique –CO–NH– au sein d'un polypeptide. Le motif constitue le squelette de la protéine, tandis que les groupes liés aux sont les chaînes latérales des résidus d'acides aminés.
Modification post-traductionnelleUne modification post-traductionnelle est une modification chimique d'une protéine, réalisée le plus souvent par une enzyme, après sa synthèse ou au cours de sa vie dans la cellule. Généralement cette modification entraîne un changement de la fonction de la protéine considérée, que ce soit au niveau de son action, de sa demi-vie, ou de sa localisation cellulaire.
Maladie neurodégénérativeLes maladies neurodégénératives, telles que la maladie d'Alzheimer, la maladie à corps de Lewy, la maladie de Parkinson, la maladie de Huntington, l'atrophie corticale postérieure ou encore la sclérose latérale amyotrophique sont des maladies chroniques invalidantes à évolution lente et discrète. Elles provoquent généralement une détérioration du fonctionnement des cellules nerveuses, en particulier les neurones, pouvant conduire à la mort cellulaire (ou neurodégénérescence).
Synthèse peptidiqueEn chimie organique, la synthèse peptidique est la production de peptides, des composés organiques, dans lesquels des acides aminés sont liés par l'intermédiaire de liaisons amide, qui dans ce cas prennent le nom de liaisons peptidiques. Le processus biologique de la production de peptides longs (protéines) est connu comme la biosynthèse des protéines. Les peptides sont synthétisés par le couplage du groupe carboxyle d'un acide aminé avec le groupe amino de l'acide aminé suivant dans la molécule.
AssayAn assay is an investigative (analytic) procedure in laboratory medicine, mining, pharmacology, environmental biology and molecular biology for qualitatively assessing or quantitatively measuring the presence, amount, or functional activity of a target entity. The measured entity is often called the analyte, the measurand, or the target of the assay. The analyte can be a drug, biochemical substance, chemical element or compound, or cell in an organism or organic sample.
