Healthcare organizations practicing evidence-based medicine strive to unite their data resources in order to achieve a wider knowledge base for sophisticated research and matured d...
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
We conducted a 6-month project with a physical therapy clinic, involving equal parts ethnographic fieldwork and rapid prototyping. It differed from most reported user-informed des...
Hands-free interfaces could be the best choice for HumanComputer Interaction (HCI) for people with physical disabilities that are not capable of using traditional input devices. O...
Cristina Manresa-Yee, Javier Varona, Francisco J. ...
The Flote is a wind instrument designed for people with limited mobility. Past work in this area has failed to deliver the musical expressiveness expected of an instrument while m...
Amal Dar Aziz, Chris Warren, Hayden Bursk, Sean Fo...