This book constitutes the refereed proceedings of the 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 96, held in Toronto, Ontario, Canada, in May 1996.
The 35 revised full papers presented in the book were carefully selected by the program committee. Although organized by a national society, AI 96 attracted contributions and participants with a significant geographic diversity. The issues addressed in this volume cover an electic range of current AI topics with a certain emphasis on various aspects of knowledge representation, natural...

A workshop on Singularities, Bifurcation and Dynamics was held at Warwick in July 1989 as part of a year-long symposium on Singularity Theory and its applications. The proceedings fall into two halves: Volume I mainly on connections with algebraic geometry and volume II on connections with dynamical systems theory, bifurcation theory, and applications in the sciences. The papers are orginal research, stimulated by the symposium and workshops: All have been refereed, and none will appear elsewhere. The main topic, deformation theory, is represented by several papers on descriptions of the...

The number field sieve is an algorithm used to find the prime factors of large integers. It depends entirely on algebraic number theory. This volume contains six research papers which describe the operation of the number field sieve from both theoretical and practical perspectives.

This book presents the refereed proceedings of the 8th International Conference on Advanced Information Systems Engineering, CAiSE '96, held in Herakleion, Crete, Greece, in May 1996.
The 30 revised full papers included in the book were selected from a total of some 100 submissions. The book is organised in sections on CASE environments, temporal and active database technologies, experience reports, interoperability in information systems, formal methods in system development, novel architectures, workflow management and distributed information systems, information modelling,...

This book constitutes the refereed proceedings of the First Australian Workshop on Distributed Artificial Intelligence, held in Canberra, ACT, Australia, in November 1995.
The 16 full papers included in the book are revised versions of the contributions accepted for presentation at the workshop; they cover a wide range of current issues in the field of DAI, such as formal frameworks, methodology, theory, and architecture; various aspects of agents and multi-agent systems are addressed.

This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.
The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed...

The growth in our understanding of the production, transformation and loss of pollutants and trace substances in the atmosphere has followed closely the development of instrumentation for both in situ and remote measurements of the minute concentrations and fluxes of trace substances. In recent times the requirement has been for instruments which have a fast response, are chemically specific, and sensitive enough to detect small changes in concentrations at ppb and ppt levels. This book gives an account of such techniques. Each technique is reviewed and then the results of a number of...

This book constitutes the refereed proceedings of the First International Workshop on Communication and Architectural Support for Network-Based Parallel Computing, CANPC'97, held in San Antonio, Texas, USA, in February 1997.
The 19 revised full papers presented were carefully selected from a total of 36 submissions. Among the topics addressed are processor/network interfaces, communication protocols, high-performance network technology, operating systems and architectural issues, and load balancing techniques. All in all, the papers competently describe the state-of-the-art for...

This book constitutes the refereed proceedings of the Third Italian Conference on Algorithms and Complexity, CIAC'97, held in Rome, Italy in March 1997.
The 25 revised full papers included in the volume were carefully selected from a total of 74 submissions; also included is an invited paper and an invited abstract. All in all, the papers present an interesting snapshot of current research activities and recent results in theory and applications of sequential, distributed, and parallel algorithms, data structures, and computational complexity.

This book constitutes the refereed proceedings of the 9th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, held in St. Malo, France, in June 1997.
The volume presents 17 revised full papers carefully selected by the program committee for the proceedings; also included is an extended abstract of an invited talk. The collection of papers presented represents state-of-the-art work in computer performance evaluation. Among the issues addressed are fully distributed systems, statistical multiplexing for high-speed networks, and implications of the...