CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets...

This book covers combinatorial data structures and algorithms, algebraic issues in geometric computing, approximation of curves and surfaces, and computational topology. Each chapter fully details and provides a tutorial introduction to important concepts and results. The focus is on methods which are both well founded mathematically and...

In Part 1, the book describes the very latest thinking on solar physics in (mostly non-mathematical) detail, incorporating the latest results from research concerning the structure and behaviour of the Sun. There is particular emphasis on the surface features visible from the Earth, and how these are the result of the extraordinary processes...

The technical world is changing very rapidly. In only 15 years, the power of personal computers has increased by a factor of nearly one-thousand. By all accounts, it will increase by another factor of one-thousand in the next 15...

This volume discusses a construction situated at the intersection of two different mathematical fields: Abstract harmonic analysis, understood as the theory of group representations and their decomposition into irreducibles on the one hand, and wavelet (and related) transforms on the other. In a sense the volume reexamines one of the roots of...

This book is an introduction to the use of geometric partial differential equations (PDEs) in image processing and computer vision. This relatively new research area brings a number of new concepts into the field, providing, among other things, a very fundamental and formal approach to image processing. State-of-the-art practical results in...

The result of the author's extensive practical experience: a decade in computer process control using large scale systems, another decade in machine pattern-recognition for vision systems, and nearly a decade dealing with artificial intelligence and expert systems. These real-life projects have taught Vamos a critical appreciation of, and...

This textbook introduces sparse and redundant representations with a focus on applications in signal and image processing. The theoretical and numerical foundations are tackled before the applications are discussed. Mathematical modeling for signal sources is discussed along with how to use the proper model for tasks such as denoising,...

Connecting the ideas of students is one of the most difficult tasks to carry out in the teaching process. Performing these types of tasks through Moodle will help you overcome complex situations while you teach. If you are looking for a guide that will show you how to improve your skills in using Moodle, as well as enhance your way of...

The newly revised Second Edtion of this distinctive text uniquely blends interesting problems with strategies, tools, and techniques to develop mathematical skill and intuition necessary for problem solving. Readers are encouraged to do math rather than just study it. The author draws upon his experience as a coach for the International...

In the Autumn of 1983, in the face of the phenomenal growth of home computer sales in the U.K., the national British newspaper The Guardian decided to produce, each week, a 'Computer Page'. Noone was quite sure exactly what should go into the page on a regular basis, but it was thought that a fortnightly column on computer mathematics...

Fully revised, this second edition of a popular book contains the significant addition of a new chapter on...