Springer berlin heidelberg jul 2001 (70 risultati)

Taschenbuch. Condizione: 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. Condizione: 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. …

Buch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. …

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core/micro aspects of agent technology. Speci cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use. 380 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -We are pleased to bring you this collection of papers for the Ninth International Conference on Conceptual Structures (ICCS), representing continued excellence in conceptual structures research. We have adopted the title Broadening the Base,' acknowledging the importance of contributions from scholars in many research areas. The rst ICCS meetings focused primarily on Sowa's conceptual graphs; in recent years, however, the ICCS conference series has intentionally widened its scope to stimulate research across domain boundaries. We hope that this stimulation is further enhanced by ICCS 2001 continuing the long tradition of lively conferences about Conceptual Structures. We wish to express our appreciation to all the authors of submitted papers, to the general chair, to the members of the editorial board and the program committee, and to the additional reviewers for making ICCS 2001 a valuable contribution to the knowledge processing research eld. We would also like to acknowledge the leadership of Guy Mineau and Bernhard Ganter in providing a solid framework for an open and e ective reviewing process. Very special thanks go to the local organizers for making the conference possible and, furthermore, an enjoyable and inspiring event. We are grateful to the University of Alabama in Huntsville, and the University of Karlsruhe for their generous support. 392 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Second International Workshop on Machine Learning and Data Mining in Pattern Recognition, MLDM 2001, held in Leipzig, Germany in July 2001.The 26 revised full papers presented together with two invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on case-based reasoning and associative memory; rule induction and grammars; clustering and conceptual clustering; data mining on signals, images, and spatio-temporal data; nonlinear function learning and neural net based learning; learning for handwriting recognition; statistical and evolutionary learning; and content-based image retrieval. 380 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book treats the general theory ofPoisson structures and integrable systems on affine varieties in a systematic way. Special attention is drawn to algebraic completely integrable systems. Several integrable systems are constructed and studied in detail and a few applications of integrable systems to algebraic geometry are worked out.In the second edition some of the concepts in Poisson geometry are clarified by introducting Poisson cohomology; the Mumford systems are constructed from the algebra of pseudo-differential operators, which clarifies their origin; a new explanation of the multi Hamiltonian structure of the Mumford systems is given by using the loop algebra of sl(2); and finally Goedesic flow on SO(4) is added to illustrate the linearizatin algorith and to give another application of integrable systems to algebraic geometry. 276 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume were presented at the Seventh Workshop on Al- rithms and Data Structures (WADS 2001). The workshop took place August 8 10, 2001 in Providence, Rhode Island, USA. The workshop alternates with the Scandinavian Workshop on Algorithms Theory (SWAT), continuing the t- dition of SWAT and WADS starting with SWAT 88 and WADS 89. In response to the call for papers, 89 papers were submitted. From these submissions, the program committee selected 40 papers for presentation at the workshop. In addition invited plenary lectures were given by the following - stinguished researchers: Mikhail J. Atallah, F. Thomson Leighton, and Mihalis Yannakakis. On behalf of the program committee, we would like to express our apprec- tion to the invited speakers and to all the authors who submitted papers. August 2001 Frank Dehne J org-Rudiger Sack Roberto Tamassia Organization Conference Chair Roberto Tamassia (Brown) Program Committee Chairs Frank Dehne (Carleton) J org-Rudiger Sack (Carleton) Roberto Tamassia (Brown) Program Committee Alberto Apostolico (Purdue, Padova) Giuseppe Liotta (Perugia) Timothy Chan (Waterloo) Ernst W. Mayr (Munc hen) Bruno Codenotti (IMC) Joseph S. B. Mitchell (SUNY) Giuseppe Di Battista (Roma Tre) Stefan N aher (Trier) Shlomi Dolev (Ben-Gurion) Takao Nishizeki (Tohoku) Martin Farach-Colton Viktor K. Prasanna (USC) (Rutgers, Google) Enrico Puppo (Genova) Pierre Fraigniaud (LRI) Jose Rolim (Geneva) Harold N. Gabow (Colorado) Jack Snoeyink (UNC) Sally A. Goldman (Washington) Ioannis G. Tollis (UTD) Michael T. 504 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Seventh International Symposium on Spatial and Temporal Databases (SSTD 2001), held in Redondo Beach, CA, USA, July 12{15, 2001, brought together leading researchers and developers in the area of spatial, temporal, and spatio-temporal databases to discuss the state of the art in spatial and temporal data management and applications, and to understand the challenges and - search directions in the advancing area of data management for moving objects. The symposium served as a forum for disseminating research in spatial and temporal data management, and for maximizing the interchange of knowledge among researchers from the established spatial and temporal database com- nities. The exchange of research ideas and results not only contributes to the academic arena, but also bene ts the user and commercial communities. SSTD 2001 was the seventh in the series of symposia that started in Santa Barbara a dozen years ago and has since been held every two years, in Zurich, Singapore, Portland (Maine), Berlin, and Hong Kong. By 1999, the series had become well established as the premier international forum devoted solely to spatial database management, and it was decided to extend the scope of the series to also cover temporal database management. This extended scope was chosen due, in part, to the increasing importance of research that considers spatial and temporal aspects jointly. 560 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Haptic human-computer interaction is interaction between a human computer user and the computer user interface based on the powerful human sense of touch. Haptic hardware has been discussed and exploited for some time, particularly in the context of computer games. However, so far, little attention has been paid to the general principles of haptic HCI and the systematic use of haptic devices for improving efficiency, effectiveness, and satisfaction in HCI.This book is the first one to focus on haptic human-computer interaction. It is based on a workshop held in Glasgow, UK, in August / September 2000. The 22 revised full papers presented were carefully reviewed and selected from 35 submissions. Besides a brief historic survey, the book offers topical sections on haptic interfaces for blind people, collaborative haptics, psychological issues and measurement, and applications of haptics. 240 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The goal of these notes is to provide a fast introduction to symplectic geometry for graduate students with some knowledge of differential geometry, de Rham theory and classical Lie groups.This text addresses symplectomorphisms, local forms, contact manifolds, compatible almost complex structures, Kaehler manifolds, hamiltonian mechanics, moment maps, symplectic reduction and symplectic toric manifolds. It contains guided problems, called homework, designed to complement the exposition or extend the reader's understanding.There are by now excellent references on symplectic geometry, a subset of which is in the bibliography of this book. However, the most efficient introduction to a subject is often a short elementary treatment, and these notes attempt to serve that purpose. This text provides a taste of areas of current research and will prepare the reader to explore recent papers and extensive books on symplectic geometry where the pace is much faster.For this reprint numerous corrections and clarifications have been made, and the layout has been improved. 268 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Will man eine fremde Kultur ergründen, so muss man ihre Sprache verstehen. Dazu möchte das vorliegende Buch des schwedischen Sinologen Bernhard Karlgren einen Beitrag leisten. Es gibt eine leicht verständliche und übersichtliche Einführung in die chinesische Sprache sowie ihre Struktur und Schrift und zieht Vergleiche zum Deutschen und Englischen. Über die Jahre ist es zu einem kleinen, aber unverzichtbaren Klassiker für alle angehenden Sinologen geworden. 132 pp. Deutsch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Most of our present understanding of the elementary building blocks of matter and the forces between them is based on the quantized version of the field theories which are locally symmetric under gauge transformations. The present set of lecture notes gives both a status report and a survey of recent advances for the most important quantization methods in the field theories for elementary particle physics. The first part of the book introduces light-cone quantization as an interesting alternative to the commonly used covariant perturbation theory and functional-integral methods. Next, a general formalism for quantizing systems with constraints, the projection-operator approach, is presented and structural aspects of the renormalization problem for gauge invariant field theories are discussed. Finally, the mathematics underlying the functional-integral quantization is reviewed. Suitable as a reference for researchers in the field, the book will prove particularly useful for lecturers and graduate students in search of additional reading beyond the standard texts on quantum field theory. 244 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Description logics (DLs) are used to represent structured knowledge. Inference services testing consistency of knowledge bases and computing subconcept/superconcept hierarchies are the main feature of DL systems. Intensive research during the last fifteen years has led to highly optimized systems that allow to reason about knowledge bases efficiently. However, applications often require additional non-standard inferences to support both the construction and the maintenance of knowledge bases, thus making the inference procedures again incomplete.This book, which is a revised version of the author's PhD thesis, constitutes a significant step to fill this gap by providing an excellent formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis. With its solid foundation, the book also serves as a basis for future research. 264 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a revised version of my doctoral dissertation submitted to the University of St. Gallen in October 1999. I would like to thank Dr. oec. Marc Wildi whose careful reading of much of the text led to many improvements. All errors remain mine. Pfiiffikon SZ, Switzerland, March 2001 Pierre-Yves Moix Preface to the dissertation 'Education is man's going forward from cocksure ignorance to thoughtful uncertainty' Don Clark's Scrapbook quoted in Wonnacott and Wonnacott (1990). After several years of banking practice, I decided to give up some of my certitudes and considered this thesis project a good opportunity to study some of the quantitative tools necessary for the modelling of uncertainty. lowe very much to Prof. Dr. Karl Frauendorfer, the referee of my thesis, for the time he took to read the manuscript and for the numerous valuable suggestions he made. I am also very grateful to Prof. Dr. Klaus Spremann who kindly accepted to co-refer my thesis and who strengthened my inter est in finance during my study period. During my time at the Institute for Operations Research of the University of St. Gallen (lfU-HSG) I had the opportunity to participate in the project 'RiskLab' which provides a very profitable link between finance practice and academics. I would especially like to thank Dr. Christophe Rouvinez from Credit Suisse for his comments and all the data he provided so generously. 292 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This proceedings volume consists of selected papers presented at the Eighth International Conference on Computer-Aided Scheduling 0/Public Transport (CASPT 2000), which was held at the conference center of the Konrad rd Adenauer-Foundation in Berlin, Germany, from June 2pt to 23 , 2000. The CASPT 2000 is the continuation of aseries of international workshops and conferences presenting recent research and progress in computer-aided scheduling in public transport.Previous workshops and conferences were held in - Chicago (1975), - Leeds (1980), - Montreal (1983 and 1990), - Hamburg (1987), - Lisbon (1993) and - Cambridge, Mass. (1997).1 With CASPT 2000, our series of workshops and conferences celebrated th its 25 anniversary. Starting with a Workshop on Automated Techniques [or Scheduling 0/ Vehicle Operators [or Urban Public Transportation Services in 1975 the scope and purpose has broadened since and still continues to do so. The previous workshops and conferences were focused on public mass transit, and while this remained the primary focus ofthe 2000 conference, it included also computer-aided scheduling methods being developed and applied in re lated means of passenger transport systems. Commonalities regarding op erations research techniques such as, e.g., column generation techniques and 1 While there were no formal proceedings for the first workshop but only a p- printed copy of all papers issued to participants on arrival, the subsequent ones are weil documented as folIows: Wren, A. (Ed.) (1981). Computer Scheduling 0/ Public Transport. North Holland, Amsterdam. 484 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The collection of papers presented in this special issue arose out of two events. The first was the symposium 'Escaping Satiation - Increasing Product Variety, Preference Change and the Demand Side of Economic Growth' which was held at the Max Planck Institute in Jena, Germany, in December 1997. The Fritz Thyssen Foundation provided financial support for this seminal symposium which is gratefully acknowledged. Wilhelm Ruprecht was of great help in preparing the symposium and I would like to express my gratitude to hirn on this occasion. Many stimulating exchanges with hirn over the past few years while he was a research associate at the Institute working on long term changes in consumption convinced me of the relevance and importance of this problem for understanding modem economic growth. I also owe thanks to many people who encouraged me to go ahead with the symposium, among them Stanley Metcalfe, Carl Christian von Weizsäcker, and also Ehud Zuscovitch, who died so unexpectedly last year. 212 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides information about springs, mineral waters, and thermal waters used for municipal, industrial, and agricultural water supplies and the rapidly expanding bottled water industry. The role of springs is described for ancient civilizations, military campaigns and, in more recent times, for tourism and health spas. In addition, their source, occurrence, and methods for development and use are described. The book contains data obtained from major hydrogeologic databases and from leading hydrogeologists. 336 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 776 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Cognitive Technology: Instruments of Mind Cognitive Technology is the study of the impact of technology on human cog- tion, the externalization of technology from the human mind, and the pragmatics of tools. It promotes the view that human beings should develop methods to p- dict, analyse, and optimize aspects of human-tool relationship in a manner that respects human wholeness. In particular the development of new tools such as virtual environments, new computer devices, and software tools has been too little concerned with the impacts these technologies will have on human cog- tive and social capacities. Our tools change what we are and how we relate to the world around us. They need to be developed in a manner that both extends human capabilities while ensuring an appropriate cognitive t between organism and instrument. The principal theme of the CT 2001 conference and volume is declared in its title: Instruments of Mind. Cognitive Technology is concerned with the interaction between two worlds: that of the mind and that of the machine. In science and engineering, this - teraction is often explored by posing the question: how can technology be best tailored to human cognition But as the history of technological developments has consistently shown, cognition is also fashioned by technology. Technologies as diverse as writing, electricity generation, and the silicon chip all illustrate the profound and dynamic impact of technology upon ourselves and our conceptions of the world. 544 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is generally understood that the present approachs to computing do not have the performance, flexibility, and reliability of biological information processing systems. Although there is a comprehensive body of knowledge regarding how information processing occurs in the brain and central nervous system this has had little impact on mainstream computing so far. This book presents a broad spectrum of current research into biologically inspired computational systems and thus contributes towards developing new computational approaches based on neuroscience. The 39 revised full papers by leading researchers were carefully selected and reviewed for inclusion in this anthology. Besides an introductory overview by the volume editors, the book offers topical parts on modular organization and robustness, timing and synchronization, and learning and memory storage. 592 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The CAV conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri cation tools and algorithms and techniques needed for their implemen- tion. ProgramCommitteeofCAV 2001 Rajeev Alur (Penn. &Bell labs) Bengt Jonsson (Uppsala) Henrik Reif Andersen (Copenhagen) Robert Kurshan (LucentBellLabs) G erard Berry (EsterelT. ,co-chair) Kim G. Larsen (Aalborg) Randy Bryant (CMU) Ken Mc Millan(Cadence) Jerry Burch (Cadence) Kedar Namjoshi (Belllabs) Ching-Tsun Chou (Intel) Christine Paulin-Mohring (Orsay) Edmund Clarke (CMU) Carl Pixley (Motorola) Hubert Comon (LSV& Stanford, co-chair) Kavita Ravi (Cadence) David Dill (Stanford) Natarajan Shankar (SRI) E. Allen Emerson (Austin) Mary Sheeran (Chalmers &Prover T. ) Alain Finkel (LSV,co-chair) Tom Shiple (Synopsys) Patrice Godefroid (Belllabs) A. 536 pp. Englisch.…

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book, featuring the most comprehensive treatment of Josephson junctions ever published, describes superconductor/two-dimensional-electron-gas (2DEG) structures, providing a better understanding of their transport properties. It also discusses the control of junctions using gate electrodes or injection currents, and the physical effects observed in these junctions. 164 pp. Englisch.…