Distributed Algorithms
Distributed Algorithms

Author: Sam Toueg

Publisher: Springer Science & Business Media

Published: 1992-03-11

Total Pages: 340

ISBN-13: 9783540552369

DOWNLOAD EBOOK

This volume contains the proceedings of the fifth International Workshop on Distributed Algorithms (WDAG '91) held in Delphi, Greece, in October 1991. The workshop provided a forum for researchers and others interested in distributed algorithms, communication networks, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. The volume contains 23 papers selected by the Program Committee from about fifty extended abstracts on the basis of perceived originality and quality and on thematic appropriateness and topical balance. The workshop was organizedby the Computer Technology Institute of Patras University, Greece.

Data Structures and Efficient Algorithms
Data Structures and Efficient Algorithms

Author: Burkhard Monien

Publisher: Springer Science & Business Media

Published: 1992-05-20

Total Pages: 406

ISBN-13: 9783540554882

DOWNLOAD EBOOK

Myocarditis and idiopathic dilated cardiomyopathy are being increasingly recognized as important causes of heart disease and heart failure. Immunological mechanisms have long been suspected as playing a role in thesediseases but direct evidence has been lacking. Recently, animal models have be- come available, in which myocarditis can be induced either by infection with cardiotropic viruses or by autoimmuniza- tion with heart-specific antigens. This book presents and analyzes the latest information obtained from experimental models, relating it to the practical problems of diagnosis and treatment of myocarditis.

Algebraic and Logic Programming
Algebraic and Logic Programming

Author: Hélène Kirchner

Publisher: Springer Science & Business Media

Published: 1992-08-19

Total Pages: 476

ISBN-13: 9783540558736

DOWNLOAD EBOOK

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like the two previous conferences in Germany in 1988 and France in 1990, the third conference aims at strengthening the connections betweenalgebraic techniques and logic programming. On the one hand, logic programming has been very successful during the last decades and more and more systems compete in enhancing its expressive power. On the other hand, concepts like functions, equality theory, and modularity are particularly well handled in an algebraic framework. Common foundations of both approaches have recently been developed, and this conference is a forum for people from both areas to exchange ideas, results, and experiences. The book covers the following topics: semantics ofalgebraic and logic programming; integration of functional and logic programming; term rewriting, narrowing, and resolution; constraintlogic programming and theorem proving; concurrent features in algebraic and logic programming languages; and implementation issues.

Algorithms and Computation
Algorithms and Computation

Author: Ding-Zhu Du

Publisher: Springer Science & Business Media

Published: 1994-07-27

Total Pages: 708

ISBN-13: 9783540583257

DOWNLOAD EBOOK

This volume is the proceedings of the fifth International Symposium on Algorithms and Computation, ISAAC '94, held in Beijing, China in August 1994. The 79 papers accepted for inclusion in the volume after a careful reviewing process were selected from a total of almost 200 submissions. Besides many internationally renowned experts, a number of excellent Chinese researchers present their results to the international scientific community for the first time here. The volume covers all relevant theoretical and many applicational aspects of algorithms and computation.

Orders, Algorithms and Applications
Orders, Algorithms and Applications

Author: Vincent Bouchitte

Publisher: Springer Science & Business Media

Published: 1994-06-23

Total Pages: 220

ISBN-13: 9783540582748

DOWNLOAD EBOOK

This volume is the proceedings of the first International Workshop on Orders, Algorithms, and Applications, held at Lyon, France in July 1994. Ordered sets and the more specifically algorithmic aspects of order theory are of increasing importance, for example in graph theory. They enjoy a recognized place in computer science as well as in mathematics, due to various new developments in the last few years. The nine technical papers accepted for this volume and the four invited papers presented offer a representative perspective on theoretical and applicational aspects of orders and related algorithms.

Algebraic Specification Techniques in Object Oriented Programming Environments
Algebraic Specification Techniques in Object Oriented Programming Environments

Author: Ruth Breu

Publisher: Springer Science & Business Media

Published: 1991-12-04

Total Pages: 248

ISBN-13: 9783540549727

DOWNLOAD EBOOK

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.

Algorithms and Computations
Algorithms and Computations

Author: John Staples

Publisher: Springer Science & Business Media

Published: 1995-11-15

Total Pages: 470

ISBN-13: 9783540605737

DOWNLOAD EBOOK

This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC '95, held in Cairns, Australia, in December 1995. The 45 revised full papers presented together with the abstracts of three invited talks were selected from a total of 130 submissions. The papers address many current aspects of research and advanced applications of algorithms and computations; among the topics covered are graph theory and graph algorithms, computational geometry, computational logics, searching and sorting, approximation and optimization, algebraic manipulation, and coding.

Algorithms and Data Structures
Algorithms and Data Structures

Author: Selim G. Akl

Publisher: Springer Science & Business Media

Published: 1995-08-02

Total Pages: 536

ISBN-13: 9783540602200

DOWNLOAD EBOOK

This volume constitutes the proceedings of the Fourth International Workshop on Algorithms and Data Structures, WADS '95, held in Kingston, Canada in August 1995. The book presents 40 full refereed papers selected from a total of 121 submissions together with invited papers by Preparata and Bilardi, Sharir, Toussaint, and Vitanyi and Li. The book addresses various aspects of algorithms, data structures, computational geometry, scheduling, computational graph theory, and searching.

Algorithms and Computation
Algorithms and Computation

Author: Kam W. Ng

Publisher: Springer Science & Business Media

Published: 1993-11-26

Total Pages: 566

ISBN-13: 9783540575689

DOWNLOAD EBOOK

This volume presents the proceedings of the fourth annual International Symposium on Algorithms and Computation, held in Hong Kong in December 1993.Numerous selected papers present original research in such areas as design and analysis of algorithms, computational complexity, and theory of computation. Topics covered include: - automata, languages, and computability, - combinatorial, graph, geometric, and randomized algorithms, - networks and distributed algorithms, - VLSIand parallel algorithms, - theory of learning and robotics, - number theory and robotics. Three invited papers are also included.

Advanced Information Systems Engineering
Advanced Information Systems Engineering

Author: Pericles Loucopoulos

Publisher: Springer Science & Business Media

Published: 1992-04-29

Total Pages: 668

ISBN-13: 9783540554813

DOWNLOAD EBOOK

As humanity approaches the 3rd millennium, the sustainability of our present way of life becomes more and more questionable. New paradigms for the long-term coevolution of nature and civilization are urgently needed in order to avoid intolerable and irreversible modifications of our planetary environment. Earth System Analysis is a new scientific enterprise that tries to perceive the earth as a whole, a unique system which is to be analyzed with methods ranging from nonlinear dynamics to macroeconomic modelling. This book, resulting from an international symposium organized by the Potsdam Institute, has 2 aims: first, to integrate contributions from leading researchers and scholars from around the world to provide a multifaceted perspective of what Earth System Analysis is all about, and second, to outline the scope of the scientific challenge and elaborate the general formalism for a well-defined transdisciplinary discourse on this most fascinating issue.