springer berlin heidelberg jul 2000 (87 risultati)

Taschenbuch. Condizione: Neu. Neuware -This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26¿ 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA conferences took place at Jackson Hole in Wyoming (1994), Ville d¿Est¿erel in Qüebec (1995), and Asilomar in California (1998). The symposium grewout of a series of workshops on abstraction, approximation, and reformulation that had taken place alongside AAAI since 1989. This year¿s symposium was actually scheduled to take place at Lago Vista Clubs & Resort on Lake Travis but, due to the resort¿s failure to pay taxes, the conference had to be moved late in the day. This mischance engendered eleventh-hour reformulations, abstractions, and resource re-allocations of its own. Such are the perils of organizing a conference. This is the rst SARA for which the proceedings have been published in the LNAI series of Springer-Verlag. We hope that this is a re ection of the increased maturity of the eld and that the increased visibility brought by the publication of this volume will help the discipline grow even further. Abstractions, reformulations, and approximations (AR&A) have found - plications in a variety of disciplines and problems including automatic progr- ming, constraint satisfaction, design, diagnosis, machine learning, planning, qu- itative reasoning, scheduling, resource allocation, and theorem proving. The - pers in this volume capture a cross-section of these application domains.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has been applied successfully in areas like pattern recognition, clustering, or automatic control. The papers in this book explore the possibility of bringing these two areas together.This book is unique in the way it concentrates on building intelligent software systems by combining methods from diverse disciplines, such as fuzzy set theory, neuroscience, agent technology, knowledge discovery, and symbolic artificial intelligence. The first part of the book focuses on foundational aspects and future directions; the second part provides the reader with an overview of recently developed software tools for building flexible intelligent systems; the final section studies developed applications in various fields.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Some years ago, businesses could choose whether to migrate to electronic commerce, however, today it seems they have no choice. Predictions indicate that companies that do not make the necessary changes will be overrun by competition and ultimately fail. Therefore, we see more and more companies undergoing tremendous transformationin order to adapt to the new business paradigm. At the same time new companies are being established. One thing these companies have in common is the increased dependency on security technology. The invention of electronic commerce has changed the role of - curity technologies from being merely a protector to being also an enabler of electronic commerce, and it is clear that the development of security techn- ogy is a key enabler in the growth and deployment of electronic commerce. This has been recognised at European level (European Union 1997e). The launch of a comprehensive EU policy in the area of security in open networksisfairlyrecentwiththeadoptionofaCommunicationoncryptog- phy inOctober 1997(EuropeanUnion1997c). A veryimportantcomplement and support to the European policy is the European Commission¿s contri- tion to overcometechnological barriers by giving special importance to R&D (Research and Development) activities. The SEMPER project was launched in September 1995 and was funded partly by the European Community within the Advanced Communication Technologies and Services (ACTS) speci c research programme part of the Fourth Framework Program (1994-1998). In this book the SEMPER project team presents in a coherent, integrated, and readable form the issues - dressed,themotivationfortheworkcarriedout,andthekeyresultsobtained. SEMPER is an innovative project in several aspects.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 372 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 1428 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The papers in this volume were selected for presentation at the 6th Annual International Computing and Combinatorics Conference (COCOON2000), in Sydney, Australia from July 26 - 28, 2000. The topics cover many areas in t- oretical computer science and combinatorial optimization. There were 81 high quality papers submitted to COCOON2000. Each paper was reviewed by at least three program committee members, and the 44 papers were selected. It is expected that most of them will appear in a more complete form in scientic journals. In addition to the selected papers, the volume also contains the papers from two invited keynote speeches by Christos Papad- itriou and Richard Brent. This year the Hao Wang Award was given to honor the paper judged by the programcommittee to have the greatest merit. The recipient is Approximating Uniform TriangularMeshes in Polygons'byFranz Aurenhammer, NaokiKatoh, Hiromichi Kojima, Makoto Ohsaki, and Yinfeng Xu. The rst Best Young - searcher paper award was given to William Duckworth for his paper Maximum Induced Matchings of Random Cubic Graphs'. We wish to thank all who have made this meeting possible: the authors for submitting papers, the program committee members and the external referees, sponsors, the local organizers, ACM SIGACT for handling electronic subm- sions,Springer-Verlagfor their support, and Debbie Hatherellfor her assistance.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The Arti cial Evolution conference was originally conceived as a forum for the French-speaking Evolutionary Computation community, but has of late been acquiring an European audience, with several papers from Germany, Austria, Italy, Spain. However, AE remains as intended a small and friendly gathering, which will continue to be held every two years. Previous AE meets were held in Toulouse, Brest, and N¿ mes. This year, the hosting was done by the LIL (Laboratoire d¿Informatique du Littoral) in the not-so-cold city of Dunkerque. The invited talk on ¿Fitness Landscapes and Evolutionary Algorithms¿ was delivered by Colin Reeves of Coventry University This volume contains a selection of the papers presented at the conference. Twenty-seven papers were presented orally at the conference, selected from over 40 papers refereed by the program committee. After the conference, each p- sentation was reviewed and 20 papers were retained and revised for publication in this volume. The papers in this volume have been grouped into the following ve sections which more or less re ect the organization of the oral presentations. 1. Invited Paper: C. Reeves brightly describes the state of the art in Fitness Landscapes. 312 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -This book explains the basic use of the software package called MuPAD and gives an insight into the power of the system. M u PAD is a so-called computer algebra system, which is developed mainly at the University of Paderborn in Germany. This introduction addresses mathematicians, engineers, computer scientists, natural scientists, and more generally all those in need of mathematical computations for their education or their profession. Generally speaking, this book addresses anybody who wants to use the power of a modern computer algebra package. There are two ways to use a computer algebra system. On the one hand, you may use the mathematical knowledge it incorporates by calling system functions interactively. For example, you can compute symbolic integrals, or generate and invert matrices, by calling appro priate functions. They comprise the system's mathematical intelligence and may implement sophisticated algorithms. Chapters 2 through 15 discuss this way of using MuPAD. On the other hand, with the help of MuPAD's programming lan guage you can easily add functionality to the system by implementing your own algorithms as MuPAD procedures. This is useful for special purpose applications if no appropriate system functions exist. Chap ters 16 through 18 are an introduction to programming in MuPAD. You can now read this book in the standard way 'linearly' from the first to the last page. However, there are reasons to proceed otherwise. 376 pp. Englisch.

Buch. Condizione: Neu. Neuware -This book is especially addressed to young researchers in theoretical physics with a basic background in Field Theory and Condensed Matter Physics. The topics were chosen so as to offer the largest possible overlap between the two expertises, selecting a few key problems in Condensed Matter Theory which have been recently revisited within a field-theoretic approach. The presentation of the material is aimed not only at providing the reader with an overview of this exciting frontier area of modern theoretical physics, but also at elucidating most of the tools needed for a technical comprehen sion of the many papers appearing in current issues of physics journals and, hopefully, to enable the reader to tackle research problems in this area of physics. This makes the material a live creature: while not pretending it to be exhaustive, it is tutorial enough to be useful to young researchers as a starting point in anyone of the topics covered in the book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Computer Aided Systems Theory (CAST) deals with the task of contributing to the creation and implementation of tools for the support of usual CAD tools for design and simulation by formal mathematical or logical means in modeling. Naturally,thebasisfortheconstructionandimplementationofCASTs oftwareis provided by the existing current knowledge in modeling and by the experience of practitioners in engineering design. Systems Theory, as seen from the viewpoint of CAST research and CAST tool development, has the role of providing formal frameworks and related theoretical knowledge for model-construction and model analysis. We purposely do not distinguish sharply between systems theory and CAST and other similar elds of research and tool development such as for example in applied numerical analysis or other computational sciences. TheheredocumentedEUROCASTconferencewhichtookplaceattheVienna University of Technology re ects current mainstreams in CAST. As in the p- vious conferences new topics, both theoretical and application oriented, have been addressed. The presented papers show that the eld is widespread and that new - velopments in computer science and in information technology are the driving forces. Theeditorswouldliketothanktheauthorsforprovidingtheirmanuscriptsin hardcopyandinelectronicformontime.Thesta ofSpringer-VerlagHeidelberg gave, as in previous CAST publications, valuable support in editing this volume. 620 pp. Englisch.

Buch. Condizione: Neu. Neuware -Environmental conditions change considerably in the course of 24 h with respect to abiotic factors and intra- and interspecific interactions. These changes result in limited time windows of opportunity for animal activities and, hence, the question of when to do what is subject to fitness maximisation. This volume gives a current overview of theoretical considerations and empirical findings of activity patterns in small mammals, a group in which the energetic and ecological constraints are particularly severe and the diversity of activity patterns is particularly high. Following a comparative ecological approach, for the first time activity timing is consequently treated in terms of behavioural and evolutionary ecology, providing the conceptual framework for chronoecology as a new subdiscipline within behavioural ecology. An extensive Appendix gives an introduction to methods of activity modelling and to tools for statistical pattern analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 348 pp. Englisch.

Buch. Condizione: Neu. Neuware -Clostridium difficile has been recognized as the cause of a broad spectrum of enteric disease ranging from mild antibiotic-associated diarrhea to pseudomembranous colitis. This volume gives new insights into the microbiology, diagnostics and epidemiology of Clostridium difficile and describes recent strategies in treatment of diseases caused by this agent. Main parts of the volume are devoted to Clostridium difficile toxins A and B which are the major virulence factors. The molecular biology, biochemistry, pharmacology and cell biology of these toxins which are the prototypes of a new family of large clostridial cytotoxins is described in great detail. Clostridium difficile toxins act as glucosyltransferases to inactivate small GTP-binding proteins of the Rho family which are involved in regulation of the actin cytoskeleton, cell adhesion and various signaling processes.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Buch. Condizione: Neu. Neuware -Structure of Crystals describes the ideal and real atomic structure of crystals as well as the electronic structures. The fundamentals of chemical bonding between atoms are given, and the geometric representations in the theory of crystal structure and crystal chemistry, as well as the lattice energy, are considered. The important classes of crystal structures in inorganic compounds as well as the structures of polymers, liquid crystals, biological crystals, and macromolecules are treated. This edition is complemented with recent data on many types of crystal structures - e.g., the structure of fullerenes, high-temperature superconductors, minerals, and liquid crystals.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 544 pp. Englisch.

Buch. Condizione: Neu. Neuware -Investigation of the kinetic processes occurring in the atmospheric gases and low temperature plasmas of such gases is of great interest for numerous areas of modern physics and chemistry. These include discharge and laser physics, physics of the ionosphere, chemistry and optics of the atmosphere, laser and plasma chemistry, and nonequilibrium gas dynamics. Further, nonequilibrium gaseous media and low temperature plasmas formed from N2, 02, or N2-02 mixtures are rich in active components such as 0, N, and H atoms and ex cited metastable species, which fostered the utilization of such nonequilibrium systems in a variety of new technologies. At present, several monographs devoted to the analysis of kinetic pro cesses in molecular gases and plasmas are available in the literature. How ever, most of these works deal only with general physical-chemical kinetic aspects, and do not provide an analysis of basic kinetic theory and detailed investigation of kinetic processes in N2, 02 and their mixtures. A monograph devoted to such a thorough analysis for the atmospheric gases is still lacking in the literature. The present book was written to fill in this gap. The book can be considered as a natural development of two former mono graphs, Non-Equilibrium Vibrotional Kinetics (ed. by M. Capitelli, Sprin ger-Verlag 1986) and Kinetic Processes in Gases and Lasers (B. Gordiets, A.I. Osipov, and L.A. Shelepin, Gordon and Breach 1988).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.

Buch. Condizione: Neu. Neuware -Why a New Handbook on Root Methods Uptake of water and nutrients is a key process in agricultural and natural ecosystems. Plant roots play a vital role in the supply of resources for growth, and yet we have a relatively poor understanding of how they function in the natural soil environment. Dr. B6hm began the Preface of his standard text on root research methods (B6hm 1979) with the comment: 'Root research under natural jield conditions is a step-child of science. The reason for this is primarily methodological. The known methods are tedious, time-consuming and the accuracy of their results is of ten not very great'. Although improvements have been made recently for some methods, working on roots is stiH tedious and time-consuming. Compared to some other disci plines, a root researcher requires a considerable budget for his or her work. It is for this reason that in root research careful planning, the choice of appro priate methods and also a clear idea of which root characteristic should be observed in relation to the goal of the research question are fundamental. Con sequently, it is recommended to make use of 'root experience' developed else where as much as possible. 604 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Mit den oben zitierten Worten eroffnete der Staatsprasident von Uganda, Yoweri Kaguta Musevani (1997), die Konferenz iiber das Management von Erdbeben katastrophen in Entwicklungslandern in Kampala. Diese Satze umreiBen kurz und biindig das Problem, das sich schon heute und im wachsenden MaBe fUr das nachste Jahrhundert abzeichnet und welches das Thema des heutigen Vortrags ist. Unser Verhiiltnis zu Erdbeben als Naturgewalt hat sich iiber die letzten Jahr tausende bis Jahrhunderte erheblich geandert. Erdbeben gehOren zu den Naturge walten, die yom Menschen nicht kontrolliert werden konnen und die dazu ohne Vorankiindigung auftreten. Man kann vor ihnen nicht davonlaufen wie vor einem Vulkanausbruch oder einem Hurrikan, die sich in der Regel geniigend vorher ankiindigen. Daher lag es nahe, Erdbeben als Ausdruck eines gottlichen Willens zu verstehen. Dies findet man in fast allen Kulturkreisen in Erdbebengebieten. Aus Celebes, dem heutigen Sulawesi, stammt die Darstellung (Abb. 1) der fol genden mythologischen Erzahlung (Ritsema, 1972). Maradika Pudu, der Erdgeist ist von Atala, dem Herrn des Himmels, beauf tragt worden, in der Erde zu sitzen und sie von Zeit zu Zeit beben zu lassen, urn die Leute zu erinnern, Atala nicht zu vergessen. Daher hat Maradika Pudu eine Wasserschiissel vor sich. Wenn er seinen kleinen Finger hinein taucht, gibt es ein kleines Beben; . Sobald ein Erdbeben verspiirt wird, sollen Leute rufen 'Herr wir sind hier'.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 52 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Der erbitterte Kampf des Heidelberger Physikers Philipp Lenard (1862-1947) gegen die Relativitätstheorie Einsteins und auch gegen die Person Albert Einsteins wird in wissenschaftshistorischen Veröffentlichungen und Einstein-Biographien öfter angesprochen. Durch die Verflechtung wissenschaftlicher Kontroversen sowohl mit persönlichen wie auch mit politischen Angriffen nahmen diese Auseinandersetzungen Formen an, die weit über den üblichen Rahmen wissenschaftlicher Auseinandersetzungen hinausgingen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 48 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Dieses Buch wendet sich an Endbenutzer und Entwickler von Informationssystemen, Studierende und alle, die eine fundierte, der aktuellen Standardgeneration entsprechende Einführung in den Sprachkern von SQL benötigen. Es deckt den Sprachumfang von Core SQL vollständig ab, geht in einigen Punkten sogar über diesen hinaus. Die Sprachkonstrukte und -konzepte von Core SQL werden durchgängig mit Syntaxdiagrammen, die eine besonders übersichtliche und anschauliche Notation der Syntax ermöglichen, besprochen, mit zahlreichen Beispielen illustriert und in insgesamt 60 Übungsaufgaben mit ausgearbeiteten Lösungen vertieft. Durch die Konzentration auf den Sprachkern eignet sich das Werk besonders als Unterlage für Lehrveranstaltungen in den Bereichen Datenbanken und betriebliche Informationssysteme. Für den Praktiker ist es eine nützliche Ergänzung produktspezifischer Handbücher und Richtschnur für die Entwicklung portabler, standardkonformer Anwendungssysteme.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die klassische 'Rückenschule' mit ihren eher funktionell ausgerichteten Übungsrepertoires wird mehr und mehr durch ganzheitliche Lernkonzepte erweitert: Sie beziehen Verstand und Psyche des Menschen mit ein, bewirken über eine verbesserte Körpersensibilität Verhaltensänderungen und regen zu selbstverantwortlichem gesundheitsbewußten Handeln im Alltag an. Dieses Buch unterstützt Therapeuten und Lehrer in der präventiven und therapeutischen Gruppenarbeit mit Menschen mit Rückenschmerzen und generell orthopädisch bedingten Beschwerden. Es zeigt, wie ein Kurs, in sechs theoretisch und praktisch gut fundierten Einheiten gestaltet, den Teilnehmern die folgenden Ziele vermittelt: eine verbesserte Wahrnehmung der gewohnten alltäglichen Haltungs- und Bewegungsmuster; die Fähigkeit, besser zwischen unökonomischen und effizienten Bewegungen zu differenzieren; eine Erweiterung des Bewegungsvokabulars; eine verbesserte Koordination und Reaktionsfähigkeit.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die zentrale Aufgabe einer zukunftsorientierten Computerlinguistik ist die Entwicklung kognitiver Maschinen, mit denen Menschen in ihrer jeweiligen Sprache frei reden können. Langfristig umfaßt diese Zielsetzung eine funktional ausgerichtete Theoriebildung, eine objektive Verifikationsmethode und eine Fülle praktischer Anwendungen.Für die natürlichsprachliche Kommunikation wird nicht nur Sprachverarbeitung, sondern auch nichtsprachliche Wahrnehmung und Handlung benötigt. Deshalb ist der Inhalt dieses Lehrbuchs als Sprachtheorie für die Konstruktion sprechender Roboter organisiert. Sein zentrales Thema ist die Kommunikationsmechanik natürlicher Sprachen - beim Sprecher und beim Hörer. Der Inhalt ist in folgende vier Teile mit je sechs Kapiteln gegliedert: Sprachtheorie; Formale Grammatik; Morphologie und Syntax; Semantik und Pragmatik. Insgesamt 772 Übungsaufgaben dienen der Verständniskontrolle und -vertiefung.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Die Neuauflage des Erfolgsbuches von Kurt Simon in Zusammenarbeit mit Nicholas Pritchard vom 'Southampton English Language Centre' enthält neben den Kapiteln über pictures illustrating typical everyday situations tricky words letter writingnun auch Muster von Lebensläufen und Bewerbungsschreiben.Der didaktisch hervorragende und unterhaltsame Erzählstil frischt Schulkenntnisse ohne Mühe auf und unterstützt den Ingenieur bei seinen täglichen Englisch-Anforderungen.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichkeitsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden.

Taschenbuch. Condizione: Neu. Neuware -Der Unterlassungsrechtsschutz ist auch in der Praxis des Zivilrechts nicht mehr wegzudenken. Obwohl er eine überragende praktische Bedeutung hat, beschränkt sich seine Behandlung in der Wissenschaft zumeist auf Teilbereiche, insbesondere das Wettbewerbsrecht, den Eigentums- und Persönlichkeitsschutz usw. Die bestehende Lücke einer umfassenden Darstellung einschließlich vieler prozessualer Fragen soll hiermit geschlossen werden.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 800 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999.The 11 revised full papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism. 216 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Clusters of workstations/PCs connected by o -the-shelf networks have become popular as platforms for cost-e ective parallel computing. Technological - vances in both hardware and software have made such a network-based parallel computingplatform an a ordable alternative to commercial supercomputers for an increasing number of scienti c applications. Continuing in the tradition of the three previously successful workshops, this fourth Workshop on Communication, Architecture and Applications for Network-basedParallelComputing(CANPC 2000)broughttogetherresearchers and practitioners working in architecture, system software, applications, and performance evaluation to discuss state-of-the-art solutions for network-based parallel computing. This year, the workshop was held in conjunction with the sixth International Symposium on High-Performance Computer Architecture (HPCA-6). As in prior editions, the papers presented here are representative of a sp- trum of research e orts from groups in academia and industry to further - prove cluster computing s viability, performance, cost-e ectiveness, and usab- ity. Speci cally, we have arranged the contributions in this edition into four groups: (1) program development and execution support, (2) network router - chitecture, (3) system support for communication abstractions, and (4) network software and interface architecture. 196 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TheEuropeanConferencesonPlanning(ECP)areamajorforumforthepres- tation of new research in Arti cial Intelligence Planning and Scheduling. They developed from a series of European workshops and became successfully es- blished as international meetings. Previous conferences took place in St. Au- stin (Germany) in 1991, Vadstena (Sweden) in 1993, Assisi (Italy) in 1995, and Toulouse (France) in 1997. ECP-99 was held in Durham, United Kingdom. The conference received s- missions from all over Europe, from the US, Canada, South America, and New Zealand. This volume contains the 27 papers that were presented at the conference. They cover a variety of aspects in current AI Planning and Scheduling. Several p- minent planning paradigms are represented, including planning as satis ability andothermodelcheckingstrategies,planningasheuristicstate-spacesearch,and Graphplan-Based approaches. Moreover, various new scheduling approaches and combinations of planning and scheduling methods are introduced. Inadditiontotheconferencepapers,threeinvitedtalkswerepresentedbydist- guished researchers of the eld: Fausto Giunchiglia (IRST Trento, Italy) gave an introduction to Planning as Model Checking. The corresponding paper by F- sto Giunchiglia and Paolo Traverso is included in this volume. Claude Le Pape (BouyguesTelecom,France)presentedConstraint-BasedScheduling:Theorya nd Applications, and Nicola Muscettola (NASA Ames, USA) talked aboutPlanning at 96 Million Kilometers from Earth. ECP-99 received support fromPLANET,the European Network of Excellence in AI Planning, the University of Durham, United Kingdom, and the University of Ulm, Germany. 388 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In August 1999, the Twelfth Workshop on Languages and Compilers for P- allel Computing (LCPC) was hosted by the Hierarchical Tiling Research group from the Computer Science and Engineering Department at the University of California San Diego (UCSD). The workshop is an annual international forum for leading research groups to present their current research activities and the latest results. It has also been a place for researchers and practitioners to - teract closely and exchange ideas about future directions. Among the topics of interest to the workshop are language features, code generation, debugging, - timization, communication and distributed shared memory libraries, distributed object systems, resource management systems, integration of compiler and r- time systems, irregular and dynamic applications, and performance evaluation. In 1999, the workshop was held at the International Relations/Paci c Studies Auditorium and the San Diego Supercomputer Center at UCSD. Seventy-seven researchers from Australia, England, France, Germany, Korea, Spain, and the United States attended the workshop, an increase of over 50% from 1998. 516 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in the full rese arch category was refereed by at least three reviewers who were selected by the program committee. Because of the limited space available in the program and proceedings, only 29 papers were accepted for presentation and publication in this volume. In keeping with tradition, TPHOLs 2000 also offered a venue for the presen tation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplemen tary proceedings containing associated papers for work in progress was published by the Oregon Graduate Institute (OGI) as technical report CSE-00-009. The organizers are grateful to Bob Colwell, Robin Milner and Larry Wos for agreeing to give invited talks. Bob Colwell was the lead architect on the Intel P6 microarchitecture, which introduced a number of innovative techniques and achieved enormous commercial success. As such, he is ideally placed to offer an industrial perspective on the challenges for formal verification. Robin Milner contributed many key ideas to computer theorem proving, and to functional programming, through his leadership of the influential Edinburgh LCF project. 552 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Some years ago, businesses could choose whether to migrate to electronic commerce, however, today it seems they have no choice. Predictions indicate that companies that do not make the necessary changes will be overrun by competition and ultimately fail. Therefore, we see more and more companies undergoing tremendous transformationin order to adapt to the new business paradigm. At the same time new companies are being established. One thing these companies have in common is the increased dependency on security technology. The invention of electronic commerce has changed the role of - curity technologies from being merely a protector to being also an enabler of electronic commerce, and it is clear that the development of security techn- ogy is a key enabler in the growth and deployment of electronic commerce. This has been recognised at European level (European Union 1997e). The launch of a comprehensive EU policy in the area of security in open networksisfairlyrecentwiththeadoptionofaCommunicationoncryptog- phy inOctober 1997(EuropeanUnion1997c). A veryimportantcomplement and support to the European policy is the European Commission s contri- tion to overcometechnological barriers by giving special importance to R&D (Research and Development) activities. The SEMPER project was launched in September 1995 and was funded partly by the European Community within the Advanced Communication Technologies and Services (ACTS) speci c research programme part of the Fourth Framework Program (1994-1998). In this book the SEMPER project team presents in a coherent, integrated, and readable form the issues - dressed,themotivationfortheworkcarriedout,andthekeyresultsobtained. SEMPER is an innovative project in several aspects. 372 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The papers in this volume were selected for presentation at the 6th Annual International Computing and Combinatorics Conference (COCOON2000), in Sydney, Australia from July 26 - 28, 2000. The topics cover many areas in t- oretical computer science and combinatorial optimization. There were 81 high quality papers submitted to COCOON2000. Each paper was reviewed by at least three program committee members, and the 44 papers were selected. It is expected that most of them will appear in a more complete form in scientic journals. In addition to the selected papers, the volume also contains the papers from two invited keynote speeches by Christos Papad- itriou and Richard Brent. This year the Hao Wang Award was given to honor the paper judged by the programcommittee to have the greatest merit. The recipient is Approximating Uniform TriangularMeshes in Polygons'byFranz Aurenhammer, NaokiKatoh, Hiromichi Kojima, Makoto Ohsaki, and Yinfeng Xu. The rst Best Young - searcher paper award was given to William Duckworth for his paper Maximum Induced Matchings of Random Cubic Graphs'. We wish to thank all who have made this meeting possible: the authors for submitting papers, the program committee members and the external referees, sponsors, the local organizers, ACM SIGACT for handling electronic subm- sions,Springer-Verlagfor their support, and Debbie Hatherellfor her assistance. 496 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Arti cial Evolution conference was originally conceived as a forum for the French-speaking Evolutionary Computation community, but has of late been acquiring an European audience, with several papers from Germany, Austria, Italy, Spain. However, AE remains as intended a small and friendly gathering, which will continue to be held every two years. Previous AE meets were held in Toulouse, Brest, and N mes. This year, the hosting was done by the LIL (Laboratoire d'Informatique du Littoral) in the not-so-cold city of Dunkerque. The invited talk on 'Fitness Landscapes and Evolutionary Algorithms' was delivered by Colin Reeves of Coventry University This volume contains a selection of the papers presented at the conference. Twenty-seven papers were presented orally at the conference, selected from over 40 papers refereed by the program committee. After the conference, each p- sentation was reviewed and 20 papers were retained and revised for publication in this volume. The papers in this volume have been grouped into the following ve sections which more or less re ect the organization of the oral presentations. 1. Invited Paper: C. Reeves brightly describes the state of the art in Fitness Landscapes. 312 pp. Englisch.