This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and complexity. As integers are...

Computational complexity, originated from the interactions between computer science and numerical optimization, is one of the major theories that have revolutionized the approach to solving optimization problems and to analyzing their intrinsic difficulty. This volume is a collection of articles on recent complexity developments in numerical...

Parallel implementation of algorithms involves many difficult problems. In particular among them are round-off analysis, the way to convert sequential programmes and algorithms into parallel mode, the choice of appropriate or optimal computer architect and so on. To solve the stumbling blocks of these problems it is necessary to know the...

This volume first introduces the mathematical tools necessary for understanding and working with a broad class of applied stochastic models. The toolbox includes Gaussian processes, independently scattered measures such as Gaussian white noise and Poisson random measures, stochastic integrals, compound Poisson, infinitely divisible and stable...

This book introduces new concepts for cooperative game theory, and particularly solutions that determine the distribution of a coalitional surplus among the members of the coalition. It also addresses several generalizations of cooperative game theory. Drawing on methods of welfare economics, new value solutions are derived for...

This volume contains eight papers written by Adam Brandenburger and his co-authors over a period of 25 years. These papers are part of a program to reconstruct game theory in order to make how players reason about a game a central feature of the theory. The program now called epistemic game theory extends the classical definition of a game...

The 1947 paper by John von Neumann and Herman Goldstine, Numerical Inverting of Matrices of High Order (Bulletin of the AMS, Nov. 1947), is considered as the birth certificate of numerical analysis. Since its publication, the evolution of this domain has been enormous. This book is a unique collection of contributions by researchers who have...

Anatomical terms are the vocabulary of medicine. Anatomy began as a descriptive science in the days when Latin was the universal scientific language. Early anatomists described the structures they saw in that language, comparing them to common and familiar objects, or borrowing terms from the Greek and Arabic masters before them. In anatomic...

This book describes how one can use The Scientific Method to solve everyday problems including medical ailments, health issues, money management, traveling, shopping, cooking, household chores, etc. It illustrates how to exploit the information collected from our five senses, how to solve problems when no information is available for the...

Unlike other analytic techniques, the Homotopy Analysis Method (HAM) is independent of small/large physical parameters. Besides, it provides great freedom to choose equation type and solution expression of related linear high-order approximation equations. The HAM provides a simple way to guarantee the convergence of solution series. Such...

This volume collects almost two decades of joint work of Sergiu Hart and Andreu Mas-Colell on game dynamics and equilibria. The starting point was the introduction of the adaptive strategy called regret-matching, which on the one hand is simple and natural, and on the other is shown to lead to correlated equilibria. This initial finding...