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

User support which takes into account the user's current context is a key issue of ambient intelligence applications. In this contribution we address the question of how a user may configure and keep control of situated user support. Background of our work is a system, which creates an augmented, personal memory from events perceived in an instrumented environment. We show how the user may –ass...

Ambient Intelligence (AmI) is an information technology approach that is interactive, sensitive and responsive to a user’s environment. Emerging AmI technologies are intended to be intelligent and intuitive to a user’s needs and therefore embedded into a user’s everyday life without so much as being obtrusive. However, with any emergent technology such as AmI, ethical concerns arise. It would b...

This paper presents an architecture to help the decisionmaking process of disaster managers. Here we focus on a core aspect of this process which is taking decisions in the presence of conflicting options. We exemplify this problem with three simple scenarios related to diverse contexts and provide an explanation on how our system will advice in all these cases.

We give a systematic construction of epimorphisms between 2–bridge link groups. Moreover, we show that 2–bridge links having such an epimorphism between their link groups are related by a map between the ambient spaces which only have a certain specific kind of singularity. We show applications of these epimorphisms to the character varieties for 2–bridge links and π1 –dominating maps among 3–m...