This book, the outcome of a conference organised in 2012 in Paris as a homage to Michèle Artigue, is based on the main component of this event. However, it offers more than a mere reflection of the conference in itself, as various well-known researchers from the field have been invited to summarize the main topics where the importance of Artigue’s contribution is unquestionable. Her multiple…
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…
Many in the mathematics community in the U.S. are involved in mathematics education in various capacities. This book highlights the breadth of the work in K-16 mathematics education done by members of US departments of mathematical sciences. It contains contributions by mathematicians and mathematics educators who do work in areas such as teacher education, quantitative literacy, informal educ…
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…
Have you ever experienced a decision situation that was hard to come to grips with? Did you ever feel a need to improve your decision-making skills? Is this something where you feel that you have not learned enough practical and useful methods? In that case, you are not alone! Even though decision-making is both considered and actually is a very important skill in modern work-life as well as in…
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 edited book aims at presenting current research activities in the field of robust variable-structure systems. The scope equally comprises highlighting novel methodological aspects as well as presenting the use of variable-structure techniques in industrial applications including their efficient implementation on hardware for real-time control. The target audience primarily comprises resear…