This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...
3D Model Recognition from Stereoscopic Cues provides a rich, integrated account of work done within a large-scale, multisite, Alvey-funded collaborative project in computer vision. It presents a variety of methods for deriving surface descriptions from stereoscopic data and for matching those descriptions to three-dimensional models...
Sometime ago I had the opportunity to meet William Cooper and his wife Annie. It was part of my job to verify whether this man did indeed speak the truth or was just another person seeking fame and fortune. What I found was a rugged, bulldog, driven individual who was kind, thoughtful and tenderhearted. He was truly concerned about you and your...
Quantum gravity is notoriously a subject where problems vastly outnumber results. This is no surprise at short distances, on the order of the Planck length, where most of us expect quantum fluctuations in the metric to cause space-time itself to lose its meaning and gravity to be subsumed (along with the other so-called fundamental interactions)...
Since the first edition of this book was published, much has happened in the field of neural networks. The authors reflect these changes by updating and introducing material on new developments including neurocontrol, pattern analysis and dynamic systems. This book should be useful for undergraduate students of neural networks.
This book is the result of an evolutionary process which took place over a number of years. The contents of this book are based on my seminar for experienced software developers, which I instruct internationally, andon courses which I have taught as an external lecturer in the Informatics Department of the Johann Wolfgang Goethe University in...
This guide, intended as an explanation of the POSIX standard and as a reference for the POSIX.1 programming library, helps you write more portable programs. Most UNIX systems today are POSIX compliant because the federal government requires it for its purchases. Even OSF and UI agree on support for POSIX. Unfortunately, given the manufacturer's...
This edition of the Amiga ROM Kernel Reference Manual: Libraries provides the latest information on how to program the Amiga line of personal computers from Commodore. It has been updated for Release 2 of the Amiga operating system and covers the newest Amiga computer systems including the A3000.
I am very pleased to have this new book in the Aho/Ullman series Principles of Computer Science. I see this book as a major step toward making computer science theory accessible to the wide range of students who need to know the subject. It covers a good segment of the classical material on data structures and algorithms, but it does so in a...
Like all engineering activities, computer programming is both craft and science. Building a bridge or a computer program requires familiarity with the known techniques for the overall design of similar artifacts. And making intelligent choices among the available techniques and designs requires understanding of the mathematical principles...
This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for accelerating the convergence of scalar and vector sequences. Many subroutines (written in FORTRAN 77) with instructions for their use are provided on a floppy disk in order to demonstrate to those working with...
