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…
Vehicular communication is a key technology in intelligent transportation systems. For many years now, the academic and industrial research communities have been investigating these communications in order to improve efficiency and safety of future transportation. Vehicular networking offers a wide variety of applications, including safety applications as well as infotainment applications. T…
This book presents a greatly enlarged statistical framework compared to generalized linear models (GLMs) with which to approach regression modelling. Comprising of about half-a-dozen major classes of statistical models, and fortified with necessary infrastructure to make the models more fully operable, the framework allows analyses based on many semi-traditional applied statistics models to be …
The main focus of this book is on the interconnection of two unorthodox scientific ideas, the varying-gravity hypothesis and the expanding-earth hypothesis. As such, it provides a fascinating insight into a nearly forgotten chapter in both the history of cosmology and the history of the earth sciences. The hypothesis that the force of gravity decreases over cosmic time was first proposed by …
"This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on…
The master thesis of David Roos Launchbury deals with the implementation and validation of a numerical solver for incompressible large eddy simulation (LES) with heat transfer in OpenFOAM. Academic and industrial cases, ranging from flow between parallel plates to film cooling, are investigated utilising existing and newly-implemented turbulence models. Simulations using no turbulence models, i…