CSL '89


Book Description

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989. 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 intelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.




Next Generation Information System Technology


Book Description

Currently, the field of information systems technology is rapidly extending into several dimensions. There is the semantic dimension (including object orientation, data deduction and extended knowledge representation schemes), there is improved systems integration, and there are new tools. All these extensions aim to provide semantically richer and better engineered information systems that allow for more adequate and complete representations and thus extend the effective use of database technology to a wider class of applications. Database researchers and developers, whether they are committed to application or to system construction, are convinced that next-generation information system technology will be heavily determined by a handful of new concepts that they have to understand and work out in detail now. This volume concentrates on the following topics: - Extended data types and data models, database programming languages; - Rule-based data deduction, expert systems, knowledge bases; - Object orientation and semantic data modelling; - DB application development, methodologies and tools; - Interface technology, parallelism, interoperability, ...; - New database applications.




OOIS’94


Book Description

This volume contains the papers presented at the Intemational Conference on Object Oriented Information Systems 00lS'94, held at South Bank University, London, December 19 - 21, 1994. In response to our call for papers, a total 85 papers from 24 different countries were submitted. Each paper was evaluated by at least two Program Committee members and an additional reviewer. Together, we selected 41 papers for presentation at the conference and inclusion in the Proceedings. Also included are the keynote addresses by Peter Gray and Michael Jackson. The other submissions were recommended for presentation in the poster sessions. Peter Gray, our invited speaker, evaluates the problems of object-oriented systems and data independence by looking at how object oriented database applications are failing to perceive its benefits, and instead rely too much on encapsulation. He suggests alternative kinds of object storage to preserve data independence. The second invited speaker, Michael Jackson describes a way of solving problems, by focusing directly on the problems themselves, their components and structures and on the relationships between the problem and the solution method. He discusses a particular view of the role of object-orientation in software development.




Federal Register


Book Description




Foundations of Software Technology and Theoretical Computer Science


Book Description

Free radicals, which are key intermediates in many thermal, photochemical and radiation processes, are important for a proper understanding of fundamental natural processes and the successful development of organic syntheses. Volume II/18 serves as a supplement and extension to volume II/13 and covers rate constants and other kinetic data of free radical reactions in liquids. Furthermore II/18 contains new chapters on reactions of radicals in excited states and of carbenes, nitrenes and analogues. Selected species in aqueous solutions for which other compilations are available were deliberately omitted as before, and for the same reason electron transfer equilibria of organic radicals were not covered.




TAPSOFT '91 - Volume 2


Book Description

"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches."--PUBLISHER'S WEBSITE.




Machine Learning - EWSL-91


Book Description

In this book contemporary knowledge of superconductivity is set against its historical background. First, the highlights of superconductivity research in the twentieth century are reviewed. Further contributions then describe the basic phenomena resulting from the macroscopic quantum state of superconductivity (such as zero resistivity, the Meissner-Ochsenfeld effect, and flux quantization) and review possible mechaniscs, including the classical BCS theory and the more recent alternative theories. The main categories of superconductors - elements, intermetallic phases, chalcogenides, oxides and organic compounds - are described. Common features and differences in their structure and electronic properties are pointed out. This broad overview of superconductivity is completed by a discussion of properties related to the coherence length. Newcomers to the field who seek an overall picture of research in superconductivity, and of the cross-links between its branches, will find this volume especially useful.




An Introduction to the Technique of Formative Processes in Set Theory


Book Description

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications. In the first part the authors introduce basic set-theoretic terminology and properties, the decision problem in set theory, and formative processes. The second part of the book is devoted to applications of the technique of formative processes to decision problems. All chapters contain exercises and the book is appropriate for researchers and graduate students in the area of computer science logic.




Distributed Algorithms


Book Description

This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy, September 24-26, 1990. The workshop was a forum for researchers, students and other interested persons to discuss recent results and trends in the design and analysis of distributed algorithms for communication networks and decentralized systems. The volume includes all 28 papers presented at the workshop, covering current research in such aspects of distributed algorithm design as distributed combinatorial algorithms, distributed algorithms on graphs, distributed algorithms for new types of decentralized systems, distributed data structures, synchronization and load-balancing, distributed algorithms for control and communication, design and verification of network protocols, routing algorithms, fail-safe and fault-tolerant distributed algorithms, distributed database techniques, algorithms for transaction management and replica control, and other related topics.




Rewriting Techniques and Applications


Book Description

This volume contains the proceedings of the Fourth International Conference on Rewriting Techniques and Applications (RTA-91), held in Como, Italy, April 10-12, 1991. The volume includes 40 papers on a wide variety of topics including: term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specifications, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems, and open problems.