Electrical stimulation Formal verification Vagus nerve Functional Electrical Stimulation Kinect Glioma Identification Brain Electrophysiology Neurosurgery Humanoid robotics Muscle Stimulation Pattern SCI Gait Cycle Direct electrical stimulation Action potential chronic vagal stimulation C fibres Stomach electrical charge evoked activity high frequency pulses implanted device porcine model single afferent method recording electrode pulse pattern small diameter myelinated abdominal vagal neuron stimulation neurophysiology biomedical electrodes bioelectric potentials Adelta fibres Software unmyelinated abdominal vagal neuron stimulation vagal trunks Animals Electric potential Electrodes Neurons Shape 2D-spectral analysis Transfer assistance Brain mapping FUNCTIONAL CONNECTIVITY Neural stimulation Functional electrical stimulation Muscles Fatigue Selectivity Spinal Cord Injury FES Spinal cord injury System Administration loops Rehabilitation 3D centre of mass Motion control Formal analysis Parkinson's disease Center of mass CoM Gait analysis CORTEX Subject-specificity Festination Neurorehabilitation Electrodes Model decomposition Inertial sensors Sélectivité Muscle model Control Default mode network Electromyography interface Obesity Autonomic managers Spectral analysis Neuroprosthetics Neuroprostheses Social cognition Pig model Petri nets Implementation Statically equivalent serial chain SESC Electroencephalography Plasticity Closed-loop control Neuromodulation FES cycling Brain-computer interface Surgery Accelerometers Tetraplegia Movement analysis Vagus nerve stimulation EMG Functional connectivity Exception Inertial Measurement Unit Inertial Sensor Motion analysis 3D transformation Electromyography Bladder and bowel functions Aging Freezing of gait Awake surgery Nonlinear analysis Language Brain plasticity Neuroprothèses Simulation Parallel simulation Paraplegia Inertial measurement unit Control theory Accidental Falls Motor unit Global Observation Spasticity Biomechanics Freezing of gait FOG Inertial measurement units Stroke