We consider the determination of the optimal ne for noncompliance by a legislator who anticipates the inspection game between an autonomous inspection agency and polluting rms. This agency can make the inspection of individual rms contingent on ambient pollution. The agency's autonomy implies that it cannot commit itself to announced inspection probabilities. If the legislator centralizes the d...

Daily office work is often a mix of concentrated desktop work and scheduled meetings and appointments. However, constantly checking the clock and alarming popups interrupt the flow of creative work as they require the user's focused attention. We present Ambient Timer, an ambient light display designed to unobtrusively remind users of upcoming events. The light display mounted around the monito...

Ambient Assisted Living (AAL) is a societal imperative in many countries due to their aged demographic profile. Ambient Intelligence (AmI) offers a viable and intuitive framework by which such systems may realised in practice. However, a number of issues must be addressed if AmI is to become sufficiently mature and robust to support AAL. One such issue is the seamless combination of services, b...

Bigraphs are emerging as an interesting model that can represent both the picalculus and the ambient calculus. Bigraphs are built orthogonally on two structures: a hierarchical ‘place’ graph for locations and a ‘link’ (hyper-)graph for connections. In a previous work (submitted elsewhere and yet unpublished), we introduced a logic for bigraphical structures as a natural composition of a place g...

In this paper, we propose a monadic higher order safe ambient calculus. The expressiveness of this calculus is studied. We showed that polyadic higher order safe ambient calculus, first order safe ambient calculus with capability-passing, first order safe ambient calculus with name-passing, and polyadic π-calculus can all be encoded in monadic higher order ambient calculus. At last, we show tha...

This study is concerned with effects of age of onset (AO) of acquisition on the production of Voice Onset Time (VOT) among near-native L2 speakers. 41 L1 Spanish early and late learners of L2 Swedish, who had carefully been screened for their “nativelike” L2-proficiency, participated in the study. 8 native speakers of Swedish served as control group. Spectral analyses of VOT were carried out on...

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

In this paper we described the architecture and key issues of the service enabling layer of a multi-modal system Ozone which is oriented for new technologies and services for emerging nomadic societies. The main objective of the Ozone system is to offer a generic framework to enable consumer-oriented Ambient-Intelligence applications. As a large multi-modal system, Ozone consists of many functi...