G. Sapiro
Geometric Partial Differential Equations and Image Analysis
Description
This book provides an introduction to the use of geometric partial differential equations in image processing and computer vision. This research area brings a number of new concepts into the field, providing a very fundamental and formal approach to image processing. State-of-the-art practical results in a large number of real problems are achieved with the techniques described in this book. Applications covered include image segmentation, shape analysis, image enhancement, and tracking. This book will be a useful resource for researchers and practitioners. It is intened to provide information for people investigating new solutions to image processing problems as well as for people searching for existent advanced solutions.
Chapter Contents
1. Basic mathematical background; 2. Geometric curve and surface evolution; 3. Geodesic curves and minimal surfaces; 4. Geometric diffusion of scalar images; 5. Geometric diffusion of vector valued images; 6. Diffusion on non-flat manifolds; 7. Contrast enhancement; 8. Additional theories and applications.
Title Details
ISBN: 0-521-79075-1
Binding: Hardback
Bibliographic information: 38 line diagrams 43 half-tones 26 colour plates
available from March 2001
Francis Borceux, George Janelidze
Galois Theories
(Cambridge Studies in Advanced Mathematics, vol.72)
Description
Starting from the classical finite-dimensional Galois theory of fields, this book develops Galois theory in a much more general context, presenting work by Grothendieck in terms of separable algebras and then proceeding to the infinite-dimensional case, which requires considering topological Galois groups. In the core of the book, the authors first formalise the categorical context in which a general Galois theorem holds, and then give applications to Galois theory for commutative rings, central extensions of groups, the topological theory of covering maps and a Galois theorem for toposes. The book is designed to be accessible to a wide audience: the prerequisites are first courses in algebra and general topology, together with some familiarity with the categorical notions of limit and adjoint functors. The first chapters are accessible to advanced undergraduates, with later ones at a graduate level. For all algebraists and category theorists this book will be a rewarding read.
Chapter Contents
Introduction; 1. Classical Galois theory; 2. Galois theory of Grothendieck; 3. Infinitary Galois theory; 4. Categorical Galois theory of commutative rings; 5. Categorical Galois theorem and factorization systems; 6. Covering maps; 7. Non-Galoisian Galois theory; Appendix; Bibliography; Index.
Title Details
ISBN: 0-521-80309-8
Binding: Hardback
available from February 2001
John P. Mayberry
The Foundations of Mathematics in the Theory of Sets
(Encyclopedia of Matheamtics and Its Applications, vol.82)
Description
This book presents a unified approach to the foundations of mathematics in the theory of sets, covering both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of 創atural number・and 壮et・ This leads to an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, as well as in the analysis of proof by induction and definition by recursion. The subject matter of the book falls on the borderline between philosophy and mathematics, and should appeal to both philosophers and mathematicians with an interest in the foundations of mathematics.
Chapter Contents
Preface; Part I. Preliminaries: 1. The idea of foundations of mathematics; 2. Simple arithmetic; Part II. Basic Set Theory: 3. Semantics, ontology and logic; 4. The principal axioms and definitions of set theory; Part III. Cantorian Set Theory: 5. Cantorian finitism; 6. The axiomatic method; 7. Axiomatic set theory; Part IV. Euclidean Set Theory: 8. Euclidian finitism; 9. The Euclidean theory of cardinality; 10. The theory of simply infinite systems; 11. Euclidean set theory from the Cantorian standpoint; 12. Envoi; Appendices; Bibliography; Index.
Title Details
ISBN: 0-521-77034-3
Binding: Hardback
available from March 2001
J. Eells, B. Fuglede
Harmonic Maps between Riemannian Polyhedra
(Cambridge Tracts in Mathematics,vol.142)
Description
Harmonic maps between smooth Riemannian manifolds play a ubiquitous role in differential geometry. Examples include geodesics viewed as maps, minimal surfaces, holomorphic maps and Abelian integrals viewed as maps to a circle. The theory of such maps has been extensively developed over the last 30 years, and has significant applications throughout mathematics. This book extends that theory in full detail to harmonic maps between broad classes of singular Riemannian polyhedra, with many examples being given. The analytical foundation is based on existence and regularity results which use the potential theory of Riemannian polyhedral domains viewed as Brelot harmonic spaces and geodesic space targets in the sense of Alexandrov and Busemann. The authors set out much new material on harmonic maps between singular spaces for the first time in book form. The work will hence serve as a concise source for all researchers working in related fields.
Chapter Contents
Gromov's preface; Preface; 1. Introduction; Part I. Domains, Targets, Examples: 2. Harmonic spaces, Dirichlet spaces and geodesic spaces; 3. Examples of domains and targets; 4. Riemannian polyhedra; Part II. Potential Theory on Polyhedra: 5. The Sobolev space W1,2(X). Weakly harmonic functions; 7. Potential theory on Riemannian polyhedra; 8. Examples of Riemannian polyhedra and related spaces; Part III. Maps between Polyhedra: 9. Energy of maps; 10. Hvlder continuity of energy minimizers; 11. Existence of energy minimizers; 12. Harmonic maps - totally geodesic maps; 13. Harmonic morphisms; 14. Appendix A. Energy according to Korevaar-Schoen; 15. Appendix B. Minimizers with small energy decay; Bibliography; Special symbols; Index.
Title Details
ISBN: 0-521-77311-3
Binding: Hardback
available from April 2001
Tim Bedford, Roger Cooke
Probabilistic Risk AnalysisFoundations and Methods
Description
Probabilistic risk analysis aims to quantify the risk caused by high technology installations. Increasingly, such analyses are being applied to a wider class of systems in which problems such as lack of data, complexity of the systems, uncertainty about consequences, make a classical statistical analysis difficult or impossible. The authors discuss the fundamental notion of uncertainty, its relationship with probability, and the limits to the quantification of uncertainty. Drawing on extensive experience in the theory and applications of risk analysis, the authors focus on the conceptual and mathematical foundations underlying the quantification, interpretation and management of risk. They cover standard topics as well as important new subjects such as the use of expert judgement and uncertainty propagation. The relationship of risk analysis with decision making is highlighted in chapters on influence diagrams and decision theory. Finally, the difficulties of choosing metrics to quantify risk, and current regulatory frameworks are discussed.
Chapter Contents
Part I. Introduction: 1. Probabilistic risk analysis; Part II. Theoretical Issues and Background: 2. What is uncertainty? 3. Probabilistic methods; 4. Statistical inference; 5. Weibull analysis; Part II. System Analysis and Quantification: 6. Fault and event trees; 7. Fault trees - analysis; 8. Dependent failures; 9. Reliability data bases; 10. Expert opinion; 11. Human reliability; 12. Software reliability; Part IV. Uncertainty Modeling and Risk Measurement: 13. Decision theory; 14. Influence diagrams and belief nets; 15. Project risk management; 16. Probabilistic inversion; 17. Uncertainty analysis; 18. Risk measurement and regulation; Bibliography; Index.
Title Details
ISBN: 0-521-77320-2
Binding: Hardback
Bibliographic information:105 line diagrams 47 tables 76 exercises
available from April 2001