[pdf] Matrix Eigensystem Routines Eispack Guide (lecture Notes in Computer Science)

Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results.

Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.

This book includes contributions from an interdisciplinary field of research we call Socionics. Based on a close cooperation between sociologists and researchers from distributed artificial intelligence and multiagent systems, Socionics deals with the exploration of the emergence and dynamics of artificial social systems, agent societies, as well as hybrid man-machine societies. The aim is both to develop intelligent computer technologies by picking up theoretical concepts and methods from sociology and to improve sociological models of societies and organizations by using advanced computer technology.

The LUCAS project (Lund University Content Addressable System) is an attempt to design and evaluate a highly parallel system while still keeping its size within the limits necessary for a university research project. The main objective of LUCAS design and implementation was to allow a research vehicle for the study of architectural principles programming methodology and applicability of associative array processors. With certain principles and design details fixed (such as bit-serial working mode and the use of conventional memory circuits), the implementation of LUCAS allowed modification of architecture parts to suit certain applications. These parts include the network that interconnects the processing units, the input/output system, and the instruction sets at different architectural levels.

This monograph is devoted to the problem of inferring geometric information about arbitrarily curved surfaces from visual cues; this is a central problem in computer vision with immediate relevance for robot manipulation and navigation. The author develops computational theories and techniques relating visual information arising from viewer movements to the differential geometry of visible surfaces. The theories developed have been implemented and tested using a real-time tracking system based on deformable contours. Applications of the techniques to geometric modelling, obstacle avoidance, navigation, and object manipulation are presented.