For general Riemannian foliations, spectral asymptotics of the Laplacian is studied when the metric on the ambient manifold is blown up in directions normal to the leaves (adiabatic limit). The number of “small” eigenvalues is given in terms of the differentiable spectral sequence of the foliation. The asymptotics of the corresponding eigenforms also leads to a Hodge theoretic description of th...

A natural way of conceptualizing ambient intelligence is by picturing an active environment with access to perceptual input, not via eyes and ears, but by their technological counterparts. Computer vision is an essential part of building contextaware environments that adapt and anticipate their human users by understanding their behavior. This thematic issue explores state-of-the-art computer v...

Palamidessi has shown that the π-calculus with mixed choice is powerful enough to solve the leader election problem on a symmetric ring of processes. We show that this is also possible in the calculus of Mobile Ambients (MA), without using communication or restriction. Following Palamidessi’s methods, we deduce that there is no encoding satisfying certain conditions from MA into CCS. We also sh...

We have an increasingly sedentary population without the care to make a healthy diet. Therefore, it becomes necessary to give the population the opportunity, despite living a very busy and tiring life, to have control over important aspects to their health. This work aims to present a model of an ambient intelligence system for monitoring the weight and physical activity in active individuals. ...

Concept development for professional domain AmI solutions involves different stakeholders than those for consumer products, and puts different requirements on experience test methods and facilities. Philips ExperienceLab facility for experience research is described, as well as trends and lessons learned from its use in the two domains.

This paper analyzes the concept of rights from a logical point of view. We start on two types of legal sentences: legal object sentences and legal meta-sentences. A legal object sentence describes an obligation of its addressee and a legal meta-sentence describes the validity of a legal sentence. We consider a legal sentence one that describes someone’s right as a legal meta-sentence. We clarif...

Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and investigate matching systems for CCS, the pi-calculus and Mobile Ambients. We show among other results that the asynchronous pi-calculus with matching cannot be encoded (under certain conditions) in CCS with polyadic ...

A key issue in the study of Ambient Intelligence is reasoning about context. The aim of context reasoning is to deduce new knowledge, based on the available context data. The endmost goal is to make the ambient services more ”intelligent”; closer to the specific needs of their users. The main challenges of this effort derive from the imperfect context information, and the dynamic and heterogene...

This article is concerned with conformal harmonic maps f : Σ → M , where Σ is a closed Riemann surface and M is a compact Riemannian manifold of dimension at least four. We show that when the ambient manifold M is given a generic metric, all prime closed parametrized minimal surfaces are free of branch points, and are as Morse nondegenerate as allowed by the group of complex automorphisms of Σ.

This talk focuses on the ambient intelligence for network robot systems including robots and/or sensor networks, smartphones, etc. It is one of the significant functions allowing robot services over multiple sites. As examples of ambient intelligence on the human trajectory and behaviors, the "ambient intelligence map" is introduced. Next, the robotic services of shopping support for elderly, t...