Scratching with turntables is a popular sound generation technique in today’s music scene, especially in hip-hop culture. A conventional turntable system consists of two turntabl...
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Takashi’s Seasons is a sequential live shadow puppet/video performance in which a number of interpretations of the four seasons are performed by an artist. Controlled with fishi...
A common way of storing spatio-temporal information about mobile devices is in the form of a 3D (2D geography + time) trajectory. We argue that when cellular phones and Personal D...
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...