Springer springer jul 2001 (361 Ergebnisse)

Buch. Zustand: Neu. Neuware - The SISDEP 93 conference proceedings present outstanding research and development results in the area of numerical process and device simulation. The miniaturization of today s semiconductor devices, the usage of new materials and advanced process steps in the development of new semiconductor technologies suggests the design of new computer programs. This trend towards more complex structures and increasingly sophisticated processes demands advanced simulators, such as fully three-dimensional tools for almost arbitrarily complicated geometries. With the increasing need for better models and improved understanding of physical effects, these proceedings support the simulation community and the process- and device engineers who need reliable numerical simulation tools for characterization, prediction, and development. This book covers the following topics: process simulation and equipment modeling, device modeling and simulation of complex structures, device simulation and parameter extraction for circuit models, integration of process, device and circuit simulation, practical applications of simulation, algorithms and software.…

Buch. Zustand: Neu. Neuware - The Lewinsky scandal provided President Clinton with a stern challenge to his political credibility in 1998-99. Having endured an investigation by an Independent Counsel, the President was impeached and only just retained the presidential office following a trial in the Senate. Robert Busby identifies and analyzes the damage limitation strategies adopted by the Clinton administration to contend with the Lewinsky scandal, and explains how and why Clinton survived the most serious Constitutional crisis since Watergate.…

Buch. Zustand: Neu. Neuware - Current cameras are poor imitations of the human eye and close descen dants in their design of ideas and a technology that are more than a century old. People in computer vision have traditionally used off-the-shelf cameras that were not meant for the uses they were intended for by these researchers: off-the-shelf cameras are designed to capture images to be printed on paper or looked at on a television screen, not for guiding robots or making 3D models of the environment or even surveilling a large area where very large field of views, high geometric and photometric accuracies are necessary. Quite a significant part of the efforts in computer vision has been targeted at overcoming algorithmically these problems. The authors of this book convince us that it is possible to abandon the traditional route of using standard cameras and to follow the path of designing new cameras explicitly for solving the tasks at hand in computer vision applications. This leads to different design concepts and allows to alleviate many of the difficulties encountered in the processing of the images taken with the 'traditional' cameras.…

Buch. Zustand: Neu. Neuware - The broadband wireless communications field is growing at an explosive rate, stimulated by a host of important emerging applications ranging from 3G, 4G and wireless LAN. Wideband CDMA and CDMA2000 will be used for 3G. OFDM+CDMA might be a good choice for 4G, CDMA overlay will possibly be used for new-generation broadband wireless LAN. For system planners and designers, the projections of rapidly escalating demand for such wireless services present major challenges and meeting these challenges will require sustained technical innovation on many fronts. The text of this book has been developed through years of research by the author and his graduate students at the University of Hong Kong. The aim of this book is to provide a R&D perspective on the field of broadband wireless communications by describing the recent research developments in this area and also by identifying key directions in which further research is needed. As a background, I presume that the reader has a thorough understanding of digital communications and spread spectrum/CDMA. The book is arranged into 13 chapters. In chapter 1, some key specifications of 3G WCDMA are described and discussed. These techniques include channel coding, rate matching, modulation and spreading, power control, cell search, transmit diversity, soft-handoff, and so son. In Chapter 2, the coherent RAKE reception of Wideband CDMA signals with complex spreading is considered. A dedicated pilot channel, which is separate from data channels, is used for the purpose of channel estimation.…

Buch. Zustand: Neu. Neuware - Solid state NMR is rapidly emerging as a universally applicable method for the characterization of ordered structures that cannot be studied with solution methods or diffraction techniques. This proceedings -; from a recent international workshop - captures an image of the latest developments and future directions for solid state NMR in biological research, particularly on membrane proteins. Detailed information on how hormones or drugs bind to their membrane receptor targets is needed, e.g. for rational drug design. Higher fields are bringing clear improvements, and the power of solid state NMR techniques for studying amorphous and membrane associated peptides, proteins and complexes is shown by examples of applications at ultra-high fields. Progress in protein expression, experimental design and data analysis are also presented by leaders in these research areas.…

Buch. Zustand: Neu. Neuware - Faced with ever-increasing market demands, manufacturing industry is forced to seek innovation and technological breakthrough. This state-of-the-art text aims to integrate broad aspects of precision and production engineering to cope with rapid changes in market needs and technological developments as we enter the 21st century. It addresses basic theory, extensive research in advanced topics, industrial applications, and relevant surveys in related fields. Major subjects covered by this book include: Advanced manufacturing systems; Ultra-precision machining and micro machining; Nanotechnology for fabrication and measurement; Chemo-mechanical processes; Rapid prototyping technology; New materials and advanced processes; Computer-aided production engineering; Manufacturing process control; Planning. This volume contains the proceedings of the 10th International Conference on Precision Engineering (ICPE), which was held in July 2001, in Yokohama, Japan. ICPE is a well-established conference in the field of production and precision engineering, covering a wide range of topics for future-oriented manufacturing systems and processes; it is organized by the Japan Society for Precision Engineering (JSPE). This book can be used as a reference for graduate and undergraduate courses in precision and production engineering, and also for researchers and industrial engineers to capture current trends in this field.…

Buch. Zustand: Neu. Neuware 655 pp. Deutsch.

Buch. Zustand: Neu. Neuware 655 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Eine Läsion des peripheren oder zentralen Nervensystems kann zu neuropathischen Schmerzen führen. Dabei kommt es entweder zu anhaltenden Schmerzen oder einschießenden Schmerzattacken. Auch sind spezielle Schmerzreaktionsmuster wie Allodynie oder Hyperpathie bzw. eine zentrale Sensibilisierung möglich. Klinische Krankheitsbilder, die mit neuropathischen Schmerzen einhergehen, sind u.a. Polyneuropathien, Zoster-Neuralgien, sowie zentrale Schmerzsyndrome.Das Buch beginnt mit der Darstellung des Erscheinungsbildes neuropathischer Schmerzen, das zweite Hauptkapitel umfasst die allgemeinen Therapiemöglichkeiten (besonders medikamentöse Therapie). Schließlich werden die klinischen Krankheitsbilder und die passende Therapieempfehlung angeführt.Das Buch stellt auf wissenschaftlicher Basis, aber sehr praxisorientiert das Gesamtbild neuropathischer Schmerzen dar, beginnend bei der Schmerzsymptomatik, über das klinische Krankheitsbild bis zu den relevanten 'evidence based' Therapiemaßnahmen. Der Käufer kann einerseits schwierige Sachverhalte nachlesen (umfangreiches Literaturverzeichnis) und andererseits das Buch als therapeutisches Nachschlagwerk verwenden. 140 pp. Deutsch. …

Taschenbuch. Zustand: Neu. Neuware -Eine Läsion des peripheren oder zentralen Nervensystems kann zu neuropathischen Schmerzen führen. Dabei kommt es entweder zu anhaltenden Schmerzen oder einschießenden Schmerzattacken. Auch sind spezielle Schmerzreaktionsmuster wie Allodynie oder Hyperpathie bzw. eine zentrale Sensibilisierung möglich. Klinische Krankheitsbilder, die mit neuropathischen Schmerzen einhergehen, sind u.a. Polyneuropathien, Zoster-Neuralgien, sowie zentrale Schmerzsyndrome.Das Buch beginnt mit der Darstellung des Erscheinungsbildes neuropathischer Schmerzen, das zweite Hauptkapitel umfasst die allgemeinen Therapiemöglichkeiten (besonders medikamentöse Therapie). Schließlich werden die klinischen Krankheitsbilder und die passende Therapieempfehlung angeführt.Das Buch stellt auf wissenschaftlicher Basis, aber sehr praxisorientiert das Gesamtbild neuropathischer Schmerzen dar, beginnend bei der Schmerzsymptomatik, über das klinische Krankheitsbild bis zu den relevanten 'evidence based' Therapiemaßnahmen. Der Käufer kann einerseits schwierige Sachverhalte nachlesen (umfangreiches Literaturverzeichnis) und andererseits das Buch als therapeutisches Nachschlagwerk verwenden. 140 pp. Deutsch. …

Buch. Zustand: Neu. Neuware.

Taschenbuch. Zustand: Neu. Neuware - Eine Läsion des peripheren oder zentralen Nervensystems kann zu neuropathischen Schmerzen führen. Dabei kommt es entweder zu anhaltenden Schmerzen oder einschießenden Schmerzattacken. Auch sind spezielle Schmerzreaktionsmuster wie Allodynie oder Hyperpathie bzw. eine zentrale Sensibilisierung möglich. Klinische Krankheitsbilder, die mit neuropathischen Schmerzen einhergehen, sind u.a. Polyneuropathien, Zoster-Neuralgien, sowie zentrale Schmerzsyndrome.Das Buch beginnt mit der Darstellung des Erscheinungsbildes neuropathischer Schmerzen, das zweite Hauptkapitel umfasst die allgemeinen Therapiemöglichkeiten (besonders medikamentöse Therapie). Schließlich werden die klinischen Krankheitsbilder und die passende Therapieempfehlung angeführt.Das Buch stellt auf wissenschaftlicher Basis, aber sehr praxisorientiert das Gesamtbild neuropathischer Schmerzen dar, beginnend bei der Schmerzsymptomatik, über das klinische Krankheitsbild bis zu den relevanten 'evidence based' Therapiemaßnahmen. Der Käufer kann einerseits schwierige Sachverhalte nachlesen (umfangreiches Literaturverzeichnis) und andererseits das Buch als therapeutisches Nachschlagwerk verwenden. …

Taschenbuch. Zustand: Neu. Neuware -Eine Läsion des peripheren oder zentralen Nervensystems kann zu neuropathischen Schmerzen führen. Dabei kommt es entweder zu anhaltenden Schmerzen oder einschießenden Schmerzattacken. Auch sind spezielle Schmerzreaktionsmuster wie Allodynie oder Hyperpathie bzw. eine zentrale Sensibilisierung möglich. Klinische Krankheitsbilder, die mit neuropathischen Schmerzen einhergehen, sind u.a. Polyneuropathien, Zoster-Neuralgien, sowie zentrale Schmerzsyndrome. Das Buch beginnt mit der Darstellung des Erscheinungsbildes neuropathischer Schmerzen, das zweite Hauptkapitel umfasst die allgemeinen Therapiemöglichkeiten (besonders medikamentöse Therapie). Schließlich werden die klinischen Krankheitsbilder und die passende Therapieempfehlung angeführt. Das Buch stellt auf wissenschaftlicher Basis, aber sehr praxisorientiert das Gesamtbild neuropathischer Schmerzen dar, beginnend bei der Schmerzsymptomatik, über das klinische Krankheitsbild bis zu den relevanten 'evidence based' Therapiemaßnahmen. Der Käufer kann einerseits schwierige Sachverhalte nachlesen (umfangreiches Literaturverzeichnis) und andererseits das Buch als therapeutisches Nachschlagwerk verwenden. 140 pp. Deutsch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -four The of this volume deal with new notions of whose papers algebras feature is common to have two So are called generating operations. they dial- bras. The first motivation to introduce such structures a algebraic was problem in It turned out later that some of them dendriform algebraic K-theory. (the related are to in the of ren- dialgebras) closely Hopf algebras occuring theory malization of A. Connes and D. Kreimer. are also related to the They closely notion of Gerstenhaber homotopy algebra. Let us first describe the motivation from The algebraic K-theory. al- braic of a are not like the but K-groups ring periodic topological K-groups, of of some them shows the existence of a computation periodicity phenomenon. For instance the 0 are of 4 for 2. The groups K,(Z) Q periodic period n are constructed on the linear GL. If algebraic K-groups general we - group it its additive that is the Lie then the place by counterpart, algebra gl, analogue of is : it is denoted HC. It algebraic K-theory computable cyclic homology, turns that for out this the is well understood. theory periodicity phenomenon It takes the form of a exact : long sequence - - - -+ -.+ -4 HCn_1 HH, -+ HC, --+ HCn-2 HCn+1 where HHstands for Hochschild In other homology. words, cyclic homology is not but the obstruction to is it is periodic (in general) periodicity known, Hochschild homology. 148 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -' . many eminent scholars, endowed with great geometric talent, make a point of never disclosing the simple and direct ideas that guided them, subordinating their elegant results to abstract general theories which often have no application outside the particular case in question. Geometry was becoming a study of algebraic, differential or partial differential equations, thus losing all the charm that comes from its being an art.' H. Lebesgue, Ler;ons sur les Constructions Geometriques, Gauthier Villars, Paris, 1949. This book is based on lecture courses given to final-year students at the Uni versity of Nottingham and to M.Sc. students at the University of the West Indies in an attempt to reverse the process of expurgation of the geometry component from the mathematics curricula of universities. This erosion is in sharp contrast to the situation in research mathematics, where the ideas and methods of geometry enjoy ever-increasing influence and importance. In the other direction, more modern ideas have made a forceful and beneficial impact on the geometry of the ancients in many areas. Thus trigonometry has vastly clarified our concept of angle, calculus has revolutionised the study of plane curves, and group theory has become the language of symmetry. 216 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Building on classical queueing theory mainly dealing with single node queueing systems, networks of queues, or stochastic networks has been a field of intensive research over the last three decades. Whereas the first breakthrough in queueing network theory was initiated by problems and work in operations research, the second breakthrough, as well as subsequent major work in the area, was closely related to computer science, particularly to performance analysis of complex systems in computer and communication science.The text reports on recent research and development in the area. It is centered around explicit expressions for the steady behavior of discrete time queueing networks and gives a moderately positive answer to the question of whether there can be a product form calculus in discrete time. Originating from a course given by the author at Hamburg University, this book is ideally suited as a text for courses on discrete time stochastic networks. 152 pp. Englisch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Sun is the closest star to Earth, and the only one we can observe in any sort of detail. As such it is a fascinating field of study, and one that is well-suited to amateur astronomers - the Sun is close enough to need little magnification. It also has the practical advantage, unlike every other astronomical object, of being visible in the daytime!During solar eclipses, there are momentary chances to observe and photograph some spectacular and scientifcally interesting sights.Studying the Sun nonetheless needs specialist knowledge. Safety is paramount, as without the right precautions the heat and light of the Sun would instantly blind the observer. But given the right techniques, the Sun is a rewarding subject for amateur astronomers: in this book, Professor Chris Kitchin provides all the information needed for safe solar observing. 244 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Provides extensive usability data on what users want in an electronic book. Includes CD-ROM containing the electronic version of the book.Since the advent of personal computers, experts have predicted the paperless office, the rise of the electronic book, and the mass communication effect of the World Wide Web as the beginning of the end of the book. However, trends show that sales of paper increased with sales of com puter networks - people have been trained to read books, and are more familiar with the act of picking up a book and reading than looking at chunks of information. There are many publishing applications that enable you to create sophisticated electronic books and distribute your electronic books to your readers via the World Wide Web or electronic book reader with ease not seen before in the publishing industry. Electronic Books and ePublishing shows you how to design electronic books using the book metaphor. The information presented in this book is a culmination of the author's experience as an author and researcher, and includes valuable information gathered through user surveys, user focus groups, usability testing and participation in industry groups and standards organisations.CD-ROM contains a pdf version of the book and can be read using Adobe Acrobat. 248 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This lucid guide meets the need, so often expressed in the 1990s, for an up-to-date assessment of the contemporary Commonwealth. It has a succinct section on its historical background and gives more attention than any previous works to symbols and to the 'People's Commonwealth' of voluntary organizations, sports and business. It highlights critical questions of balance that have emerged between the relative roles of governments and official agencies, voluntary associations, and private business. 265 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Concentration tendencies, globalization, increasing cost pressure and well-informed customers all make up the hard competition faced by today's businesses. The 'right' products, a successful market image, a strong positioning between suppliers and customers, efficient logistics and optimum organization structures contribute to a company's survival. Achieving this goal requires flexible information and communication systems that are fully adaptable to the specific situation. Modern retail information systems are not bound by organization borders but support both business partner cooperation and electronic commerce. This book presents the architecture of retail information systems, as well as the functions of SAP Retail, and in so doing links modern retail management with the implementation strategies based on innovative software systems. TOC:Market and Competitive Conditions in Trading with Consumer Goods.- Architecture of Integrated Information Systems in Retailing Companies.- Closed Merchandise Management Systems and Their Realization with SAP Retail.- Distributed Retailing Systems (DRS).- Systems for the Support of the Company Management.- Electronic Commerce in the Retail Sector.- Planning and Control of Goods Flows Between Industry and the Retail Sector.- Appendix: SAP Retail Functionality Checklist. 264 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Controlling turbulence is an important issue for a number of technological applications. Several methods to modulate turbulence are currently being investigated. This book describes various aspects of turbulence structure and modulation, and explains and discusses the most promising techniques in detail. 328 pp. Englisch.…

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods. This is an introductory book on the modal and temporal properties of processes. In a clear and well-organized treatment the book provides an introduction to: - process calculi for modeling concurrent systems- modal properties of systems and bisimulation equivalence presented in terms of games - temporal properties of systems- modal mu-calculus as a general purpose temporal logic- verification techniques for showing temporal properties of systems, including verification as a game; model checking in terms of game-theoretic algorithms; tablaux as unwindings of successful strategies; compositional verification, especially in the case of infinite systems.The use of games for both equivalence and model checking is conceptually clearer than other approaches and the book's well-thought-out structure and illuminating examples make this book well-suited for and advanced undergraduate or graduate level course in model checking or formal methods of verification. 208 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Conditionals are omnipresent, in everyday life as well as in scientific environments; they represent generic knowledge acquired inductively or learned from books. They tie a flexible and highly interrelated network of connections along which reasoning is possible and which can be applied to different situations. Therefore, conditionals are important, but also quite problematic objects in knowledge representation.This book presents a new approach to conditionals which captures their dynamic, non-proportional nature particularly well by considering conditionals as agents shifting possible worlds in order to establish relationships and beliefs. This understanding of conditionals yields a rich theory which makes complex interactions between conditionals transparent and operational. Moreover,it provides a unifying and enhanced framework for knowledge representation, nonmonotonic reasoning, belief revision,and even for knowledge discovery. 208 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the presentations given at the Workshop on OpenMP App- cations and Tools, WOMPAT 2001. The workshop was held on July 30 and 31, 2001 at Purdue University, West Lafayette, Indiana, USA. It brought together designers, users, and researchers of the OpenMP application programming int- face. OpenMP has emerged as the standard for shared memory parallel progr- ming. For the rst time, it is possible to write parallel programs that are portable across the majority of shared memory parallel computers. WOMPAT 2001 s- ved as a forum for all those interested in OpenMP and allowed them to meet, share ideas and experiences, and discuss the latest developments of OpenMP and its applications. WOMPAT 2001 was co-sponsored by the OpenMP Architecture Review Board (ARB). It followed a series of workshops on OpenMP, including WOMPAT 2000, EWOMP 2000, and WOMPEI 2000. For WOMPAT 2001, we solicited papers formally and published them in the form of this book. The authors submitted extended abstracts, which were reviewed by the program committee. All submitted papers were accepted. The authors were asked to prepare a nal paper in which they addressed the reviewers comments. The proceedings, in the form of this book, were created in time to be available at the workshop. In this way, we hope to have brought out a timely report of ongoing OpenMP-related research and development e orts as well as ideas for future improvements. 200 pp. Englisch. …

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The phenomenal increases in computer system performance in recent years have been accompanied by a commensurate increase in power and energy dissipation. The latter has directly resulted in demand for expensive packaging and cooling technology, an increase in product cost, and a decrease in product reliability in all segments of the computing market. Moreover, the higher power/energy dissipation has signi cantly reduced battery life in portable systems. While - stem designers have traditionally relied on circuit-level techniques to reduce - wer/energy, there is a growing need to address power/energy dissipation at all levels of the computer system. We are pleased to welcome you to the proceedings of the Power-Aware C- puter Systems (PACS 2000) workshop. PACS 2000 was the rst workshop in its series and its aim was to bring together experts from academia and industry to address power-/energy-awareness at all levels of computer systems. In these p- ceedings, we bring you several excellent research contributions spanning a wide spectrum of areas in power-aware systems, from application all the way to c- pilers and microarchitecture, and to power/performance estimating models and tools. We have grouped the contributions into the following speci c categories: (1) power-aware microarchitectural/circuit techniques, (2) application/compiler power optimizations, (3) exploiting opportunity for power optimization in - struction scheduling and cache memories, and (4) power/performance models and tools. 168 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Context has emerged as a central concept in a variety of contemporary app- aches to reasoning. The conference at which the papers in this volume were presented was the third international, interdisciplinary conference on the topic of context, and was held in Dundee, Scotland on July 27-30, 2001. The rst conference in this series was held in Rio de Janiero in 1997, and the second in Trento in 1999. Like the previous conferences, CONTEXT 2001 was remarkably successful in bringing together representatives of many di erent elds, spanning the entire range of the cognitive and informational sciences, and with interests ranging from speci c, commercial applications to highly general philosophical and logical theories. The papers collected here demonstrate well the range of context-related - search. While foundational problems remain, and continue to be discussed in many of the contributions collected in this volume, the work shows increased - phistication about what forms of reasoning are important, and what techniques are appropriate in accounting for them. The papers themselves, however, do not convey the lively excitement of the conference itself, and the continuing spirit of cooperation and communication across disciplines that has been the hallmark of these conferences. We are very pleased that the eld of context research has shown over four years intense, sustained development while retaining this sense of interdisciplinary cooperation. 488 pp. Englisch. …

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The technique of randomization has been employed to solve numerous prob lems of computing both sequentially and in parallel. Examples of randomized algorithms that are asymptotically better than their deterministic counterparts in solving various fundamental problems abound. Randomized algorithms have the advantages of simplicity and better performance both in theory and often is a collection of articles written by renowned experts in practice. This book in the area of randomized parallel computing. A brief introduction to randomized algorithms In the analysis of algorithms, at least three different measures of performance can be used: the best case, the worst case, and the average case. Often, the average case run time of an algorithm is much smaller than the worst case. 2 For instance, the worst case run time of Hoare's quicksort is O(n ), whereas its average case run time is only O(nlogn). The average case analysis is conducted with an assumption on the input space. The assumption made to arrive at the O(n logn) average run time for quicksort is that each input permutation is equally likely. Clearly, any average case analysis is only as good as how valid the assumption made on the input space is. Randomized algorithms achieve superior performances without making any assumptions on the inputs by making coin flips within the algorithm. Any analysis done of randomized algorithms will be valid for all possible inputs. 1052 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Experimental robotics is at the core of validating robotics research for both its system science and theoretical foundations. Robotics experiments serve as a unifying theme for robotics system science and theoretical foundations. This book collects papers on the state of the art in experimental robotics. The papers were presented at the 2000 International Symposium on Experimental Robotics. 592 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present volume of Springer s Lecture Notes in Arti cial Intelligence' - cuses on the challenge of balancing between the two extremes of pure reactivity and in-depth social deliberation in the context of multi-agent systems. Finding a balance between these two extremes will lead to an overall behavior of the individual agents and of the multi-agent system that meets the demands of the environment but also the demand for high-quality problem solving results. This book collects selected and revised papers from Balancing Reactivity and Social Deliberation in Multi-Agent Systems'{aworkshop held at the 14th European Conference on Arti cial Intelligence (ECAI 2000) { and additional papers from renowned researchers in the eld. All the papers contained in this book have undergone at least one complete phase of reviewing and correction with ty- cally three reviews, the large majority of them have been through two phases. In the rst phase, papers were reviewed by members of the advisory committee, in the second phase, papers were peer-reviewed among the authors with additional comments from members of the advisory committee. Although several contributions to this book stem from members of the - boCup community and as such also deal with related topics, this is not a book on RoboCup. 252 pp. Englisch.…

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsforv- i cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. This volume contains the papers presentedat the EighthInternationalStatic Analysis Symposium (SAS 2001), which was held July 16{18, 2001 at the S- bonne in Paris, France. Previous SAS symposia were held in Santa Barbara,CA, USA (LNCS 1824), Venice, Italy (LNCS 1694), Pisa, Italy (LNCS 1503), Paris, France (LNCS 1302), Aachen, Germany (LNCS 1145), Glasgow, UK(LNCS983),Namur,Belgium(LNCS864),followingtheinternationalwo- shop WSA in Padova, Italy (LNCS 724), Bordeaux, France (Bigre Vol. 81-82) and JTASPEFL/WSA, Bordeaux, France (Bigre Vol. 74). The program committee meeting was held at the Ecole Normale Sup erieure in Paris on March 31, 2001, and 21 papers were selected from 62 submissions. In addition to the contributed papers, this volume includes invited papers by RustanLeinoandMartinRinard.Thisvolumealsocontainstheabstractsofan invitedtalkbyFredSchneider and of the presentations by Bruno Blanchet, Andrew Gordon, Andrew Myers,andDavid Wagner at an invited session on security. May 2001 Patrick Cousot VI Preface ProgramCommittee Patrick Cousot (Chair) Ecole Normale Sup erieure, Paris, France Maurice Bruynooghe Katholieke Universiteit Leuven, Belgium 456 pp. Englisch.…