Finite computing agents that interact with an environment are shown to be more expressive than Turing machines according to a notion of expressiveness that measures problem-solving ability and is specified by observation equivalence. Sequential interactive models of objects, agents, and embedded systems are shown to be more expressive than algorithms. Multi-agent (distributed) models of coordin...

The paper explores how reading experience of scientific publications can be improved through interactive web content. Constructivist learning theories advertise active involvement of learners as a key requirement for successful teaching. Analogously, we argue that active involvement of readers can facilitate the process of conveying scientific research to other scholars. Today’s web technologie...

We customize here, for the purposes of precomputed and interactive deformation and animation techniques, some basic concepts and deformation methods of differential topology related to Cobordism Theory.

A key challenge in computer-based interactive narrative is the conflict between user agency and authorial control of the story quality. Valuable lessons can be learned from improvisational and especially interactive theatre, where various narrative and interactive strategies have been developed to engage users in the process of co-creating the story. In this paper, we focus on the use of charac...

Computer aided interactive narrative allows people to participate actively in a dynamically unfolding story, by playing a character or by exerting directorial control. Because of its potential for providing interesting stories as well as allowing user interaction, interactive narrative has been recognized as a promising tool for providing both education and entertainment.This paper discusses th...

Drawing on an empirical study of public transport, this paper studies interactive value formation at the provider-customer interface, from a practice-theory perspective. In contrast to the bulk of previous research, it argues that interactive value formation is not only associated with value cocreation but also with value co-destruction. In addition, the paper also identifies five interaction v...

We propose some strategies for automatic tools facilitating interactive proof and program development in the proof editor Alfa based on Martin-Löf Type Theory.

The paper presents adaptation and optimization of the interaction structure of interactive systems by application of the control theory principles based on a fuzzy neural network. The interactive system is presented as a control system consisting of two parts: 1) plant of control or controlled plant (model of the real-life process) and 2) neurofuzzy-based feedback control algorithm. The last on...