We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
Abstract. Multi-modal capabilities can be added to a simulation system in order to enhance data comprehension. We describe a system for adding sonification capabilities to a real-...
Robyn Taylor, Maryia Kazakevich, Pierre Boulanger,...
In this video we present a special guitar that combines physical acoustic properties with virtual capabilities. A wooden resonator - a unique, replaceable piece of wood that gives...
Amit Zoran, Marco Coppiardi, Paula Aguilera, Patti...
We developed two visual displays for providing awareness of environmental audio to deaf individuals. Based on fieldwork with deaf and hearing participants, we focused on supportin...
F. Wai-ling Ho-Ching, Jennifer Mankoff, James A. L...