It has been shown that people encounter difficulties in using representations and devices designed to assist navigating unfamiliar terrain. Literature review and self-reported vis...
Most modern computer systems allow the user to control the space allocated to interfaces through a window system. While much of the understanding of how people interact with windo...
This paper will look at the human predisposition to oral tradition and its effectiveness as a learning tool to convey mission-critical information. After exploring the effectivenes...
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
Recent literature suggests that inducing proprioceptive movement illusions with predefined movement trajectories via tendon vibration requires use of multiple vibrators and preci...
Ozkan Celik, Marcia Kilchenman O'Malley, R. Brent ...