In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and verifier may perform quantum computations and exchange qu...
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
: The Visual Interaction Platform (VIP) is an Augmented Reality system that builds on human skills of real world object manipulation and allows unhindered human-human communication...
Dzmitry Aliakseyeu, Bernard Champoux, Jean-Bernard...
This paper presents an approach for interaction design based on the specificity of the information involved in the interaction. The contribution is intended for application design...
Understanding experience is a critical issue for a variety of professions, especially design. To understand experience and the user experience that results from interacting with p...