International agreements, such as those governing arms control and the environment, virtually always require some degree of verification so that compliance can be established. To ensure that the verification process is regarded as efficient, effective and impartial, it is important to model it mathematically. One such model can be derived by applying methods from statistics and the theory of noncooperative games, developed in part by John Nash, who received a Nobel Prize in 1994 for his work. The methods permit the development of rational verification strategies, as well as such fundamental...

A dynamical system is called isochronous if it features in its phase space an open, fully-dimensional region where all its solutions are periodic in all its degrees of freedom with the same, fixed period. Recently a simple transformation has been introduced, applicable to quite a large class of dynamical systems, that yields autonomous systems which are isochronous. This justifies the notion that isochronous systems are not rare.
In this book the procedure to manufacture isochronous systems is reviewed, and many examples of such systems are provided. Examples include many-body problems...