Modèle mathématiquevignette|Un automate fini est un exemple de modèle mathématique. Un modèle mathématique est une traduction d'une observation dans le but de lui appliquer les outils, les techniques et les théories mathématiques, puis généralement, en sens inverse, la traduction des résultats mathématiques obtenus en prédictions ou opérations dans le monde réel. Un modèle se rapporte toujours à ce qu’on espère en déduire.
Bisulfite sequencingBisulfite sequencing (also known as bisulphite sequencing) is the use of bisulfite treatment of DNA before routine sequencing to determine the pattern of methylation. DNA methylation was the first discovered epigenetic mark, and remains the most studied. In animals it predominantly involves the addition of a methyl group to the carbon-5 position of cytosine residues of the dinucleotide CpG, and is implicated in repression of transcriptional activity.
Récepteur (biochimie)En biochimie, un récepteur est une protéine de la membrane cellulaire ou du cytoplasme ou du noyau cellulaire qui se lie spécifiquement à un facteur spécifique (un ligand, tels un neurotransmetteur, une hormone, une molécule médicamenteuse, une toxine, un ion calcium, ou une protéine spécifique de la membrane d'un virus...), induisant une réponse cellulaire à ce ligand. Les modifications du comportement du récepteur protéique induites par le ligand conduisent à des modifications physiologiques qui constituent les « effets biologiques » du ligand.
Récepteur NMDAthumb|Représentation schématique d'un récepteur NMDA activé. Le glutamate et la glycine occupent leurs sites de liaison. S'il était occupé, le site allostérique causerait l'inactivation du récepteur. Les récepteurs NMDA requièrent la liaison de deux molécules de glutamate ou d'aspartate et deux de glycine. thumb|Structure de la molécule de NMDA. Les récepteurs NMDA (récepteur au N-méthyl-D-aspartate) sont des récepteurs ionotropes activés dans des conditions physiologiques par le glutamate et la glycine qui sont essentiels à la mémoire et à la plasticité synaptique.
Procédure civileLa procédure civile est l'ensemble des règles relatives à l'organisation d'une action en justice devant une juridiction civile. Elle s'entend aussi de toutes les démarches à entreprendre pour saisir une juridiction civile. La procédure civile est en général régie par un . Il existe différents principes procéduraux s'opposant : Maxime des débats : chaque partie est obligée de prouver les faits qu'elle avance et les parties maîtrisent l'objet du litige ; Maxime inquisitoire : les faits et les preuves sont établis par le juge, qui a ainsi une certaine maîtrise sur la définition du litige.
Procédure pénaleLa procédure pénale est l'intervention des autorités étatiques depuis le début de la plainte d'une victime, la dénonciation ou la constatation d'une infraction jusqu'à la décision judiciaire définitive. Elle fixe le cadre juridique dans lequel l'enquête, la poursuite et le jugement visant une personne soupçonnée peuvent s'engager. Elle conditionne l'exercice des pouvoirs accordés à la justice répressive. De ce point de vue, c'est une conquête contre l'arbitraire.
Camps de concentration nazisvignette|upright=1.5|Carte des camps de concentration nazis. Les camps de concentration nazis sont des centres de détention de grande taille créés par le Troisième Reich à partir de 1933 et jusqu'à la fin de la Seconde Guerre mondiale, pour interner, exploiter la force de travail et tuer des opposants politiques, des résidents d'un pays conquis, des groupes ethniques ou religieux spécifiques, etc. Ce sont les détenus qui sont forcés de construire ces camps, les victimes travaillant dans des conditions inhumaines, y laissant souvent leur vie.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Loi d'action de masseLa loi d'action de masse (ou loi de Guldberg et Waage) est une loi qui permet de définir l'équilibre d'un système réactionnel. Elle est définie par : en notant la constante d'équilibre, l'activité chimique de chaque espèce et \nu_{i} le coefficient stœchiométrique algébrique de chaque espèce. La loi d'action de masse a été exposée en 1879 par les chimistes norvégiens Cato Guldberg et Peter Waage à partir de leur découverte commune publiée en 1864.
Diversity indexA diversity index is a quantitative measure that reflects how many different types (such as species) there are in a dataset (a community), and that can simultaneously take into account the phylogenetic relations among the individuals distributed among those types, such as richness, divergence or evenness. These indices are statistical representations of biodiversity in different aspects (richness, evenness, and dominance).