berlin springer aug 1998 (82 risultati)

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this study extending classical Markov chain theory to handle fluctuating transition matrices, the author develops a theory of Markov set-chains and provides numerous examples showing how that theory can be applied. Chapters are concluded with a discussion of related research. Readers who can benefit from this monograph are those interested in, or involved with, systems whose data is imprecise or that fluctuate with time. A background equivalent to a course in linear algebra and one in probability theory should be sufficient. 140 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -It is well known that stellar winds are variable. Recent investigations show that the observed fluctuations are often cyclical in nature. This property seems to be shared by the winds of cool and hot stars, even though the physical mechanisms driving these winds are fundamentally different. The time was ripe for astrophysicists studying different types of stars, but applying very similar models, to present the state of the art in a concise form. The proceedings will provide a useful, up-to-date overview of the observations, interpretation, and modelling of the time-dependent mass outflows from a wide variety of stars, including young, pre-main-sequence objects, solar-type stars, red supergiants, and hot, massive stars. 444 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent. 324 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -ICANN, the International Conference on Artificial Neural Networks, is the official conference series of the European Neural Network Society which started in Helsinki in 1991. Since then ICANN has taken place in Brighton, Amsterdam, Sorrento, Paris, Bochum and Lausanne, and has become Europe's major meeting in the field of neural networks. This book contains the proceedings of ICANN 98, held 2-4 September 1998 in Skovde, Sweden. Of 340 submissions to ICANN 98, 180 were accepted for publication and presentation at the conference. In addition, this book contains seven invited papers presented at the conference. A conference of this size is obviously not organized by three individuals alone. We therefore would like to thank the following people and organizations for supporting ICANN 98 in one way or another: - the European Neural Network Society and the Swedish Neural Network Society for their active support in the organization of this conference, - the Programme Committee and all reviewers for the hard and timely work that was required to produce more than 900 reviews during April 1998, - the Steering Committee which met in Skovde in May 1998 for the final selection of papers and the preparation of the conference program, - the other Module Chairs: Bengt Asker (Industry and Research), Harald Brandt (Applications), Anders Lansner (Computational Neuroscience and Brain Theory), Thorsteinn Rognvaldsson (Theory), Noel Sharkey (co chair Autonomous Robotics and Adaptive Behavior), Bertil Svensson (Hardware and Implementations), - the conference secretary, Leila Khammari, and the rest of the 1232 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains lectures given at the Saint-Flour Summer School of Probability Theory during the period 10th - 26th July, 1995. These lectures are at a postgraduate research level. They are works of reference in their domain. 252 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 5th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services, IDMS'98, held in Oslo, Norway, in September 1998.The 23 revised full papers presented were carefully selected from a total of 68 submissions. Also included are seven position statements. The book is divided into topical sections on distributed multimedia applications; platforms for collaborative systems; MPEG; coding for WWW, wireless, and mobile environments; QoS and user aspects; flow control, congestion control, and multimedia streams; multimedia servers, documents, and authoring; and storage servers. 348 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 4th International Conference on Parallel Processing, Euro-Par'98, held in Southampton, UK, in September 1998.The Euro-Par'98 conference is organized in initially 23 workshops addressing all current topics in parallel processing ranging from hardware via software and algorithms to applications. The book presents a total of 134 revised papers selected from a total of 238 submissions from 33 countries. The selection of the papers is based on more than 850 individual reviews. The book presents the state of the art in parallel processing research and development. 1212 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 the 4th International Workshop on Job Scheduling Strategies for Parallel Processing held during IPPS/SPDP'98, in Orlando, Florida, USA, in March 1998. The 13 revised full papers presented have gone through an iterated reviewing process and give a report on the state of the art in the area. 272 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thorougly refereed and revised post-workshop proceedings of the First European Workshop on Evolutionary Robotics, EvoRobot '98, held in Paris, France in April 1998.The 15 revised full papers presented outline the state of the art in this new interdisciplinary area of research and development. The introductory paper gives a survey of the use of evolutionary computing techniques for the automatic design of adaptive robots. 264 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 East European Symposium on Advances in Databases and Information systems, ADBIS '98, held in Poznan, Poland in September 1998.The 25 revised full papers presented were selected from a total of 90 submissions and six extended abstracts within a special section. 'East meets West'. The papers are organized in topical sections on query languges, optimization, collaborative systems, schema integration, storage and version management, object systems, knowledge discovery and the Web, and systems design. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 18th Annual International Cryptology Conference, CRYPTO'98, held in Santa Barbara, California, USA, in August 1998. The book presents 33 revised full papers selected from a total of 144 submissions received. Also included are two invited presentations. The papers are organized in topical sections on chosen ciphertext security, cryptanalysis of hash functions and block ciphers, distributed cryptography, zero knowledge, and implementation. 540 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 the Second International Workshop on Types in Compilation, TIC '98, held in Kyoto, Japan in March 1998.The book presents 13 revised full papers carefully selected during an iterated reviewing process together with three invited papers. The papers are organized in topical sections on typed intermediate languages, program analyses, program transformations and code generation, memory management, partial evaluation and run-time code generation, and distributed computing. 316 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-conference proceedings of the 7th International Conference on Evolutionary Programming, EP98, held in San Diego, CA, USA, in March 1998.The volume presents 81 revised full papers selected from an overwhelming number of submissions. The papers are organized in topical sections on economics, emergence and complex systems; issues and innovations in evolutionary computation; applications; evolution-based approaches to engineering design; examining representations and operators; evolutionary computation theory; evolutionary computation and biological modeling; particle swarm; and combinations of evolutionary and neural computation. 868 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the Second International Workshop on Mobile Agents, MA'98, held in Stuttgart, Germany, in September 1998.The 21 revised full papers presented were carefully selected from a total of 45 submissions; also included are three invited contributions. The book is divided in topical sections on mechanisms for mobile agent systems, mobile agent architechtures, applications, mobile agent systems, security, and communication. 300 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 the Second International Conference on the Practice and Theory of Automated Timetabling, PATAT'97, held in Toronto, Canada, in August 1997.The 17 revised full papers presented were carefully selected for presentation at the conference and then had to pass a second round of reviewing. The book is divided into topical sections on surveys, tabu search and simulated annealing, evolutionary computation (population-based methods), constraint-based methods, graph theory, and practical issues. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the 'new world' of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware designers. It presents specification, design, implementation and testing in a user-oriented fashion using simple formal and diagramming techniques with a high level of user-friendliness. The first part provides a simple introduction to the method together with a complete, real case study. The second part describes, in detail, the mathematical theory behind the methods and the claims made. 206 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997.The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates. 264 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains a selection of scientific papers which were presented at an international workshop on the impacts of climatic variability held in Wengen, Switzerland, September 1997. For the first time, an assessment is made of the interactions between physical and biological elements of the Earth System on the basis of shifts in extreme climatic conditions, rather than simply changes in mean atmospheric conditions which research has tended to focus on until recently. Natural ecosystems and forests are typical examples of systems which, while constrained within certain ranges of mean climate, can undergo rapid and often irreversible damage in the face of short-lived but intense extreme events. 352 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 European Workshop on Software Process Technology, EWSPT '98, held in Weybridge, UK in September 1998.The 16 revised full papers presented were selected from more than 40 submissions; also included are 10 position papers. The volume covers all current aspects of software process technology taking into account both the academic point of view as well as the needs of the practitioners from industry. 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 Second International Conference on Evolvable Systems: From Biology to Hardware, ICES '98, held in Lausanne, Switzerland in September 1998.The 38 revised papers presented were carefully selected for inclusion in the book from numerous submissions. The papers are organized in topical sections on evaluation of digital systems, evolution of analog systems, embryonic electronics, bio-inspired systems, artifical neural networks, adaptive robotics, adaptive hardware platforms, and molecular computing. 400 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -One of the main problems in chip design is the enormous number of possible combinations of individual chip elements within a system, and the problem of their compatibility. The recent application of data structures, efficient algorithms, and ordered binary decision diagrams (OBDDs) has proven vital in designing the computer chips of tomorrow. This book provides an introduction to the foundations of this interdisciplinary research area, emphasizing its applications in computer aided circuit design. 280 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms.In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms.The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The 20 sporadics involved in the Monster, the largest sporadic group, constitute the Happy Family. This book is a leisurely and rigorous study of two of their three generations. The level is suitable for graduate students with little background in general finite group theory, established mathematicians and mathematical physicists. 180 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This second edition is the result of a collaborative effort of ophthalmic pathologists from 11 countries and is more extensive and detailed than its predecessor published in 1980. Several new tumour entities have been added, while the list of histological variants has been expanded and examples of immunoreactivity included. The publication of the revised eye and adnexal tumour classification is accompanied by 112 photomicrographs. 128 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The need to evaluate computer and communication systems performance and dependability is continuously growing as a consequence of both the increasing complexity of systems and the user requirements in terms of timing behaviour. The 10th International Conference on Modelling Techniques and Tools for C- puter Performance Evaluation, held in Palma in September 1998, was organised with the aim of creating a forum in which both theoreticians and practitioners could interchange recent techniques, tools, and experiences in these areas. This meeting follows the predecessor conferences of this series: 1984 Paris 1988 Palma 1994 Wien 1985 Sophia Antipolis 1991 Torino 1995 Heidelberg 1987 Paris 1992 Edinburgh 1997 Saint Malo The tradition of this conference series continued this year where many high quality papers were submitted. The Programme Committee had a di cult task in selecting the best papers. Many ne papers could not be included in the program due to space constraints. All accepted papers are included in this volume. Also, a set of submissions describing performance modelling tools was transformed into tool presentations and demonstrations. A brief description of these tools is included in this volume. The following table gives the overall statistics for the submissions. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book offers a simultaneous treatment of the theory and numerical application of boundary-value problems related to the determination of a precise geoid from gravimetric data. The following subjects are discussed: topographical effects and their computations in precise gravimetric geoid determination, the downward continuation of a harmonic function, Stokes' problem formulated on an ellipsoid of revolution, spherical Stokes' problem with ellipsoidal corrections involved in boundary conditions for an anomalous potential, and the altimetry-gravimetry boundary-value problem. The answer to a number of scientific problems, raised and discussed in geodetic literature over the past years, can be found here. The book is intended for scientists and advanced graduate students. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book originates from a workshop organised by ESPRIT project 20 477, ARES in Las Palmas de Gran Canaria, Spain, February 1998. ARES is an acronym for Architectural Reasoning for Embedded Systems. Within this project we investigate techniques to deal with problems of software architecture of families of embedded systems. It is the second workshop organised by this project. Its predecessor was held in Las Navas de Marques, Spain, November 1996. The proceedings of the first workshop are only available in electronic format at 'dit.upm.es/~ares/'. The second workshop succeeded, even more than the first one, in gathering many of the most prominent people working in the area of software architecture for product families or product lines. This second workshop consisted of six sessions. The first session was meant to report the ARES results, according to the topics of the next five sessions. The remaining sessions dealt with different aspects of software architecture, focussed on applications for product families or product lines. Because there will be a separate book covering all ARES results, the first session is not included in this book. The workshop was chaired by Henk Obbink from Philips Research and Paul Clements from the Software Engineering Institute at Carnegie Mellon University. They prepared and presented an overall conclusion at the end of the workshop. This conclusion was used in the introduction to this book. 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 post-workshop proceedings of the 9th International Workshop on Implementation of Functional Languages, IFL'97, held in St. Andrews, Scotland, UK, in September 1997.The 21 revised full papers presented were selected from the 34 papers accepted for presentation at the workshop during a second round of thorough a-posteriori reviewing. The book is divided in sections on compilation, types, benchmarking and profiling, parallelism, interaction, language design, and garbage collection. 392 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This coherent anthology presents the state of the art in the booming area of online algorithms and competitive analysis of such algorithms. The 17 papers are carefully revised and thoroughly improved versions of presentations given first during a Dagstuhl seminar in 1996.An overview by the volume editors introduces the area to the reader. The technical chapters are devoted to foundational and methodological issues for the design and analysis of various classes of online algorithms as well as to the detailed evaluation of algorithms for various activities in online processing, ranging from load balancing and scheduling to networking and financial problems. An outlook by the volume editors and a bibliography listing more than 750 references complete the work.The book is ideally suited for advanced courses and self-study in online algorithms. It is indispensable reading for researchers and professionals active in the area. 460 pp. Englisch.