Raisonnement par récurrencevignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Reprogrammation épigénétiqueLa reprogrammation désigne en épigénétique l’effaçage et le remodelage des marques épigénétiques telles que la méthylation de l’ADN. Après la fertilisation, des cellules de l’embryon migrent jusqu’à la crête génitale où elles deviendront finalement des cellules germinales. Dans les cellules de la lignée germinale, les génomes paternel et maternel portant une empreinte doivent être reprogrammés lors de la gamétogenèse, c’est-à-dire déméthylés et reméthylés.
Mémoire à changement de phaseLa mémoire à changement de phase, ou PCM pour Phase Change Memory, ou encore PRAM pour Phase-Change RAM, est un type de mémoire non volatile s'appuyant sur la transition de phase de certains matériaux pour le stockage des informations, à l'instar des disques optiques réinscriptibles. Elle est présentée comme mémoire universelle car elle combine la vitesse et l’endurance de la mémoire vive (RAM) et la non-volatilité et le faible coût de la mémoire flash. Les premières PRAM ont été mises en vente en 2012 par Samsung.
Raisonnement par disjonction de casProof by exhaustion, also known as proof by cases, proof by case analysis, complete induction or the brute force method, is a method of mathematical proof in which the statement to be proved is split into a finite number of cases or sets of equivalent cases, and where each type of case is checked to see if the proposition in question holds. This is a method of direct proof. A proof by exhaustion typically contains two stages: A proof that the set of cases is exhaustive; i.e.
Locus cœruleusvignette|Localisation du Locus Coeruleus dans un schéma du système noradrénergique. Le locus cœruleus, « locus cæruleus », « locus ceruleus » ou LC (« la tache bleue », en latin) est un noyau sous-cortical de l'encéphale, situé dans le tronc cérébral. Il a beaucoup de relations avec l'amygdale mais aussi avec le noyau sensitif du nerf trijumeau et les noyaux limbiques. Il a été découvert et décrit pour la première fois par le médecin et anatomiste français Félix Vicq d'Azyr au milieu du .
Mémoire spatialevignette|La mémoire spatiale est nécessaire pour naviguer dans un environnement. La mémoire spatiale est la partie de la mémoire d'un individu responsable de l'enregistrement des informations concernant l'espace environnant et l'orientation spatiale de l'individu dans celui-ci. La mémoire spatiale est ainsi requise pour la navigation spatiale dans un lieu connu, comme dans un quartier familier. Elle est étudiée en neuroscience (chez le rat) et en psychologie cognitive (chez l'homme).
LamarckismeLe lamarckisme est aujourd'hui quasiment synonyme de la théorie transformiste de la transmission des caractères acquis, en référence à un aspect de la théorie de l'évolution du vivant due à Jean-Baptiste de Lamarck, bien que la réduction de cette théorie à ce seul aspect soit très largement discutable.
Epigenetic clockAn epigenetic clock is a biochemical test that can be used to measure age. The test is based on DNA methylation levels, measuring the accumulation of methyl groups to one's DNA molecules. The strong effects of age on DNA methylation levels have been known since the late 1960s. A vast literature describes sets of CpGs whose DNA methylation levels correlate with age. The first robust demonstration that DNA methylation levels in saliva could generate age predictors with an average accuracy of 5.
Mémoire non volatileUne mémoire non volatile est une mémoire informatique qui conserve ses données en l'absence d'alimentation électrique. On distingue plusieurs types de mémoires non volatiles : les mémoires à base de papier, par exemple les rubans perforés et les cartes perforées ; les mémoires à base de semi-conducteurs, par exemple les mémoires mortes (ROM) et les mémoires RAM non volatiles (NVRAM) ; les mémoires utilisant un support magnétique, par exemple les disquettes (floppy disks) et les disques durs (hard disks) ; les mémoires utilisant une surface réfléchissante lue par un laser, par exemple les CD et les DVD.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Arborisation terminaleL'arborisation terminale est l'extrémité ramifiée de l'axone d'un neurone. Les « boutons » synaptiques sont à l'extrémité de cette arborisation terminale, là où se trouvent les synapses. L'arborisation terminale de l'axone est riche en vésicules synaptiques contenant les neurotransmetteurs. Les terminaisons axoniques (également appelées « boutons synaptiques », « boutons terminaux » ou « pieds terminaux ») sont les terminaisons distales des télodendrites (branches) d'un axone.
