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

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

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

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

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

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

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

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

The articles in this book present advanced soft methods related to genetic and evolutionary algorithms, immune systems, formulation of deterministic neural networks and Bayesian NN. Many attention is paid to hybrid systems for inverse analysis fusing soft methods and the finite element method. Numerical efficiency of these soft methods is...