Ground Vehicle Dynamics is devoted to the mathematical modelling and dynamical analysis of ground vehicle systems composed of the vehicle body, the guidance and suspension devices and the corresponding guideway. Automobiles on uneven roads and railways on flexible tracks are prominent representatives of ground vehicle systems. All these...

Due to the mounting demand for energy and increasing population of the world, switching from nonrenewable fossil fuels to other energy sources is not an option—it is a necessity. Focusing on a cost-effective option for the generation of electricity, Wind Energy: Renewable Energy and the Environment covers all...

The discovery of caged carbon structures, in 1985, established a whole new field of carbon chemistry. Unlike graphite and diamond, these structures known as fullerenes are finite in structure and are relevant to a wide variety of fields including supramolecular assemblies, nanostructures, optoelectronic devices and a whole range of biological...

This book focuses on motions of incompressible fluids of a freely moving surface being influenced by both the Earth’s rotation and density stratification. In contrast to traditional textbooks in the field of geophysical fluid dynamics, such as those by by Cushman-Roisin (1994) and Gill (1982), this book uses the method of...

The main goal of this graduate-level text is to provide a language for understanding, unifying, and implementing a wide variety of algorithms for digital signal processing -- in particular, to provide rules and procedures that can simplify or even automate the task of writing code for the newest parallel and vector machines. It thus bridges...

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...

Taking a practical approach, this modern introduction to the theory of computation focuses on the study of...

In this book a theory based on the second law of thermodynamics and its applications are described. In thermodynamics there is a concept of an ideal gas which satisfies a mathematical formula PV = RT. This formula can approximately be applied to the...

This book is about constraint programming, an alternative approach to programming which relies on a combination of techniques that deal with reasoning and computing. It has been successfully applied in a number of fields including molecular biology, electrical engineering, operations research and numerical analysis. The central notion is that...

This text includes the following chapters and appendices: Introduction to MATLAB, Root approximations, Sinusoids and complex numbers, Matrices and determinants, Review of differential equations, Fourier, Taylor, and Maclaurin series, Finite differences and interpolation, Linear and parabolic regression, Solution of differential equations by...

Game playing is a powerful metaphor that fits many situations where interaction between autonomous agents plays a central role. Numerous tasks in computer science, such as design, synthesis, verification, testing, query evaluation, planning, etc. can be formulated in game-theoretic terms. Viewing them abstractly as games reveals the...