This book studies regularity properties of Mumford-Shah minimizers. The Mumford-Shah functional was introduced in the 1980s ...
Lee masThere has been a flurry of activity in recent years in the loosely defined area of holomorphic spaces. This book discusses ...
Lee masSpin glass theory is going through a stunning period of progress while finding exciting new applications in areas beyond ...
Lee masThis monograph is written for advanced graduate students, Ph.D. students, and researchers in mathematical statistics and ...
Lee masStochastic control is one of the methods being used to find optimal decision-making strategies in fields such as operations ...
Lee masStudies in Legal Logic contains chapters about the nature of norms, the role of coherence in the law, the nature of defeasibility, ...
Lee masThe classical theory of Sturm sequences provides an algorithm to determine the number of roots of a polynomial with real ...
Lee masThis text provides a rigorous, wide-ranging introduction to modern constructive analysis for anyone with a strong mathematical ...
Lee masTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Lee masConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Lee masThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Lee masThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lee masThis volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from ...
Lee masThe potential for banking, transacting, and public recording of important records is profound, but can be displacing if not ...
Lee masThe congruences of a lattice form the congruence lattice. In the past half-century, the study of congruence lattices has ...
Lee masThe congruences of a lattice form the congruence lattice. In the past half-century, the study of congruence lattices has ...
Lee masThis volume reviews the current understanding of this paradox without trying to force coherence on differing perspectives ...
Lee masThe problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance ...
Lee masThe problem of approximating a given quantity is one of the oldest challenges faced by mathematicians. Its increasing importance ...
Lee masThe lace expansion is a powerful and flexible method for understanding the critical scaling of several models of interest ...
Lee mas