Explores both conventional approaches and dynamic new methodologies which are used in the safety analysis of dynamic processing systems. The need for improved methods is stressed, and special emphasis is placed on the human factor - the need for widespread procedures and training.

Excitation of Atoms and Broadening of Spectral Lines povides a survey of elementary processes and mechanisms. It presents useful and relatively simple methods of approximation for calculating effective cross sections, giving a number of approximate formulas. Extensive tables list cross sections and rate coefficients for various atoms and elementary processes. The tables of cross sections were recalculated using an updated version of the computer code ATOM. Some material reflecting the recent progress in the field has been added to this new printing.

This volume contains the text of papers presented at the NATO Advanced Research Workshop on Emergent Computing Methods in Engineering Design, held in Nafplio, Greece, August 25-27, 1994. The workshop convened together some thirty or so researchers from Canada, France, Germany, Greece, Israel, Taiwan, The Netherlands, United Kingdom and the United States of America, to address issues related to the application of such emergent computing methods as genetic algorithms, neural networks and simulated annealing in problems of engineering design. The volume is essentially organized into three parts,...

Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon...

Not long ago, projections of how office technologies would revolutionize the production of documents in a high-tech future carriedmany promises. The paper less office and the seamless and problem-free sharing of texts and other work materials among co-workers werejust around the corner, we were told. To anyone who has been involved in putting together a volume of the present kind, such forecasts will be met with considerable skepticism, if not outright distrust. The diskette, the email, the fax, the net, and all the other forms of communication that are now around are powerful assets, but...

The chapters of this book summarize the lectures delivered du ring the NATO Advanced Study Institute (ASI) on Computational Methods in Mechanisms, that took place in the Sts. Constantin and Elena Resort, near Varna, on the Bulgarian Coast of the Black Sea, June 16-28, 1997. The purpose of the ASI was to bring together leading researchers in the area of mechanical systems at large, with special emphasis in the computational issues around their analysis, synthesis, and optimization, during two weeks of lectures and discussion. A total of 89 participants from 23 count ries played an active role...

The fields of image analysis, computer vision, and artificial intelligence all make use of descriptions of shape in grey-level images. Most existing algorithms for the automatic recognition and classification of particular shapes have been devel oped for specific purposes, with the result that these methods are often restricted in their application. The use of advanced and theoretically well-founded math ematical methods should lead to the construction of robust shape descriptors having more general application. Shape description can be regarded as a meeting point of vision research,...

This volume contains papers selected for presentation at the 6th Annual Workshop on Languages and Compilers for Parallel Computing. The workshop was hosted by the Oregon Graduate Institute of Science and Technology. All major research efforts in parallel languages and compilers are represented in this workshop series.

This volume presents the proceedings of the 4th International Conference on Data Organization and Algorithms, held in Evanston, Illinois, USA in October 1993. The text has been organized into sections on multimedia, access methods, text processing, query processing and industrial applications.

Aims to serve as a graduate-level textbook and reference book for scientists and academics in the field of reliability and maintenance of complex systems. This volume covers: stochastic models, decision models, software engineering, computational methods, and maintenance management.