Covering a range of subjects from operator theory and classical harmonic analysis to Banach space theory, this book contains survey and expository articles by leading experts in their corresponding fields, and features fully-refereed, high-quality papers exploring new results and trends in spectral theory, mathematical physics, geometric function theory, and partial differential equations. Grad…
Mathematical methods are essential tools for all physical scientists. This book provides a comprehensive tour of the mathematical knowledge and techniques that are needed by students across the physical sciences. In contrast to more traditional textbooks, all the material is presented in the form of exercises. Within these exercises, basic mathematical theory and its applications in the physica…
This brief offers a concise presentation of granular fluids from the point of view of non-equilibrium statistical physics. The emphasis is on fluctuations, which can be large in granular fluids due to the small system size (the number of grains is many orders of magnitude smaller than in molecular fluids). Firstly, readers will be introduced to the most intriguing experiments on fluidized g…
Bartel Leendert van der Waerden made major contributions to algebraic geometry, abstract algebra, quantum mechanics, and other fields. He liberally published on the history of mathematics. His 2-volume work Modern Algebra is one of the most influential and popular mathematical books ever written. It is therefore surprising that no monograph has been dedicated to his life and work. Van der Waerd…
Mathematical methods are essential tools for all physical scientists. This second edition provides a comprehensive tour of the mathematical knowledge and techniques that are needed by students in this area. In contrast to more traditional textbooks, all the material is presented in the form of problems. Within these problems the basic mathematical theory and its physical applications are well i…
This textbook introduces readers to practical statistical issues by presenting them within the context of real-life economics and business situations. It presents the subject in a non-threatening manner, with an emphasis on concise, easily understandable explanations. It has been designed to be accessible and student-friendly and, as an added learning feature, provides all the relevant data req…
Now in its second edition, this textbook provides an introduction and overview of number theory based on the density and properties of the prime numbers. This unique approach offers both a firm background in the standard material of number theory, as well as an overview of the entire discipline. All of the essential topics are covered, such as the fundamental theorem of arithmetic, theory of co…
This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on mod…
This thesis describes a method to control rare events in non-equilibrium systems by applying physical forces to those systems but without relying on numerical simulation techniques, such as copying rare events. In order to study this method, the book draws on the mathematical structure of equilibrium statistical mechanics, which connects large deviation functions with experimentally measureable…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…