This book provides an overview of model-based environmental visual perception for humanoid robots. The visual perception of a humanoid robot creates a bidirectional bridge connecting sensor signals with internal representations of environmental objects. The objective of such perception systems is to answer two fundamental...

This easy-to-follow and classroom-tested textbook guides the reader through the fundamentals of programming with Python, an accessible language which can be learned incrementally.

Features: incudes numerous examples and practice exercises throughout the text, with additional exercises, solutions and review questions at the...

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined – ideally there exist complete precise descriptions of the source and target languages, while additional...

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness,...

Martin Hinsch summarizes all chapters of the ISO 9001:2015 shortly. The text offers both beginners and users with little knowledge of the standard an introduction to or a refresher course on the world's most important standard for management systems. Therefore, each individual chapter of the standard is described. The text is...

"Linear and Nonlinear Programming" is considered a classic textbook in Optimization. While it is a classic, it also reflects modern theoretical insights. These insights provide structure to what might otherwise be simply a collection of techniques and results, and this is valuable both as a means for learning existing material and for...

This book explores recent advances in blockchain technology and its impact on Industry 4.0 via advanced technologies. It provides an in-depth analysis of the step by step evolution of Industry 4.0 and blockchain technologies for creating the next-generation, secure, decentralized, distributed and trusted industry environment and...

This book treats Modelling of CFD problems, Numerical tools for PDE, and Scientific Computing and Systems of ODE for Epidemiology, topics that are closely related to the scientific activities and interests of Prof. William Fitzgibbon, Prof. Yuri Kuznetsov, and Prof. O. Pironneau, whose outstanding achievements are recognised in...

This revised and extensively expanded edition of Computability and Complexity Theory comprises essential materials that are core knowledge in the theory of computation. The book is self-contained, with a preliminary chapter describing key mathematical concepts and notations. Subsequent chapters move from the qualitative aspects of...

This text on geometry modeling is devoted to a number of central geometrical topics—
graphs of functions, transformations, (non-)Euclidean geometries, curves and surfaces—
and presents some elementary methods for analytical modeling and visualization
of them.

In 1872 F. Klein proposed his Erlangen Programme in...

A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in todays world of wireless and mobile networking. Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed...

Shared resources, such as the Internet, have created a highly interconnected cyber-infrastructure. Critical infrastructures in domains such as medical, power, telecommunications, and finance are highly dependent on information systems. These two factors have exposed our critical infrastructures to malicious attacks and accidental failures. Many...