MATHEMATICAL METHODS IN MEDICAL IMAGE PROCESSING.

In this paper, we describe some central mathematical problems in medical imaging. The subject has been undergoing rapid changes driven by better hardware and software. Much of the software is based on novel methods utilizing geometric partial differential equations in conjunction with standard signal/image processing techniques as well as computer graphics facilitating man/machine interactions. As part of this enterprise, researchers have been trying to base biomedical engineering principles on rigorous mathematical foundations for the development of software methods to be integrated into complete therapy delivery systems. These systems support the more effective delivery of many image-guided procedures such as radiation therapy, biopsy, and minimally invasive surgery. We will show how mathematics may impact some of the main problems in this area, including image enhancement, registration, and segmentation.

[1]  G. Sapiro,et al.  On the affine heat equation for non-convex curves , 1998 .

[2]  G. Huisken Flow by mean curvature of convex surfaces into spheres , 1984 .

[3]  L. Evans,et al.  Motion of level sets by mean curvature. II , 1992 .

[4]  M. Grayson The heat equation shrinks embedded plane curves to round points , 1987 .

[5]  Tony F. Chan,et al.  Active contours without edges , 2001, IEEE Trans. Image Process..

[6]  Achim Hummel,et al.  Representations Based on Zero-Crossing in Scale-Space-M , 2018, CVPR 1986.

[7]  B. Julesz Textons, the elements of texture perception, and their interactions , 1981, Nature.

[8]  Demetri Terzopoulos,et al.  Topologically adaptable snakes , 1995, Proceedings of IEEE International Conference on Computer Vision.

[9]  Edward S. Deutsch,et al.  On the Quantitative Evaluation of Edge Detection Schemes and their Comparison with Human Performance , 1975, IEEE Transactions on Computers.

[10]  R. von der Heydt,et al.  Illusory contours and cortical neuron responses. , 1984, Science.

[11]  Laurent D. Cohen,et al.  On active contour models and balloons , 1991, CVGIP Image Underst..

[12]  Yun-Gang Chen,et al.  Uniqueness and existence of viscosity solutions of generalized mean curvature flow equations , 1989 .

[13]  P. Lions,et al.  Axioms and fundamental equations of image processing , 1993 .

[14]  Andrew P. Witkin,et al.  Scale-Space Filtering , 1983, IJCAI.

[15]  Leon Simon,et al.  Lectures on Geometric Measure Theory , 1984 .

[16]  Brian White,et al.  Some recent developments in differential geometry , 1989 .

[17]  D Marr,et al.  Theory of edge detection , 1979, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[18]  R. Tibshirani Regression Shrinkage and Selection via the Lasso , 1996 .

[19]  M. Gage,et al.  The heat equation shrinking convex plane curves , 1986 .

[20]  Jean-Michel Morel,et al.  Variational methods in image segmentation , 1995 .

[21]  David Spotts Fry Shape recognition using metrics on the space of shapes , 1993 .

[22]  Milan Sonka,et al.  Image processing analysis and machine vision [2nd ed.] , 1999 .

[23]  Anthony J. Yezzi,et al.  A curve evolution approach to smoothing and segmentation using the Mumford-Shah functional , 2000, Proceedings IEEE Conference on Computer Vision and Pattern Recognition. CVPR 2000 (Cat. No.PR00662).

[24]  Yann Brenier,et al.  A computational fluid mechanics solution to the Monge-Kantorovich mass transfer problem , 2000, Numerische Mathematik.

[25]  Josien P. W. Pluim,et al.  Image Registration , 2003, IEEE Trans. Medical Imaging.

[26]  Luis Alvarez,et al.  Axiomes et 'equations fondamentales du traitement d''images , 1992 .

[27]  S. Mallat A wavelet tour of signal processing , 1998 .

[28]  Wang-Q Lim,et al.  Sparse multidimensional representation using shearlets , 2005, SPIE Optics + Photonics.

[29]  Guillermo Sapiro,et al.  Geodesic Active Contours , 1995, International Journal of Computer Vision.

[30]  D. Donoho,et al.  Sparse MRI: The application of compressed sensing for rapid MR imaging , 2007, Magnetic resonance in medicine.

[31]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[32]  A. N. Tikhonov,et al.  Solutions of ill-posed problems , 1977 .

[33]  Y. Brenier Polar Factorization and Monotone Rearrangement of Vector-Valued Functions , 1991 .

[34]  M. Gage,et al.  The Curve Shortening Flow , 1987 .

[35]  James T. Tippett,et al.  OPTICAL AND ELECTRO-OPTICAL INFORMATION PROCESSING, , 1965 .

[36]  Y. J. Tejwani,et al.  Robot vision , 1989, IEEE International Symposium on Circuits and Systems,.

[37]  John F. Canny,et al.  A Computational Approach to Edge Detection , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[38]  Bart M. ter Haar Romeny,et al.  Geometry-Driven Diffusion in Computer Vision , 1994, Computational Imaging and Vision.

[39]  Wolfgang Köhler,et al.  Gestalt psychology today. , 1959 .

[40]  A.O. Hero,et al.  Mathematical methods in imaging , 2002, IEEE Signal Processing Magazine.

[41]  P. Lions,et al.  Image selective smoothing and edge detection by nonlinear diffusion. II , 1992 .

[42]  J. Palis,et al.  Geometric theory of dynamical systems : an introduction , 1984 .

[43]  S. Osher,et al.  Level set methods: an overview and some recent results , 2001 .

[44]  Edwin S Gerson,et al.  Scenes from the past: x-ray mania: the x ray in advertising, Circa 1895. , 2004, Radiographics.

[45]  A. Ron Review of An introduction to Frames and Riesz bases, applied and numerical Harmonic analysis by Ole Christensen Birkhäuser, Basel, 2003 , 2005 .

[46]  Luis Alvarez,et al.  Formalization and computational aspects of image analysis , 1994, Acta Numerica.

[47]  Max A. Viergever,et al.  Mutual-information-based registration of medical images: a survey , 2003, IEEE Transactions on Medical Imaging.

[48]  Jürgen Weese,et al.  A comparison of similarity measures for use in 2-D-3-D medical image registration , 1998, IEEE Transactions on Medical Imaging.

[49]  S. Osher,et al.  Algorithms Based on Hamilton-Jacobi Formulations , 1988 .

[50]  Mario Bertero,et al.  Introduction to Inverse Problems in Imaging , 1998 .

[51]  Charles L. Epstein Introduction to the Mathematics of Medical Imaging, Second Edition , 2007 .

[52]  J. Sethian,et al.  FRONTS PROPAGATING WITH CURVATURE DEPENDENT SPEED: ALGORITHMS BASED ON HAMILTON-JACOB1 FORMULATIONS , 2003 .

[53]  W. Gangbo,et al.  The geometry of optimal transportation , 1996 .

[54]  Irwin Edward Sobel,et al.  Camera Models and Machine Perception , 1970 .

[55]  R. McCann A convexity theory for interacting gases and equilibrium crystals , 1994 .

[56]  Lei Zhu,et al.  Optimal Mass Transport for Registration and Warping , 2004, International Journal of Computer Vision.

[57]  P. Olver,et al.  Conformal curvature flows: From phase transitions to active vision , 1996, ICCV 1995.

[58]  Demetri Terzopoulos,et al.  Snakes: Active contour models , 2004, International Journal of Computer Vision.

[59]  Jean-Michel Morel,et al.  Introduction To The Special Issue On Partial Differential Equations And Geometry-driven Diffusion In Image Processing And Analysis , 1998, IEEE Trans. Image Process..

[60]  J. Foster,et al.  The Gibbs phenomenon for piecewise-linear approximation , 1991 .

[61]  Andrew D. A. Maidment Medical Imaging Physics, 4th ed , 2003 .

[62]  L. Kantorovich On a Problem of Monge , 2006 .

[63]  Ron Kikinis,et al.  A statistically based flow for image segmentation , 2004, Medical Image Anal..

[64]  J. Koenderink The structure of images , 2004, Biological Cybernetics.

[65]  P. Lions,et al.  User’s guide to viscosity solutions of second order partial differential equations , 1992, math/9207212.

[66]  F Chabat,et al.  Computerized decision support in medical imaging. , 2000, IEEE engineering in medicine and biology magazine : the quarterly magazine of the Engineering in Medicine & Biology Society.

[67]  Emmanuel J. Candès,et al.  Decoding by linear programming , 2005, IEEE Transactions on Information Theory.

[68]  D. Donoho Sparse Components of Images and Optimal Atomic Decompositions , 2001 .

[69]  G. Sapiro,et al.  Geometric partial differential equations and image analysis [Book Reviews] , 2001, IEEE Transactions on Medical Imaging.

[70]  E. Ritenour,et al.  Medical Imaging Physics , 1992 .

[71]  Lei Zhu,et al.  On Visualizing Branched Surface: an Angle/Area Preserving Approach , 2004 .

[72]  Kaleem Siddiqi,et al.  Area and length minimizing flows for shape segmentation , 1998, IEEE Trans. Image Process..

[73]  Milan Sonka,et al.  Image Processing, Analysis and Machine Vision , 1993, Springer US.

[74]  M. Grayson Shortening embedded curves , 1989 .

[75]  Charles L. Epstein,et al.  Introduction to the mathematics of medical imaging , 2003 .

[76]  Terence Tao,et al.  The Dantzig selector: Statistical estimation when P is much larger than n , 2005, math/0506081.

[77]  Ingrid Daubechies,et al.  Ten Lectures on Wavelets , 1992 .

[78]  Shigeru Ando,et al.  Consistent Gradient Operators , 2000, IEEE Trans. Pattern Anal. Mach. Intell..

[79]  Balraj Naren,et al.  Medical Image Registration , 2022 .

[80]  Linda G. Shapiro,et al.  Computer and Robot Vision , 1991 .

[81]  Steven Haker,et al.  Minimizing Flows for the Monge-Kantorovich Problem , 2003, SIAM J. Math. Anal..

[82]  Jean-David Benamou,et al.  Mixed L2-Wasserstein Optimal Mapping Between Prescribed Density Functions , 2001 .

[83]  Jitendra Malik,et al.  Scale-Space and Edge Detection Using Anisotropic Diffusion , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[84]  E. Giusti Minimal surfaces and functions of bounded variation , 1977 .

[85]  Baba C. Vemuri,et al.  Shape Modeling with Front Propagation: A Level Set Approach , 1995, IEEE Trans. Pattern Anal. Mach. Intell..

[86]  D. Brooks,et al.  Emerging medical imaging modalities , 2001, IEEE Signal Processing Magazine.

[87]  Guillermo Sapiro,et al.  Affine invariant scale-space , 1993, International Journal of Computer Vision.

[88]  Emanuele Trucco,et al.  Computer and Robot Vision , 1995 .

[89]  D. Mumford,et al.  Optimal approximations by piecewise smooth functions and associated variational problems , 1989 .

[90]  J. Palis,et al.  Geometric theory of dynamical systems , 1982 .

[91]  Steve R. Gunn,et al.  On the discrete representation of the Laplacian of Gaussian , 1999, Pattern Recognit..

[92]  Tony F. Chan,et al.  Variational PDE models in image processing , 2002 .

[93]  W. C. Röntgen,et al.  Ueber eine neue Art von Strahlen , 1898 .

[94]  Demetri Terzopoulos,et al.  Deformable models in medical image analysis: a survey , 1996, Medical Image Anal..

[95]  M. Knott,et al.  On the optimal mapping of distributions , 1984 .

[96]  L. Rudin,et al.  Nonlinear total variation based noise removal algorithms , 1992 .

[97]  P. Lions,et al.  Image recovery via total variation minimization and related problems , 1997 .

[98]  G. Sapiro,et al.  On affine plane curve evolution , 1994 .

[99]  Guy Marchal,et al.  Multimodality image registration by maximization of mutual information , 1997, IEEE Transactions on Medical Imaging.

[100]  J. A. Sethian,et al.  Fast Marching Methods , 1999, SIAM Rev..

[101]  Kai-Seng Chou,et al.  The Curve Shortening Problem , 2001 .

[102]  S. Rachev,et al.  Mass transportation problems , 1998 .

[103]  Alan Van Heuvelen,et al.  Intermediate physics for medicine and biology , 1989 .

[104]  V. Caselles,et al.  A geometric model for active contours in image processing , 1993 .

[105]  Marko Subasic,et al.  Level Set Methods and Fast Marching Methods , 2003 .