Segmentation using deformable models

Size: px
Start display at page:

Download "Segmentation using deformable models"

Transcription

1 Segmentation using deformable models Isabelle Bloch bloch Téécom ParisTech - CNRS UMR 5141 LTCI Paris - France Modèles déformables p.1/43

2 Introduction Deformable models = evolution of curves / surfaces to minimize an energy function for finding the best image partition into homogeneous regions finding the contours of an object Criteria on contours region homogeneity regularity other types of constraints Important distinctions: parametric / geometric (implicit) contour-based / region-based Modèles déformables p.2/43

3 Parametric active contours First work: Kass, Witkins and Terzopoulos in 1988 Principle: evolution of a curve under internal and external forces v(s) = [x(s),y(s)] t s [0,1] Energy: E total = 1 0 [E int (v(s)) + E image (v(s)) + E ext (v(s))]ds Internal energy: ( dv E int = α(s) ds ) 2 ( d 2 ) 2 v + β(s) ds 2 control of tension (length of the curve) and of curvature (T = dv ds, dt ds = kn) Energy from image information (gradient): E image = f External energy: many possibilities Modèles déformables p.3/43

4 Influence of parameters: example Deformation of an active contour with fixed end-points for α/β equal to 2, 3, 4 (without image energy). Modèles déformables p.4/43

5 Solving the minimization problem Variational formulation: Euler-Lagrange equation (αv ) (s)+(βv ) (s)+ P(v) = 0 + limit conditions Discretization using finite differences P(v) = E image (v)+e ext (v) F(v) = P(v) V t = [v t 0, v t 1, v t 2,..., v t n 1] t β h 2v i+2 ( α h +4 β h 2)v i+1 +( 2α h +46β h 2)v i ( α h +4 β h 2)v i 1 + β h 2v i 2 = F(v i ) (A: penta-diagonal matrix) AV = F Modèles déformables p.5/43

6 Curve evolution γ v t αv +βv = F(v) v(t+1) = (τa+i) 1 (τf(v(t))+v(t)) initialization (crucial for convergence) choix de τ (inertia) matrix inversion constant discretization step for t (set to have a displacement of 1-2 pixels) stopping criterion Modèles déformables p.6/43

7 Types of active contours actifs and corresponding matrices Closed active contour 2α+6β α 4β β 0 0 β... α 4β... α 4β 2α+6β α 4β β 0... β α 4β 2α+6β α 4β β 0 β α 4β 2α+6β α 4β β α 4β 2α+6β α 4β β β α 4β 2α+6β Modèles déformables p.7/43

8 Types of active contours actifs and corresponding matrices Free end-points β β -2 β α 2β 2α+5β α 4β β 0... β α 4β 2α+6β α 4β β 0 β α 4β 2α+6β α 4β β α 4β 2α+6β β α 4β β 2α+5β -2 β α 2β... β (with v (0) = v (1) = v (0) = v (1) = 0) Modèles déformables p.7/43

9 Types of active contours actifs and corresponding matrices Fixed end-points 2α+6β α 4β β α 4β 2α+6β α 4β β 0... β α 4β 2α+6β α 4β β 0 β α 4β 2α+6β α 4β 0 0 β α 4β 2α+6β β -2 β... β Modèles déformables p.7/43

10 Example Modèles déformables p.8/43

11 Example Modèles déformables p.8/43

12 Evolution example Evolution Modèles déformables p.9/43

13 Optimization using dynamic programming Amini, P Q M N positions à l instant t positions possibles à t+1 snake à t snake à t+1 M N P Q Modèles déformables p.10/43

14 Balloon force (Cohen, 1991) Problem: bad initialization no attraction no forces curve collapses Solution using a pression force (balloon): n(s) unit normal vector at s F(v(s)) = k 1 n(s) k P P Initialization: inside or outside the object (not necessarily very close to the searched object) Remark: the force does not derive anymore from a potential Modèles déformables p.11/43

15 Distance constraint Distance map D(x, y) potential P dist (x,y) = we D(x,y) F ext = P dist Modèles déformables p.12/43

16 Gradient vector flow (Xu and Prince, 1997) Objectives: get rid of the constraints on the initialization convergence towards concave regions Diffusion of gradients in the whole image For v (x,y) = (u(x,y),v(x,y)), minimization of: E = µ(u 2 x +u2 y +v2 x +v2 y )+ f(x,y) 2 v f(x,y) 2 dxdy f = contour map Modèles déformables p.13/43

17 GVF: solving and generalizing µ 2 u (u f x )(f 2 x +f 2 y) = 0 More general formulation: Examples for functions g and h: g(r) = µ, h(r) = r 2 g(r) = exp( r 2 k µ 2 v (v f y )(f 2 x +f 2 y) = 0 v t = g( f ) 2 v h( f )(v f) ), h(r) = 1 g(r) v(x,y,0) = f(x,y) Modèles déformables p.14/43

18 Classical active contour: illustration Final result, iter = Modèles déformables p.15/43

19 Balloon force Modèles déformables p.16/43

20 Balloon force Modèles déformables p.16/43

21 GVF Modèles déformables p.17/43

22 GVF Modèles déformables p.17/43

23 GVF: evolution example Evolution Modèles déformables p.18/43

24 GVF: example in medical imaging Modèles déformables p.19/43

25 GVF: example in medical imaging Modèles déformables p.19/43

26 Extension to 3 dimensions Segmentation with regularization: data fidelity smooth surface Minimization of energy: E(v) = Ω w 10 v r 2 +w 01 v s 2 +w 20 2 v r 2 2 +w 02 2 v s w 11 2 v r s 2 drds + P(v)drds Ω first order: elastic membrane (curvature) second order: thin plate (torsion) P : attraction potential Modèles déformables p.20/43

27 Iterative solving scheme (I +τa)v t = (v t 1 +τf(v t 1 )) v t = unknowns at iteration t : vertices (finite differences) freedom degrees (finite elements) τf(v t 1 ): force inversion of (I +τa): regularization Difficulties (as in 2D): choice of time step τ (evolution speed) choice of potentials initialization minimization (local minima) Modèles déformables p.21/43

28 Examples of potentials Gradient: P(v) = I(v) 2 Attraction towards given contours: convolution distance Expansion: evolution of curves/surfaces Temporal regularization etc. F(v) = k P P (v) F(v) = k 1 n k P P (v) Modèles déformables p.22/43

29 Non parametric contours using level sets Principle: Let Γ(t) be a closed hypersurface (dimension N 1) Let ψ (dimension N) be a function taking values in R with Γ(t) = { X R N /ψ( X,t) = 0} propagation of Γ propagation of ψ Example: distance function Evolution equation of ψ ψ t = F ψ Modèles déformables p.23/43

30 Additional dimension: distance Modèles déformables p.24/43

31 Level sets and change of topology Example Modèles déformables p.25/43

32 Example: segmentation of the skull in 3D MRI Modèles déformables p.26/43

33 Example: segmentation of the skull in 3D MRI Modèles déformables p.26/43

34 Example: segmentation of the skull in 3D MRI Modèles déformables p.26/43

35 Example: segmentation of the skull in 3D MRI Modèles déformables p.26/43

36 Example: segmentation of the skull in 3D MRI Modèles déformables p.26/43

37 Example: segmentation of the skull in 3D MRI Evolution Result Modèles déformables p.26/43

38 Geodesic active contours (Caselles, 1997) Principle J 1 (v) = b a v (s) 2 ds+λ b a g( i(v(s)) ) 2 ds J 2 (v) = 2 λα b a v (s) g( i(v(s)) )ds to be minimized computation of the geodesics of a new metric, induced by the image Evolution equation v t = g(i)κ n ( g. n) n Using level sets ψ t = g( (I) ) ψ κ+ g. ψ Modèles déformables p.27/43

39 Geodesic active contours: example Evolution Modèles déformables p.28/43

40 Region-based approach: Mumford and Shah Image f Approximation by smooth functions gi (x,y) on regions R i limited by contours Γ j : Γ R Γ R 4 R 1 Γ 1 R 3 Γ 4 Functional to be minimized: U(Γ,g,f) = µ 2 I (f(x,y) g i (x,y)) 2 dxdy +λ g i (x,y) 2 dxdy +ν R i Γ i dl Modèles déformables p.29/43

41 Mumford and Shah: some particular cases gi = ±1: Ising model gi = constant on each R i : U 0 (Γ,f) = 1 µ 2U(Γ,f,g) = i R i (f g i ) 2 dxdy +ν Γ i dl g i = 1 s i R i f(x,y)dxdy where s i represents the surface of R i U (Γ) = [ ( ) ] f 2 ν dl n Γ where ν = constant and f n = component of the gradient of f normal to Γ = geodesic problem: Γ i of minimal length and maximal transverse gradient Modèles déformables p.30/43

42 Formulation using level sets (1) Contour Γ Two regions R1 = int(γ) and R 2 = ext(γ) with constant values g 1 and g 2 U(Γ,g,f) = µ 2 (f g 1 ) 2 dxdy +µ 2 (f g 2 ) 2 dxdy +ν R 1 R 2 Γ dl Level set: φ(x, y) = 0 on Γ > 0 in R 1 = int(γ) < 0 in R 2 = ext(γ) Γ(t) = {φ(t) = 0} Evolution (mean curvature motion): φ t = φ ( φ φ ) φ(0) = φ 0 Modèles déformables p.31/43

43 Formulation with level sets (2) H(z) = { 1 if z 0 0 if z < 0 δ(z) = H (z) Γ dl = I H(φ) dxdy = I δ(φ) φ dxdy U(Γ,g,f) = µ 2 (f g 1 ) 2 H(φ)dxdy+µ 2 I I (f g 2 ) 2 (1 H(φ))dxdy+ν I δ(φ) φ dxdy g = g 1 H(φ)+g 2 (1 H(φ)) Modèles déformables p.32/43

44 Solving via Euler-Lagrange equations Minimization of U: g 1 = I fh(φ)dxdy I H(φ)dxdy g 2 = I f(1 H(φ))dxdy I (1 H(φ))dxdy φ t = δ(ϕ)[ν ( φ φ ) µ2 (f g 1 ) 2 +µ 2 (f g 2 ) 2 ] initialization / reinitialization solving using narrow band or fast marching approaches Modèles déformables p.33/43

45 Multi-phase models T. Chan and L. Vese (2002) Segmentation of a MRI image with two level sets Modèles déformables p.34/43

46 Multi-phase models T. Chan and L. Vese (2002) Example with junctions Modèles déformables p.34/43

47 Texture segmentation Modèles déformables p.35/43

48 Texture segmentation Modèles déformables p.35/43

49 Introduction of spatial relations Modèles déformables p.36/43

50 Examples of spatial representations of relations close to below Modèles déformables p.37/43

51 Deformable model simplex mesh evolution using both contour and region information: Internal force: F int = α 2 X β 2 ( 2 X) γ X t = F int(x)+f ext (X) External force: F ext = λv +νf R v: Gradient Vector Flow (GVF) FR : force derived from spatial relations v t = g( f ) 2 v h( f )(v f) Modèles déformables p.38/43

52 Force derived from spatial relations: example Modèles déformables p.39/43

53 Results Modèles déformables p.40/43

54 Results (a few slices) Modèles déformables p.41/43

55 Importance of spatial relations Modèles déformables p.42/43

56 Homogeneity from intensity distributions example in 3D US fetal imaging Modèles déformables p.43/43

57 Homogeneity from intensity distributions example in 3D US fetal imaging Modèles déformables p.43/43

58 Homogeneity from intensity distributions example in 3D US fetal imaging Modèles déformables p.43/43

59 Homogeneity from intensity distributions example in 3D US fetal imaging Modèles déformables p.43/43

60 Homogeneity from intensity distributions example in 3D US fetal imaging Modèles déformables p.43/43

Outline Introduction Edge Detection A t c i ti ve C Contours

Outline Introduction Edge Detection A t c i ti ve C Contours Edge Detection and Active Contours Elsa Angelini Department TSI, Telecom ParisTech elsa.angelini@telecom-paristech.fr 2008 Outline Introduction Edge Detection Active Contours Introduction The segmentation

More information

A Tutorial on Active Contours

A Tutorial on Active Contours Elham Sakhaee March 4, 14 1 Introduction I prepared this technical report as part of my preparation for Computer Vision PhD qualifying exam. Here we discuss derivation of curve evolution function for some

More information

Active Contours Snakes and Level Set Method

Active Contours Snakes and Level Set Method Active Contours Snakes and Level Set Method Niels Chr. Overgaard 2010-09-21 N. Chr. Overgaard Lecture 7 2010-09-21 1 / 26 Outline What is an mage? What is an Active Contour? Deforming Force: The Edge Map

More information

A Level Set Based. Finite Element Algorithm. for Image Segmentation

A Level Set Based. Finite Element Algorithm. for Image Segmentation A Level Set Based Finite Element Algorithm for Image Segmentation Michael Fried, IAM Universität Freiburg, Germany Image Segmentation Ω IR n rectangular domain, n = (1), 2, 3 u 0 : Ω [0, C max ] intensity

More information

LEVEL SET BASED MULTISPECTRAL SEGMENTATION WITH CORNERS

LEVEL SET BASED MULTISPECTRAL SEGMENTATION WITH CORNERS LEVEL SET BASED MULTISPECTRAL SEGMENTATION WITH CORNERS WENHUA GAO AND ANDREA BERTOZZI Abstract. In this paper we propose an active contour model for segmentation based on the Chan-Vese model. The new

More information

Mathematical Problems in Image Processing

Mathematical Problems in Image Processing Gilles Aubert Pierre Kornprobst Mathematical Problems in Image Processing Partial Differential Equations and the Calculus of Variations Second Edition Springer Foreword Preface to the Second Edition Preface

More information

Modulation-Feature based Textured Image Segmentation Using Curve Evolution

Modulation-Feature based Textured Image Segmentation Using Curve Evolution Modulation-Feature based Textured Image Segmentation Using Curve Evolution Iasonas Kokkinos, Giorgos Evangelopoulos and Petros Maragos Computer Vision, Speech Communication and Signal Processing Group

More information

Level-Set Minimization of Potential Controlled Hadwiger Valuations for Molecular Solvation

Level-Set Minimization of Potential Controlled Hadwiger Valuations for Molecular Solvation Level-Set Minimization of Potential Controlled Hadwiger Valuations for Molecular Solvation Bo Li Dept. of Math & NSF Center for Theoretical Biological Physics UC San Diego, USA Collaborators: Li-Tien Cheng

More information

Nonlinear Dynamical Shape Priors for Level Set Segmentation

Nonlinear Dynamical Shape Priors for Level Set Segmentation To appear in the Journal of Scientific Computing, 2008, c Springer. Nonlinear Dynamical Shape Priors for Level Set Segmentation Daniel Cremers Department of Computer Science University of Bonn, Germany

More information

Carotid Lumen Segmentation Based on Tubular Anisotropy and Contours Without Edges Release 0.00

Carotid Lumen Segmentation Based on Tubular Anisotropy and Contours Without Edges Release 0.00 Carotid Lumen Segmentation Based on Tubular Anisotropy and Contours Without Edges Release 0.00 Julien Mille, Fethallah Benmansour and Laurent D. Cohen July 20, 2009 CEREMADE, UMR CNRS 7534, Université

More information

DREAM 2 S: Deformable Regions Driven by an Eulerian Accurate Minimization Method for Image and Video Segmentation

DREAM 2 S: Deformable Regions Driven by an Eulerian Accurate Minimization Method for Image and Video Segmentation International Journal of Computer Vision 53), 45 0, 003 c 003 Kluwer Academic Publishers. Manufactured in The Netherlands. DREAM S: Deformable Regions Driven by an Eulerian Accurate Minimization Method

More information

An improved active contour model based on level set method

An improved active contour model based on level set method 1 015 1 ( ) Journal of East China Normal University (Natural Science) No. 1 Jan. 015 : 1000-5641(015)01-0161-11, (, 0006) :,., (SPF),.,,.,,,,. : ; ; ; : O948 : A DOI: 10.3969/j.issn.1000-5641.015.01.00

More information

arxiv: v1 [cs.cv] 17 Jun 2012

arxiv: v1 [cs.cv] 17 Jun 2012 1 The Stability of Convergence of Curve Evolutions in Vector Fields Junyan Wang* Member, IEEE and Kap Luk Chan Member, IEEE Abstract arxiv:1206.4042v1 [cs.cv] 17 Jun 2012 Curve evolution is often used

More information

Math 115 ( ) Yum-Tong Siu 1. Euler-Lagrange Equations for Many Functions and Variables and High-Order Derivatives

Math 115 ( ) Yum-Tong Siu 1. Euler-Lagrange Equations for Many Functions and Variables and High-Order Derivatives Math 115 006-007 Yum-Tong Siu 1 Euler-Lagrange Equations for Many Functions and Variables and High-Order Derivatives The Case of High-Order Derivatives. The context is to find the extremal for the functional

More information

Calculus of Variations and Computer Vision

Calculus of Variations and Computer Vision Calculus of Variations and Computer Vision Sharat Chandran Page 1 of 23 Computer Science & Engineering Department, Indian Institute of Technology, Bombay. http://www.cse.iitb.ernet.in/ sharat January 8,

More information

A Localized Linearized ROF Model for Surface Denoising

A Localized Linearized ROF Model for Surface Denoising 1 2 3 4 A Localized Linearized ROF Model for Surface Denoising Shingyu Leung August 7, 2008 5 Abstract 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 1 Introduction CT/MRI scan becomes a very

More information

Analysis of Numerical Methods for Level Set Based Image Segmentation

Analysis of Numerical Methods for Level Set Based Image Segmentation Analysis of Numerical Methods for Level Set Based Image Segmentation Björn Scheuermann and Bodo Rosenhahn Institut für Informationsverarbeitung Leibnitz Universität Hannover {scheuerm,rosenhahn}@tnt.uni-hannover.de

More information

Image Segmentation: the Mumford Shah functional

Image Segmentation: the Mumford Shah functional Image Segmentation: the Mumford Shah functional Ma191b Winter 2017 Geometry of Neuroscience References for this lecture: David Mumford, Jayant Shah, Optimal Approximations by Piecewise Smooth Functions

More information

Erkut Erdem. Hacettepe University February 24 th, Linear Diffusion 1. 2 Appendix - The Calculus of Variations 5.

Erkut Erdem. Hacettepe University February 24 th, Linear Diffusion 1. 2 Appendix - The Calculus of Variations 5. LINEAR DIFFUSION Erkut Erdem Hacettepe University February 24 th, 2012 CONTENTS 1 Linear Diffusion 1 2 Appendix - The Calculus of Variations 5 References 6 1 LINEAR DIFFUSION The linear diffusion (heat)

More information

in Bounded Domains Ariane Trescases CMLA, ENS Cachan

in Bounded Domains Ariane Trescases CMLA, ENS Cachan CMLA, ENS Cachan Joint work with Yan GUO, Chanwoo KIM and Daniela TONON International Conference on Nonlinear Analysis: Boundary Phenomena for Evolutionnary PDE Academia Sinica December 21, 214 Outline

More information

Motion Estimation (I) Ce Liu Microsoft Research New England

Motion Estimation (I) Ce Liu Microsoft Research New England Motion Estimation (I) Ce Liu celiu@microsoft.com Microsoft Research New England We live in a moving world Perceiving, understanding and predicting motion is an important part of our daily lives Motion

More information

Chapter Two: Numerical Methods for Elliptic PDEs. 1 Finite Difference Methods for Elliptic PDEs

Chapter Two: Numerical Methods for Elliptic PDEs. 1 Finite Difference Methods for Elliptic PDEs Chapter Two: Numerical Methods for Elliptic PDEs Finite Difference Methods for Elliptic PDEs.. Finite difference scheme. We consider a simple example u := subject to Dirichlet boundary conditions ( ) u

More information

Mechanical Translational Systems

Mechanical Translational Systems QUESTION 1 For the system in Figure 1.1, the springs are at their free lengths when the mass displacements are zero. Complete the following: Figure 1.1 QUESTION 2 For the system in Figure 2.1, the mass

More information

Hydro-elastic Wagner impact using variational inequalities

Hydro-elastic Wagner impact using variational inequalities Hydro-elastic Wagner impact using variational inequalities Thomas GAZZOLA, Alexander KOROBKIN, Šime MALENICA Introduction A simple model of water impact has been introduced by Wagner [6]. This model is

More information

Surveying Free Energy Landscapes: Applications to Continuum Soft Matter Systems

Surveying Free Energy Landscapes: Applications to Continuum Soft Matter Systems Surveying Free Energy Landscapes: Applications to Continuum Soft Matter Systems Halim Kusumaatmaja Department of Physics, University of Durham Acknowledgement David Wales (Cambridge) Discussions on various

More information

Weighted Minimal Surfaces and Discrete Weighted Minimal Surfaces

Weighted Minimal Surfaces and Discrete Weighted Minimal Surfaces Weighted Minimal Surfaces and Discrete Weighted Minimal Surfaces Qin Zhang a,b, Guoliang Xu a, a LSEC, Institute of Computational Mathematics, Academy of Mathematics and System Science, Chinese Academy

More information

Lecture 9 Approximations of Laplace s Equation, Finite Element Method. Mathématiques appliquées (MATH0504-1) B. Dewals, C.

Lecture 9 Approximations of Laplace s Equation, Finite Element Method. Mathématiques appliquées (MATH0504-1) B. Dewals, C. Lecture 9 Approximations of Laplace s Equation, Finite Element Method Mathématiques appliquées (MATH54-1) B. Dewals, C. Geuzaine V1.2 23/11/218 1 Learning objectives of this lecture Apply the finite difference

More information

Numerical Methods of Applied Mathematics -- II Spring 2009

Numerical Methods of Applied Mathematics -- II Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 18.336 Numerical Methods of Applied Mathematics -- II Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

More information

Title. Statistical behaviour of optical vortex fields. F. Stef Roux. CSIR National Laser Centre, South Africa

Title. Statistical behaviour of optical vortex fields. F. Stef Roux. CSIR National Laser Centre, South Africa . p.1/37 Title Statistical behaviour of optical vortex fields F. Stef Roux CSIR National Laser Centre, South Africa Colloquium presented at School of Physics National University of Ireland Galway, Ireland

More information

Multivariate Statistical Analysis of Deformation Momenta Relating Anatomical Shape to Neuropsychological Measures

Multivariate Statistical Analysis of Deformation Momenta Relating Anatomical Shape to Neuropsychological Measures Multivariate Statistical Analysis of Deformation Momenta Relating Anatomical Shape to Neuropsychological Measures Nikhil Singh, Tom Fletcher, Sam Preston, Linh Ha, J. Stephen Marron, Michael Wiener, and

More information

Problem " Â F y = 0. ) R A + 2R B + R C = 200 kn ) 2R A + 2R B = 200 kn [using symmetry R A = R C ] ) R A + R B = 100 kn

Problem  Â F y = 0. ) R A + 2R B + R C = 200 kn ) 2R A + 2R B = 200 kn [using symmetry R A = R C ] ) R A + R B = 100 kn Problem 0. Three cables are attached as shown. Determine the reactions in the supports. Assume R B as redundant. Also, L AD L CD cos 60 m m. uation of uilibrium: + " Â F y 0 ) R A cos 60 + R B + R C cos

More information

Multi-scale digital image correlation of strain localization

Multi-scale digital image correlation of strain localization Multi-scale digital image correlation of strain localization J. Marty a, J. Réthoré a, A. Combescure a a. Laboratoire de Mécanique des Contacts et des Strcutures, INSA Lyon / UMR CNRS 5259 2 Avenue des

More information

Simultaneous Segmentation and Object Behavior Classification of Image Sequences

Simultaneous Segmentation and Object Behavior Classification of Image Sequences Simultaneous Segmentation and Object Behavior Classification of Image Sequences Laura Gui 1, Jean-Philippe Thiran 1 and Nikos Paragios 1 Signal Processing Institute (ITS), Ecole Polytechnique Fédérale

More information

Simulation of free surface fluids in incompressible dynamique

Simulation of free surface fluids in incompressible dynamique Simulation of free surface fluids in incompressible dynamique Dena Kazerani INRIA Paris Supervised by Pascal Frey at Laboratoire Jacques-Louis Lions-UPMC Workshop on Numerical Modeling of Liquid-Vapor

More information

Before you begin read these instructions carefully.

Before you begin read these instructions carefully. MATHEMATICAL TRIPOS Part IB Friday, 8 June, 2012 1:30 pm to 4:30 pm PAPER 4 Before you begin read these instructions carefully. Each question in Section II carries twice the number of marks of each question

More information

Generalized Newton-Type Method for Energy Formulations in Image Processing

Generalized Newton-Type Method for Energy Formulations in Image Processing Generalized Newton-Type Method for Energy Formulations in Image Processing Leah Bar and Guillermo Sapiro Department of Electrical and Computer Engineering University of Minnesota Outline Optimization in

More information

A unifying model for fluid flow and elastic solid deformation: a novel approach for fluid-structure interaction and wave propagation

A unifying model for fluid flow and elastic solid deformation: a novel approach for fluid-structure interaction and wave propagation A unifying model for fluid flow and elastic solid deformation: a novel approach for fluid-structure interaction and wave propagation S. Bordère a and J.-P. Caltagirone b a. CNRS, Univ. Bordeaux, ICMCB,

More information

Nonlinear Diffusion. Journal Club Presentation. Xiaowei Zhou

Nonlinear Diffusion. Journal Club Presentation. Xiaowei Zhou 1 / 41 Journal Club Presentation Xiaowei Zhou Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology 2009-12-11 2 / 41 Outline 1 Motivation Diffusion process

More information

Modelling of interfaces and free boundaries

Modelling of interfaces and free boundaries University of Regensburg Regensburg, March 2009 Outline 1 Introduction 2 Obstacle problems 3 Stefan problem 4 Shape optimization Introduction What is a free boundary problem? Solve a partial differential

More information

Aircraft Structures Kirchhoff-Love Plates

Aircraft Structures Kirchhoff-Love Plates University of Liège erospace & Mechanical Engineering ircraft Structures Kirchhoff-Love Plates Ludovic Noels Computational & Multiscale Mechanics of Materials CM3 http://www.ltas-cm3.ulg.ac.be/ Chemin

More information

Mathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio ( )

Mathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio ( ) Mathematical Methods for Neurosciences. ENS - Master MVA Paris 6 - Master Maths-Bio (2014-2015) Etienne Tanré - Olivier Faugeras INRIA - Team Tosca November 26th, 2014 E. Tanré (INRIA - Team Tosca) Mathematical

More information

Intrinsic Bayesian Active Contours for Extraction of Object Boundaries in Images

Intrinsic Bayesian Active Contours for Extraction of Object Boundaries in Images Noname manuscript No. (will be inserted by the editor) Intrinsic Bayesian Active Contours for Extraction of Object Boundaries in Images Shantanu H. Joshi 1 and Anuj Srivastava 2 1 Department of Electrical

More information

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that 1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral

More information

A Pseudo-distance for Shape Priors in Level Set Segmentation

A Pseudo-distance for Shape Priors in Level Set Segmentation O. Faugeras, N. Paragios (Eds.), 2nd IEEE Workshop on Variational, Geometric and Level Set Methods in Computer Vision, Nice, 2003. A Pseudo-distance for Shape Priors in Level Set Segmentation Daniel Cremers

More information

Convexity and Non-Convexity in Partitioning and Interpolation Problems

Convexity and Non-Convexity in Partitioning and Interpolation Problems Convexity and Non-Convexity in Partitioning and Interpolation Problems Jan Lellmann CIA/DAMTP, University of Cambridge Joint work with: C. Schnörr, F. Lenzen (IPA/HCI, University of Heidelberg), F. Widmann,

More information

Level Set Solution of an Inverse Electromagnetic Casting Problem using Topological Analysis

Level Set Solution of an Inverse Electromagnetic Casting Problem using Topological Analysis Level Set Solution of an Inverse Electromagnetic Casting Problem using Topological Analysis A. Canelas 1, A.A. Novotny 2 and J.R.Roche 3 1 Instituto de Estructuras y Transporte, Facultad de Ingeniería,

More information

1 First and second variational formulas for area

1 First and second variational formulas for area 1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on

More information

A Generative Model Based Approach to Motion Segmentation

A Generative Model Based Approach to Motion Segmentation A Generative Model Based Approach to Motion Segmentation Daniel Cremers 1 and Alan Yuille 2 1 Department of Computer Science University of California at Los Angeles 2 Department of Statistics and Psychology

More information

Omnidirectional Free Space Detection using Contour Active with Riemannian Metric

Omnidirectional Free Space Detection using Contour Active with Riemannian Metric Omnidirectional Free Space Detection using Contour Active with Riemannian Metric Jamal Mirhisse LABO MATSI, ESTO, B.P 73,University Mohammed I Oujda, Maroc. M'Barek Nasri LABO MATSI, ESTO, B.P 73,University

More information

Mathematical Tripos Part IA Lent Term Example Sheet 1. Calculate its tangent vector dr/du at each point and hence find its total length.

Mathematical Tripos Part IA Lent Term Example Sheet 1. Calculate its tangent vector dr/du at each point and hence find its total length. Mathematical Tripos Part IA Lent Term 205 ector Calculus Prof B C Allanach Example Sheet Sketch the curve in the plane given parametrically by r(u) = ( x(u), y(u) ) = ( a cos 3 u, a sin 3 u ) with 0 u

More information

Lecture No 1 Introduction to Diffusion equations The heat equat

Lecture No 1 Introduction to Diffusion equations The heat equat Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and

More information

Micro-meso draping modelling of non-crimp fabrics

Micro-meso draping modelling of non-crimp fabrics Micro-meso draping modelling of non-crimp fabrics Oleksandr Vorobiov 1, Dr. Th. Bischoff 1, Dr. A. Tulke 1 1 FTA Forschungsgesellschaft für Textiltechnik mbh 1 Introduction Non-crimp fabrics (NCFs) are

More information

A few words about the MTW tensor

A few words about the MTW tensor A few words about the Ma-Trudinger-Wang tensor Université Nice - Sophia Antipolis & Institut Universitaire de France Salah Baouendi Memorial Conference (Tunis, March 2014) The Ma-Trudinger-Wang tensor

More information

CRITERIA FOR SELECTION OF FEM MODELS.

CRITERIA FOR SELECTION OF FEM MODELS. CRITERIA FOR SELECTION OF FEM MODELS. Prof. P. C.Vasani,Applied Mechanics Department, L. D. College of Engineering,Ahmedabad- 380015 Ph.(079) 7486320 [R] E-mail:pcv-im@eth.net 1. Criteria for Convergence.

More information

Optimized Conformal Parameterization of Cortical Surfaces Using Shape Based Matching of Landmark Curves

Optimized Conformal Parameterization of Cortical Surfaces Using Shape Based Matching of Landmark Curves Optimized Conformal Parameterization of Cortical Surfaces Using Shape Based Matching of Landmark Curves Lok Ming Lui 1, Sheshadri Thiruvenkadam 1, Yalin Wang 1,2,TonyChan 1, and Paul Thompson 2 1 Department

More information

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Awards Screening Test. February 25, Time Allowed: 90 Minutes Maximum Marks: 40

NATIONAL BOARD FOR HIGHER MATHEMATICS. Research Awards Screening Test. February 25, Time Allowed: 90 Minutes Maximum Marks: 40 NATIONAL BOARD FOR HIGHER MATHEMATICS Research Awards Screening Test February 25, 2006 Time Allowed: 90 Minutes Maximum Marks: 40 Please read, carefully, the instructions on the following page before you

More information

Some improvements of Xfem for cracked domains

Some improvements of Xfem for cracked domains Some improvements of Xfem for cracked domains E. Chahine 1, P. Laborde 2, J. Pommier 1, Y. Renard 3 and M. Salaün 4 (1) INSA Toulouse, laboratoire MIP, CNRS UMR 5640, Complexe scientifique de Rangueil,

More information

CS 468. Differential Geometry for Computer Science. Lecture 17 Surface Deformation

CS 468. Differential Geometry for Computer Science. Lecture 17 Surface Deformation CS 468 Differential Geometry for Computer Science Lecture 17 Surface Deformation Outline Fundamental theorem of surface geometry. Some terminology: embeddings, isometries, deformations. Curvature flows

More information

ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES

ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used

More information

Stability of Functionally Graded Plate under In-Plane Time-Dependent Compression

Stability of Functionally Graded Plate under In-Plane Time-Dependent Compression Mechanics and Mechanical Engineering Vol. 7, No. 2 (2004) 5 12 c Technical University of Lodz Stability of Functionally Graded Plate under In-Plane Time-Dependent Compression Andrzej TYLIKOWSKI Warsaw

More information

Variational methods for restoration of phase or orientation data

Variational methods for restoration of phase or orientation data Variational methods for restoration of phase or orientation data Martin Storath joint works with Laurent Demaret, Michael Unser, Andreas Weinmann Image Analysis and Learning Group Universität Heidelberg

More information

Mumford-Shah Level-Set Ideas for Problems in Medical Imaging Paris Dauphine 2005

Mumford-Shah Level-Set Ideas for Problems in Medical Imaging Paris Dauphine 2005 1/26 Mumford-Shah Level-Set Ideas for Problems in Medical Imaging Paris Dauphine 2005 Wolfgang Ring, Marc Droske, Ronny Ramlau Institut für Mathematik, Universität Graz General Mumford-Shah like 2/26 functionals

More information

minimize x subject to (x 2)(x 4) u,

minimize x subject to (x 2)(x 4) u, Math 6366/6367: Optimization and Variational Methods Sample Preliminary Exam Questions 1. Suppose that f : [, L] R is a C 2 -function with f () on (, L) and that you have explicit formulae for

More information

Industrial Geometry. Forschungsschwerpunkt S92.

Industrial Geometry. Forschungsschwerpunkt S92. Forschungsschwerpunkt S92 Industrial Geometry http://www.ig.jku.at INDUSTRIAL GEOMETRY FSP Report No. 4 Combined evolution of level sets and B-spline curves for imaging M. Fuchs, B. Jüttler, O. Scherzer

More information

PAPER 71 COSMOLOGY. Attempt THREE questions There are seven questions in total The questions carry equal weight

PAPER 71 COSMOLOGY. Attempt THREE questions There are seven questions in total The questions carry equal weight MATHEMATICAL TRIPOS Part III Friday 31 May 00 9 to 1 PAPER 71 COSMOLOGY Attempt THREE questions There are seven questions in total The questions carry equal weight You may make free use of the information

More information

2008 by authors and 2008 Springer Science+Business Media

2008 by authors and 2008 Springer Science+Business Media Antti H. Niemi, Harri Hakula, and Juhani Pitkäranta. 28. Point load on a shell. In: Karl Kunisch, Günther Of, and Olaf Steinbach (editors). Numerical Mathematics and Advanced Applications. Proceedings

More information

A Nonparametric Statistical Method for Image Segmentation Using Information Theory and Curve Evolution

A Nonparametric Statistical Method for Image Segmentation Using Information Theory and Curve Evolution SUBMITTED TO IEEE TRANSACTIONS ON IMAGE PROCESSING 1 A Nonparametric Statistical Method for Image Segmentation Using Information Theory and Curve Evolution Junmo Kim, John W. Fisher III, Anthony Yezzi,

More information

Distance to curves and surfaces in the Heisenberg group

Distance to curves and surfaces in the Heisenberg group Distance to curves and surfaces in the Heisenberg group Università di Bologna 3 giugno 2012 Survey based on... Fausto Ferrari, N.A. Metric normal and distance function in the Heisenberg group, Math.Z.

More information

STRUCTURAL OPTIMIZATION BY THE LEVEL SET METHOD

STRUCTURAL OPTIMIZATION BY THE LEVEL SET METHOD Shape optimization 1 G. Allaire STRUCTURAL OPTIMIZATION BY THE LEVEL SET METHOD G. ALLAIRE CMAP, Ecole Polytechnique with F. JOUVE and A.-M. TOADER 1. Introduction 2. Setting of the problem 3. Shape differentiation

More information

II. DIFFERENTIABLE MANIFOLDS. Washington Mio CENTER FOR APPLIED VISION AND IMAGING SCIENCES

II. DIFFERENTIABLE MANIFOLDS. Washington Mio CENTER FOR APPLIED VISION AND IMAGING SCIENCES II. DIFFERENTIABLE MANIFOLDS Washington Mio Anuj Srivastava and Xiuwen Liu (Illustrations by D. Badlyans) CENTER FOR APPLIED VISION AND IMAGING SCIENCES Florida State University WHY MANIFOLDS? Non-linearity

More information

Lagrangian for Central Potentials

Lagrangian for Central Potentials Physics 411 Lecture 2 Lagrangian for Central Potentials Lecture 2 Physics 411 Classical Mechanics II August 29th 2007 Here we will review the Lagrange formulation in preparation for the study of the central

More information

William P. Thurston. The Geometry and Topology of Three-Manifolds

William P. Thurston. The Geometry and Topology of Three-Manifolds William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed

More information

Discrete Dirac Mechanics and Discrete Dirac Geometry

Discrete Dirac Mechanics and Discrete Dirac Geometry Discrete Dirac Mechanics and Discrete Dirac Geometry Melvin Leok Mathematics, University of California, San Diego Joint work with Anthony Bloch and Tomoki Ohsawa Geometric Numerical Integration Workshop,

More information

Instabilities and Dynamic Rupture in a Frictional Interface

Instabilities and Dynamic Rupture in a Frictional Interface Instabilities and Dynamic Rupture in a Frictional Interface Laurent BAILLET LGIT (Laboratoire de Géophysique Interne et Tectonophysique) Grenoble France laurent.baillet@ujf-grenoble.fr http://www-lgit.obs.ujf-grenoble.fr/users/lbaillet/

More information

SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 2013

SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 2013 SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 03 Problem (). This problem is perhaps too hard for an actual exam, but very instructional, and simpler problems using these ideas will be on the

More information

. D CR Nomenclature D 1

. D CR Nomenclature D 1 . D CR Nomenclature D 1 Appendix D: CR NOMENCLATURE D 2 The notation used by different investigators working in CR formulations has not coalesced, since the topic is in flux. This Appendix identifies the

More information

MATH 332: Vector Analysis Summer 2005 Homework

MATH 332: Vector Analysis Summer 2005 Homework MATH 332, (Vector Analysis), Summer 2005: Homework 1 Instructor: Ivan Avramidi MATH 332: Vector Analysis Summer 2005 Homework Set 1. (Scalar Product, Equation of a Plane, Vector Product) Sections: 1.9,

More information

Probabilistic Graphical Models Lecture Notes Fall 2009

Probabilistic Graphical Models Lecture Notes Fall 2009 Probabilistic Graphical Models Lecture Notes Fall 2009 October 28, 2009 Byoung-Tak Zhang School of omputer Science and Engineering & ognitive Science, Brain Science, and Bioinformatics Seoul National University

More information

A MULTISCALE APPROACH IN TOPOLOGY OPTIMIZATION

A MULTISCALE APPROACH IN TOPOLOGY OPTIMIZATION 1 A MULTISCALE APPROACH IN TOPOLOGY OPTIMIZATION Grégoire ALLAIRE CMAP, Ecole Polytechnique The most recent results were obtained in collaboration with F. de Gournay, F. Jouve, O. Pantz, A.-M. Toader.

More information

Information geometry for bivariate distribution control

Information geometry for bivariate distribution control Information geometry for bivariate distribution control C.T.J.Dodson + Hong Wang Mathematics + Control Systems Centre, University of Manchester Institute of Science and Technology Optimal control of stochastic

More information

Before you begin read these instructions carefully.

Before you begin read these instructions carefully. MATHEMATICAL TRIPOS Part IB Thursday, 9 June, 2011 9:00 am to 12:00 pm PAPER 3 Before you begin read these instructions carefully. Each question in Section II carries twice the number of marks of each

More information

Microlocal analysis and inverse problems Lecture 4 : Uniqueness results in admissible geometries

Microlocal analysis and inverse problems Lecture 4 : Uniqueness results in admissible geometries Microlocal analysis and inverse problems Lecture 4 : Uniqueness results in admissible geometries David Dos Santos Ferreira LAGA Université de Paris 13 Wednesday May 18 Instituto de Ciencias Matemáticas,

More information

Numerical Approximation of Phase Field Models

Numerical Approximation of Phase Field Models Numerical Approximation of Phase Field Models Lecture 2: Allen Cahn and Cahn Hilliard Equations with Smooth Potentials Robert Nürnberg Department of Mathematics Imperial College London TUM Summer School

More information

Complex Dynamic Systems: Qualitative vs Quantitative analysis

Complex Dynamic Systems: Qualitative vs Quantitative analysis Complex Dynamic Systems: Qualitative vs Quantitative analysis Complex Dynamic Systems Chiara Mocenni Department of Information Engineering and Mathematics University of Siena (mocenni@diism.unisi.it) Dynamic

More information

Finite Difference Solution of the Heat Equation

Finite Difference Solution of the Heat Equation Finite Difference Solution of the Heat Equation Adam Powell 22.091 March 13 15, 2002 In example 4.3 (p. 10) of his lecture notes for March 11, Rodolfo Rosales gives the constant-density heat equation as:

More information

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.

More information

Medical Image Analysis

Medical Image Analysis Medical Image Analysis CS 593 / 791 Computer Science and Electrical Engineering Dept. West Virginia University 23rd January 2006 Outline 1 Recap 2 Edge Enhancement 3 Experimental Results 4 The rest of

More information

Physics 451/551 Theoretical Mechanics. G. A. Krafft Old Dominion University Jefferson Lab Lecture 18

Physics 451/551 Theoretical Mechanics. G. A. Krafft Old Dominion University Jefferson Lab Lecture 18 Physics 451/551 Theoretical Mechanics G. A. Krafft Old Dominion University Jefferson Lab Lecture 18 Theoretical Mechanics Fall 18 Properties of Sound Sound Waves Requires medium for propagation Mainly

More information

Übungen zu RT2 SS (4) Show that (any) contraction of a (p, q) - tensor results in a (p 1, q 1) - tensor.

Übungen zu RT2 SS (4) Show that (any) contraction of a (p, q) - tensor results in a (p 1, q 1) - tensor. Übungen zu RT2 SS 2010 (1) Show that the tensor field g µν (x) = η µν is invariant under Poincaré transformations, i.e. x µ x µ = L µ νx ν + c µ, where L µ ν is a constant matrix subject to L µ ρl ν ση

More information

Maxwell s equations in Carnot groups

Maxwell s equations in Carnot groups Maxwell s equations in Carnot groups B. Franchi (U. Bologna) INDAM Meeting on Geometric Control and sub-riemannian Geometry Cortona, May 21-25, 2012 in honor of Andrey Agrachev s 60th birthday Researches

More information

The Awesome Averaging Power of Heat. Heat in Geometry

The Awesome Averaging Power of Heat. Heat in Geometry The Awesome Averaging Power of Heat in Geometry exemplified by the curve shortening flow PUMS lecture 17 October 2012 1 The Heat Equation 2 The Curve Shortening Flow 3 Proof of Grayson s Theorem 4 Postscript

More information

Controllability of linear PDEs (I): The wave equation

Controllability of linear PDEs (I): The wave equation Controllability of linear PDEs (I): The wave equation M. González-Burgos IMUS, Universidad de Sevilla Doc Course, Course 2, Sevilla, 2018 Contents 1 Introduction. Statement of the problem 2 Distributed

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 20, 2015 (Day 1)

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 20, 2015 (Day 1) Tuesday January 20, 2015 (Day 1) 1. (AG) Let C P 2 be a smooth plane curve of degree d. (a) Let K C be the canonical bundle of C. For what integer n is it the case that K C = OC (n)? (b) Prove that if

More information

Exact Solutions of the Einstein Equations

Exact Solutions of the Einstein Equations Notes from phz 6607, Special and General Relativity University of Florida, Fall 2004, Detweiler Exact Solutions of the Einstein Equations These notes are not a substitute in any manner for class lectures.

More information

Part 1 Introduction Degenerate Diffusion and Free-boundaries

Part 1 Introduction Degenerate Diffusion and Free-boundaries Part 1 Introduction Degenerate Diffusion and Free-boundaries Columbia University De Giorgi Center - Pisa June 2012 Introduction We will discuss, in these lectures, certain geometric and analytical aspects

More information

Reduced order modelling for Crash Simulation

Reduced order modelling for Crash Simulation Reduced order modelling for Crash Simulation Fatima Daim ESI Group 28 th january 2016 Fatima Daim (ESI Group) ROM Crash Simulation 28 th january 2016 1 / 50 High Fidelity Model (HFM) and Model Order Reduction

More information

A consistent dynamic finite element formulation for a pipe using Euler parameters

A consistent dynamic finite element formulation for a pipe using Euler parameters 111 A consistent dynamic finite element formulation for a pipe using Euler parameters Ara Arabyan and Yaqun Jiang Department of Aerospace and Mechanical Engineering, University of Arizona, Tucson, AZ 85721,

More information

MATH DIFFERENTIAL GEOMETRY. Contents

MATH DIFFERENTIAL GEOMETRY. Contents MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL

More information

Chapter 4. COSMOLOGICAL PERTURBATION THEORY

Chapter 4. COSMOLOGICAL PERTURBATION THEORY Chapter 4. COSMOLOGICAL PERTURBATION THEORY 4.1. NEWTONIAN PERTURBATION THEORY Newtonian gravity is an adequate description on small scales (< H 1 ) and for non-relativistic matter (CDM + baryons after

More information

Math 4263 Homework Set 1

Math 4263 Homework Set 1 Homework Set 1 1. Solve the following PDE/BVP 2. Solve the following PDE/BVP 2u t + 3u x = 0 u (x, 0) = sin (x) u x + e x u y = 0 u (0, y) = y 2 3. (a) Find the curves γ : t (x (t), y (t)) such that that

More information