Search

Advances in Computers

Advances in Computers

Advances in Computers

The survey articles included in Volume 5 have been selected with two aims in mind: to arrive at a balanced sampling of the computer field, and to emphasize the subjects of most active current interest. Articles cover topics such as the role of computers in delivering election results; the state of computer development in the Soviet Union and its neighbors; artificial intelligence; and applications of computers to the design of optical instruments, to nuclear reactor design, and to the determination of the structure of crystals or molecules from X-ray diffraction patterns.

Volume 6 reflects the editors'conviction that application of digital computers to areas akin to human thinking—machine-aided cognition, to borrow a term from another environment—is one of the most active frontiers of development in our time. Articles in this volume deal with two such areas: information retrieval and what is called “ultraintelligent machines.”

Advances in Computers

Advances in Programming and Non-Numerical Computation is the third volume of the Proceedings of Summer Schools organized by the Oxford University Computing Laboratory and the Delegacy for Extra-Mural Studies. The 27 lectures summarized in this volume were from 1963 Summer School. The book is organized two parts, keeping the theories of programming separate from the uses of programs. In the first part, an introduction gives a succinct historical account of the development of programming since the invention of the digital computer, and the other four chapters discuss the theory and the developing practice of methods of communicating with the computer, particularly for non-numerical purposes. The second provides a summary of possible non-numerical work, and more detail on three particular applications, in theorem-proving, game-playing, and learning, and information retrieval. It is hoped that this book provides a suitable introduction for a final year student seeking interesting research possibilities not too closely connected with his undergraduate work. It should also give to the intelligent layman, who is prepared to do some non-trivial reading, ideas about just what a machine can do, how it does it, and some of the methods, and the problems, of making further advances.

Sequential Methods in Pattern Recognition and Machine Learning

Advances in Computers

Advances in Computers

Advances in Computers

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.

Advances in Computers

Advances in Computers

Advances in Computers

Advances in Computers

Advances in Computers

Advances in Computers

Advances in Computers

Advances in Computers

Advances in Computers

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.

Advances in Computers

Advances in Computers

This book gives a practical introduction to numerical methods and presents BASIC subroutines for real-life computations in the areas of chemistry, biology, and pharmacology. The choice of BASIC as the programming language is motivated by its simplicity, its availability on all personal computers and by its power in data acquisition. While most of the scientific packages currently available in BASIC date back to the period of limited memory and speed, the subroutines presented here can handle a broad range of realistic problems with the power and sophistication needed by professionals and with simple, step-by-step instructions for students and beginners.Please note that a diskette containing the 37 program modules and 39 sample programs listed in the book is no longer available.The main task considered in the book is that of extracting useful information from measurements via modelling, simulation, and statistical data evaluations. Efficient and robust numerical methods have been chosen to solve related problems in numerical algebra, nonlinear equations and optimization, parameter estimation, signal processing, and differential equations. For each class of routines an introduction to the relevant theory and techniques is given, so that the reader will recognise and use the appropriate method for solving his or her particular problem. Simple examples illustrate the use and applicability of each method.

Advances in Computers

cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con­ centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of dis­'This sugar cube is soluble in water'. positional sentences like And in fact there is a continuous history of work on this topic, extending from Carnap's paper to Shoham's contribution to the present volume.. Much of the work in philosophical logic, and much of what has appeared in The Journal of Philosophical Logic, was mo­ tivated by similar considerations: work in modal logic (includ­ ing tense, deontic, and epistemic logic), intensional logics, non­ declaratives, presuppositions, and many other topics. In this sort of research, sin.ce the main point is to devise new formalisms, the technical development tends to be rather shallow in comparison with mathematical logic, though it is sel­ dom absent: theorems need to be proved in order to justify the formalisms, and sometimes these are nontrivial. On the other hand, much effort has to go into motivating a logical innovation.

Advances in Computers

This book traces the origins of the present information technology revolution, the technological features that underlie its impact, the organisations, the companies and technologies which are governing the current and future growth. It explains how the technology works, how it fits together, how the industry is structured and what the future might bring.

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

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.

Advances in Computers

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.

This textbook addresses the range of issues that need to be considered when managing an information system. The author's aim is to encourage a more critical evaluation of computer-based information systems and to foster a more objective approach to the inherent advantages and disadvantages.

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.