Mathematical theory of computation

This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic held at the Banff Centre, Alberta, Canada from April 21 to May 4, 1991.

The second half of this century will remain as the era of proliferation of electronic computers.

Integrated circuits are finding ever wider applications through a range of industries.

The progress in computer technology during the last 10-15 years has enabled the performance of ever more precise quantum mechanical calculations related to structure and interactions of chemical compounds.

An increasing interest to scheduling theory can be attributed to the high level of automation of all branches of human activity.

Scheduling theory is an important branch of operations research.

This book describes the rapidly developing field of interior point methods (IPMs).

Small noise is a good noise.

The aim of this volume is to reinforce the interaction between the three main branches (abstract, convex and computational) of the theory of polytopes.

Near-Rings and Near-Fields opens with three invited lectures on different aspects of the history of near-ring theory.

Parallel robots are closed-loop mechanisms presenting very good performances in terms of accuracy, rigidity and ability to manipulate large loads.

During the sixteenth century, Cardano wrote a fascinating work called The Book on Games of Chance.

We planned this book as a Festschrift for Smitty Stevens because we thought he might be retiring around 1974, although we knew very well that only death or deep illness would stop Smitty from doing science.

For many years I have believed in a particular style of education for myself.

Over the last decade, the role of computational simulations in all aspects of aerospace design has steadily increased.

This volume contains the courses given at the Sixth Summer School on Complex Systems held at Facultad de Ciencias Fisicas y Maternaticas, Universidad de Chile at Santiago, Chile, from 14th to 18th December 1998.

This book contains the lectures given at the Conference on Dynamics and Randomness held at the Centro de Modelamiento Matematico of the Universidad de Chile from December 11th to 15th, 2000.

From Markov Jump Processes to Spatial Queues aims to develop a unified theory of spatial queues that yields concrete results for the performance analysis of mobile communication networks.

Organizational Semiotics occupies an important niche in the research community of human communication and information systems.

Practical Asymptotics is an effective tool for reducing the complexity of large-scale applied-mathematical models arising in engineering, physics, chemistry, and industry, without compromising their accuracy.

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust.

Quantum theory is the most successful of all physical theories: it has a towering mathematical structure, a vast range of accurate predictions, and technological applications.

An up-to-date report on the current status of important research topics in algebraic geometry and its applications, such as computational algebra and geometry, singularity theory algorithms, numerical solutions of polynomial systems, coding theory, communication networks, and computer vision.

This is a textbook devoted to mathematical programming algorithms and the mathematics needed to understand such algorithms.

This volume contains all twenty-three of the principal survey papers presented at the Symposium on Ordered Sets held at Banff, Canada from August 28 to September 12, 1981.

Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics.

Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics.

The nucleus of this volume consists of a number of papers presented at the Advanced Research Workshop on liThe Impact of New Information Technologies on Library Management, Resources and Cooperation"e; , held in Luxembourg fran 19-23 November 1984.

This volume contains the accounts of the principal survey papers presented at GRAPHS and ORDER, held at Banff, Canada from May 18 to May 31, 1984.

This volume contains refereed papers and extended abstracts of papers presented at the NATO Advanced Research Workshop entitled 'Numerical Integration: Recent Developments, Software and Applications', held at Dalhousie University, Halifax, Canada, August 11-15, 1986.

Most papers published in this volume are based on lectures presented at the Chico Conference on Semigroups held on the Chico campus of the Cal- ifornia State University on April 10-12, 1986.

This volume is about "e;Structure"e;.

The study of groups equipped with a compatible lattice order ("e;lattice-ordered groups"e; or "e;I!

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics.

What is the "e;archetypal"e; image that comes to mind when one thinks of an infinite graph?

The NATO Advanced Study Institute on "e;Algorithms for continuous optimiza- tion: the state of the art"e; was held September 5-18, 1993, at II Ciocco, Barga, Italy.

- Donation refusal is high in all the regions of Argentina.