Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
This paper introduces a novel algorithm for estimating energy expenditure during physical activity. The estimation is based on acceleration data measured from a wrist-worn acceler...
Eija Haapalainen, Perttu Laurinen, Pekka Siirtola,...
Sports exercises are beneficial for general health and fitness. Some exercises such as weight lifting are particularly errorprone and using incorrect techniques can result in seri...
Children with autism show substantial benefits from rigorous physical activity, however it is often difficult to motivate these individuals to exercise due to their usually sede...
Samantha L. Finkelstein, Andrea Nickel, Tiffany Ba...
A PC based desktop Virtual Reality system was developed for rehabilitating hand function in stroke patients. The system uses two hand input devices, a CyberGlove and a RMII force ...
David Jack, Rares F. Boian, Alma S. Merians, Serge...