Results 91 to 100 of about 1,991 (112)

A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems. [PDF]

Sensors (Basel), 2021
Beneyto A, Puig V, Bequette BW, Vehi J.
europepmc   +1 more source

Characterizing the limits of human stability during motion: perturbative experiment validates a model-based approach for the Sit-to-Stand task. [PDF]

R Soc Open Sci, 2020
Holmes PD, Danforth SM, Fu XY, Moore TY, Vasudevan R.   +4 more
europepmc   +1 more source

Developing control-theoretic objectives for large-scale brain dynamics and cognitive enhancement. [PDF]

Annu Rev Control, 2022
Singh MF, Cole MW, Braver TS, Ching S.
europepmc   +1 more source

Teaching Motor Skills Without a Motor: A Semi-Passive Robot to Facilitate Learning. [PDF]

IEEE Trans Haptics
Augenstein TE, Remy CD, Claflin ES, Ranganathan R, Krishnan C.   +4 more
europepmc   +1 more source

Fragmenting any Parallelepiped into a Signed Tiling. [PDF]

Discrete Comput Geom
Doolittle J, McDonough A.
europepmc   +1 more source

A Verified ODE Solver and the Lorenz Attractor. [PDF]

J Autom Reason, 2018
Immler F.
europepmc   +1 more source

Control mechanisms for stochastic biochemical systems via computation of reachable sets. [PDF]

R Soc Open Sci, 2017
Lakatos E, Stumpf MPH.
europepmc   +1 more source

PRG4CNN: A Probabilistic Model Checking-Driven Robustness Guarantee Framework for CNNs. [PDF]

Entropy (Basel)
Liu Y, Fang A.
europepmc   +1 more source