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...

The wind farm program FLaP (Farm Layout Program), developed at the University of Oldenburg, has been extended to improve the description of wake development in offshore conditions. Especially the low ambient turbulence and the effect of atmospheric stability have been addressed. Model results have been compared with measured vertical wake profiles and mean turbulence intensities from the Danish...

A knot is an embedding of a circle into three-dimensional space. We say that a knot is unknotted if there is an ambient isotopy of the embedding to a standard circle. In essence, an unknot is a knot that may be deformed to a standard circle without passing through itself. By representing knots via planar diagrams, we discuss the problem of unknotting a knot diagram when we know that it is unkno...