This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help...
This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scri...
Current cameras are poor imitations of the human eye and close descen dants in their design of ideas and a technology that are more than a century old. People in computer vision have traditionally used off-the-shelf cameras that were not meant for the uses they were intended for by these researchers: off-the-shelf cameras are designed to capture images to be printed on paper or looked at on a television screen, not for guiding robots or making 3D models of the environment or even surveilling a large area where very large field of views, high geometric and photometric accuracies are necessary....
Current cameras are poor imitations of the human eye and close descen dants in their design of ideas and a technology that are more than a century old...
"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective is twofold: 1) to provide a flexible formalization for a variety of set languages, and 2) to clarify the semantics of set constructs firmly established in modern specification languages and in the programming practice. Topics include: semantic unification, decision algorithms, modal logics, declarative programming, tableau-based proof techniques, and theory-based theorem proving. The style of presentation is self-contained, rigorous and...
"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main o...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory and its ramifications
* Demonstrates how these algorithms are more appropriate as mathematical models for modern computers and how they present a better framework for computing methods
* Develops a new practically-oriented perspective on the theory of algorithms, computation, and automata, as a whole
* The first exposition on super-recursive algorithms, systematizing all main classes and providing an accessible, focused examination of the theory...
Active rules provide a new and important method for designing databases and the subject is seeing an increasing amount of attention from commercial database companies. This book provides a timely survey of the field from the point of view of some of the subject's most active researchers. The book is divided into several parts, organized by theme: the first, Fundamentals covers the underlying methodology reagrding active rules, next comes a collection of chapters which cover formal specification, rule analysis, performance analysis, and support tools, the third part is devoted to a number of...
Active rules provide a new and important method for designing databases and the subject is seeing an increasing amount of attention from commercial da...
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to...
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to ...
examines problems in robotics in terms of modern geometry. geometry, Lie groups and Lie algebras, simple examples from robotics are given to introduce some powerful methods; geometric ideas are then applied to more serious problems encountered in the design and construction of robotics. of areas, notably mechanical engineering, computer engineering, and applied mathematics.
examines problems in robotics in terms of modern geometry. geometry, Lie groups and Lie algebras, simple examples from robotics are given to introduce...
Overview and Goals Data arriving in time order (a data stream) arises in fields ranging from physics to finance to medicine to music, just to name a few. Often the data comes from sensors (in physics and medicine for example) whose data rates continue to improve dramati cally as sensor technology improves. Further, the number of sensors is increasing, so correlating data between sensors becomes ever more critical in orderto distill knowl edge from the data. On-line response is desirable in many applications (e.g., to aim a telescope at a burst of activity in a galaxy or to perform magnetic...
Overview and Goals Data arriving in time order (a data stream) arises in fields ranging from physics to finance to medicine to music, just to name a f...
