Substantially revised, reorganised and updated, the second edition now comprises eighteen chapters, carefully arranged in a straightforward and logical manner, with many new results and open problems.

As well as covering the theoretical aspects of the subject, with detailed proofs of many important results, the authors present...

Students studying computer animation and computer games have to be familiar with geometry, matrices, vectors, rotation transforms, quaternions, curves and surfaces, and as computer graphics software becomes increasingly sophisticated, calculus is also being used to resolve its associated problems.

The author has maintained two open-source MATLAB Toolboxes for more than 10 years: one for robotics and one for vision. The key strength of the Toolboxes provide a set of tools that allow the user to work with real problems, not trivial examples. For the student the book makes the algorithms accessible, the Toolbox code can be read to...

This work examines the challenges of distributed map merging and localization in multi-robot systems, which enables robots to acquire the knowledge of their surroundings needed to carry out coordinated tasks. After identifying the main issues associated with this problem, each chapter introduces a different distributed strategy for solving...

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for...

This is the first book to show the capabilities of Microsoft Excel to teach human resource management statistics effectively. It is a step-by-step exercise-driven guide for students and practitioners who need to master Excel to solve practical human resource management problems. If understanding statistics isn’t your strongest suit, you...

Matrix algebra is one of the most important areas of mathematics for data analysis and for statistical theory. This much-needed work presents the relevant aspects of the theory of matrix algebra for applications in statistics. It moves on to consider the various types of matrices encountered in statistics, such as projection matrices and...

Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.

Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a...

The rapid progress of neuroscience in the last decade can be largely attributed to significant advances in neuroethology, a branch of science that seeks to understand the neural basis of natural animal behavior. Novel approaches including molecular biological techniques, optical recording methods, functional anatomy, and informatics have...

A straightforward, step-by-step introduction to clear and elegant object-oriented programming. Using a language that's perfect for this kind of programming, the book has been tested in numerous courses and workshops over ten years.

Programming Smalltalk is particularly suited for readers with no prior programming...

Biology and history are often viewed as closely related disciplines, with biology informed by history, especially in its task of charting our evolutionary past. Maximizing the opportunities for cross-fertilization in these two fields requires an accurate reckoning of their commonalities and differencesâprecisely what this volume sets out...

With fascinating, spectacularly beautiful images, the book piques readers’ curiosity about the diversity of visual organs. This book is the result of a dual approach – scientific as well as aesthetic. The compelling images are accompanied by an easy-to-read, understandable text, aimed at both scientists and the educated public,...