CSL'88


Book Description

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.







The Liturgy Documents, Volume Two


Book Description

An indispensable resource for clergy, students, and liturgists, this revised volume assembles the liturgical documents needed for the study and preparation of parish sacramental rites, and other liturgies, such as Masses with children, the Liturgy of the Hours, and Eucharistic adoration. This second edition now includes the praenotanda from the sacramental rites, along with additional documents needed to prepare the Mass, blessings, and the Sacred Paschal Triduum. A pastoral overview introduces each document, explaining the purpose of the document, the degree of its authority, and its practical implications. With an extensive index and a glossary of terms, this volume is designed for easy navigation and frequent reference.




COLOG-88


Book Description

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.




Safety of Computer Control Systems 1992 (SAFECOMP' 92)


Book Description

SAFECOMP '92 advances the state-of-the-art, reviews experiences of the past years, considers the guidance now available and identifies the skills, methods, tools and techniques required for the safety of computer control systems.







A Safety Licensable Computing Architecture


Book Description

This book describes the design of a low complexity, fault-detecting computer architecture for utilisation in programmable logic controllers (PLCs) for process control purposes. The cyclic operating mode of PLCs and a specification level graphical programming paradigm based on interconnecting application-oriented standard software function modules are architecturally supported. Thus, by design, there is no semantic gap between the specification, programming and machine execution levels enabling the safety licensing of application software by diverse back translation, an extremely simple but rigorous method.




A Broken Regiment


Book Description

A Broken Regiment recounts the tragic history of one of the Civil War's most ill-fated Union military units. Organized in the late summer of 1862, the 16th Connecticut Volunteer Infantry was unprepared for battle a month later, when it entered the fight at Antietam. The results were catastrophic: nearly a quarter of the men were killed or wounded, and Connecticut's 16th panicked and fled the field. In the years that followed, the regiment participated in minor skirmishes before surrendering en masse in North Carolina in 1864. Most of its members spent months in southern prison camps, including the notorious Andersonville stockade, where disease and starvation took the lives of over one hundred members of the unit. The struggles of the 16th led survivors to reflect on the true nature of their military experience during and after the war, and questions of cowardice and courage, patriotism and purpose, were often foremost in their thoughts. Over time, competing stories emerged of who they were, why they endured what they did, and how they should be remembered. By the end of the century, their collective recollections reshaped this troubling and traumatic past, and the "unfortunate regiment" emerged as the "Brave Sixteenth," their individual memories and accounts altered to fit the more heroic contours of the Union victory. The product of over a decade of research, Lesley J. Gordon's A Broken Regiment illuminates this unit's complex history amid the interplay of various, and often competing, voices. The result is a fascinating and heartrending story of one regiment's wartime and postwar struggles.




Multidimensional Programming


Book Description

This book describes a powerful language for multidimensional declarative programming called Lucid. Lucid has evolved considerably in the past ten years. The main catalyst for this metamorphosis was the discovery that Lucid is based on intensional logic, one commonly used in studying natural languages. Intensionality, and more specifically indexicality, has enabled Lucid to implicitly express multidimensional objects that change, a fundamental capability with several consequences which are explored in this book. The author covers a broad range of topics, from foundations to applications, and from implementations to implications. The role of intensional logic in Lucid as well as its consequences for programming in general is discussed. The syntax and mathematical semantics of the language are given and its ability to be used as a formal system for transformation and verification is presented. The use of Lucid in both multidimensional applications programming and software systems construction (such as a parallel programming system and a visual programming system) is described. A novel model of multidimensional computation--education--is described along with its serendipitous practical benefits for harnessing parallelism and tolerating faults. As the only volume that reflects the advances over the past decade, this work will be of great interest to researchers and advanced students involved with declarative language systems and programming.




Classification, Data Analysis, and Knowledge Organization


Book Description

In science, industry, public administration and documentation centers large amounts of data and information are collected which must be analyzed, ordered, visualized, classified and stored efficiently in order to be useful for practical applications. This volume contains 50 selected theoretical and applied papers presenting a wealth of new and innovative ideas, methods, models and systems which can be used for this purpose. It combines papers and strategies from two main streams of research in an interdisciplinary, dynamic and exciting way: On the one hand, mathematical and statistical methods are described which allow a quantitative analysis of data, provide strategies for classifying objects or making exploratory searches for interesting structures, and give ways to make comprehensive graphical displays of large arrays of data. On the other hand, papers related to information sciences, informatics and data bank systems provide powerful tools for representing, modelling, storing and retrieving facts, data and knowledge characterized by qualitative descriptors, semantic relations, or linguistic concepts. The integration of both fields and a special part on applied problems from biology, medicine, archeology, industry and administration assure that this volume will be informative and useful for theory and practice.