This volume is an original collection of articles by 44 leading mathematicians on the theme of the future of the discipline. The contributions range from musings on the future of specific fields, to analyses of the history of the discipline, to discussions of open problems and conjectures, including first solutions of unresolved problems. Interestingly, the topics do not cover all of mathematics, but only those deemed most worthy to reflect on for future generations. These topics encompass the most active parts of pure and applied mathematics, including algebraic geometry, probability, logic, optimization, finance, topology, partial differential equations, category theory, number theory, differential geometry, dynamical systems, artificial intelligence, theory of groups, mathematical physics and statistics.

This book contains both a synthesis and mathematical analysis of a wide set of algorithms and theories whose aim is the automatic segmen tation of digital images as well as the understanding of visual perception. A common formalism for these theories and algorithms is obtained in a variational form. Thank to this formalization, mathematical questions about the soundness of algorithms can be raised and answered. Perception theory has to deal with the complex interaction between regions and "edges" (or boundaries) in an image: in the variational seg mentation energies, "edge" terms compete with "region" terms in a way which is supposed to impose regularity on both regions and boundaries. This fact was an experimental guess in perception phenomenology and computer vision until it was proposed as a mathematical conjecture by Mumford and Shah. The third part of the book presents a unified presentation of the evi dences in favour of the conjecture. It is proved that the competition of one-dimensional and two-dimensional energy terms in a variational for mulation cannot create fractal-like behaviour for the edges. The proof of regularity for the edges of a segmentation constantly involves con cepts from geometric measure theory, which proves to be central in im age processing theory. The second part of the book provides a fast and self-contained presentation of the classical theory of rectifiable sets (the "edges") and unrectifiable sets ("fractals")."

This book introduces a new theory in Computer Vision yielding elementary techniques to analyze digital images. These techniques are a mathematical formalization of the Gestalt theory. From the mathematical viewpoint the closest field to it is stochastic geometry, involving basic probability and statistics, in the context of image analysis. The book is mathematically self-contained, needing only basic understanding of probability and calculus. The text includes more than 130 illustrations, and numerous examples based on specific images on which the theory is tested. Detailed exercises at the end of each chapter help the reader develop a firm understanding of the concepts imparted.

The transportation problem can be formalized as the problem of finding the optimal way to transport a given measure into another with the same mass. In contrast to the Monge-Kantorovitch problem, recent approaches model the branched structure of such supply networks as minima of an energy functional whose essential feature is to favour wide roads. Such a branched structure is observable in ground transportation networks, in draining and irrigation systems, in electrical power supply systems, and in natural counterparts such as blood vessels or the branches of trees.

These lectures provide mathematical proof of several existence, structure and regularity properties, empirically observed in transportation networks. The link with previous discrete physical models of irrigation and erosion models in geomorphology and with discrete telecommunication and transportation models is discussed. It will be mathematically proven that the majority fit in the simple model sketched in this volume.

This book introduces a new theory in Computer Vision yielding elementary techniques to analyze digital images. These techniques are a mathematical formalization of the Gestalt theory. From the mathematical viewpoint the closest field to it is stochastic geometry, involving basic probability and statistics, in the context of image analysis. The book is mathematically self-contained, needing only basic understanding of probability and calculus. The text includes more than 130 illustrations, and numerous examples based on specific images on which the theory is tested. Detailed exercises at the end of each chapter help the reader develop a firm understanding of the concepts imparted.

This volume contains the proceedings of ICAOS '96 the 12th International Conference on Analysis and Optimization of Systems. This conference was co-organized by INRIA and the CEREMADE and was dedicated to Images, Wavelets and PDE's. The aim of the conference was to discuss the impact on image analysis of recent mathematical developments in multiscale analysis, partial differential equations, variational methods and so on. ICAOS '96 provided a forum for image processing researchers and mathematicians to interact and to exchange their technical knowledge and experience, theoretical or practical, in this emerging and exciting domain. The selected papers have been organized according to the following sessions, each session corresponding to a section of the book: 1. Active Contours; 2. Image Enhancement and Restoration, Scale-Spaces; 3. Wavelets; 4. Image Segmentation; 5. Image Restoration; 6. Coding; 7. Applications.

Recent years have seen dramatic progress in shape recognition algorithms applied to ever-growing image databases. They have been applied to image stitching, stereo vision, image mosaics, solid object recognition and video or web image retrieval. More fundamentally, the ability of humans and animals to detect and recognize shapes is one of the enigmas of perception.

The book describes a complete method that starts from a query image and an image database and yields a list of the images in the database containing shapes present in the query image. A false alarm number is associated to each detection. Many experiments will show that familiar simple shapes or images can reliably be identified with false alarm numbers ranging from 10-5 to less than 10-300.

Technically speaking, there are two main issues. The first is extracting invariant shape descriptors from digital images. Indeed, a shape can be seen from various angles and distances and in various lights. A shape can even be partially occluded by other shapes and still be identifiable. Because the extraction step is so crucial, three acknowledged shape descriptors, SIFT, MSER and LLD, are introduced.

The second issue is deciding whether two shape descriptors are identifiable as the same shape or not. A perceptual principle, the Helmholtz principle, is the cornerstone of this decision. It asserts that two shapes can be identified if the probability, that their resemblance may be due to chance, is very small. Not only may this principle be useful in this identification step, but it is also used throughout the complete system that will be presented: from the extraction of shape descriptors in digital images to their grouping in whole shapes.

These decisions rely on elementary stochastic geometry and compute a false alarm number. The lower this number, the more secure the identification. The description of the processes, the many experiments on digital images and the simple proofs of mathematical correctness are interlaced so as to make a reading accessible to various audiences, such as students, engineers, and researchers.