springer berlin heidelberg jun 1998 (51 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is about the explicit elimination of fast oscillatory scales in dynamical systems, which is important for efficient computer-simulations and our understanding of model hierarchies. The author presents his new direct method, homogenization in time, based on energy principles and weak convergence techniques. How to use this method is shown in several general cases taken from classical and quantum mechanics. The results are applied to special problems from plasma physics, molecular dynamics and quantum chemistry. Background material from functional analysis is provided and explained to make this book accessible for a general audience of graduate students and researchers. 172 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 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems. 464 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers selected for presentationat IPCO VI, the Sixth InternationalConferenceonInteger ProgrammingandCombinatorialOptimi- tion,held inHouston,Texas,USA, June22{24,1998.TheIPCOseriesofconf- ences highlights recent developments in theory, computation, and applications of integer programming and combinatorial optimization. These conferences are sponsoredby the Mathematical ProgrammingSociety, and are held in the years in which no International Symosium on Mathema- cal Programming takes place. Earlier IPCO conferences were held in Waterloo (Canada) in May 1990; Pittsburgh (USA) in May 1992; Erice (Italy) in April 1993; Copenhagen (Denmark) in May 1995; and Vancouver (Canada) in June 1996. The proceedings of IPCO IV (edited by Egon Balas and Jens Clausen in 1995) and IPCO V (edited by William Cunningham, Thomas McCormick, and Maurice Queyranne in 1996), were published by Springer-Verlag in the series Lecture Notes in Computer Science as Volumes 920 and 1084, respectively. The proceedings of the rst three IPCO conferences were published by organizing institutions. A total of77 extended abstracts,mostly of an excellentquality, wereinitially submitted. Following the IPCO policy of having only one stream of sessions over a three day span, the ProgramCommittee selected 32 papers. As a result, many outstanding papers could not be selected. The papers included in this volume have not been refereed. It is expected that revised versions of these works will appear in scienti c journals. The Program Committee thanks all the authors of submitted extended - stracts and papers for their support of the IPCO conferences. 448 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 6th Scandinavian Workshop on Algorithm Theory, SWAT'98, held in Stockholm, Sweden, in July 1998.The volume presents 28 revised full papers selected from 56 submissions; also included are three invited contributions. The papers present original research on algorithms and data structures in various areas including computational geometry, parallel and distributed systems, graph theory, approximation, computational biology, queueing, Voronoi diagrams, and combinatorics in general. 364 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -New paradigms can popularize old technologies. A new standalone' paradigm, the electronic desktop, popularized the personal computer. A new connected' paradigm, the web browser, popularized the Internet. Another new paradigm, the mobile agent, may further popularize the Internet by giving people greater access to it with less eort. MobileAgentParadigm The mobile agent paradigm integrates a network of computers in a novel way designed to simplify the development of network applications. To an application developer the computers appear to form an electronic world of places occupied by agents. Each agent or place in the electronic world has the authority of an individual or an organization in the physical world. The authority can be established, for example, cryptographically. A mobile agent can travel from one place to another subject to the des- nation place's approval. The source and destination places can be in the same computer or in di erent computers. In either case,the agentinitiates the trip by executing a go' instruction which takes as an argument the name or address of the destination place. The next instruction in the agent's program is executed in the destination place, rather than in the source place. Thus, in a sense, the mobile agent paradigm reduces networking to a program instruction. A mobile agent can interact programmatically with the places it visits and, if the other agents approve, with the other agents it encounters in those places. 272 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed revised post-workshop proceedings of the Second International Workshop on Implementing Automata, WIA'97, held in London, Ontario, Canada, in September 1997.The book presents 21 revised full papers carefully reviewed and selected for inclusion in the book; also included is an introductory overview. The papers discuss issues involved in the implementation of automata of all types also covering aspects from areas such as natural language processing, pattern matching, speaker recognition, VLSI testing, etc. This book reflects the state-of-the-art in this emerging area of interdisciplinary research. 268 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 16th British National Conference on Databases, BNCOD 16, held in Cardiff, Wales, UK, In July 1998.The 11 revised full papers presented together with seven posters were carefully selected for inclusion in the book. The papers are organized in topical sections on middleware, life cycles, images, heterogenity, and languages. 204 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book deals with explosive instabilities in mechanics, deriving a solution to a system of PDEs that arise in practical situations. It begins with a relatively simple account of blow-up in systems of interaction-diffusion equations. Among the topics presented are: classical fluid equations, catastrophic behavior in nonlinear fluid theories, blow-up in Volterra equations, and rapid energy growth in parallel flows. 212 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 Intelligent Agents for Telecommunication Applications, IATA'98, held in Paris, France, in July 1998, in conjunction with the 1998 Agents World Conference.The book presents 17 revised full papers carefully selected for inclusion in the volume. The book is divided into topical sections on network architecture, network configuration and planning, network optimization, network management, agent-based architectures for service applications. 272 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 First International Workshop on Practice and Theory in Public Key Cryptography, PKC'98, held in Pacifico Yokohama, Japan, in February 1998.The volume presents four invited contributions together with 18 revised full papers selected from 30 submissions. The papers address all current issues in research and design in the area including digital signature schemes, digital payment systems, electronic commerce, cryptographic protocols, as well as foundational issues like integer factorization, elliptic curve aspects, hash functions, finite fields, etc. 284 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the refereed proceedings of the First International Conference on Rough Sets and Current Trends in Computing, RSCTC'98, held in Warsaw, Poland, in June 1998.The volume presents 82 revised papers carefully selected for inclusion in the proceedings; also included are five invited contributions. The volume is divided in topical sections on rough set methods, statistical inference, grammar systems and molecular computations, logic in rough sets, intelligent control, rough sets in knowledge discovery and data discovery, data mining, evolutionary computation, hybrid methods, etc. 652 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 19th annual International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference is to create a forum for the dissemination of the latest results in the application and theory of Petri nets. It always takes place in the last week of June. Typically there are 150 - 200 participants. About one third of these come from industry while the rest are from universities and research institutions. The conferences and a number of other activities are coordinated by a steering committee with the following members: G. Balbo (Italy), J. Billington (Australia), G. DeMichelis(Italy),C. Girault(France),K. Jensen (Denmark), S. Kumagai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), M. Silva (Spain). The 19th conference has been organized for the rst time in Portugal, by the Department of Electrical Engineering of the Faculty of Sciences and Technology of the New University of Lisbon, together with the Center for Intelligent Robotics of UNINOVA. It takes place in Lisbon at the same time as EXPO'98, the last world exhibition of the 20th century. 396 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The text develops the basic principles that underlie nonlinear optical phenomena in matter, in an approach oriented to the general reader or student with a background in classical electromagnetic theory. It begins with a discussion of linear wave propagation in dispersive media, moves into weak nonlinearities which can be discussed in a pertuberative manner, then examines strong nonlinear effects (solitons, chaos). The emphasis is on the macroscopic description on nonlinear phenomena, within a semi-classical framework. The text is aimed at the student orresearcher who is not a specialist in optics, and who wishes to acquire an introduction to the principal concepts as a precursor to the consultation of the specialized literature. 280 pp. Englisch.

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 three workshops held in conjunction with the 10th Australian Joint Conference on Artificial Intelligence in Perth, Australia, in December 1997.The 17 revised full papers presented were carefully reviewed for inclusion in the book. The book is divided into sections on formal methods of agency, reasoning agents, communication and coordination, social interaction, and practical issues for distributed artificial intelligence systems. 260 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 First International Workshop on Collective Robotics, CRW'98, held as part of the Agents' World 1998 conference in Paris, France, in July 1998.The 13 revised full papers presented in the book were selected during a vigorous reviewing process. The book brings together research in distributed artificial intelligence and intelligent robotics. Among the topics addressed are multi-agent collaboration, collective learning, self-organization, artificial life, simulation, mobile robots, robot soccer, human-robot cooperation, etc. 180 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 Cooperative Information Systems, CIA'98, held in cognition with Agents World in July 1998 in Paris.The book presents nine invited contributions together with 14 revised full papers selected from a total of 54 submissions. The book is divided in parts on systems and applications; issues of design, querying, and communication; rational cooperation and electronic commerce; adaptive and collaborative information gathering; and mobile information agents in the internet. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -1 Introduction Imagine a virtual world with digital creatures that looks like real life, sounds like real life, and even feels like real life. Imagine a virtual world not only with nice three dimensional graphics and animations, but also with realistic physical laws and forces. This virtual world could be familiar, reproducing some parts of our reality, or unfa miliar, with strange 'physical' laws and artificial life forms. As a researcher interested in the sciences of complexity, the idea of a conference about virtual worlds emerged from frustration. In the last few years, there has been an increasing interest in the design of artificial environments using image synthesis and virtual reality. The emergence of industry standards such as VRML [1] is an illustra tion of this growing interest. At the same time, the field of Artificial Life has ad dressed and modeled complex phenomena such as self organization, reproduction, development, and evolution of artificial life like systems [2]. One of the most popular works in this field has been Tierra designed by Tom Ray: an environment producing synthetic organisms based on a computer metaphor of organic life in which CPU time is the 'energy' resource and memory is the 'material' resource [3]. Memory is or ganized into informational patterns that exploit CPU time for self replication. Muta tion generates new forms, and evolution proceeds by natural selection as different creatures compete for CPU time and memory space. 428 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Cognition and artificial intelligence are entering a new era in which the aspects of symbolic manipulation and of connectionism begin to come together. This leads to a dialog of truly interdisciplinary character. The book covers aspects of fuzzy logic, case based reasoning, learning as well as meaning, language, and consciousness. The authors of this topical volume have their background in logic, computer science, physics and mathematics, philosophy, psychology and neurobiology. 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Starbursts are regions of unusually rapid star formation often located in the central parts of galaxies. Recent observational and theoretical developments have emphasized their importance to understand the connection between star formation, the interstellar medium, and the secular evolution of galaxies. In this book, leading experts in the field introduce the basic processes involved in the physics of starbursts, the phenomenological concepts which are used to describe and model their triggering and evolution, and their link to galaxy formation and history. A specific effort is made to start with pedagogical presentations and to review the state-of-the art of the observations and models, emphasizing the recent breakthroughs and the major issues to be explored in the future. 268 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice. 568 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 Third International Symposium on Algorithmic Number Theory, ANTS-III, held in Portland, Oregon, USA, in June 1998.The volume presents 46 revised full papers together with two invited surveys. The papers are organized in chapters on gcd algorithms, primality, factoring, sieving, analytic number theory, cryptography, linear algebra and lattices, series and sums, algebraic number fields, class groups and fields, curves, and function fields. 656 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the last few years, the field of nonlinear problems has undergone great development. This book consisting of the updated Grundlehren volume 252 by the author and of a newly written part, deals with some important geometric problems that are of interest to many mathematicians and scientists but have only recently been partially solved. Each problem is explained, up-to-date results are given and proofs are presented. Thus, the reader is given access, for each specific problem, to its present status of solution as well as to the most up-to-date methods for approaching it. The main objective of the book is to explain some methods and new techniques, and to apply them. It deals with such important subjects as variational methods, the continuity method, parabolic equations on fiber. 420 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Cognition and artificial intelligence are entering a new era in which the aspects of symbolic manipulation and of connectionism begin to come together. This leads to a dialog of truly interdisciplinary character. The book covers aspects of fuzzy logic, case based reasoning, learning as well as meaning, language, and consciousness. The authors of this topical volume have their background in logic, computer science, physics and mathematics, philosophy, psychology and neurobiology.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 228 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Starbursts are regions of unusually rapid star formation often located in the central parts of galaxies. Recent observational and theoretical developments have emphasized their importance to understand the connection between star formation, the interstellar medium, and the secular evolution of galaxies. In this book, leading experts in the field introduce the basic processes involved in the physics of starbursts, the phenomenological concepts which are used to describe and model their triggering and evolution, and their link to galaxy formation and history. A specific effort is made to start with pedagogical presentations and to review the state-of-the art of the observations and models, emphasizing the recent breakthroughs and the major issues to be explored in the future.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is the first monograph on the subject, providing a comprehensive introduction to the LSFEM method for numerical solution of PDEs. LSFEM is simple, efficient and robust, and can solve a wide range of problems in fluid dynamics and electromagnetics. 440 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modeling of flow and transport in groundwater has become an important focus of scientific research in recent years. Most contributions to this subject deal with flow situations, where density and viscosity changes in the fluid are neglected. This restriction may not always be justified. The models presented in the book demonstrate immpressingly that the flow pattern may be completely different when density changes are taken into account. The main applications of the models are: thermal and saline convection, geothermal flow, saltwater intrusion, flow through salt formations etc. This book not only presents basic theory, but the reader can also test his knowledge by applying the included software and can set up own models. 308 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -By way of a summary of all the data collected by the mapping teams, I will review what is entered on each of the data sheets. The map sheet was already de scribed in some detail (Fig. 2.2.1A), and includes a circle or a point for the location of each tree and the tree's tag number (the last three or four digits) written next to it. The range of tag numbers used in the quadrat should be written at the top of the sheet. The main data sheet is where most other information about each individual is recorded (Fig. 2.2.1B). As for all sheets, the quadrat number, the first date a quadrat is censused, and the mappers' names are recorded at the top. For each plant, there are blanks for the following information: subquadrat number, tag number, species name, dbh, codes, and problems. Subquadrat number and tag number are straight forward. Size in millimeters is entered in the dbh column, except for multiple stemmed plants or big trees, which get a blank dbh on the main data sheet. Species identification will be handled by separate taxonomy teams (chapter 2.3), but map pers should enter a species name if they know it. 224 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -By way of a summary of all the data collected by the mapping teams, I will review what is entered on each of the data sheets. The map sheet was already de scribed in some detail (Fig. 2.2.1A), and includes a circle or a point for the location of each tree and the tree's tag number (the last three or four digits) written next to it. The range of tag numbers used in the quadrat should be written at the top of the sheet. The main data sheet is where most other information about each individual is recorded (Fig. 2.2.1B). As for all sheets, the quadrat number, the first date a quadrat is censused, and the mappers' names are recorded at the top. For each plant, there are blanks for the following information: subquadrat number, tag number, species name, dbh, codes, and problems. Subquadrat number and tag number are straight forward. Size in millimeters is entered in the dbh column, except for multiple stemmed plants or big trees, which get a blank dbh on the main data sheet. Species identification will be handled by separate taxonomy teams (chapter 2.3), but map pers should enter a species name if they know it.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Modeling of flow and transport in groundwater has become an important focus of scientific research in recent years. Most contributions to this subject deal with flow situations, where density and viscosity changes in the fluid are neglected. This restriction may not always be justified. The models presented in the book demonstrate immpressingly that the flow pattern may be completely different when density changes are taken into account. The main applications of the models are: thermal and saline convection, geothermal flow, saltwater intrusion, flow through salt formations etc. This book not only presents basic theory, but the reader can also test his knowledge by applying the included software and can set up own models.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 308 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'Recht für Manager' versteht sich als Leitfaden zu den rechtlichen Rahmenbedingungen einer marktorientierten Unternehmensführung. Das Buch vermittelt dem Praktiker die notwendige Kenntnis der einschlägigen Rechtsnormen, gibt zugleich einen Einblick in die juristische Denkweise und ermöglicht so kompetente Lösungen für Problemstellungen im Spannungsfeld zwischen Management und Recht. Juristen bietet das Buch einen Einblick in die wichtigsten 'juristisch geprägten' Entscheidungstatbestände einer marktorientierten Unternehmensführung. Eine übersichtliche Struktur, prägnante Darstellung und klare Sprache machen die Lektüre leicht und angenehm. 260 pp. Deutsch.