In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discuss my work on incompleteness in... Læs mere
Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes.
This second edition contains a collection of technical abbreviations, acronyms, and identifiers (in short 'terms') that are used in information and communi cation technologies and other related areas.
New technologies and the growing flow of information create new... Læs mere
Such methods often come with easy-to-use error bounds, and in the case of controller simplification methods, such error bounds will usually be related to closed-loop properties. This book is the first comprehensive treatment of approximation methods for filters and controllers.
The book develops the root-cause approach to reliability - often referred to as "physics of failure" in the reliability engineering field. The book can be... Læs mere
In this first volume, the author covers the important results of algebra; The coverage is comprehensive and includes topics such as: - Groups - lattices and... Læs mere
This challenge has attracted a great many researchers including the au thors who have developed a local pattern analysis, a new strategy for dis covering some kinds of potentially useful patterns that cannot be mined in traditional multi-database mining techniques.
An in-depth introduction to subspace methods for system identification in discrete-time linear systems thoroughly augmented with advanced and novel results, this text is structured into three parts. Part I deals with the mathematical preliminaries: numerical linear algebra;
Modern astronomical telescopes, along with other advances in technology, have brought the deep sky – star clusters, nebulae and the galaxies – within reach of amateur astronomers.
IS-IS has always been my favourite Interior Gateway Protocol. Interactions between different implementations, the dynamic nature of routing, and new protocol features all contribute to making routing protocols complex to design, write and deploy effectively in networks.