Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational issues remain unclear. This paper proposes adopting static analysis techniques to reason on and predict how programs adapt their behaviour. We introduce a c...

Context Oriented Programming (COP) is a hot topic nowadays. A number of programming languages endowed with COP features has been developed. However, some foundational issues remain unclear. This paper proposes adopting static analysis techniques to predict how programs may react in different execution environments. We introduce a core functional language, ContextML, equipped with COP primitives...

We sought to determine the effectiveness of head posture as a contextual cue to facilitate adaptive transitions in manual control during visuomotor distortions. Subjects performed arm pointing movements by drawing on a digitizing tablet, with targets and movement trajectories displayed in real time on a computer monitor. Adaptation was induced by presenting the trajectories in an altered gain f...

This paper studies the case where a game is played in a particular context. The context influences what beliefs players hold. As such, it may affect forward induction reasoning: If players rule out specific beliefs, they may not be able to rationalize observed behavior. The effects are not obvious. Context-laden forward induction may allow outcomes precluded by context-free forward induction. A...

Implementing context-dependent behaviour of pervasive computing applications puts a great burden on programmers: Devices need to continuously adapt not only to their own context, but also to the context of other devices they interact with. We present an approach that modularises behavioural adaptations into roles. Role selection takes the context of all the devices involved in an interaction in...

In biological phenomena like osmosis, the rate of flow of water molecules in or out of biological compartments depends on the solute concentration and on other forces, like hydrostatic pressure. A similar example is the passive transport of ions in and out the cell membrane. In this paper, we address the problem of faithfully modelling these kind of phenomena with an adequate process calculus. ...

BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this paper is to extend the Flow Logic approach to static analysis with a couple of new techniques in order to give precise information about the behaviour of systems written in BioAmbients. Applying the development to a s...

Memory is facilitated when the retrieval context resembles the learning context. The brain structures underlying contextual influences on memory are susceptible to stress. Whether stress interferes with context-dependent memory is still unknown. We exposed healthy adults to stress or a control procedure before they learned an object-location task in a room scented with vanilla. Memory was teste...

Hierarchical organization is widespread in the societies of humans and other animals, both in social structure and in decision-making contexts. In the case of collective motion, the majority of case studies report that dominant individuals lead group movements, in agreement with the common conflation of the terms "dominance" and "leadership." From a theoretical perspective, if social relationsh...

The work presented in this article studies how the context information can be used in the automatic sound event detection process, and how the detection system can benefit from such information. Humans are using context information to make more accurate predictions about the sound events and ruling out unlikely events given the context. We propose a similar utilization of context information in...