From Computing to Relativity Theory Through Algebraic Logic
Celebrates the joint work of two outstanding researchers
Uses mathematical logic to connect interdisciplinary topics
Shows the spirit and many applications of Tarskian algebraic logic
This book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan
Nemeti. It illustrates an interaction between developing and applying mathematical logic. The
papers offer new results as well as surveys in areas influenced by these two outstanding
researchers. They also provide details on the after-life of some of their initiatives. Computer
science connects the papers in the first part of the book. The second part concentrates on
algebraic logic. It features a range of papers that hint at the intricate many-way connections
between logic, algebra, and geometry. The third part explores novel applications of logic in
relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of
science. They include such exciting subjects as time travelling in emergent spacetime. The
short autobiographies of Hajnal Andreka and Istvan Nemeti at the end of the book describe an
adventurous journey from electric engineering and Maxwell?fs equations to a complex system of
computer programs for designing Hungary?fs electric power system, to exploring and
contributing deep results to Tarskian algebraic logic as the deepest core theory of such
questions, then on to applications of the results in such exciting new areas as relativity theory
in order to rejuvenate logic itself.
Due 2021-06-16
1st ed. 2021, X, 518 p. 23 illus., 6 illus. in color.
Hardcover
ISBN 978-3-030-64186-3
Product category : Contributed volume
Series : Outstanding Contributions to Logic
Philosophy : Logic
Related to Birth and Death Processes and Autoregressive Gaussian
Sequences
Is the first monograph that addresses permanental processes, a new class of
stochastic processes
Employs a novel approach to obtain the precise asymptotic behavior at
infinity of a large class of permanental sequences related to birth and death
processes and autoregressive Gaussian sequences
Appeals to researchers and advanced graduate students
This SpringerBriefs employs a novel approach to obtain the precise asymptotic behavior at
infinity of a large class of permanental sequences related to birth and death processes and
autoregressive Gaussian sequences using techniques from the theory of Gaussian processes
and Markov chains. The authors study alpha-permanental processes that are positive infinitely
divisible processes determined by the potential density of a transient Markov process. When the
Markov process is symmetric, a 1/2-permanental process is the square of a Gaussian process.
Permanental processes are related by the Dynkin isomorphism theorem to the total
accumulated local time of the Markov process when the potential density is symmetric, and by
a generalization of the Dynkin theorem by Eisenbaum and Kaspi without requiring symmetry.
Permanental processes are also related to chi square processes and loop soups. The book
appeals to researchers and advanced graduate students interested in stochastic processes,
infinitely divisible processes and Markov chains.
1st ed. 2021, XI, 114 p. 2 illus., 1 illus. in color.
Softcover
ISBN 978-3-030-69484-5
Product category : Brief
Series : SpringerBriefs in Probability and Mathematical Statistics
Mathematics : Probability Theory and Stochastic Processes
Fundamentals for Data Science, Machine Learning and Artificial
Intelligence
Includes over 200 short code examples to illustrate dozens of key statistics
concepts
Solidifies the understanding of probability and statistics of professionals that
are already working in data science, machine learning, or artificial intelligence
Focuses on concepts to improve fundamental understanding
This monograph uses the Julia language to guide the reader through an exploration of the
fundamental concepts of probability and statistics, all with a view of mastering machine
learning, data science, and artificial intelligence. The text does not require any prior statistical
knowledge and only assumes a basic understanding of programming and mathematical
notation. It is accessible to practitioners and researchers in data science, machine learning, biostatistics,
finance, or engineering who may wish to solidify their knowledge of probability and
statistics. The book progresses through ten independent chapters starting with an introduction
of Julia, and moving through basic probability, distributions, statistical inference, regression
analysis, machine learning methods, and the use of Monte Carlo simulation for dynamic
stochastic models. Ultimately this text introduces the Julia programming language as a
computational tool, uniquely addressing end-users rather than developers. It makes heavy use
of over 200 code examples to illustrate dozens of key statistical concepts. The Julia code,
written in a simple format with parameters that can be easily modified, is also available for
download from the book?fs associated GitHub repository online. See whatco-creators of the Julia
languageare saying about the book: Professor Alan Edelman, MIT:With ?gStatistics with Julia?h,
Yoni and Hayden have written an easy to read, well organized, modern introduction to statistics.
The code may be looked at, and understood on the static pages of a book, or even better,
when running live on a computer. Everything you need is here in one nicely written selfcontained
reference. Dr. Viral Shah, CEO of Julia Computing:Yoni and Hayden provide a modern
way to learn statistics with the Julia programming language.
Due 2021-06-08
1st ed. 2021, XVI, 532 p.
146 illus., 129 illus. in color.
Hardcover
ISBN 978-3-030-70900-6
Softcover
ISBN 978-3-030-70902-0
Product category : Monograph
Series : Springer Series in the Data Sciences
Mathematics : Mathematical Software
Decrit d'un point de vue mathematique et numerique des methodes level-set
pour les calculs d'interaction fluide-structure
Donne les bases de l'elasticite en formulations euleriennes et lagrangiennes
permettant d'apprehender ces modeles
Fournit des algorithmes et codes elementaires permettant d'experimenter les
methodes
Les modeles euleriens sont devenus dans les quinze dernieres annees des outils populaires
pour etudier les interactions fluide-structure, car, au contraire des methodes plus classiques de
type ALE, ils permettent de resoudre numeriquement ces problemes en se ramenant a une
grille et une methode de resolution unique pour les differents milieux. Ce livre s?finteresse a
cette classe de modeles en adoptant le point de vue original des methodes level-set, utilisees
a la fois pour suivre les interfaces fluide-solide, representer les contraintes elastiques des
solides et modeliser les forces de contact entre solides. Il combine un eclairage mathematique
des modeles, des aspects d?fanalyse numerique, des codes elementaires et des illustrations
numeriques permettant au lecteur de se faire une idee des domaines d?fapplication et des
performances de ces modeles. Les pre-requis necessaires pour profiter pleinement de son
contenu font partie du bagage scientifique d?feleves de niveau master en mathematiques
appliquees ou mecanique theorique. Il sera un outil pedagogique fructueux pour des cours de
deuxieme annee de master ou de debut de these, ainsi que pour des chercheurs voulant
aborder ou approfondir ce domaine.
Due 2021-06-07
1re d. 2021, CXCVIII, 11 p.
70 ill., 59 ill. en couleurs.
Softcover
ISBN 978-3-030-70074-4
Product category : Graduate/advanced undergraduate textbook
Series : Mathematiques et Applications
Mathematics : Mathematical Modeling and Industrial Mathematics
First monograph to offer a unified and comprehensive treatment of Sobolev
maps to the circle
Explores surprising connections with other areas of mathematics, such as
optimal transport, geometric measure theory, and image processing
Open problems are presented throughout to suggest and encourage new
research directions
The theory of real-valued Sobolev functions is a classical part of analysis and has a wide range
of applications in pure and applied mathematics. By contrast, the study of manifold-valued
Sobolev maps is relatively new. The incentive to explore these spaces arose in the last forty
years from geometry and physics. This monograph is the first to provide a unified,
comprehensive treatment of Sobolev maps to the circle, presenting numerous results obtained
by the authors and others. Many surprising connections to other areas of mathematics are
explored, including the Monge-Kantorovich theory in optimal transport, items in geometric
measure theory, Fourier series, and non-local functionals occurring, for example, as denoising
filters in image processing. Numerous digressions provide a glimpse of the theory of spherevalued
Sobolev maps. Each chapter focuses on a single topic and starts with a detailed
overview, followed by the most significant results, and rather complete proofs. The
?gComplements and Open Problems?h sections provide short introductions to various subsequent
developments or related topics, and suggest new directions of research. Historical perspectives
and a comprehensive list of references close out each chapter. Topics covered include lifting,
point and line singularities, minimal connections and minimal surfaces, uniqueness spaces,
factorization, density, Dirichlet problems, trace theory, and gap phenomena. Sobolev Maps to
the Circle will appeal to mathematicians working in various areas, such as nonlinear analysis,
PDEs, geometric analysis, minimal surfaces, optimal transport, and topology. It will also be of
interest to physicists working on liquid crystals and the Ginzburg-Landau theory of
superconductors.
Due 2021-05-19
1st ed. 2021, XXVIII, 525 p. 12 illus.
Hardcover
ISBN 978-1-0716-1510-2
Product category : Monograph
Series : Progress in Nonlinear Differential Equations and Their Applications
Mathematics : Analysis
Provides a self contained introduction to Algebraic Geometry for
undergraduate students
Contains many exercises, some of them with solution
Useful for non-experts who want to learn the basics of Algebraic Geometry
This book consists of two parts. The first is devoted to an introduction to basic concepts in
algebraic geometry: affine and projective varieties, some of their main attributes and examples.
The second part is devoted to the theory of curves: local properties, affine and projective plane
curves, resolution of singularities, linear equivalence of divisors and linear series, Riemann?
Roch and Riemann?Hurwitz Theorems. The approach in this book is purely algebraic. The main
tool is commutative algebra, from which the needed results are recalled, in most cases with
proofs. The prerequisites consist of the knowledge of basics in affine and projective geometry,
basic algebraic concepts regarding rings, modules, fields, linear algebra, basic notions in the
theory of categories, and some elementary point?set topology. This book can be used as a
textbook for an undergraduate course in algebraic geometry. The users of the book are not
necessarily intended to become algebraic geometers but may be interested students or
researchers who want to have a first smattering in the topic. The book contains several
exercises, in which there are more examples and parts of the theory that are not fully
developed in the text. Of some exercises, there are solutions at the end of each chapter.
Due 2021-06-13
1st ed. 2021, XII, 322 p.
Softcover
ISBN 978-3-030-71020-0
Product category : Graduate/advanced undergraduate textbook
Series : La Matematica per il 3+2
Mathematics : Geometry
Discusses the life and works of the Padma Vibhushan awardee Prof. C. R. Rao
Highlights his contributions to the field of statistics
Contains contributions from active statisticians from across the world
Includes an honorary chapter from the Abel Prize winner S. R. Varadhan
This book includes speeches given during five seminar sessions held in honor of Prof. C. R.
Rao, on his 100th year, by the members of the Indian Statistical Institute Retired Employees
Association. This book also contains a few write-ups touching on the diverse aspects of this
august personality. The chapters pay tribute to Prof. C. R. Rao, the Padma Vibhushan awardee,
by discussing his life and contributions to the field of statistics. The book also includes a
chapter by the Abel Prize winner Prof. S. R. Varadhan who happened to successfully complete
his Ph.D. under the guidance of Prof. C. R. Rao.
Due 2021-06-15
1st ed. 2021, XXXVIII, 154 p. 44 illus., 24 illus. in color.
Hardcover
ISBN 978-981-33-6990-0
Product category : Contributed volume
Series : Indian Statistical Institute Series
Statistics : Statistics (general)
This is the first book on this topic
There are no similar books
Researchers who work on this topic will find here what they need
This bookcollects some basic results on the null controllability for degenerate and singular
parabolic problems. It aims to provide postgraduate students and senior researchers with a
useful text, where they can find the desired statements and the related bibliography. For these
reasons, the authors will not give all the detailed proofs of the given theorems, but just some
of them, in order to show the underlying strategy in this area.
1st ed. 2021, XIX, 105 p. 2 illus., 1 illus. in color.
Softcover
ISBN 978-3-030-69348-0
Product category : Brief
Series : SpringerBriefs in Mathematics
Mathematics : Analysis