springer berlin heidelberg springer berlin heidelberg jun 2003 (95 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -AIle reden yom Wetter, so laBt sich in knapper Form zusammenfassen, daB das Wettergeschehen als bedeutender Umweltfaktor die Menschen schon inter essiert hat, als ihnen der physikalische Grundsatz von Ursache und Wirkung, z. B. ohne Wasserdampf keine Wolken, noch vollig verborgen war. Der fruhzeitliche Mensch sah in den Himmelser scheinungen das Wirken der Gotter; meteorologische wie astronomische Himmelserscheinungen waren fur ihn Ausdrucksformen gottlichen Wohlwollens oder Unwillens. Er war daher bestrebt, diese Wahrzeichen zu beobachten und zu deuten. So verwundert es nicht, daB in den Fruhkulturen Astrologie und Meteorologie zu einer »Astro-Meteorologie« verbunden waren. Die ursprungliche Wetterbeobachtung resultierte daher offensichtlich aus dem Bedurfnis, den Willen der Got ter zu ergrunden und damit die eigene Zukunft vor herzusagen. Bei schlechtem astro-meteorologischen Wahrzei chen versuchte man die Gotter durch Kulthandlungen ggf. auch durch Opfer gnadig zu stimmen. In vielen Gebieten der Erde (Afrika, Australien, Amerika) fleh te man in Durreperioden durch Beschworungszeremo nien und Tanze den Regengott urn Regen. So wird z. B. berichtet, daR man dabei bunte Steine in die Sonne legte, urn den Regenbogen herbeizuholen, daR jung frauliche Madchen bei kultischen Zeremonien mit Wasser iiberschiittet wurden oder daR man Tiere op ferte. Wie eng in der Friihzeit Meteorologie und Astrologie miteinander in Verbindung gebracht wur den, belegt eine Keilschrift aus dem alten Babylon.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Deutsch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - AIle reden yom Wetter, so laBt sich in knapper Form zusammenfassen, daB das Wettergeschehen als bedeutender Umweltfaktor die Menschen schon inter essiert hat, als ihnen der physikalische Grundsatz von Ursache und Wirkung, z. B. ohne Wasserdampf keine Wolken, noch vollig verborgen war. Der fruhzeitliche Mensch sah in den Himmelser scheinungen das Wirken der Gotter; meteorologische wie astronomische Himmelserscheinungen waren fur ihn Ausdrucksformen gottlichen Wohlwollens oder Unwillens. Er war daher bestrebt, diese Wahrzeichen zu beobachten und zu deuten. So verwundert es nicht, daB in den Fruhkulturen Astrologie und Meteorologie zu einer 'Astro-Meteorologie' verbunden waren. Die ursprungliche Wetterbeobachtung resultierte daher offensichtlich aus dem Bedurfnis, den Willen der Got ter zu ergrunden und damit die eigene Zukunft vor herzusagen. Bei schlechtem astro-meteorologischen Wahrzei chen versuchte man die Gotter durch Kulthandlungen ggf. auch durch Opfer gnadig zu stimmen. In vielen Gebieten der Erde (Afrika, Australien, Amerika) fleh te man in Durreperioden durch Beschworungszeremo nien und Tanze den Regengott urn Regen. So wird z. B. berichtet, daR man dabei bunte Steine in die Sonne legte, urn den Regenbogen herbeizuholen, daR jung frauliche Madchen bei kultischen Zeremonien mit Wasser iiberschiittet wurden oder daR man Tiere op ferte. Wie eng in der Friihzeit Meteorologie und Astrologie miteinander in Verbindung gebracht wur den, belegt eine Keilschrift aus dem alten Babylon.

Buch. Zustand: Neu. Neuware -Es ist eine bekannte Streitfrage, ob wir der Eigendynamik der Technik blind ausgeliefert sind, oder ob wir Technik zielgerichtet und nach gesellschaftlichen Werten aktiv und bewusst gestalten können. Im Buch Technikgestaltung zwischen Wunsch und Wirklichkeit wird diese Frage aus den Perspektiven verschiedener wissenschaftlicher Disziplinen behandelt. Das Spektrum aus Philosophie, Sozialwissenschaft, Technikgeschichte und den Ingenieurwissenschaften erlaubt neue Sichtweisen auf die Frage der Gestaltbarkeit von Technik. Ergebnis des Buches ist ein besseres Verständnis, was Technikgestaltung bedeuten kann, wie dies in der Praxis funktioniert, ob und wie gesellschaftliche Technikgestaltung erfolgen kann und ob, auf welche Weise und unter welchen Bedingungen eine Technikgestaltung für mehr Nachhaltigkeit möglich ist.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -Interfaces are geometrical objects modelling free or moving boundaries and arise in a wide range of phase change problems in physical and biological sciences, particularly in material technology and in dynamics of patterns. Especially in the end of last century, the study of evolving interfaces in a number of applied fields becomes increasingly important, so that the possibility of describing their dynamics through suitable mathematical models became one of the most challenging and interdisciplinary problems in applied mathematics. The 2000 Madeira school reported on mathematical advances in some theoretical, modelling and numerical issues concerned with dynamics of interfaces and free boundaries. Specifically, the five courses dealt with an assessment of recent results on the optimal transportation problem, the numerical approximation of moving fronts evolving by mean curvature, the dynamics of patterns and interfaces in some reaction-diffusion systems with chemical-biological applications, evolutionary free boundary problems of parabolic type or for Navier-Stokes equations, and a variational approach to evolution problems for the Ginzburg-Landau functional.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware - Das Buch ist eine Einführung in die Programmiersprache Java. In den ersten Kapiteln werden die Grundlagen behandelt: Klassen, Objekte, Interfaces und Pakete. Weitere Kapitel befassen sich mit Benutzeroberflächen, der Ausnahmebehandlung, der Threadprogrammierung, mit Client/Server-Implementierung, Javas Sicherheitsmechanismen und dem Aufruf entfernter Methoden. Alle Sprachkonstrukte und die verwendeten Klassen der Java-Standardbibliothek werden an Beispielen verdeutlicht. An die einzelnen Kapitel schließt sich eine Reihe von Übungsaufgaben an. Die kompletten Beispielprogramme und Lösungen zu den Übungen befinden sich auf der beiliegenden CD-ROM.In der 4. Auflage wurde die Behandlung des IO-Frameworks um das New IO API (NIO), das seit JDK 1.4 neben das streambasierte API tritt, erweitert. Einige Client/Server-Beispiele wurden auf NIO umgestellt. Bei der Ausnahmebehandlung wurde das neue Java-Sprachkonstrukt der Zusicherungen (assertions) ergänzt.

Buch. Zustand: Neu. Neuware -Real-Time Enterprise (RTE) ist eine Unternehmensstruktur, die durch kontinuierliche Beschleunigung der Managementprozesse die eigene Aktions- und Reaktionsgeschwindigkeit nachhaltig verbessert und verzögerungsfrei auf externe sowie interne Änderungen reagieren und damit Zeit und Kosten einsparen kann. Voraussetzungen und Rahmenbedingungen hierfür sind durchgängig integrierte Geschäftsprozesse und Informationsflüsse entlang der kompletten Wertschöpfungskette. Im Idealfall sind dabei alle Arbeitsprozesse in einem Unternehmen optimal aufeinander abgestimmt, so dass Data Warehouse, Supply Chain Management, Customer Relationship Management und Enterprise Resource Planning wirkungsvoll ineinander greifen. Dabei endet die Betrachtung von Prozessen und Informationen nicht an den Unternehmensgrenzen. Statt dessen sind Kunden und beteiligte Partnerfirmen beziehungsweise deren Prozesse transparent eingebunden und tauschen Informationen über alle relevanten Ereignisse zeitnah aus.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -DasBuch ist eine Einführung in die Programmiersprache Java. In den ersten Kapiteln werden die Grundlagen behandelt: Klassen, Objekte, Interfaces und Pakete. Weitere Kapitel befassen sich mit Benutzeroberflächen, der Ausnahmebehandlung, der Threadprogrammierung, mit Client/Server-Implementierung, Javas Sicherheitsmechanismen und dem Aufruf entfernter Methoden.Alle Sprachkonstrukte und die verwendeten Klassen der Java-Standardbibliothek werden an Beispielen verdeutlicht. An die einzelnen Kapitel schließt sich eine Reihe von Übungsaufgaben an. Die kompletten Beispielprogramme und Lösungen zu den Übungen befinden sich auf der beiliegenden CD-ROM.In der 4. Auflage wurde die Behandlung des IO-Frameworks um das New IO API (NIO), das seit JDK 1.4 neben das streambasierte API tritt, erweitert. Einige Client/Server-Beispiele wurden auf NIO umgestellt. Bei der Ausnahmebehandlung wurde das neue Java-Sprachkonstrukt der Zusicherungen (assertions) ergänzt.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 656 pp. Deutsch.

Buch. Zustand: Neu. Neuware -Risikomanagement in IT-Projekten ist ein detaillierter Leitfaden für jeden Projektmanager. Gerade in den immer komplexer werdenden Projekten der Informationstechnologie sind die potenziellen Projektrisiken besonders hoch. Ohne eine geeignete Strategie drohen die meisten Projekte beim Eintreten eines Problems zu scheitern. Das Buch gibt nicht nur Ratschläge, wie Risiken vermieden werden können, sondern geht im Detail auf die Planung, Minimierung und Eliminierung von Risiken ein. Ebenso werden Situationen betrachtet, in denen Risiken zu Problemen werden, und darauf eingegangen, wie das Projekt trotzdem zum Erfolg geführt werden kann.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Deutsch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 20th British National Conference on Databases, BNCOD 20, held in Coventry, UK, in July 2003.The 20 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on XML and semi-structured data; performance in searching and mining; transformation, integration, and extension; events and transactions; and personalization and the Web. 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The International User Modeling Conferences are the events at which research foundations are being laid for the personalization of computer systems. In the last 15 years, the field of user modeling has produced significant new theories and methods to analyze and model computer users in short and long term interactions. A user model is an explicit representation of properties of individual users or user classes. It allows the system to adapt its performance to user needs and preferences. Methods for personalizing human computer interaction based on user models have been successfully developed and applied in a number of domains, such as information filtering, adaptive natural language and hypermedia presentation, tutoring systems, e commerce and medicine. There is also a growing recognition of the need to evaluate the results of new user modeling methods and prototypes in empirical studies and a growing focus on evaluation methods. New trends in HCI create new and interesting challenges for user modeling. While consolidating results in traditional domains of interest, the user modeling field now also addresses problems of personalized interaction in mobile and ubiquitous computing and adaptation to user attitudes and affective states. Finally, with the spread of user modeling in everyday applications and on the Web, new concerns about privacy preservation are emerging. All these topics are covered in the proceedings of UM 2003, the 9th International Conference on User Modeling. 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development. 296 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Conference on Developments in Language Theory, DLT 2003, held in Szeged, Hungary, in July 2003.The 27 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 57 submissions. All current aspects in language theory are addressed, in particular grammars, acceptors, and transducers for strings, trees, graphs, arrays, etc; algebraic theories for automata and languages; combinatorial properties of words and languages; formal power series; decision problems; efficient algorithms for automata and languages; and relations to complexity theory and logic, picture description and analysis, DNA computing, quantum computing, cryptography, and concurrency. 456 pp. Englisch.

Buch. Zustand: Neu. Neuware -Quantum maps are presented with special emphasis on their physical origin. They represent a testing ground for understanding concepts in quantized chaotic systems. The book teaches the modern mathematical methods from analytic and algebraic number theory as applied to quantum maps. It gives a broad and in-depth overview of the mathematical problems arising in this area. Also treated are the numerical aspects in quantum chaos such as eigenvalue and eigenfunctions computations for chaotic quantum systems. The book addresses scientists and advanced students in mathematics and mathematical physics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The author emphasizes a non-uniform ellipticity condition as the main approach to regularity theory for solutions of convex variational problems with different types of non-standard growth conditions.This volume first focuses on elliptic variational problems with linear growth conditions. Here the notion of a 'solution' is not obvious and the point of view has to be changed several times in order to get some deeper insight. Then the smoothness properties of solutions to convex anisotropic variational problems with superlinear growth are studied. In spite of the fundamental differences, a non-uniform ellipticity condition serves as the main tool towards a unified view of the regularity theory for both kinds of problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 232 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18¿20,2003.ItwassponsoredbyAda- Europe, the European federation of national Ada societies, and Ada-France, in cooperation with ACM SIGAda. It was organized by members of Adalog, CS, UPS/IRIT and ONERA. Toulouse was certainly a very appropriate place for this conference. As the heart of the European aeronautic and space industry, it is a place where so- ware development leaves no place for failure. In the end, reliability is a matter of human skills. But these skills build upon methods, tools, components and c- trolled practices. By exposing the latest advances in these areas, the conference contributed to ful lling the needs of a very demanding industry. As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when attendees had the opportunity to catch up on a variety of topics related to the eld, at both introductory and advanced levels. On Friday, a workshopon¿QualityofServiceinComponent-BasedSoftwareEngineering¿was held. Further, the conference was accompanied by an exhibition where vendors presented their reliability-related products.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -TheInternationalConferenceonMachineLearningandDataMining(MLDM)is the third meeting in a series of biennial events, which started in 1999, organized by the Institute of Computer Vision and Applied Computer Sciences (IBaI) in Leipzig. MLDM began as a workshop and is now a conference, and has brought the topic of machine learning and data mining to the attention of the research community. Seventy- ve papers were submitted to the conference this year. The program committeeworkedhardtoselectthemostprogressiveresearchinafairandc- petent review process which led to the acceptance of 33 papers for presentation at the conference. The 33 papers in these proceedings cover a wide variety of topics related to machine learning and data mining. The two invited talks deal with learning in case-based reasoning and with mining for structural data. The contributed papers can be grouped into nine areas: support vector machines; pattern dis- very; decision trees; clustering; classi cation and retrieval; case-based reasoning; Bayesian models and methods; association rules; and applications. We would like to express our appreciation to the reviewers for their precise andhighlyprofessionalwork.WearegratefultotheGermanScienceFoundation for its support of the Eastern European researchers. We appreciate the help and understanding of the editorial sta at Springer Verlag, and in particular Alfred Hofmann,whosupportedthepublicationoftheseproceedingsintheLNAIseries. Last, but not least, we wish to thank all the speakers and participants who contributed to the success of the conference. 456 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The refereed proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France, in July 2003. The 18 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 35 submissions. A broad variety of topics in discrete mathematics and the theory of computing is addressed including information theory, coding, algorithms, complexity, automata, computational mathematics, combinatorial computations, graph computations, algorithmic geometry, relational methods, game-theoretic methods, combinatorial optimization, and finite state systems. 316 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Agents in multiagent systems are concurrent autonomous entities that need to coordinate and to cooperate so as to perform their tasks; these coordination and cooperation tasks might be achieved through communication. Communication, also called interaction by some authors, thus represents one of the major topics in multiagent systems.This book presents the state of the art of research on communication in multiagent systems. First, three seminal papers by Cohen and Perrault, by Singh, and by Davis and Smith present background information and introduce the newcomer to the area. The main part of the book is devoted to current research work dealing with agent communication, communication for coordination and argumentation, protocols, and dialogue games and conversational agents. Finally, the last paper deals with the future of agent communication.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 336 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002.The 28 revised full papers presented together with an invited paper and 4 short papers were carefully selected during two rounds of reviewing and revision. The topics addressed range from theoretical and methodological issues to automata applications in software engineering, natural language processing, speech recognition, and image processing, to new representations and algorithms for efficient implementation of automata and related structures. 324 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the papers presented at the 11th SDL Forum, Stuttgart. As well as the papers, the 11th SDL Forum also hosted a system design competition sponsored by Solinet with a cash prize for the ¿best¿ design. This follows a similar competition at the SAM 2002 workshop (papers published in LNCS 2599). The winning entry from SAM 2002 is described in the last paper in this volume. The SDL Forum was rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci cation and Descr- tion Language rst standardized in the 1976 Orange Book of the International Telecommunication Union (ITU). From the start this graphical CEFSM (communicating extended nite state machines) notation was used both to describe the implementation of systems and to specify systems (especially protocol systems in standards). In the early days both types of description were quite informal, though speci cations were certainly more formal than the main alternative: natural languagewith some ad hoc gures. Implementations were usually written in assembly language, which is at too low a level to reason well about the interaction between communic- ing agents within a system. In this case the notation provided an intermediate description that gave an overview of how the implementation worked, and often the actual logical development was done at the graphical level with hand coding of that description. 424 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice. So far, however, most of the efforts from the software engineering community have concentrated on the functional aspects of CBSD, leaving aside the treatment of the quality issues and extra-functional properties of software components and component-based systems.This book is the first one focusing on quality issues of components and component-based systems. The 16 revised chapters presented were carefully reviewed and selected for inclusion in the book; together with an introductory survey, they give a coherent and competent survey of the state of the art in the area. The book is organized in topical parts on COTS selection, testing and certification, software component quality models, formal models to quality assessment, and CBSD management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 420 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The International Symposium on Smart Graphics 2003 was held on July 2¿4, 2003 in Heidelberg, Germany. It was the fourth event in a series that started in 1999 as an AAAI Spring Symposium. In response to the overwhelming success of the 1999 symposium, its organizers decided to turn it into a self-contained event in2000. WiththesupportofIBM,the rsttwoInternationalSymposiaonSmart Graphics were held at the T. J. Watson Research Center in Hawthorne, NY. The 2003 symposium was supported by the Klaus Tschira Foundation and moved to the European Media Lab in Heidelberg, thus underlining the international character of the Smart Graphics enterprise and its community. The core idea behind these symposia is to bring together researchers and practitioners from the eld of computer graphics, arti cial intelligence, cog- tive psychology, and ne art. Each of these disciplines contributes to what we mean by the term ¿Smart Graphics¿: the intelligent process of creating expr- sive and esthetic graphical presentations. While artists and designers have been creating communicative graphics for centuries, arti cial intelligence focuses on automating this process by means of the computer. While computer graphics provides the tools for creating graphical presentations in the rst place, cog- tive sciences contribute the rules and models of perception necessary for the design of e ective graphics. The exchange of ideas between these four discip- nes has led to many exciting and fruitful discussions, and the Smart Graphics Symposia draw their liveliness from a spirit of open minds and the willingness to learn from and share with other disciplines. 256 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book contains the proceedings of the Workshop on OpenMP Applications and Tools, WOMPAT 2003. WOMPAT 2003 was held on June 26and 27, 2003 in Toronto, Canada. The workshop brought together the users and developers of the OpenMP API to meet, share ideas and experiences, and to discuss the latest developments in OpenMP and its applications. The OpenMP API is now a widely accepted standard for high-level shar- memory parallel programming. Since its introduction in 1997, OpenMP has gained support from the majority of high-performance compiler and hardware vendors. WOMPAT 2003 was the latest in a series of OpenMP-related workshops, which have included the annual o erings of the Workshop on OpenMP Appli- tions and Tools (WOMPAT), the European Workshop on OpenMP (EWOMP) and the Workshop on OpenMP: Experiences and Implementations (WOMPEI). The WOMPAT 2003 program committee formally solicited papers. Extended abstracts were submitted by authors and all abstracts were reviewed by three members of the program committee. Of the 17 submitted abstracts, 15 were selected for presentation at the workshop. This book was published in time to be available at WOMPAT 2003, and therefore we hope that the papers contained herein are timely and useful for current developers and researchers. This book also contains selected papers from WOMPAT 2002. No formal proceedings had been created for this previous o ering of the workshop, and so presenters were invited to prepare their papers for inclusion in this volume. 284 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Tenth LMS-EPSRC Numerical Analysis Summer School was held at the University of Durham, UK, from the 7th to the 19th of July 2002. This was the second of these schools to be held in Durham, having previously been hosted by the University of Lancaster and the University of Leicester. The purpose of the summer school was to present high quality instructional courses on topics at the forefront of numerical analysis research to postgraduate students. The speakers were Franco Brezzi, Gerd Dziuk, Nick Gould, Ernst Hairer, Tom Hou and Volker Mehrmann. This volume presents written contributions from all six speakers which are more comprehensive versions of the high quality lecture notes which were distributed to participants during the meeting. At the time of writing it is now more than two years since we first contacted the guest speakers and during that period they have given significant portions of their time to making the summer school, and this volume, a success. We would like to thank all six of them for the care which they took in the preparation and delivery of their material.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -In 30 chapters, the text deals with commercially available chemicals used for patch testing. It is the first book to provide a short and concise explanation for physicians, patients, and employees as how to minimize allergic contact dermatitis when patch testing is completed. The second book of this mini-series, 'Patch testing and Prick testing' covers the new standard of patch testing and prick testing procedures in an efficient and practical way. Thus, both of these well-structured books should not be missed by any physician in daily practise when treating patients with dermatological problems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The papers collected in this volume reproduce contributions by leading sch- arstoaninternationalschoolandworkshopwhichwasorganizedandheldwith thegoaloftakinga snapshotofadiscipline undertumultuous growth. Indeed, the area of protein folding, docking and alignment is developing in response to needs for a mix of heterogeneous expertise spanning biology, chemistry, mathematics, computer science, and statistics, among others. Some of the problems encountered in this area are not only important for the scienti c challenges they pose, but also for the opportunities they disclose intermsofmedicalandindustrialexploitation. Atypicalexampleiso eredby protein-drug interaction (docking), a problem posing daunting computational problems at the crossroads of geometry, physics and chemistry, and, at the same time, a problem with unimaginable implications for the pharmacopoeia of the future. The schoolfocused on problems posed by the study of the mechanisms - hind protein folding, and explored di erent ways of attacking these problems under objective evaluations of the methods. Together with a relatively small core of consolidated knowledge and tools, important re ections were brought to this e ort by studies in a multitude of directions and approaches. It is obviously impossible to predict which, if any, among these techniques will prove completely successful, but it is precisely the implicit dialectic among them that best conveys the current avor of the eld. Such unique diversity and richness inspired the format of the meeting, and also explains the slight departure of the present volume from the typical format in this series: the exposition of the current sediment is complemented here by a selection of quali ed specialized contributions.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 184 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -At the Summer School Saint Petersburg 2001, the main lecture courses bore on recent progress in asymptotic representation theory: those written up for this volume deal with the theory of representations of infinite symmetric groups, and groups of infinite matrices over finite fields; Riemann-Hilbert problem techniques applied to the study of spectra of random matrices and asymptotics of Young diagrams with Plancherel measure; the corresponding central limit theorems; the combinatorics of modular curves and random trees with application to QFT; free probability and random matrices, and Hecke algebras.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The refereed proceedings of the 6th International Conference on Developments in Language Theory, DLT 2002, held in Kyoto, Japan in September 2002.The 28 revised full papers presented together with 8 invited papers were carefully reviewed and selected from 63 submissions. Among the topics addressed are grammars and acceptors for strings, graphs, arrays, etc; efficient algorithms for languages; combinatorial and algebraic properties of languages; decision problems; relations to complexity theory, logic picture description and analysis, DNA computing, cryptography, concurrency, quantum computing, and algebraic systems. 448 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -Spatial cognition is an interdisciplinary research area involving artificial intelligence, cognitive psychology, computational linguistics, geography, mathematics, biology, theoretical computer science, architecture, design, and philosophy of mind. As these different disciplines gain a deeper understanding of their fellow disciplines and their research approaches, they increasingly find ways to combine their insights and to conceive powerful mechanisms to analyze and synthesize cognitive systems. Spatial cognition has now reached a point where we can see how different pieces of the puzzle may fit together to form integrated systems of specialized cognitive components. The research triggers new quests for basic issues of cognition and sparks ideas for the development of technological applications that make use of spatial structures and spatial computation. Potential applications can be found in such diverse areas as autonomous robotics, geographic information systems, locati- based services, spatial task assistance, multi-agent communication, to name but a few. This third volume on Spatial Cognition marks the final phase of the German Spatial Cognition Priority Program. It augments the results presented in the two precursor volumes published in 1998 and 2000, respectively. The interdisciplinary 1 research program was established by the Deutsche Forschungsgemeinschaft (DFG) in 1996 and terminated after six years, the maximum duration of DFG priority programs. The Spatial Cognition Priority Program consists of 17 research projects at 13 research institutions throughout Germany. Besides carrying out research in individual projects and joint research between projects, the program organized ¿topical colloquiä and annual plenary colloquia, largely with internationalparticipation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 432 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The thoroughly refereed postproceedings of the International Workshop on Architectures for Quality of Service in the Internet, Art-QoS 2003, held in Warsaw, Poland, in March 2003. The 22 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on architectures for next generation networks, architectures and services, signalling, admission control, AQUILA-resource control, AQUILA-QoS at work, MPLS traffic engineering, and traffic control mechanisms. 324 pp. Englisch.