Imaging science may be naturally divided into the processes of image formation,
the use of data from sensors to form images, and of image interpretation, the
extraction of information from images. The IMA annual program has been organized
these lines, although we fully realize the interconnectedness of the image formation
and interpretation processes, and intend to encourage an interplay between them.
In particular, the spring semester will begin with a period of concentration
in image processing, which straddles the divisions.
Many classical and well-developed imaging techniques use wave propagation
to generate data. Recently, rapid developments in sensor technology coupled
with advances in mathematics for integrating the collected data, promise to
provide quantitative imaging information about structures and phenomena long
assumed to be inaccessible to imaging. Examples in these emerging areas include
in vivo cell imaging, quantum state imaging, and network tomography. The development
of imaging techniques together with the advancement of image processing methods
have called for intelligent integration of these subsystems.
The process of image understanding usually begins with the storage, enhancement,
and transmission of existing images. Image understanding also involves the extraction
of certain features and information from the often overwhelming stream of information
produced by the above imaging techniques. While this is often considered to
be part of electrical engineering and computer science, it is highly mathematical
and mathematics has had a major role in much of the recent progress in this
field. As in all most interdisciplinary efforts, the push has occured in many
ways. For example, the analysis of "shape" has driven research in differential
geometry, stochastic diffusions and nonlinear partial differential equations.
Bayesian modeling and inference is based on the observation that natural images,
whereas notoriously ambiguous at a local level, are perceived globally as largely
unambiguous due to incorporating pre-observation and post-observation likelihoods.
Special cases such as deformable templates and compositional vision lead to
the construction of probability measures on complex structures, such as grammars,
graphs and spaces of transformations and numerous mathematical questions arise
in learning representations from data ("statistical learning"). The simple observation
that the names of objects do not change under various image transformations
has led to another approach to image interpretation based on "invariant" functionals--photometric,
geometric and algebraic. Finally, nearly all methods encounter formidable computational
challenges, inspiring new strategies for simulation, search and optimization.
Imaging science is highly interdisciplinary, naturally connecting mathematical
sciences with a variety of application areas. Mathematical areas that have contributed
to this field include harmonic analysis, partial differential equations, and
integral geometry, calculus of variations, probability theory, statistics, and
learning theory. Historically, interchange of ideas among researchers coming
from different applications has been impeded by barriers of jargon and culture.
By bringing together a range of researchers and emphasizing the underlying mathematical
structures and algorithms in the highly interdisciplinary atmosphere of the
IMA, this program is a great opportunity to significantly contribute to advances
in imaging science.
Image formation refers to the process of obtaining images from sensor data.
While data can now be collected on many different types of sensors, data obtained
from wave propagation phenomena will receive special attention. This is an important
modality with examples from radar, ultrasound, and seismic prospecting. Progress
in sensor technology has meant that there are new types of data available from
which images are to be reconstructed. There are several new research areas which
offer exciting opportunities to mathematicians; quantum state imaging, nanoscale
imaging, network tomography are a few such examples. An emerging area related
imaging, Integrated Sensing and Processing, is an effort to implement intelligent
integration of detection and processing in a systems approach. This area will
be another focus of the Fall semester on Imaging.
Whereas much of the information carried by a digital image is generally directly
accessible to a human observer (consider everyday face recognition or a radiologist
studying a cat scan) the same cannot be said with automated systems. For instance,
no computer program today can reliably detect a lesion in a magnetic resonance
image, or convert a digital image representation of a three-dimensional scene
into a symbolic description involving semantic categories. The absence of a
general solution (the "semantic gap") for converting matrices of integers into
useful information impedes scientific and technological advances in many areas.
Broadly speaking, the workshops during the second semester are about constructing
computer programs and algorithms to solve "perceptual inverse problems."
The first workshop, being about "image to image" transformations, is of a transitional
nature between "sensors to images" (first semester) and "images to understanding"
(second semester). "The mathematics and art of film editing and restoration" is
a singularly exciting area of image processing which naturally brings together
applied mathematicians, film editors and post-production artists and engineers.
Following this there will be three workshops in three areas of computer vision:
the theory of shape; the photometry and surface properties of natural images;
and visual learning and recognition.
The following scientists are confirmed or highly likely as long-term visitors
during the program. Other long-term visitors are currently being arranged.
| Name |
Department |
Affiliation |
Period of Visit |
| Omar Alfredo Gil Alvarez |
Insituto de Mathematica |
University of the Republic |
4/1/06 - 4/16/06 |
| Jung-Ha An |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/05 - 8/31/07 |
| Fredrik Andersson |
Department of Mathematics |
Lund University |
9/16/05 - 11/14/05 |
| Douglas N. Arnold |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
7/15/01 - 8/31/07 |
| Donald G. Aronson |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/02 - 8/31/07 |
| Evgeniy Bart |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/05 - 9/30/06 |
| Francisco Blanco-Silva |
Department of Mathematics |
Purdue University |
9/1/05 - 6/8/06 |
| Brett Borden |
Physics Department |
Naval Postgraduate School |
10/1/05 - 12/11/05 |
| David J. Brady |
Department of Electrical and Computer Engineering |
Duke University |
9/18/05 - 12/10/05 |
| Robert Burridge |
|
Massachusetts Institute of Technology |
9/1/05 - 12/31/05 |
| Qianyong Chen |
|
University of Minnesota Twin Cities |
9/1/04 - 8/19/06 |
| Margaret Cheney |
Department of Mathematical Sciences |
Rensselaer Polytechnic Institute |
9/4/05 - 12/14/05 |
| Giulio Ciraolo |
Dipartimento di matematica Ulisse Dini |
UniversitĂ di Firenze |
9/8/05 - 12/23/05 |
| Dana Clahane |
Department of Mathematics |
University of California |
9/18/05 - 11/18/05 |
| Steven Benjamin Damelin |
Department of Mathematics |
Georgia Southern University |
8/9/05 - 6/30/06 |
| James Damon |
Department of Mathematics |
University of North Carolina |
3/3/06 - 6/30/06 |
| Declan Davis |
Department of Mathematical Sciences |
University of Liverpool |
4/9/06 - 5/9/06 |
| Anthony J. Devaney |
Department of Electrical Engineering |
Northeastern University |
9/5/05 - 12/30/05 |
| Brian DiDonna |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/04 - 8/31/06 |
| Oliver Dorn |
Departamento de Matematicas |
Universidad Carlos III de Madrid |
4/4/06 - 6/2/06 |
| Yi Fang |
Department of Mathematics |
Rensselaer Polytechnic Institute |
9/12/05 - 12/6/05 |
| Adel Faridani |
Department of Mathematics |
Oregon State University |
9/18/05 - 10/21/05 |
| Pedro F. Felzenszwalb |
Department of Computer Science |
University of Chicago |
5/1/06 - 5/30/06 |
| Bastian Gebauer |
Institut fur Mathematik |
Johannes Gutenberg-Universität Mainz |
5/11/06 - 6/11/06 |
| Anne Gelb |
Department of Mathematics |
Arizona State University |
11/28/05 - 12/16/05 |
| Peter Giblin |
Department of Mathematical Sciences |
University of Liverpool |
4/9/06 - 5/9/06 |
| Natalia Grinberg |
Department of Mathematics |
Universität Fridericiana (TH) Karlsruhe |
1/4/06 - 1/28/06 |
| Raffaele Grompone |
|
École Normale Supérieure de Cachan |
3/5/06 - 4/7/06 |
| Changfeng Gui |
Department of Mathematics |
University of Connecticut |
9/12/05 - 6/30/06 |
| Jooyoung Hahn |
Division of Applied Mathematics |
Korea Advanced Institute of Science and Technology (KAIST) |
8/26/05 - 7/31/06 |
| Gloria Haro Ortega |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/05 - 8/31/07 |
| Xiang Huang |
Department of Mathematics |
University of Connecticut |
9/1/05 - 6/26/06 |
| Jeremie Jakubowicz |
Applied Mathematics Department |
École Normale Supérieure de Cachan |
3/2/06 - 4/8/06 |
| Sookyung Joo |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/04 - 8/31/06 |
| Sung Ha Kang |
Department of Mathematics |
University of Kentucky |
1/1/06 - 5/31/06 |
| Chiu Yen Kao |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/04 - 8/31/06 |
| Taufiquar Khan |
Department of Mathematics |
Clemson University |
9/4/05 - 12/31/05 |
| Gisela Klette |
Department of Computer Science |
University of Auckland |
2/4/06 - 4/30/06 |
| Reinhard Klette |
Department of Computer Science |
University of Auckland |
2/4/06 - 4/30/06 |
| Jan J. Koenderink |
Department Physics of Man |
Rijksuniversiteit te Utrecht |
3/1/06 - 3/22/06 |
| Matthias Kurzke |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/04 - 6/30/06 |
| Song-Hwa Kwon |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
8/30/05 - 8/31/07 |
| Chang-Ock Lee |
Division of Applied Mathematics |
Korea Advanced Institute of Science and Technology (KAIST) |
8/1/05 - 7/31/06 |
| Nam-Yong Lee |
School of Computer Aided Science |
Inje University |
1/20/06 - 2/11/06 |
| Frederic Legoll |
LAMI |
École Nationale des Ponts-et-Chaussées |
4/9/06 - 4/28/06 |
| Stacey E. Levine |
Department of Mathematics and Computer Science |
Duquesne University |
12/30/05 - 6/30/06 |
| Debra Lewis |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
7/15/04 - 8/18/06 |
| Hstau Liao |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/2/05 - 8/31/07 |
| Bradley J. Lucier |
Department of Mathematics |
Purdue University |
8/15/05 - 6/15/06 |
| Russell Luke |
Department of Mathematical Sciences |
University of Delaware |
9/6/05 - 12/31/05 |
| Peter Maass |
Center for Technomathematik |
Universität Bremen |
9/27/05 - 10/12/05 |
| Rolando Magnanini |
Dipartimento di Matematica |
UniversitĂ di Firenze |
4/1/06 - 4/16/06 |
| Alison Malcolm |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/05 - 8/31/06 |
| Riccardo March |
Istituto per le Applicazioni del Calcolo (IAC) |
Consiglio Nazionale delle Ricerche (CNR) |
4/1/06 - 5/1/06 |
| Gary Margrave |
Department of Geology and Geophysics |
University of Calgary |
10/2/05 - 10/29/05 |
| Kai Medville |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/05 - 11/18/05 |
| Andrea Carlo Giuseppe Mennucci |
Ricercatore universitario di Analisi matematica |
Scuola Normale Superiore |
3/23/06 - 4/7/06 |
| Frank Natterer |
Fachbereich Mathematik |
Westfälische Wilhelms-Universität Münster |
9/26/05 - 10/22/05 |
| Peter J. Olver |
School of Mathematics |
University of Minnesota Twin Cities |
9/1/05 - 6/30/06 |
| Winston Ou |
|
University of Minnesota Twin Cities |
9/1/05 - 1/13/06 |
| Victor Palamodov |
School of Mathematical Sciences |
Tel Aviv University |
10/11/05 - 11/30/05 |
| Sarah K. Patch |
Department of Physics |
University of Wisconsin |
10/16/05 - 11/12/05 |
| Peter Philip |
|
University of Minnesota Twin Cities |
8/22/04 - 8/18/06 |
| Gregory J. Randall |
Instituto de Ingenieria Electrica |
University of the Republic |
8/18/05 - 7/21/06 |
| Rosemary Renaut |
Department of Mathematics and Statistics |
Arizona State University |
9/18/05 - 10/7/05, 10/30/05 - 11/19/05 |
| Walter Richardson Jr. |
Department of Mathematical Sciences |
University of Texas |
9/1/05 - 6/30/06 |
| Fadil Santosa |
School of Mathematics |
University of Minnesota Twin Cities |
9/1/05 - 6/30/06 |
| Guillermo R. Sapiro |
Department of Electrical and Computer Engineering |
University of Minnesota Twin Cities |
9/1/05 - 6/30/06 |
| Arnd Scheel |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
7/15/04 - 8/31/07 |
| Tom L. Scofield |
Department of Mathematics and Statistics |
Calvin College |
9/1/05 - 12/31/05 |
| Shaun Sellers |
Department of Mechanical and Aerospace Engineering |
Washington University |
9/17/05 - 10/23/05 |
| Jin Keun Seo |
Department of Mathematics |
Yonsei University |
1/5/06 - 6/5/06 |
| Shagi-Di Shih |
Department of Mathematics |
University of Wyoming |
9/18/05 - 10/21/05 |
| Tatiana Soleski |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/05 - 8/4/06 |
| Vladimir Sverak |
School of Mathematics |
University of Minnesota Twin Cities |
9/1/05 - 6/30/06 |
| Bart M. ter Haar Romeny |
Department of Biomedical Imaging |
Technische Universiteit Eindhoven |
4/23/06 - 5/21/06 |
| Alan Thomas |
Department of Mathematical Sciences |
Clemson University |
9/4/05 - 12/17/05 |
| Carl Toews |
Institute for Mathematics and its Applications |
University of Minnesota Twin Cities |
9/1/05 - 8/31/07 |
| Nicolas Vandenberghe |
|
Université d'Aix-Marseille II (Université de la Méditerranée) |
6/18/06 - 7/3/06 |
| Rossmary Villegas |
Departamento de Matematicas |
Universidad Carlos III de Madrid |
5/1/06 - 5/31/06 |
| Kevin Vixie |
Mathematical Modeling and Analysis (T-7) |
Los Alamos National Laboratory |
3/2/06 - 4/9/06 |
| Jingyue Wang |
Department of Mathematics |
Purdue University |
9/1/05 - 6/1/06 |
| Xiaoqiang Wang |
|
University of Minnesota Twin Cities |
9/1/05 - 8/4/06 |
| Martin Welk |
Mathematical Image Analysis Group |
Universität des Saarlandes |
12/5/05 - 3/10/06 |
| Michael Werman |
Institute of Computer Science |
Hebrew University |
2/6/06 - 2/26/06 |
| Jeong-Rock Yoon |
Department of Mathematical Sciences |
Clemson University |
9/6/05 - 12/30/05 |
| Ofer Zeitouni |
School of Mathematics |
University of Minnesota Twin Cities |
9/1/05 - 6/30/06 |