springer berlin heidelberg springer berlin heidelberg jun 2008 (228 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium '25 Years of Model Checking', 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006.Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The problem of solving nonlinear equations and systems of equations ranks among the most signi cant in the theory and practice, not only of applied mathematicsbutalsoofmanybranchesofengineeringsciences,physics,c- puter science, astronomy, nance, and so on. A glance at the bibliography and the list of great mathematicians who have worked on this topic points to a high level of contemporary interest. Although the rapid development of digital computers led to the e ective implementation of many numerical methods, in practical realization, it is necessary to solve various problems such as computational e ciency based on the total central processor unit time, the construction of iterative methods which possess a fast convergence in the presence of multiplicity (or clusters) of a desired solution, the control of rounding errors, information about error bounds of obtained approximate solution, stating computationally veri able initial conditions that ensure a safe convergence, etc. It is the solution of these challenging problems that was the principal motivation for the present study. In this book, we are mainly concerned with the statement and study of initial conditions that provide the guaranteed convergence of an iterative method for solving equations of the form f(z) = 0. The traditional approach to this problem is mainly based on asymptotic convergence analysis using some strong hypotheses on di erentiability and derivative bounds in a rather wide domain.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -With great pleasure we would like to present the rst volume of a new journal, Transactions on Edutainment. This journal, part of the Springer series L- tureNotesinComputerScience, is devoted to research and development in the eld of edutainment. Edutainment, also known as educational entertainment or entertainment-education,denotes allforms ofentertainmentdesignedto educate as well as to provide fun. This approachis motivated by the increasing demands on individuals for life-long learning and the need to integrate e ective learning opportunities throughout life. As such, edutainment has attracted increasing interest in the last few years. The rst 12 articles of this rst issue represent a selection of outstanding contributions from Edutainment 2008, the Third International Conference on E-Learning and Games held in Nanjing, China, in June 2008. These papers are complemented by individual contributions from international experts in this eld. The rst six articles provide an introduction into the eld of edutainment by presenting di erent application examples. In their article ¿Designing an Ed- ucational Game: Case Study of Euope 2045,¿ Sisler and Brom discuss their experiences in the design of an on-line multi-player strategy game on political, economic, and social issues in contemporary Europe. The following examples point out the crucial role of interaction design and technolgies in the devel- ment of a successful edutainment application.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Zustand: Neu. Neuware -A. The Outer Limits of the Continental Shelf The 1982 United Nations Convention on the Law of the Sea (herein- ter the ¿Convention¿) marks the beginning of a new era in the law of 1 the sea. The negotiations for this treaty at the Third United Nations Conference for the Law of the Sea (hereinafter ¿UNCLOS III¿), lasted for nine years, from 1973 to 1982. The Convention regulates the principal aspects of international oceans affairs. It establishes and fixes the limits of maritime zones, provides for the rights and duties of states in these zones, establishes the law app- cable in the international seabed area on the basis of the principle of common heritage of mankind, imposes obligations on states to protect the marine environment, and provides for the means of dispute sett- ment. One of the most contentious and divisive issues at UNCLOS III were the outer limits of the continental shelf. Previously, in the 1958 Con- 2 vention on the Continental Shelf (hereinafter the ¿1958 Convention¿), no limits were established for the continental shelf. States were allowed to claim areas of continental shelves based on their capacity to exploit the mineral resources of the shelf. The legal framework in the 1958 Convention would obviously conflict with the principle of the common heritage of mankind. Delegates realized that limits have to be est- lished, but up to where and on the basis of which principles, was a c- tentious question.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were carefully reviewed and selected from 58 submissions. TOOLS played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development. At the same time, TOOLS kept its traditional spirit of technical excellence, its acclaimed focus on practicality, its well-proven combination of theory and applications, and its reliance on the best experts from academia and industry.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The lectures concentrate on highlights in Combinatorial (ChaptersII and III) and Number Theoretical (ChapterIV) Extremal Theory, in particular on the solution of famous problems which were open for many decades. However, the organization of the lectures in six chapters does neither follow the historic developments nor the connections between ideas in several cases. With the speci ed auxiliary results in ChapterI on Probability Theory, Graph Theory, etc., all chapters can be read and taught independently of one another. In addition to the 16 lectures organized in 6 chapters of the main part of the book, there is supplementary material for most of them in the Appendix. In parti- lar, there are applications and further exercises, research problems, conjectures, and even research programs. The following books and reports [B97], [ACDKPSWZ00], [A01], and [ABCABDM06], mostly of the authors, are frequently cited in this book, especially in the Appendix, and we therefore mark them by short labels as [B], [N], [E], and [G]. We emphasize that there are also ¿Exercises¿ in [B], a ¿Problem Section¿ with contributions by several authors on pages 1063¿1105 of [G], which are often of a combinatorial nature, and ¿Problems and Conjectures¿ on pages 172¿173 of [E].Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 4th IEEE Tutorial and Research Workshop on Perception and Interactive Technologies for Speech-Based Systems, PIT 2008, held in Kloster Irsee, Germany, in June 2008. The 37 revised full papers presented together with 1 invited keynote lecture were carefully selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on multimodal and spoken dialogue systems, classification of dialogue acts and sound, recognition of eye gaze, head poses, mimics and speech as well as combinations of modalities, vocal emotion recognition, human-like and social dialogue systems, and evaluation methods for multimodal dialogue systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 328 pp. Englisch.

Buch. Zustand: Neu. Neuware -Semantic Web services promise to automate tasks such as discovery, mediation, selection, composition, and invocation of services, enabling fully flexible automated e-business. Their usage, however, still requires a significant amount of human intervention due to the lack of support for a machine-processable description.In this book, Jos de Bruijn and his coauthors lay the foundations for understanding the requirements that shape the description of the various aspects related to Semantic Web services, such as the static background knowledge in the form of ontologies, the functional description of the service, and the behavioral description of the service. They introduce the Web Service Modeling Language (WSML), which provides means for describing the functionality and behavior of Web services, as well as the underlying business knowledge, in the form of ontologies, with a conceptual grounding in the Web Service Modeling Ontology.Academic and industrial researchers as well as professionals will find a comprehensive overview of the concepts and challenges in the area of Semantic Web services, the Web Services Modeling Language and its relation to the Web Services Modeling Ontology, and an in-depth treatment of both enabling technologies and theoretical foundations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 208 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Informatics Education ¿ Supporting Computational Thinking contains papers presented at the Third International Conference on Informatics in Secondary Schools ¿ Evolution and Perspective, ISSEP 2008, held in July 2008 in Torun, Poland. As with the proceedings of the two previous ISSEP conferences (2005 in Klag- furt, Austria, and 2006 in Vilnius, Lithuania), the papers presented in this volume address issues of informatics education transcending national boundaries and, the- fore, transcending differences in the various national legislation and organization of the educational system. Observing these issues, one might notice a trend. The p- ceedings of the First ISSEP were termed From Computer Literacy to Informatics F- damentals [1]. There, broad room was given to general education in ICT. The ECDL, the European Computer Driving License, propagated since the late 1990s, had pe- trated school at this time already on a broad scale and teachers, parents, as well as pupils were rather happy with this situation. Teachers had material that had a clear scope, was relatively easy to teach, and especially easy to examine. Parents had the assurance that their children learn ¿modern and relevant stuff,¿ and for kids the c- puter was sufficiently modern so that anything that had to do with computers was c- sidered to be attractive. Moreover, the difficulties of programming marking the early days of informatics education in school seemed no longer relevant. Some colleagues had a more distant vision though. 380 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Third International Workshop on OpenMP, IWOMP 2007, was held at Beijing,China.This year¿sworkshopcontinuedits traditionofbeingthe premier opportunity to learn more about OpenMP, to obtain practical experience and to interact with OpenMP users and developers. The workshop also served as a forum for presenting insights gained by practical experience, as well as research ideas and results related to OpenMP. A total of 28 submissions were received in response to a call for papers. Each submissionwasevaluatedbythreereviewersandadditionalreviewswerereceived for some papers. Based on the feedback received, 22 papers were accepted for inclusion in the proceedings. Of the 22 papers, 14 were accepted as full papers. We also accepted eight short papers, for each of which there was an opportunity to givea shortpresentationat the workshop,followed byposter demonstrations. Each paper was judged according to its originality, innovation, readability, and relevance to the expected audience. Due to the limited scope and time of the workshop and the high number of submissions received, only 50% of the total submissions were able to be included in the nal program. In addition to the contributed papers, the IWOMP 2007 program featured several keynote and banquet speakers: Trevor Mudge, Randy Brown, and Shah, Sanjiv. These speakers were selected due to their signi cant contributions and reputation in the eld. A tutorial session and labs were also associated with IWOMP 2007.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 6th European Conference on Interactive Television, EuroITV 2008, held in Salzburg, Austria, in July 2008. The 42 revised full papers were carefully reviewed and selected from 156 submissions. The contributions cover significant aspects of the interactive television domain including submissions on user studies, technical challenges related to new developments as well as new kind of formats. The papers are organized in topical sections on interactive TV, interactive authoring, personalisation and recommender systems, mobile TV, social TV, new TV environments, iTV architectures and systems, user interfaces and interaction design, user studies, and accessibility. 348 pp. Englisch.

Buch. Zustand: Neu. Neuware -Computational chemistry and molecular modeling is a fast emerging area which is used for the modeling and simulation of small chemical and biological systems in order to understand and predict their behavior at the molecular level. It has a wide range of applications in various disciplines of engineering sciences, such as mate- als science, chemical engineering, biomedical engineering, etc. Knowledge of c- putational chemistry is essential to understand the behavior of nanosystems; it is probably the easiest route or gateway to the fast-growing discipline of nanosciences and nanotechnology, which covers many areas of research dealing with objects that are measured in nanometers and which is expected to revolutionize the industrial sector in the coming decades. Considering the importance of this discipline, computational chemistry is being taught presently as a course at the postgraduate and research level in many univer- ties. This book is the result of the need for a comprehensive textbook on the subject, which was felt by the authors while teaching the course. It covers all the aspects of computational chemistry required for a course, with suf cient illustrations, nume- cal examples, applications, and exercises. For a computational chemist, scientist, or researcher, this book will be highly useful in understanding and mastering the art of chemical computation. Familiarization with common and commercial software in molecular modeling is also incorporated. Moreover, the application of the concepts in related elds such as biomedical engineering, computational drug designing, etc. has been added.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI 2008, held in Siena, Italy, in July 2008. The 16 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers are organized in topical sections on structures in finite fields, efficient finite field arithmetic, efficient implementation and architectures, classification and construction of mappings over finite fields, and codes and cryptography.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Buch. Zustand: Neu. Neuware -Networked computers are ubiquitous, and are subject to attack, misuse, and abuse. One method to counteracting this cyber threat is to provide security analysts with better tools to discover patterns, detect anomalies, identify correlations, and communicate their findings. Visualization for computer security (VizSec) researchers and developers are doing just that. VizSec is about putting robust information visualization tools into the hands of human analysts to take advantage of the power of the human perceptual and cognitive processes in solving computer security problems. This volume collects the papers presented at the 4th International Workshop on Computer Security - VizSec 2007.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -On behalf of the PROFES Organizing Committee, we are proud to present to you the proceedings of the 9th International Conference on Product-Focused Software Process Improvement (PROFES 2008) held in Frascati - Monteporzio Catone, Rome, Italy. Since 1999, PROFES has established itself as one of the recognized international process improvement conferences. The main theme of PROFES is professional so- ware process improvement (SPI) motivated by product and service quality needs. Focussing on a product to be developed, PROFES 2008 addressed both quality en- neering and management topics including processes, methods, techniques, tools, - ganizations, and enabling SPI. Both solutions found in practice and the relevant research results from academia were presented. Domains such as the automotive and mobile applications industry are growing r- idly, resulting in a strong need for professional development and improvement. Nowadays, the majority of embedded software is developed in collaboration, and distribution of embedded software development continues to increase. Thus, PROFES 2008 addressed different development modes, roles in the value chain, stakeholders¿ viewpoints, collaborative development, as well as economic and quality aspects. - ile development was included again as one of the themes. Since the beginning of the series of PROFES conferences, the purpose has been to bring to light the most recent findings and novel results in the area of process - provement, and to stimulate discussion among researchers, experienced professionals, and technology providers from around the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 468 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 4th International Symposium on Biomedical Simulation, ISBMS 2008, held in London, UK, in July 2008. The 19 revised full papers and 7 poster papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in four different sections corresponding to key areas and techniques of this constantly expanding field: finite element modeling, mass spring and statistical shape modeling, motion and fluid modeling and implementation issues. An additional section covers the posters presented at the meeting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

Buch. Zustand: Neu. Neuware -Enterprise Modeling has been defined as the art of externalizing enterprise knowledge, i.e., representing the core knowledge of the enterprise. Although useful in product design and systems development, for modeling and model-based approaches to have a more profound effect, a shift in modeling approaches and methodologies is necessary. Modeling should become as natural as drawing, sketching and scribbling, and should provide powerful services for capturing work-centric, work-supporting and generative knowledge, for preserving context and ensuring reuse. A solution is the application of Active Knowledge Modeling (AKM).The AKM technology is about discovering, externalizing, expressing, representing, sharing, exploring, configuring, activating, growing and managing enterprise knowledge. An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families of platforms, model-configured workplaces and services.This book was written by the inventors of AKM arising out of their cooperation with both scientists and industrial practitioners over a long period of time, and the authors give examples, directions, methods and services to enable new ways of working, exploiting the AKM approach to enable effective c-business, enterprise design and development, and lifecycle management. Industry managers and design engineers will become aware of the manifold possibilities of, and added values in, IT-supported distributed design processes, and researchers for collaborative design environments will find lots of stimulation and many examples for future developments.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th European Public Key Infrastructure Workshop: Theory and Practice, EuroPKI 2008, held in Trondheim, Norway, in June 2008. The 15 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 37 submissions. Ranging from theoretical and foundational topics to applications and regulatory issues in various contexts, the papers focus on all research and practice aspects of PKI and show ways how to construct effective, practical, secure and low cost means for assuring authenticity and validity of public keys used in large-scale networked services.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at NLDB 2008, the 13th Inter- tional Conference on Natural Language and Information Systems, held June 25¿27,2008.It also containssome of the best researchproposalsas submitted to theNLDB2008doctoralsymposiumheldonJune24,2008.Theprogrammealso includes three invited talks covering the main perspectives of the application of naturallanguageto informationsystems:the wayhumansprocess,communicate and understand natural language, what are the implications and challenges - wardssemanticsearchforthenewWebgeneration,hownaturallanguageapplies to the well-established database way of querying as a means to unlock data and information for end users. We received 68 papers as regular papers for the main conference and 14 short papers for the doctoral symposium. Each paper for the main conference was assigned four reviewers based on the preferences expressed by the Program Committee members. We ensured that every paper had at least two reviewers that expressedinterest in reviewing it or indicated that they could reviewit. We ensured that each paper got at least three reviews. As a result, only 10% of the papers were reviewed by three reviewers. The Conference Chair and the two Program Committee Co-chairs acted as Meta-Reviewers.Eachofthemtookroughly1/3ofthepapers(obviouslyrespe- ing con icts of interest), for which s/he was responsible. This included studying the reviews, launching discussions and asking for clari cations whenever nec- sary, as well as studying the papers whenever a need for an informed additional opinion arose or when the reviewers¿ notes did not allow for a decision.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Welcome to the proceedings of APCHI 2008, the 8th Asia-Pacific Conference on Computer¿Human Interaction held in Seoul, Korea. Following the success of the preceding APCHI conferences, in Singapore (1996, 2000), Australia (1997), Japan (1998), China (2002), New Zealand (2004) and Taiwan (2006), the 8th APCHI brought together the researchers, developers, practitioners, and educators in the field of human¿computer interaction. APCHI has been a major forum for scholars and practitioners in the Asia-Pacific region on the latest challenges and developments in HCI. Theoretical breakthroughs and practical systems and interfaces were presented at this 2008 conference, thanks to the support of KADO, the HCI ITRC of Sungkyu- wan University, and KIST. APCHI 2008 featured a comprehensive program including keynote speeches, regular paper presentations, poster, demos, and special panel sessions. To address the challenge of socially blending ubiquitous computing technologies and a wider sp- trum of people with a variety of skills, knowledge, and capabilities, APCHI 2008 set ¿Universal and Ubiquitous¿ as the conference theme. APCHI 2008 attracted a total of 151 paper submissions. Among such a large number of submissions, 45 full papers were accepted as submitted or with minor revisions. All papers were reviewed by at least two reviewers. For the remaining submissions, 41 were recommended to change according to the reviews and were submitted as extended abstracts and posters. One special session with six invited papers was organized to support the conference theme of ¿Universal and Ubiquitous.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 480 pp. Englisch.

Buch. Zustand: Neu. Neuware -Why is our world comprehensible This question seems so trivial that few people have dared to ask it. In this book we explore the deep roots of the mystery of rationality. The inquiry into the rationality of the world began over two-and-a-half-thousand years ago, when a few courageous people tried to understand the world with the help of reason alone, rejecting the comforting fabric of myth and legend.After many philosophical and theological adventures the Greek concept of rationality laid the foundations of a revolutionary way of thinking: the scientific method, which transformed the world.But looking at the newest fruits of the world's rationality - relativity theory, quantum mechanics, the unification of physics, quantum gravity - the question arises: what are the limits of the scientific method The principal tenet of rationality is that you should never stop asking questions until everything has been answered .'A Comprehensible Universe is a thoughtful book by two authors who have professional expertise in physics and astronomy and also in theology. They are exceptionally well informed about the history of the relation between science and theology, and they maintain throughout their discussion a respect for empirical evidence and a dedication to rationality. Even though I do not agree with all of their conclusions on matters of great complexity I am impressed by the fairness of their argumentation.'Abner Shimony, Professor Emeritus of Philosophy and Physics, Boston UniversitySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Buch. Zustand: Neu. Neuware -The second edition of Electronic Imaging in Astronomy: Detectors and Instrumentation describes the remarkable developments that have taken place in astronomical detectors and instrumentation in recent years ¿ from the invention of the charge-coupled device (CCD) in 1970 to the current era of very large telescopes, such as the Keck 10-meter telescopes in Hawaii with their laser guide-star adaptive optics which rival the image quality of the Hubble Space Telescope.Authored by one of the world¿s foremost experts on the design and development of electronic imaging systems for astronomy, this book has been written on several levels to appeal to a broad readership. Mathematical expositions are designed to encourage a wider audience, especially among the growing community of amateur astronomers with small telescopes with CCD cameras. The book can be used at the college level for an introductory course on modern astronomical detectors and instruments, and as a supplement for a practical or laboratory class.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 612 pp. Englisch.

Buch. Zustand: Neu. Neuware -Credit risk analysis is one of the most important topics in the field of financial risk management. Due to recent financial crises and regulatory concern of Basel II, credit risk analysis has been the major focus of financial and banking industry. Especially for some credit-granting institutions such as commercial banks and credit companies, the ability to discriminate good customers from bad ones is crucial. The need for reliable quantitative models that predict defaults accurately is imperative so that the interested parties can take either preventive or corrective action. Hence credit risk analysis becomes very important for sustainability and profit of enterprises. In such backgrounds, this book tries to integrate recent emerging support vector machines and other computational intelligence techniques that replicate the principles of bio-inspired information processing to create some innovative methodologies for credit risk analysis and to provide decision support information for interested parties.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Buch. Zustand: Neu. Neuware -Advanced Computational Intelligence (CI) paradigms are increasingly used for implementing robust computer applications to foster safety, quality and efficacy in all aspects of healthcare. This research book covers an ample spectrum of the most advanced applications of CI in healthcare.The first chapter introduces the reader to the field of computational intelligence and its applications in healthcare. In the following chapters, readers will gain an understanding of effective CI methodologies in several important topics including clinical decision support, decision making in medicine effectiveness, cognitive categorizing in medical information system as well as intelligent pervasive healthcare systems, and agent middleware for ubiquitous computing. Two chapters are devoted to imaging applications: detection and classification of microcalcifications in mammograms using evolutionary neural networks, and Bayesian methods for segmentation of medical images. The final chapters cover key aspects of healthcare, including computational intelligence in music processing for blind people and ethical healthcare agents.This book will be of interest to postgraduate students, professors and practitioners in the areas of intelligent systems and healthcare.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Buch. Zustand: Neu. Neuware -In the past decades now a famous class of evolution equations has been discovered and intensively studied, a class including the nowadays celebrated Korteweg-de Vries equation, sine-Gordon equation, nonlinear Schr¿ odinger equation, etc. The equations from this class are known also as the soliton equations or equations solvable by the so- called Inverse Scattering Tra- form Method. They possess a number of interesting properties, probably the most interesting from the geometric point of view of being that most of them are Liouville integrable Hamiltonian systems. Because of the importance of the soliton equations, a dozen monographs have been devoted to them. H- ever, the great variety of approaches to the soliton equations has led to the paradoxical situation that specialists in the same eld sometimes understand eachotherwithdi culties. Wediscovereditourselvesseveralyearsagoduring a number of discussions the three of us had. Even though by friendship binds us, we could not collaborate as well as we wanted to, since our individual approach to the eld of integrable systems ( nite and in nite dimensional) is quite di erent. We have become aware that things natural in one approach are di cult to understand for people using other approaches, though the - jects are the same, in our case ¿ the Recursion (generating) Operators and theirapplicationsto niteandin nitedimensional(notnecessarilyintegrable) Hamiltonian systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 656 pp. Englisch.

Buch. Zustand: Neu. Neuware -Antennas represent a critical technology in any of these wireless systems. Not only do they directly affect the received power of the system, they are also typically the largest and most visible part. Recently, the need for low-cost, low-profile, and lightweight antenna in the frequency range of the microwave/millimeter wave/THz band has regained momentum.'Basic Principles of Fresnel Antenna Arrays' provides us a with the basics of the various Fresnel Antenna approaches, in order to achieve low-cost, low-profile, and lightweight antenna in the microwave/millimeter wave band. A potential solution of the antenna problem lies in using lens technology in an array. The Fresnel zone plate lens (FZPL) antenna is in particular an interesting candidate for the array element. The limiting focusing properties of FZPL including subwave length focus are described in detail. The book further presents a novel hexagonal FZPL antenna which can be more effectively packed in an array due to its shape.Before considering the hexagonal FZPL antenna in an array, the authors investigate two ideas, described as methods to potentially improve the radiation characteristics. The first idea is to change the reference phase of the Fresnel zone radii - a novel free parameter in the usual design of zone plate¿s lenses and antennas. To further improve the radiation characteristics of the hexagonal FZPL antenna, a technique involving Fresnel zone rotation is investigated.The book is of interest for designers of optical systems because, taking scaling effects into account, the characteristics of diffractive quasioptical elements are valid for diffractive focusing elements of integrated optics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense,thevolumeisa re ection, with gratitude and admiration, on Ugös highly creative, remarkably fruitful and intellectually generous life, which is thriving as strongly as ever. It provides a snapshot of the manifold research ideas that have been deeply in uenced by Ugös work. In a sense the book gives a vantage point from which to foresee further developments to come: by Ugo himself, and by many other people encouraged and stimulated by his friendship and example. The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo has contributed. Each of these six sections starts with a contribution by one of Ugös closer collaborators providing an account of Ugös contribution to the area and brie y describing the papers in the section. The six scienti c sections and the respective editors are the following: ¿ Graph Transformation (Andrea Corradini) ¿ Constraint and Logic Programming (Francesca Rossi) ¿ Software Engineering (Stefania Gnesi) ¿ Concurrency (Roberto Gorrieri) ¿ Models of Computation (Roberto Bruni and Vladimiro Sassone) ¿ Software Veri cation (Gian-Luigi Ferrari) The nal section,edited by Fabio Gadducci,contains somelaudatio or memories of working experiences with Ugo, as well as three more technical contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 832 pp. Englisch.

Buch. Zustand: Neu. Neuware -The idea of publishing this book on ¿Bioengineering in Cell and Tissue Research¿ was originated by Gerhard M. Artmann, with the goal of writing about our dreams and making the reader dream with the authors and be fascinated. The book is meant to have life and spirit, and to become a pioneer in technology and sciences, es- cially the life science. The chapters in this book are written by excellent scientists on advanced, frontier technology and address scienti c questions that need consid- able thinking in terms of engineering. The aims are to provide the readers, including students, faculty, and all scientists working in academia and industry, new infor- tion on bioengineering in cell and tissue research to enhance their understanding and innovation. This book is composed of six sections that cover a broad hierarchy from genes to the universe. These sections are Genes, Genome and Information Network; Cell and Tissue Imaging; Regenerative Medicine and Nanoengineering; Mechanics of Soft Tissues, Fluids and Molecules; Bioengineering in Clinical Applications; and Plant and Microbial Bioengineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 724 pp. Englisch.

Buch. Zustand: Neu. Neuware -Monitoring of Cerebral and Spinal Haemodynamics During Neurosurgery is a comprehensive description of subdural monitoring of intracranial pressure (ICP) during neurosurgery. It offers thorough analysis of a comprehensive database consisting of measurements of ICP, cerebral perfusion pressure and other relevant physiological data from more than 1,800 patients subjected to intracranial surgery at Aarhus University Hospital. Features of anaesthesia, both inhalation and total intravenous, are discussed, and measures to reduce ICP are described. A majority of the patients had supratentorial tumours, but the database also includes patients with infratentorial tumours and patients with no intracranial space-occupying lesions. A chapter is reserved for discussion of the special features of children with cerebral tumours.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 352 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the proceedings of UIC 2008, the 5th International C- ference on Ubiquitous Intelligence and Computing: Building Smart Worlds in Real and Cyber Spaces. The conference was held in Oslo, Norway, during June 23¿25, 2008. The event was the fth meeting of this conference series. USW 2005 (First International Workshop on Ubiquitous Smart World), held in March 2005 in Taiwan, was the rst event in the series. This event was followed by UISW 2005 (SecondInternationalSymposiumonUbiquitousIntelligenceandSmartWorlds) held in December 2005 in Japan, by UIC 2006 (Third International Conference on Ubiquitous Intelligence and Computing: Building Smart Worlds in Real and Cyber Spaces) held in September 2006 in Wuhan and Three Gorges, China, and by UIC 2007 held in July 2007 in Hong Kong. Ubiquitous computers, networks and information are paving the road to a smart world in which computational intelligence is distributed throughout the physical environment to provide trustworthy and relevant services to people. 788 pp. Englisch.