NeuroprostheticsNeuroprosthetics (also called neural prosthetics) is a discipline related to neuroscience and biomedical engineering concerned with developing neural prostheses. They are sometimes contrasted with a brain–computer interface, which connects the brain to a computer rather than a device meant to replace missing biological functionality. Neural prostheses are a series of devices that can substitute a motor, sensory or cognitive modality that might have been damaged as a result of an injury or a disease.
Stimulation cérébrale profondeLa est un traitement médical invasif consistant à implanter chirurgicalement dans le cerveau des électrodes, connectées à un boîtier mis en place sous la peau et qui délivre un courant électrique de faible intensité dans certaines structures spécifiques situées en profondeur de cet organe comme le thalamus ou certains noyaux des ganglions de la base, comme le noyau sous-thalamique ou le globus pallidus.
Potentiel électrochimique de membraneToute cellule biologique est entourée d'une membrane dite membrane plasmique. Cette membrane est relativement imperméable aux espèces électriquement chargées telles que les ions et aux molécules qui peuvent participer à l'activité électrochimique (molécules polaires) telles que l'eau. Elle présente ainsi une grande résistance électrique et forme en quelque sorte un dipôle (comme un condensateur). Grâce à ces propriétés, la membrane sépare en deux compartiments étanches l'intérieur de la cellule, le cytoplasme, de l'extérieur de la cellule, le milieu extracellulaire.
Potentiel de reposLe potentiel de repos membranaire (RMP, pour l'anglais resting membrane potential) est le potentiel électrochimique de membrane de la membrane plasmique d'une cellule excitable lorsqu'elle est au repos ; c'est un des états possibles du potentiel de la membrane. En introduisant une électrode de mesure à l'intérieur de la cellule (voir la méthode de patch-clamp), on constate une différence de potentiel : la face interne de la membrane est négative par rapport à une électrode de référence placée sur la face externe de la membrane.
Potentiel d'actionvignette|Le déplacement d'un potentiel d'action le long d'un axone, modifie la polarité de la membrane cellulaire. Les canaux ioniques sodium Na+ et potassium K+ voltage-dépendants s'ouvrent puis se ferment quand la membrane atteint le potentiel seuil, en réponse à un signal en provenance d'un autre neurone. À l'initiation du potentiel d'action, le canal Na+ s'ouvre et le Na+ extracellulaire rentre dans l'axone, provoquant une dépolarisation. Ensuite la repolarisation se produit lorsque le canal K+ s'ouvre et le K+ intracellulaire sort de l'axone.
Automobile hybride électriqueUne automobile hybride électrique est un véhicule automobile faisant appel à deux types d'énergie embarqués pour se mouvoir, dont l'un est de nature électrique (électrochimique ou électrostatique). L'architecture la plus répandue pour ce type de véhicule hybride associe un moteur électrique à un moteur thermique, généralement à essence. La nature réversible de la partie motrice électrique permet la récupération d'une partie de l'énergie cinétique du véhicule par freinage régénératif.
Potentiel d'inversionLe potentiel d'inversion pour un canal ionique, ou plus généralement pour un courant ionique, est la valeur du potentiel de membrane pour laquelle le flux ionique est nul. Il s'agit en fait de la valeur de potentiel de membrane à laquelle une espèce ionique est en équilibre électro-osmotique. C’est-à-dire que pour ce potentiel de membrane, la force électrique due à la différence de potentiel de part et d'autre de la membrane et la force chimique due à la différence de concentration (ou force osmotique) sont égales et de sens opposés.
Véhicule hybride rechargeablevignette|Une Audi A1 rechargeable au salon iMobility 2012 à Stuttgart. Un véhicule hybride rechargeable (VHR) est un véhicule hybride électrique dont la batterie de traction est conçue pour être chargée par branchement à une source d'énergie extérieure. Deux catégories de tels véhicules existent : PHEV (de l'anglais « Plug-in Hybrid Electric Vehicle ») quand les deux motorisations agissent de concert pour animer le véhicule, ou EREV (de l'anglais « Extended Range Electric Vehicles ») quand seul le moteur électrique est connecté aux roues, le moteur thermique ne fournissant de la puissance à un générateur d'électricité que lorsque la batterie d'accumulateurs a besoin d’être rechargée.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Véhicule hybrideUn véhicule hybride est un véhicule faisant appel à plusieurs sources d'énergie distinctes pour se mouvoir. Les véhicules hybrides combinent plusieurs sources d'énergie dont souvent l'une est thermique et l'autre électrique. Le principe global très simplifié de ce type de motorisation consiste à profiter des avantages de chaque type de moteur en minimisant leurs inconvénients. Quatre architectures d'hybridation sont possibles : En série : le moteur thermique entraîne un alternateur sans fournir directement de couple à l'essieu, l'alternateur fournissant l’électricité à un moteur électrique.
Threshold potentialIn electrophysiology, the threshold potential is the critical level to which a membrane potential must be depolarized to initiate an action potential. In neuroscience, threshold potentials are necessary to regulate and propagate signaling in both the central nervous system (CNS) and the peripheral nervous system (PNS). Most often, the threshold potential is a membrane potential value between –50 and –55 mV, but can vary based upon several factors.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Potentiel postsynaptiqueUn potentiel postsynaptique (PPS), encore appelé potentiel gradué ou potentiel électro-tonique, est le signal unitaire produit en aval d'une synapse. Il s'agit d'un changement transitoire et local de la différence de potentiel électrochimique établie de part et d'autre de la membrane. La plaque motrice est la zone synaptique entre le neurone et la cellule musculaire. Le neurotransmetteur mis en jeu est l'acétylcholine qui va se fixer sur un récepteur et va ainsi entraîner une dépolarisation.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Stimulation magnétique transcrânienneLa stimulation magnétique transcrânienne (ou TMS, abréviation de l'Transcranial Magnetic Stimulation) est une technique médicale de stimulation transcrânienne utilisée dans le diagnostic et dans le traitement de certaines affections psychiatriques et neurologiques (il s'agit alors en général de rTMS repetitive Transcranial Magnetic Stimulation). C'est également un instrument de recherche en neurosciences. La stimulation magnétique du cortex cérébral fut décrite pour la première fois par Arsène d'Arsonval en 1896.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Neuromodulation (medicine)Neuromodulation is "the alteration of nerve activity through targeted delivery of a stimulus, such as electrical stimulation or chemical agents, to specific neurological sites in the body". It is carried out to normalize – or modulate – nervous tissue function. Neuromodulation is an evolving therapy that can involve a range of electromagnetic stimuli such as a magnetic field (rTMS), an electric current, or a drug instilled directly in the subdural space (intrathecal drug delivery).
Neurostimulationvignette|Implant cochléaire un appareil électronique qui stimule le nerf auditif grâce à des électrodes placées dans la cochlée de l'oreille interne, permettant à certaines personnes gravement sourdes de percevoir les sons. Pour les personnes souffrant de perte auditive sévère à profonde, les appareils auditifs implantables comme les implants cochléaires peuvent être une solution efficace La neurostimulation est la stimulation d'un nerf ou de plusieurs nerfs, de la moelle épinière ou d'une partie du cerveau (système nerveux central) à l'aide de neurostimulateurs.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
