The concept of traffic conflict was initiated in the Uni ted States in the 60s and raised a lot of interest in many countries: it was an opening towards the develop ment of a new tool for safety evaluation and the diagnosis of local safety pro blems. The need for such a tool was great, because of the many situations where accident data was either scarce, unsatisfactory or unavailable. Development of Traffic Conflict Techniques (TCT) started simultaneously in the 70s in several European count ries and new studies were also undertaken in the Uni ted States, Canada and Israel. The need for...
The concept of traffic conflict was initiated in the Uni ted States in the 60s and raised a lot of interest in many countries: it was an opening towar...
Simulation, like a gem, is multi-faceted. Several subfields of simulation have emerged based on the characteristics of models used in a simulation study, on the nature and the generation characteristics of model behavior, also on the agent soch as a computer which generates model behavior. For example, one distinguishes: - deterministic simulation, stochastic simulation, stiff simulation based on functional rela- tionships of descriptive vuriables of models used; - combined simulation, continuous simulation, discrete simulation, process simulation, dis- crete event simulation,...
Simulation, like a gem, is multi-faceted. Several subfields of simulation have emerged based on the characteristics of models used in a simulation stu...
These are the proceedings of a NATO Advanced Study Institute (ASI) held in Cetraro, Italy during 6-17 June 1983. The title of the ASI was Computer Arehiteetures for SpatiaZZy vistributed Vata, and it brouqht together some 60 participants from Europe and America. Presented ere are 21 of the lectures that were delivered. The articles cover a wide spectrum of topics related to computer architecture s specially oriented toward the fast processing of spatial data, and represent an excellent review of the state-of-the-art of this topic. For more than 20 years now researchers in pattern recognition,...
These are the proceedings of a NATO Advanced Study Institute (ASI) held in Cetraro, Italy during 6-17 June 1983. The title of the ASI was Computer Are...
Dr. Lester A. Gerhardt Professor and Chairman Electrical, Computer, and Systems Engineering Rensselaer Polytechnic Institute Troy, New York 12180 This book is a collection of papers on the subject of Robotics and Artificial Intelligence. Most of the papers contained herein were presented as part of the program of the NATO Advanced Study Institute held in June 1983 at Castel vecchio Pascoli, Italy on the same subject. Attendance at this two week Institute was by invitation only, drawing people internationally representing industry, government and the academic community worldwide. Many of the...
Dr. Lester A. Gerhardt Professor and Chairman Electrical, Computer, and Systems Engineering Rensselaer Polytechnic Institute Troy, New York 12180 This...
It is an established tradition that researchers from many countries get together on the average every three years for a two week Advanced Studies Institute on Automatic Speech Recognition and Synthesis. According to ASI policies the Institute is financed by NATO. This book contains the texts of lectures and papers contributed by the attendees of the ASI which was held July 2 - 14, 1984, at Bonas, Gers, France. Focussed on New Systems and Architectures for Automatic Speech Recognition and Synthesis, this book is divided into 4 parts: (a) Review of ba8ic algorithm8 (b) SY8tem architecture and...
It is an established tradition that researchers from many countries get together on the average every three years for a two week Advanced Studies Inst...
This book contains the written versions of main lectures presented at the Advanced Study Institute (ASI) on Computational Mathematical Programming, which was held in Bad Windsheim, Germany F. R., from July 23 to August 2, 1984, under the sponsorship of NATO. The ASI was organized by the Committee on Algorithms (COAL) of the Mathematical Programming Society. Co-directors were Karla Hoffmann (National Bureau of Standards, Washington, U.S.A.) and Jan Teigen (Rabobank Nederland, Zeist, The Netherlands). Ninety participants coming from about 20 different countries attended the ASI and contributed...
This book contains the written versions of main lectures presented at the Advanced Study Institute (ASI) on Computational Mathematical Programming, wh...
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the interference freedom test [Owicki & Gries], being the proof theoretical analogue of concurrent communication by means of interference through jointly shared variables. Some authors ([Levin & Gries, Lamport & Schneider, Schlichting and Schneider]) stress that both forms of communication can be proof theoretically characterized using interference freedom only, since proofs for both ultimately amount to an...
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange bet...
This book should be of value to all those who are considering the use of or have only just begun to use the computer as a learning aid, regardless of the educational level and the discipline being considered. Although the focus is on computer-based instruction in physics and mathematics at the university- and secondary-school levels, the strategies and problems are universally applicable. At the NATO Advanced Study Institute upon which this volume is based, the obstacles encountered by those engaged in such activities were similar in each of the eighteen countries represented. Despite many...
This book should be of value to all those who are considering the use of or have only just begun to use the computer as a learning aid, regardless of ...
The NATO workshop on Disordered Systems and Biological Organization was attended, in march 1985, by 65 scientists representing a large variety of fields: Mathematics, Computer Science, Physics and Biology. It was the purpose of this interdisciplinary workshop to shed light on the conceptual connections existing between fields of research apparently as different as: automata theory, combinatorial optimization, spin glasses and modeling of biological systems, all of them concerned with the global organization of complex systems, locally interconnected. Common to many contributions to this...
The NATO workshop on Disordered Systems and Biological Organization was attended, in march 1985, by 65 scientists representing a large variety of fiel...
In this volume we present the full proceedings of a NATO Advanced Study Institute (ASI) on the theme of the challenge of advanced computing technology to system design methods. This is in fact the second ASI organised by myself and my colleagues in the field of systems reliability; the first was about Electronic Systems Effectiveness and Life Cycle Costing, and the proceed ings were published by the same publisher in 1983, as "Series F (Computer and System Sciences, No. 3)." The first part of the present proceedings concentrates on the development of low-fault and fault-tolerant software. In...
In this volume we present the full proceedings of a NATO Advanced Study Institute (ASI) on the theme of the challenge of advanced computing technology...