The theory of probability and stochastic calculus has grown significantly since the publication of the first edition of this book. The theory of stochastic integration and semimartingales, a relatively recent development at the time of the first edition, is now a standard and significant part of the working mathematician’s toolkit. Concepts such as Backward SDEs, which were unheard of in 1…
This modern translation of Sophus Lie's and Friedrich Engel's “Theorie der Transformationsgruppen I” will allow readers to discover the striking conceptual clarity and remarkably systematic organizational thought of the original German text. Volume I presents a comprehensive introduction to the theory and is mainly directed towards the generalization of ideas drawn from the study of example…
This book explains modern and interesting physics in heavy-fermion (HF) compounds to graduate students and researchers in condensed matter physics. It presents a theory of heavy-fermion (HF) compounds such as HF metals, quantum spin liquids, quasicrystals and two-dimensional Fermi systems. The basic low-temperature properties and the scaling behavior of the compounds are described within the fr…
This book presents the theory of gas discharge plasmas in a didactical way. It explains the processes in gas discharge plasmas. A gas discharge plasma is an ionized gas which is supported by an external electric field. Therefore its parameters are determined by processes in it. The properties of a gas discharge plasma depend on its gas component, types of external fields, their geometry and reg…
This book introduces systematically the operator method for the solution of the Schrödinger equation. This method permits to describe the states of quantum systems in the entire range of parameters of Hamiltonian with a predefined accuracy. The operator method is unique compared with other non-perturbative methods due to its ability to deliver in zeroth approximation the uniformly suitable est…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…
This survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, from the 1970s to the 1990s. Two theory strands are offered: a semiotic view related to Peirce and Wittgenstein (presented by Willibald Dörfler), and the theory of learning activity by Joachim Lompscher (presented by Regina Bruder and Oliver Schmitt). By networking the tw…
This book provides new insights on the study of global environmental changes using the ecoinformatics tools and the adaptive-evolutionary technology of geoinformation monitoring. The main advantage of this book is that it gathers and presents extensive interdisciplinary expertise in the parameterization of global biogeochemical cycles and other environmental processes in the context of globaliz…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…