Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes...
Advances in Discrete Differential Geometry
This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discre...
Cultural Heritage Ethics
Theory without practice is empty, practice without theory is blind, to adapt a phrase from Immanuel Kant. The sentiment could not be truer of cultural heritage ethics. This intra-disciplinary book bridges the gap between theory and practice by bringing together a stellar cast of academics, activists, consultants, journalists, lawyers, and museum pr...
Electromagnetics, Volume 2
Electromagnetics, volume 2 by Steven W. Ellingson is a 216-page peer-reviewed open textbook designed especially for electrical engineering students in the third year of a bachelor of science degree program. It is intended as the primary textbook for the second semester of a two-semester undergraduate engineering electromagnetics sequence. The book ...
PHP Notes for Professionals
The PHP Notes for Professionals book is compiled from Stack Overflow Documentation, the content is written by the beautiful people at Stack Overflow....
Safer Healthcare
The authors of this book set out a system of safety strategies and interventions for managing patient safety on a day-to-day basis and improving safety over the long term. These strategies are applicable at all levels of the healthcare system from the frontline to the regulation and governance of the system. There have been many advances in patien...
Mary and Early Christian Women
This book reveals exciting early Christian evidence that Mary was remembered as a powerful role model for women leaders - women apostles, baptizers, and presiders at the ritual meal. Early Christian art portrays Mary and other women clergy serving as deacon, presbyter/priest, and bishop. In addition, the two oldest surviving artifacts to depict pe...
Handbook of Contact Mechanics
This book contains a structured collection of complete solutions of all significant axially symmetric contact problems. It provides solutions for classical profiles such as the sphere, cone or flat cylindrical punch as well as a multitude of other technically relevant shapes, e.g. the truncated cone, the worn sphere, rough profiles, hollow cylinder...
Bayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability distribution of potential MH370 flight paths. It provides details of how the probabilistic models of aircraft flight dynamics, satellite communication system measurements, environmental effects and radar data were constructed...
Why Knowing What To Do Is Not Enough
This book sets out to explain the reasons for the gap between "knowing" and "doing" in view of self-reliance, which is more and more often expected of citizens. In today's society, people are expected to take responsibility for their own lives and be self-reliant. This is no easy feat. They must be on constant high alert in area...
Scaling of Differential Equations
The book serves both as a reference for various scaled models with corresponding dimensionless numbers, and as a resource for learning the art of scaling. A special feature of the book is the emphasis on how to create software for scaled models, based on existing software for unscaled models. Scaling (or non-dimensionalization) is a mathematical...
The InfoSec Handbook
The InfoSec Handbook offers the reader an organized layout of information that is easily read and understood. Allowing beginners to enter the field and understand the key concepts and ideas, while still keeping the experienced readers updated on topics and concepts. It is intended mainly for beginners to the field of information security, writte...
Traditions in German-Speaking Mathematics Education Research
This book shares revealing insights into the development of mathematics education research in Germany from 1976 (ICME 3 in Karlsruhe) to 2016 (ICME 13 in Hamburg). How did mathematics education research evolve in the course of these four decades? Which ideas and people were most influential, and how did German research interact with the internation...
Quantization on Nilpotent Lie Groups
This book presents a consistent development of the Kohn-Nirenberg type global quantization theory in the setting of graded nilpotent Lie groups in terms of their representations. It contains a detailed exposition of related background topics on homogeneous Lie groups, nilpotent Lie groups, and the analysis of Rockland operators on graded Lie groups...
Modelling our Changing World
This book focuses on the concepts, tools and techniques needed to successfully model ever-changing time-series data. It emphasizes the need for general models to account for the complexities of the modern world and how these can be applied to a range of issues facing Earth, from modelling volcanic eruptions, carbon dioxide emissions and global temp...
Finite Difference Computing with PDEs
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algo...
Flowing Matter
This book, published in the Soft and Biological Matter series, presents an introduction to selected research topics in the broad field of flowing matter, including the dynamics of fluids with a complex internal structure -from nematic fluids to soft glasses- as well as active matter and turbulent phenomena.Flowing matter is a subject at the crossro...
Stochastics of Environmental and Financial Economics
These Proceedings offer a selection of peer-reviewed research and survey papers by some of the foremost international researchers in the fields of finance, energy, stochastics and risk, who present their latest findings on topical problems. The papers cover the areas of stochastic modeling in energy and financial markets; risk management with envir...
Marine Carbon Biogeochemistry
This book discusses biogeochemical processes relevant to carbon and aims to provide readers, graduate students and researchers, with insight into the functioning of marine ecosystems. A carbon centric approach has been adopted, but other elements are included where relevant or needed. The book focuses on concepts and quantitative understanding of p...
Finite Difference Computing with Exponential Decay Models
This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogical strategy is to use one case study – an ordinary differential equation describing exponential decay processes – to illustrate fundamental concepts ...
Bird Species
The average person can name more bird species than they think, but do we really know what a bird "species" is? This book takes up several fascinating aspects of bird life to elucidate this basic concept in biology. From genetic and physiological basics to the phenomena of bird song and bird migration, it analyzes various interactions of b...
Hardy Inequalities on Homogeneous Groups
This book provides an extensive treatment of Hardy inequalities and closely related topics from the point of view of Folland and Stein's homogeneous (Lie) groups. The place where Hardy inequalities and homogeneous groups meet is a beautiful area of mathematics with links to many other subjects. While describing the general theory of Hardy, Rellich,...
Industrial Internet
Consumer networks have revolutionized the way companies understand and reach their customers, making possible intricate measurement and accurate prediction at every step of every transaction. The same revolution is underway in our infrastructure, where new generations of sensor-laden power plants, cars and medical devices will generate vast quantit...
Cloud Native Applications
Cloud computing is a game changer. Being able to automate and constantly adjust infrastructure is one important reason to use cloud computing for your clients. And developing and operating systems that are able to recover from failure automatically has never been easier. Cloud providers offer you the needed infrastructure for a very reasonable pric...
Modeling and Simulation in Python
Modeling and Simulation in Python is an introduction to physical modeling using a computational approach. It is organized in three parts: - The first part presents discrete models, including a bikeshare system and world population growth. - The second part introduces first-order systems, including models of infectious disease, thermal systems, an...
Planar Maps, Random Walks and Circle Packing
This free book focuses on the interplay between random walks on planar maps and Koebe's circle packing theorem. Further topics covered include electric networks, the He–Schramm theorem on infinite circle packings, uniform spanning trees of planar maps, local limits of finite planar maps and the almost sure recurrence of simple random walks on the...
Principles of Mechanics
This open access textbook takes the reader step-by-step through the concepts of mechanics in a clear and detailed manner. Mechanics is considered to be the core of physics, where a deep understanding of the concepts is essential in understanding all branches of physics. Many proofs and examples are included to help the reader grasp the fundamentals...
Stochastic Discounted Cash Flow
This free book discusses firm valuation, which is of interest to economists, particularly those working in finance. Firm valuation comes down to the calculation of the discounted cash flow, often only referred to by its abbreviation, DCF. There are, however, different coexistent versions, which seem to compete against each other, such as entity app...
Data Collection in Fragile States
'This free book addresses an urgent issue on which little organized information exists. It reflects experience in Africa but is highly relevant to other fragile states as well.'—Constantine Michalopoulos, John Hopkins University, USA and former Director of Economic Policy and Co-ordination at the World BankFragile countries face a triple data cha...
Agile Processes, in Software Engineering, and Extreme Programming
This book contains the refereed proceedings of the 17th International Conference on Agile Software Development, XP 2016, held in Edinburgh, UK, in May 2016.While agile development has already become mainstream in industry, this field is still constantly evolving and continues to spur an enormous interest both in industry and academia. To this end, ...
Melting Hadrons, Boiling Quarks - From Hagedorn Temperature to Ultra-Relativistic Heavy-Ion Collisions at CERN
This book shows how the study of multi-hadron production phenomena in the years after the founding of CERN culminated in Hagedorn's pioneering idea of limiting temperature, leading on to the discovery of the quark-gluon plasma -- announced, in February 2000 at CERN.Following the foreword by Herwig Schopper -- the Director General (1981-1988) of CER...
Think Data Structures
If you're a student studying computer science or a software developer preparing for technical interviews, this practical book will help you learn and review some of the most important ideas in software engineering - data structures and algorithms - in a way that's clearer, more concise, and more engaging than other materials. By emphasizing prac...

1 2