The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday o…
This book presents the latest advances in ultrafast science, including both ultrafast optical technology and the study of ultrafast phenomena. It covers picosecond, femtosecond, and attosecond processes relevant to applications in physics, chemistry, biology, and engineering. Ultrafast technology has a profound impact in a wide range of applications, amongst them biomedical imaging, chemical dy…
This publication showcases the work of UK mathematicians and statisticians by describing industrial problems that have been successfully solved, together with a summary of the financial and/or societal impact that arose from the work. The articles are grouped by sector, and include contributions to climate modelling, engineering and health. The articles are based on Impact Case Studies that wer…
This book explores some of the major turning points in the history of mathematics, ranging from ancient Greece to the present, demonstrating the drama that has often been a part of its evolution. Studying these breakthroughs, transitions, and revolutions, their stumbling-blocks and their triumphs, can help illuminate the importance of the history of mathematics for its teaching, learning, and …
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical infl…
This book covers the major problems of turbulence and turbulent processes, including physical phenomena, their modeling and their simulation. After a general introduction in Chapter 1 illustrating many aspects dealing with turbulent flows, averaged equations and kinetic energy budgets are provided in Chapter 2. The concept of turbulent viscosity as a closure of the Reynolds stress is also i…
This monograph presents the latest findings from a long-term research project intended to identify the physics behind Quantum Mechanics. A fundamental theory for quantum mechanics is constructed from first physical principles, revealing quantization as an emergent phenomenon arising from a deeper stochastic process. As such, it offers the vibrant community working on the foundations of quantum …
The aim of this monograph is to present a general method of proving continuity of Lyapunov exponents of linear cocycles. The method uses an inductive procedure based on a general, geometric version of the Avalanche Principle. The main assumption required by this method is the availability of appropriate large deviation type estimates for quantities related to the iterates of the base and fiber …
This book introduces a theory of higher matrix factorizations for regular sequences and uses it to describe the minimal free resolutions of high syzygy modules over complete intersections. Such resolutions have attracted attention ever since the elegant construction of the minimal free resolution of the residue field by Tate in 1957. The theory extends the theory of matrix factorizations of …
Model-based recursive partitioning (MOB) provides a powerful synthesis between machine-learning inspired recursive partitioning methods and regression models. Hanna Birke extends this approach by allowing in addition for measurement error in covariates, as frequently occurring in biometric (or econometric) studies, for instance, when measuring blood pressure or caloric intake per day. After an …