Réseau de neurones récurrentsUn réseau de neurones récurrents (RNN pour recurrent neural network en anglais) est un réseau de neurones artificiels présentant des connexions récurrentes. Un réseau de neurones récurrents est constitué d'unités (neurones) interconnectées interagissant non-linéairement et pour lequel il existe au moins un cycle dans la structure. Les unités sont reliées par des arcs (synapses) qui possèdent un poids. La sortie d'un neurone est une combinaison non linéaire de ses entrées.
Codage neuronalLe codage neuronal désigne, en neurosciences, la relation hypothétique entre le stimulus et les réponses neuronales individuelles ou globales. C'est une théorie sur l'activité électrique du système nerveux, selon laquelle les informations, par exemple sensorielles, numériques ou analogiques, sont représentées dans le cerveau par des réseaux de neurones. Le codage neuronal est lié aux concepts du souvenir, de l'association et de la mémoire sensorielle.
Cellule neurosécrétoire magnocellulaireLes cellules magnocellulaires neurosécrétrices sont de larges cellules neurosécrétrices contenues dans les noyaux supraoptiques et dans les noyaux paraventriculaires de l'hypothalamus. On les trouve aussi en plus petites quantité dans des groupes cellulaires accessoires entre ces deux noyaux, le plus grand étant le noyau circulaire. On référence deux types de cellules magnocellulaires neurosécrétrices : les cellules sécrétrices d'ocytocine et les cellules sécrétrices de vasopressine, en outre, un nombre réduit de cellules ont la capacité de produire ces deux hormones.
Noyau supraoptiqueThe supraoptic nucleus (SON) is a nucleus of magnocellular neurosecretory cells in the hypothalamus of the mammalian brain. The nucleus is situated at the base of the brain, adjacent to the optic chiasm. In humans, the SON contains about 3,000 neurons. The cell bodies produce the peptide hormone vasopressin, which is also known as anti-diuretic hormone (ADH), and the peptide hormone oxytocin. Both of these peptides are released from the posterior pituitary.
Functional verificationFunctional verification is the task of verifying that the logic design conforms to specification. Functional verification attempts to answer the question "Does this proposed design do what is intended?" This is complex and takes the majority of time and effort (up to 70% of design and development time) in most large electronic system design projects. Functional verification is a part of more encompassing design verification, which, besides functional verification, considers non-functional aspects like timing, layout and power.
