Search
Now showing items 1-4 of 4
Phase dependence of the termination of absence seizures by cerebellar input to thalamocortical networks
(2019-11-14)
Absence seizures are the most common form of epilepsy in children. They start and finish abruptly, last for 10–20 seconds and can be detected by generalised spike-and-wave discharges (GSWDs) in the electroencephalogram. ...
Phase dependence of the termination of absence seizures by cerebellar input to thalamocortical networks
(2019-11-14)
Absence seizures are the most common form of epilepsy in children. They start and finish abruptly, last for 10–20 seconds and can be detected by generalised spike-and-wave discharges (GSWDs) in the electroencephalogram. ...
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
(Springer, 2019-09-06)
A hybrid automaton is a finite state machine combined with some k real-valued continuous variables, where k determines the number of the automaton dimensions. This formalism is widely used for modelling safety-critical ...
Deciding Reachability for Piecewise Constant Derivative Systems on Orientable Manifolds
(Springer, 2019-09-06)
A hybrid automaton is a finite state machine combined with some k real-valued continuous variables, where k determines the number of the automaton dimensions. This formalism is widely used for modelling safety-critical ...