Nicotinamide adénine dinucléotideLe nicotinamide adénine dinucléotide (NAD) est une coenzyme présente dans toutes les cellules vivantes. Il s'agit d'un dinucléotide, dans la mesure où la molécule est constituée d'un premier nucléotide, dont la base nucléique est l'adénine, uni à un second nucléotide, dont la base est le nicotinamide. Le NAD existe sous une forme oxydée, notée NAD+, et une forme réduite, notée NADH. Le NAD intervient dans le métabolisme comme transporteur d'électrons dans les réactions d'oxydoréduction, le NAD+ comme oxydant et le NADH comme réducteur.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Culture cellulaireLa culture cellulaire est un ensemble de techniques de biologie utilisées pour faire croître des cellules hors de leur organisme (ex-vivo) ou de leur milieu d'origine, dans un but d'expérimentation scientifique ou de fécondation in vitro. Les cellules mises en culture peuvent être: des micro-organismes libres (bactéries ou levures) des cellules « saines » prélevées fraîchement d'un organisme (biopsie...), on parle alors de « culture primaire ».
Nicotinamide adénine dinucléotide phosphateLe nicotinamide adénine dinucléotide phosphate (NADP) est une coenzyme présente dans toutes les cellules vivantes. Il s'agit d'un dinucléotide, dans la mesure où la molécule est constituée d'un premier nucléotide, dont la base nucléique est l'adénine, uni à un second nucléotide, dont la base est le nicotinamide. Le NADP existe sous une forme réduite, notée NADPH, et une forme oxydée, notée NADP. Très semblable au NAD, il ne diffère chimiquement de ce dernier que par la présence d'un groupe phosphate sur le second atome de carbone du β-D-ribofurannose du résidu d'adénosine.
PathologieLa pathologie est la science qui a pour objet l'étude des maladies, notamment de leurs causes (étiologie) et de leurs mécanismes (physiopathologie). La nosologie, quant à elle, a pour objet la classification des maladies. La pathologie cardiaque est ainsi l'étude des maladies du cœur. Selon le type d'être vivant étudié, on distingue : pour les plantes, la pathologie végétale ; pour les animaux, la pathologie animale ; pour l'Homme, la pathologie humaine. La pathologie humaine est une spécialité médicale.
Lactate déshydrogénaseLes lactates déshydrogénases (LDH) ou déshydrogénases lactiques sont des enzymes présentes dans une grande diversité d'organismes, aussi bien végétaux qu'animaux. Elles catalysent la conversion du pyruvate en lactate et vice-versa. Plusieurs types de ces enzymes existent, qui diffèrent suivant la nature du cofacteur de la réaction et le stéréoisomère du lactate formé. Le lactate possède en effet deux isomères D et L et il existe des lactates déshydrogénases capables de former soit l'un soit l'autre des produits.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Aging-associated diseasesAn aging-associated disease (commonly termed age-related disease, ARD) is a disease that is most often seen with increasing frequency with increasing senescence. They are essentially complications of senescence, distinguished from the aging process itself because all adult animals age (with rare exceptions) but not all adult animals experience all age-associated diseases. The term does not refer to age-specific diseases, such as the childhood diseases chicken pox and measles, only diseases of the elderly.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
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.
