Singular Sets of Minimizers for the Mumford-Shah Functional
This book studies regularity properties of Mumford-Shah minimizers. The Mumford-Shah functional was introduced in the 1980s ...
Lire la suite
Spaces of Holomorphic Functions in the Unit Ball
There has been a flurry of activity in recent years in the loosely defined area of holomorphic spaces. This book discusses ...
Lire la suite
Spin Glasses
Spin glass theory is going through a stunning period of progress while finding exciting new applications in areas beyond ...
Lire la suite
Statistical Decision Theory : Estimation, Testing, and Selection
This monograph is written for advanced graduate students, Ph.D. students, and researchers in mathematical statistics and ...
Lire la suite
Stochastic Control in Insurance
Stochastic control is one of the methods being used to find optimal decision-making strategies in fields such as operations ...
Lire la suite
Studies in Legal Logic
Studies in Legal Logic contains chapters about the nature of norms, the role of coherence in the law, the nature of defeasibility, ...
Lire la suite
Suites de Sturm, indice de Maslov et périodicité de Bott = Sturm sequences, Maslov index and Bott periodicity
The classical theory of Sturm sequences provides an algorithm to determine the number of roots of a polynomial with real ...
Lire la suite
Techniques of Constructive Analysis
This text provides a rigorous, wide-ranging introduction to modern constructive analysis for anyone with a strong mathematical ...
Lire la suite
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lire la suite
Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lire la suite
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lire la suite
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suite
The Age of Alternative Logics
This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Lire la suite
The Bitcoin Dilemma : Weighing the Economic and Environmental Costs and Benefits / Colin L. Read
The potential for banking, transacting, and public recording of important records is profound, but can be displacing if not ...
Lire la suite
The Congruences of a Finite Lattice
The congruences of a lattice form the congruence lattice. In the past half-century, the study of congruence lattices has ...
Lire la suite
The Congruences of a Finite Lattice
The congruences of a lattice form the congruence lattice. In the past half-century, the study of congruence lattices has ...
Lire la suite
The Fermi-Pasta-Ulam Problem : A Status Report
This volume reviews the current understanding of this paradox without trying to force coherence on differing perspectives ...
Lire la suite
The History of Approximation Theory
The problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance ...
Lire la suite
The History of Approximation Theory
The problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance ...
Lire la suite
The Lace Expansion and its Applications
The lace expansion is a powerful and flexible method for understanding the critical scaling of several models of interest ...
Lire la suite
