How do tangible systems take advantage of our sociophysical embodiment in the world? How can we use tangible interaction to better understand collaboration and intersubjectivity? ...
This paper describes a new interaction concept, which is based on customizable self-adhesive stickers with an integrated button, manufacturable at low cost. By pressing the button...
Abstract. We investigate combinatorial commutation properties for reordering a sequence of two kinds of steps, and for separating wellfoundedness of unions of relations. To that en...
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
Matsui’s one-dimensional Alg. 2 can be used for recovering bits of the last round key of a block cipher. In this paper a truly multidimensional extension of Alg. 2 based on estab...