Search

Computer Science and Technology and their Application is an eight-chapter book that first presents a tutorial on database organization. Subsequent chapters describe the general concepts of Simula 67 programming language; incremental compilation and conversational interpretation; dynamic syntax; the ALGOL 68. Other chapters discuss the general purpose conversational system for graphical programming and automatic theorem proving based on resolution. A survey of extensible programming language is also shown.

The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor­ tant, namely fairness. Much of the reported research is still in the form of technical reports, theses and conference papers, and only a small part has already appeared in the formal scientific journal literature. Fairness is one of those concepts that can intuitively be explained very brieft.y, but bear a lot of consequences, both in theory and the practicality of programming languages. Scientists have traditionally been attracted to studying such concepts. However, a rigorous study of the concept needs a lot of detailed development, evoking much machinery of both mathemat­ ics and computer science. I am fully aware of the fact that this field of research still lacks matu­ rity, as does the whole subject of theoretical studies of concurrency and nondeterminism. One symptom of this lack of maturity is the proliferation of models used by the research community to discuss these issues, a variety lacking the invariance property present, for example, in universal formalisms for sequential computing.

This book provides an understanding of the concepts and objectives of expert systems. It is a practical guide, intended to help the practitioner in identifying potential application in his/her own practice, and to understand the limitations of the technology. This should provide the auditor with a ground basis to direct, stimulate and control development efforts in his own practice. At the same time, it should give students in auditing a good grasp of the possibilities and limitations of the technology.

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

The contents of this book are self-sufficient in the sense that no preliminary knowledge other than elementary set theory is needed and there are no complicated mathematical theorems in the book. A must for those entering the field.

Designed to give an overview of the business applications of microcomputers, this is an introduction for college and polytechnic students on computing and business courses. Managers of small or medium sized businesses or of departments in larger companies will also find the book helpful.

This book is an essay on relevant problems of epistemology (the theory of knowledge) related to computer science. It draws a continuous line between the earliest scientific approaches of epistemology, starting with the Greek Classics and the recent practical and theoretical problems of computer modelling, and by that the appropriate application of computers to our present problems. Uncertainty, logic and language are the key issues of this road leading to some new aspects of cognitive psychology and unification of the different results for a modelling procedure. The book is not a textbook but a critical survey of usual and advertised methods with an evaluation of them from the point of view of their applicability, reliability and limits. Probability, Bayesian, Dempster-Shafer, fuzzy and other approaches are treated in this way in uncertainty, different worlds'concepts, non-monotonic logic and other methods and views in logic. The emphasis in linguistics is put on the meta concept, and in cognitive applications of the pattern concept.Written mostly in an entertaining style, this book provides a more palatable reading of a profound subject.

Covers the basic computer analyses used for new DNA sequences and attempts to provide the researcher with the necessary background in order to understand and use efficiently these programs.

Decision-aiding software is applied in this book to government, personal decisions, law, teaching, decision-analysis research, cross-national decision-making, business and politics.

The interface of Operation Research and Computer Science - although elusive to a precise definition - has been a fertile area of both methodological and applied research. The papers in this book, written by experts in their respective fields, convey the current state-of-the-art in this interface across a broad spectrum of research domains which include optimization techniques, linear programming, interior point algorithms, networks, computer graphics in operations research, parallel algorithms and implementations, planning and scheduling, genetic algorithms, heuristic search techniques and data retrieval.

Theoretical Studies in Computer Science focuses on the field of theoretical computer science. This book discusses the context-free multi-languages, non-membership in certain families of context-free languages, and single tree grammars. The complexity of structural containment and equivalence, interface between language theory and database theory, and automata theory for database theoreticians are also deliberated. This text likewise covers the datalog linearization of chain queries, expressive power of query languages, and object identity and query equivalences. Other topics include the unified approach to data and meta-data modification for data/knowledge bases, polygon clipping algorithms, and convex polygon generator. This publication is intended for computer scientists and researchers interested in theoretical computer science.

Advanced Topics in Shannon Sampling and Interpolation Theory is the second volume of a textbook on signal analysis solely devoted to the topic of sampling and restoration of continuous time signals and images. Sampling and reconstruction are fundamental problems in any field that deals with real-time signals or images, including communication engineering, image processing, seismology, speech recognition, and digital signal processing. This second volume includes contributions from leading researchers in the field on such topics as Gabor's signal expansion, sampling in optical image formation, linear prediction theory, polar and spiral sampling theory, interpolation from nonuniform samples, an extension of Papoulis's generalized sampling expansion to higher dimensions, and applications of sampling theory to optics and to time-frequency representations. The exhaustive bibliography on Shannon sampling theory will make this an invaluable research tool as well as an excellent text for students planning further research in the field.

The “Fuzzy Explosion” emanating from Japan has compelled more people than ever to ponder the meaning and potential of fuzzy engineering. Scientists all over are now beginning to harness the power of fuzzy recognition and decision-making — reminescent of the way the human mind works — in computer applications.In this book a blue-ribbon list of contributors discusses the latest developments in topics such as possibility logic programming, truth-valued flow inference, fuzzy neural-logic networks and default knowledge representation. This volume is the first in a series aiming to document advances in fuzzy set theory and its applications.

The book is a very up-to-date collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal languages and language-theoretic modeling to computational geometry. The material is based on columns and articles that have appeared in the EATCS Bulletin during the past two to three years. Although very recent research is discussed, the largely informal style of writing makes the book accessible to readers with little or no previous knowledge of the topics.

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system. The logic of information flow has applications in both computer science and natural language processing and is a growing area within mathematical and philosophical logic. Consequently, Logic and Information Flow will be of interest to theoretical computer scientists wanting information on up-to-date formalisms of dynamic logic, and their possible applications; logicians who wish to expand their discipline beyond the realm of sound reasoning in the narrow sense; and philosophers who are looking at the nature of information and action, and at the relation between those concepts. Foundations of Computing series

Thinking Computers and Virtual Persons: Essays on the Intentionality of Machines explains how computations are meaningful and how computers can be cognitive agents like humans. This book focuses on the concept that cognition is computation. Organized into four parts encompassing 13 chapters, this book begins with an overview of the analogy between intentionality and phlogiston, the 17th-century principle of burning. This text then examines the objection to computationalism that it cannot prevent arbitrary attributions of content to the various data structures and representations involved in a computational process. Other chapters consider that the notion of original intentionality is incoherent. This book argues as well that the only way to build an intelligent machine is to build a neural network. The final chapter claims that an entire theoretical framework in cognitive psychology is incompatible with the view that human brains are computers of some sort. This book is a valuable resource for cognitive scientists.

Praise for the Series'Mandatory for academic libraries supporting computer science departments.'-CHOICESince its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field.

Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.

In this insightful collection of essays, Maurice Wilkes shares his unique perspective on the development of computers and the current state of the art. These enlightening essays discuss the foundational ideas behind modern computing and provide a solid grounding for the appreciation of emerging computer technologies.Wilkes, one of the founders of computing, has provided enormous contributions to the development of computers, including the design and construction of the EDSAC computer and early development of programming for a stored program computer. He was responsible for the concept of microprogramming. Wilkes also wrote the first paper to appear on cache memories and was an early worker in the field of wide bandwidth local area networks. In 1992 he was awarded the prestigious Kyoto Prize for Advanced Technology.These essays will be of interest to everyone involved with computers and how they arrived at their present state. Wilkes presents his perspectives with keen historical sensibility and engineering practicality. Readers are invited to consider these observations and form their own perspectives on the present state of the computer art.