This paper analyses current trends in information management, considers the problems they involve, and suggests some strategies for tackling these problems. The current goal is integrated, personalised information systems, to be reached via artificial intelligence. The argument is that the extent to which this goal can be achieved is limited because these systems are intrinsically heterogeneous...

AN INCREASING NUMBER OF babies are being born using donated sperm, where the resulting child is genetically related to the mother but not to the father who raises the child. This chapter discusses a tendency towards secrecy among parents of donorconceived children, and developments in law and practice designed to ensure children born through donated sperm know how they were conceived and have a...

In this paper, first, an overview is given about the whole scenario of analogic CNN computing. Next, two areas on CNN Computing Technology are considered briefly: (i) the architectural advances, especially the variable resolution and adaptation in space, time, and value and (ii) the computational infrastructure from high level language and compiler to physical implementations. Three basic physi...

In this paper we examine ways to verify reference nets, a class of high level Petri nets supported by the Renew tool. We choose to restrict reference nets to hypernets, another nets-within-nets model more suitable for verification purposes thanks to an expansion toward 1-safe Petri nets. The contribution of the paper is the implementation of such analysis techniques by means of a Renew plugin. ...

This contribution presents the formalism of Elementary Object Systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-within-nets paradigm. Since object nets in general are immediately Turing complete, we introduce the restricted class of elementary object nets which restrict the nesting of nets to the depth of two. One central aim of this contr...

Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. In...

• Mobility and the Internet are the drivers • Work is no longer a place—it is wherever you need to be • Mobile access to information and services solves real business problems and will improve the quality of life • Solutions which enable mobility are available today • Nokia has the global presence and the key core competencies in mobility and in the enabling technologies required for mobility •...

We prove NP-hardness results for five of Nintendo’s largest video game franchises: Mario, Donkey Kong, Legend of Zelda, Metroid, and Pokémon. Our results apply to Super Mario Bros. 1, 3, Lost Levels, and Super Mario World; Donkey Kong Country 1–3; all Legend of Zelda games except Zelda II: The Adventure of Link; all Metroid games; and all Pokémon role-playing games. For Mario and Donkey Kong, w...