You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Ambient intelligence is the vision of a technology that will become invisibly embedded in our natural surroundings, present whenever we need it, enabled by simple and effortless interactions, attuned to all our senses, adaptive to users and context-sensitive, and autonomous. High-quality information access and personalized content must be available to everybody, anywhere, and at any time. This book addresses ambient intelligence used to support human contacts and accompany an individual's path through the complicated modern world. From the technical standpoint, distributed electronic intelligence is addressed as hardware vanishing into the background. Devices used for ambient intelligence ar...
Gerhard Gentzen (1909–1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called “proof theory” but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on...
The development and advancement of personalised health management systems requires the consideration of advances in sensor technologies and advanced textiles in addition to nano technologies and evolving information and communication technologies. We are now living in an environment where changes in healthcare structures and requests from patients to have an increased participation in their own healthcare are demanding the availability of affordable and readily available personalised health management systems. Recent research has taken us a step closer in providing such solutions, however, efforts are still required to address the issues of integration of new technologies into existing healt...
Vol. 30 includes "The first half century of the Essex Institute," and "List of present members."
We present here the transcripts of lectures and talks which were delivered at the NATO ADVANCED STUDY INSTITUTE "Electronic Structure of Complex Systems" held at the State University of Ghent, Belgium during the period July 12-23, 1982. The aim of these lectures was to highlight some of the current progress in our understanding of the electronic structure of com plex systems. A massive leap forward is obtained in bandstructure calculations with the advent of linear methods. The bandtheory also profitted tremendously from the recent developments in the density functional theories for the properties of the interacting electron gas in the presence of an external field of ions. The means of per ...
None
The articles collected in Scholar and Kabbalist: The Life and Work of Gershom Scholem offer new and fresh insights into the life and work of Gershom Scholem, one of the most prominent German-Jewish intellectuals of the 20th century.
This book is an auto-biography of Trausti Valsson, an Icelandic architect, planner, theoretician and a professor of planning at the University of Iceland. It gives a personal account of what shaped planning and design in the world and in Iceland as he experienced it in his lifetime. Valsson e.g. tells about his personal encounter with Ian McHarg, Buckminster Fuller and Christopher Alexander. Early TV started working on a future plan for Iceland, consisting, for example, of roads connecting Iceland´s settlements, across the Central Highlands. He also started an overlay mapping project, mapping both the hazard- and resource areas of the country, which created a basis for his Iceland-Plan prop...
This book constitutes the refereed proceedings of the First European Workshop on Wireless Sensor Networks, EWSN 2004, held in Berlin, Germany in January 2004. The 24 revised full papers presented were carefully reviewed and selected from 76 submissions. Wireless sensor networks are a key technology for new ways of interaction between computers and the physical world around us. Compared to traditional networking, wireless sensor networks are faced with a rather unique mix of challenges: scalability, energy-efficiency, self-configuration, constrained computation and memory resources in individual nodes, data centricity, etc. This is one of a very small number of books entirely devoted to the presentation of cutting-edge R & D results in this exciting new area.