X. Pennec With contributions from V. Arsigny, N. Ayache, J. - - PowerPoint PPT Presentation

x pennec
SMART_READER_LITE
LIVE PREVIEW

X. Pennec With contributions from V. Arsigny, N. Ayache, J. - - PowerPoint PPT Presentation

X. Pennec With contributions from V. Arsigny, N. Ayache, J. Boisvert, P. Fillard, et al. Statistical Computing on Riemannian manifolds From Riemannian Geometry to Computational Anatomy September 18, 2006 Mathematics and Image Analysis 2006


slide-1
SLIDE 1

September 18, 2006 Mathematics and Image Analysis 2006 1

Statistical Computing on Riemannian manifolds

From Riemannian Geometry to Computational Anatomy

With contributions from V. Arsigny, N. Ayache, J. Boisvert,

  • P. Fillard, et al.
  • X. Pennec
slide-2
SLIDE 2

September 18, 2006 Mathematics and Image Analysis 2006 2

Standard Medical Image Analysis

Methodological / algorithmically axes

Registration Segmentation Image Analysis/Quantification

Measures are geometric and noisy

Feature extracted from images Registration = determine a transformations Diffusion tensor imaging

We need:

Statistiques A stable computing framework

slide-3
SLIDE 3

September 18, 2006 Mathematics and Image Analysis 2006 3

Historical examples of geometrical features

Transformations

  • Rigid, Affine, locally affine, families of deformations

Geometric features

  • Lines, oriented points…
  • Extremal points: semi-oriented frames

How to deal with noise consistently on these features?

slide-4
SLIDE 4

September 18, 2006 Mathematics and Image Analysis 2006 4

MR Image Initial US Registered US

Per-operative registration of MR/US images

Performance Evaluation: statistics on transformations

slide-5
SLIDE 5

September 18, 2006 Mathematics and Image Analysis 2006 5

Interpolation, filtering of tensor images

Raw Anisotropic smoothing Computing on Manifold-valued images

slide-6
SLIDE 6

September 18, 2006 Mathematics and Image Analysis 2006 6

Modeling and Analysis of the Human Anatomy

Estimate representative / average organ anatomies Model organ development across time Establish normal variability To detect and classify of pathologies from structural deviations To adapt generic (atlas-based) to patients-specific models

Statistical analysis on (and of) manifolds

Computational Anatomy

Computational Anatomy, an emerging discipline, P. Thompson, M. Miller, NeuroImage special issue 2004 Mathematical Foundations of Computational Anatomy, X. Pennec and S. Joshi, MICCAI workshop, 2006

slide-7
SLIDE 7

September 18, 2006 Mathematics and Image Analysis 2006 7

Overview

The geometric computational framework

(Geodesically complete) Riemannian manifolds

Statistical tools on pointwise features

Mean, Covariance, Parametric distributions / tests Application examples on rigid body transformations

Manifold-valued images: Tensor Computing

Interpolation, filtering, diffusion PDEs Diffusion tensor imaging

Metric choices for Computational Neuroanatomy

Morphometry of sulcal lines on the brain Statistics of deformations for non-linear registration

slide-8
SLIDE 8

September 18, 2006 Mathematics and Image Analysis 2006 8

Riemannian Manifolds: geometrical tools

Riemannian metric :

Dot product on tangent space Speed, length of a curve Distance and geodesics

Closed form for simple metrics/manifolds Optimization for more complex

Exponential chart (Normal coord. syst.) :

Development in tangent space along geodesics Geodesics = straight lines Distance = Euclidean Star shape domain limited by the cut-locus Covers all the manifold if geodesically complete

slide-9
SLIDE 9

September 18, 2006 Mathematics and Image Analysis 2006 9

Computing on Riemannian manifolds

Riemannian manifold Euclidean space Operation

) ( t

t t

CΣ ∇ − Σ = Σ+ ε

ε

) ( log y xy

x

=

x y xy − =

xy x y + =

x y y x dist − = ) , (

x

xy y x dist = ) , (

) ( exp xy y

x

=

)) ( ( exp

t t

C

t

Σ ∇ − = Σ

Σ +

ε

ε

Subtraction Addition Distance Gradient descent

slide-10
SLIDE 10

September 18, 2006 Mathematics and Image Analysis 2006 11

Overview

The geometric computational framework

(Geodesically complete) Riemannian manifolds

Statistical tools on pointwise features

Mean, Covariance, Parametric distributions / tests

Application examples on rigid body transformations

Manifold-valued images: Tensor Computing

Interpolation, filtering, diffusion PDEs Diffusion tensor imaging

Metric choices for Computational Neuroanatomy

Morphometry of sulcal lines on the brain Statistics of deformations for non-linear registration

slide-11
SLIDE 11

September 18, 2006 Mathematics and Image Analysis 2006 12

Statistical tools on Riemannian manifolds

Metric -> Volume form (measure) Probability density functions Expectation of a function φ from M into R :

Definition : Variance : Information (neg. entropy):

) x ( M d ) M( ). ( ) ( , y d y p X x P X

X

= ∈ ∀

x

[ ] ∫

=

M

M ) ( ). ( . E y d y p (y) (x)

x

φ φ

[ ] ∫

= =

M

M ) ( ). ( . ) , dist( ) x , dist( E ) (

2 2 2

z d z p z y y y

x x

σ

[ ] [ ]

)) ( log( E I x x

x

p =

slide-12
SLIDE 12

September 18, 2006 Mathematics and Image Analysis 2006 13

Statistical tools: Moments

Frechet / Karcher mean minimize the variance Geodesic marching Covariance et higher moments

[ ]

x y E with ) ( exp x

x 1

= =

+

v v

t

t

( )( )

[ ]

( )( )

= = Σ

M

M ) ( ). ( . x . x x . x E

T T

z d z p z z

x xx

x x [ ]

[ ]

( )

[ ]

[ ]

) ( ) ( ). ( . x x E ) , dist( E argmin

2

= = = ⇒ =

C P z d z p y

y M M

M

x

x x x x Ε

[ Pennec, JMIV06, RR-5093, NSIP’99 ]

slide-13
SLIDE 13

September 18, 2006 Mathematics and Image Analysis 2006 15

Distributions for parametric tests

Uniform density:

maximal entropy knowing X

Generalization of the Gaussian density:

Stochastic heat kernel p(x,y,t) [complex time dependency] Wrapped Gaussian [Infinite series difficult to compute] Maximal entropy knowing the mean and the covariance

Mahalanobis D2 distance / test:

Any distribution: Gaussian:

( ) ( )

⎟ ⎠ ⎞ ⎜ ⎝ ⎛ = 2 / x . . x exp . ) (

T

x Γ x k y N

) Vol( / ) ( Ind ) ( X z z p

X

=

x

( )

( )

( )

( )

r O k

n

/ 1 . ) det( . 2

3 2 / 1 2 /

σ ε σ π + + =

− −

Σ

( ) ( )

r O / Ric

3 1 ) 1 (

σ ε σ + + − =

Σ Γ

y x . . y x ) y (

) 1 ( 2 −

Σ =

xx x t

μ

[ ]

n = ) ( E

2 x x

μ

( )

r O

n

/ ) ( ) (

3 2 2

σ ε σ χ μ + + ∝ x

x

[ Pennec, JMIV06, NSIP’99 ]

slide-14
SLIDE 14

September 18, 2006 Mathematics and Image Analysis 2006 16

Gaussian on the circle

Exponential chart: Gaussian: truncated standard Gaussian [ . ; . ] r r r x π π θ − ∈ =

standard Gaussian (Ricci curvature → 0) uniform pdf with (compact manifolds) Dirac

: ∞ → r : ∞ → γ : → γ 3 / ) . (

2 2

r π σ =

slide-15
SLIDE 15

September 18, 2006 Mathematics and Image Analysis 2006 17

Overview

The geometric computational framework Statistical tools on pointwise features

Mean, Covariance, Parametric distributions / tests Application examples on rigid body transformations

Manifold-valued images: Tensor Computing

Interpolation, filtering, diffusion PDEs Diffusion tensor imaging

Metric choices for Computational Neuroanatomy

Morphometry of sulcal lines on the brain Statistics of deformations for non-linear registration

slide-16
SLIDE 16

September 18, 2006 Mathematics and Image Analysis 2006 20

Validation of the error prediction

[ X. Pennec et al., Int. J. Comp. Vis. 25(3) 1997, MICCAI 1998 ]

Comparing two transformations and their Covariance matrix :

Mean: 6, Var: 12 KS test

2 6 2 1 2

) , ( χ μ ≈ T T

Bias estimation: (chemical shift, susceptibility effects)

  • (not significantly different from the identity)
  • (significantly different from the identity)

Inter-echo with bias corrected: , KS test OK

6

2 ≈

μ

Intra-echo: , KS test OK

6

2 ≈

μ

Inter-echo: , KS test failed, Bias !

50

2 >

μ deg 06 . =

rot

σ mm 2 . =

trans

σ

slide-17
SLIDE 17

September 18, 2006 Mathematics and Image Analysis 2006 23

Liver puncture guidance using augmented reality

3D (CT) / 2D (Video) registration

2D-3D EM-ICP on fiducial markers Certified accuracy in real time

Validation

Bronze standard (no gold-standard) Phantom in the operating room (2 mm) 10 Patient (passive mode): < 5mm (apnea)

PhD S. Nicolau, MICCAI05, ECCV04, ISMAR04, IS4TM03, Comp. Anim. & Virtual World 2005, IEEE TMI (soumis)

  • S. Nicolau, IRCAD / INRIA
  • S. Nicolau, IRCAD / INRIA
slide-18
SLIDE 18

September 18, 2006 Mathematics and Image Analysis 2006 24

Statistical Analysis of the Scoliotic Spine

Database

  • 307 Scoliotic patients from the Montreal’s

Sainte-Justine Hospital.

  • 3D Geometry from multi-planar X-rays

Mean

  • Main translation variability is axial (growth?)
  • Main rotation var. around anterior-posterior axis

PCA of the Covariance

  • 4 first variation modes have clinical meaning

[ J. Boisvert, X. Pennec, N. Ayache, H. Labelle, F. Cheriet,, ISBI’06 ]

slide-19
SLIDE 19

September 18, 2006 Mathematics and Image Analysis 2006 25

Statistical Analysis of the Scoliotic Spine

  • Mode 1: King’s class I or III
  • Mode 2: King’s class I, II, III
  • Mode 3: King’s class IV + V
  • Mode 4: King’s class V (+II)
slide-20
SLIDE 20

September 18, 2006 Mathematics and Image Analysis 2006 26

Overview

The geometric computational framework Statistical tools on pointwise features Manifold-valued images: Tensor Computing

Interpolation, filtering, diffusion PDEs

Diffusion tensor imaging

Metric choices for Computational Neuroanatomy

Morphometry of sulcal lines on the brain Statistics of deformations for non-linear registration

slide-21
SLIDE 21

September 18, 2006 Mathematics and Image Analysis 2006 27

Diffusion tensor imaging

Very noisy data Preprocessing steps

Filtering Regularization Robust estimation

Processing steps

Interpolation / extrapolation Statistical comparisons

Can we generalize scalar methods?

DTI Tensor field (slice of a 3D volume)

slide-22
SLIDE 22

September 18, 2006 Mathematics and Image Analysis 2006 28

Tensor computing

Tensors = space of positive definite matrices

Linear convex combinations are stable (mean, interpolation) More complex methods are not (null or negative eigenvalues)

(gradient descent, anisotropic filtering and diffusion)

Current methods for DTI regularization

Principle direction + eigenvalues [Poupon MICCAI 98, Coulon Media 04] Iso-spectral + eigenvalues [Tschumperlé PhD 02, Chef d’Hotel JMIV04] Choleski decomposition [Wang&Vemuri IPMI03, TMI04] Still an active field…

Riemannian geometric approaches

Statistics [Pennec PhD96, JMIV98, NSIP99, IJCV04, Fletcher CVMIA04] Space of Gaussian laws [Skovgaard84, Forstner99,Lenglet04] Geometric means [Moakher SIAM JMAP04, Batchelor MRM05] Several papers at ISBI’06

slide-23
SLIDE 23

September 18, 2006 Mathematics and Image Analysis 2006 29

Affine Invariant Metric on Tensors

Action of the Linear Group GLn Invariant distance Invariant metric

Usual scalar product at identity Geodesics Distance

( )

2 1 2 1 |

W W Tr W W

T def Id =

Id def

W W W W

2 2 / 1 1 2 / 1 2 1

, | ∗ Σ ∗ Σ =

− − Σ

) , ( ) , (

2 1 2 1

Σ Σ = Σ ∗ Σ ∗ dist A A dist

T

A A A . .Σ = Σ ∗

[ X Pennec, P.Fillard, N.Ayache, IJCV 66(1), Jan. 2006 / RR-5255, INRIA, 2004 ]

2 / 1 2 / 1 2 / 1 2 / 1

) . . exp( ) ( exp Σ Σ ΣΨ Σ Σ = ΣΨ

− − Σ

2 2 / 1 2 / 1 2

2

) . . log( | ) , (

L

dist

− − Σ

Σ Ψ Σ = ΣΨ ΣΨ = Ψ Σ

slide-24
SLIDE 24

September 18, 2006 Mathematics and Image Analysis 2006 30

Exponential and Logarithmic Maps

Geodesics

) exp( ) (

,

tW t

W Id

= Γ

M

ΣΨ Σ Ψ M TΣ

Σ

exp

Σ

log

Logarithmic Map : Exponential Map : 2 / 1 2 / 1 2 / 1 2 / 1

) . . exp( ) ( exp Σ Σ ΣΨ Σ Σ = ΣΨ

− − Σ 2 / 1 2 / 1 2 / 1 2 / 1

) . . log( ) ( log Σ Σ Ψ Σ Σ = Ψ = ΣΨ

− − Σ

2 2 / 1 2 / 1 2

2

) . . log( | ) , (

L

dist

− − Σ

Σ Ψ Σ = ΣΨ ΣΨ = Ψ Σ

slide-25
SLIDE 25

September 18, 2006 Mathematics and Image Analysis 2006 31

Tensor interpolation

Coefficients Riemannian metric

Geodesic walking in 1D

Σ Σ = Σ

Σ 2

) , ( ) ( min ) (

i i

dist x w x Weighted mean in general ) ( exp ) (

2 1

1

Σ Σ = Σ

Σ t

t

slide-26
SLIDE 26

September 18, 2006 Mathematics and Image Analysis 2006 34

Gaussian filtering: Gaussian weighted mean

=

Σ Σ − = Σ

n i i i

dist x x G x

1 2

) , ( ) ( min ) (

σ

Raw Coefficients σ=2 Riemann σ=2

slide-27
SLIDE 27

September 18, 2006 Mathematics and Image Analysis 2006 35

PDE for filtering and diffusion

Harmonic regularization

Gradient = manifold Laplacian Integration scheme = geodesic marching

Anisotropic regularization

Perona-Malik 90 / Gerig 92 Phi functions formalism

( ) ( )

( )

2 2 ) 1 ( 2

) ( ) ( ) ( u O u u x x x

u i i i i i

+ + Σ Σ = Σ ∂ Σ Σ ∂ − Σ ∂ = ΔΣ

∑ ∑ ∑

Ω Σ

Σ ∇ = Σ dx x C

x 2 ) (

) ( ) (

) ( 2 ) ( x x C ΔΣ − = ∇

( )

) )( ( exp ) (

) ( 1

x C x

x t

t

Σ ∇ − = Σ

Σ +

ε

slide-28
SLIDE 28

September 18, 2006 Mathematics and Image Analysis 2006 36

Anisotropic filtering

Initial Noisy Recovered

slide-29
SLIDE 29

September 18, 2006 Mathematics and Image Analysis 2006 37

Anisotropic filtering

Raw Riemann Gaussian Riemann anisotropic

( )

) / exp( ) ( with ) ( ) ( ) (

2 2 κ

t t w x x w x

u u u w

− = Σ Δ Σ ∂ = Σ Δ

slide-30
SLIDE 30

September 18, 2006 Mathematics and Image Analysis 2006 38

Log Euclidean Metric on Tensors

Exp/Log: global diffeomorphism Tensors/sym. matrices

Vector space structure carried from the tangent space to

the manifold

  • Log. product

Log scalar product Bi-invariant metric

Properties

Invariance by the action of similarity transformations only Very simple algorithmic framework

( ) ( ) ( )

2 1 2 1

log log exp Σ + Σ ≡ Σ ⊗ Σ

( ) ( )

α

α α Σ = Σ ≡ Σ

  • log

exp

( ) ( ) ( )

2 2 1 2 2 1

log log , Σ − Σ ≡ Σ Σ dist

[ Arsigny, Fillard, Pennec, Ayache, MICCAI 2005, T1, p.115-122 ]

slide-31
SLIDE 31

September 18, 2006 Mathematics and Image Analysis 2006 39

Log Euclidean vs Affine invariant

Means are geometric (vs arithmetic for Euclidean) Log Euclidean slightly more anisotropic Speedup ratio: 7 (aniso. filtering) to >50 (interp.)

Euclidean Affine invariant Log-Euclidean

slide-32
SLIDE 32

September 18, 2006 Mathematics and Image Analysis 2006 40

Log Euclidean vs Affine invariant

Real DTI images: anisotropic filtering

Difference is not significant Speedup of a factor 7 for Log-Euclidean

Original Euclidean Log-Euclidean

  • Diff. LE/affine (x100)
slide-33
SLIDE 33

September 18, 2006 Mathematics and Image Analysis 2006 41

Overview

The geometric computational framework Statistical tools on pointwise features Manifold-valued images: Tensor Computing

Interpolation, filtering, diffusion PDEs Diffusion tensor imaging

Metric choices for Computational Neuroanatomy

Morphometry of sulcal lines on the brain Statistics of deformations for non-linear registration

slide-34
SLIDE 34

September 18, 2006 Mathematics and Image Analysis 2006 42

Joint Estimation and regularization from DWI

ML Rician MAP Rician Standard Estimated tensors FA

Clinical DTI of the spinal cord

[ Fillard, Arsigny, Pennec, Ayache, RR-5607, June 2005 ]

( ) ( )

( )

2 ) ( 2

) ( ) ( exp ) (

x i i T i i

x x b S S C

Σ

Σ ∇ Φ + Σ − − = Σ

∫∑

g g

slide-35
SLIDE 35

September 18, 2006 Mathematics and Image Analysis 2006 43

Joint Estimation and regularization from DWI

Clinical DTI of the spinal cord: fiber tracking

MAP Rician Standard

slide-36
SLIDE 36

September 18, 2006 Mathematics and Image Analysis 2006 44

Impact on fibers tracking

Euclidean interpolation Riemannian interpolation + anisotropic filtering

From images to anatomy

Classify fibers into tracts (anatomo-functional architecture)? Compare fiber tracts between subjects?

slide-37
SLIDE 37

September 18, 2006 Mathematics and Image Analysis 2006 45

Towards a Statistical Atlas of Cardiac Fiber Structure

Database

  • 7 canine hearts from JHU
  • Anatomical MRI and DTI

Method

  • Normalization based on aMRIs
  • Log-Euclidean statistics of Tensors

Norm covariance Eigenvalues covariance (1st, 2nd, 3rd) Eigenvectors

  • rientation

covariance (around 1st, 2nd, 3rd)

[ J.M. Peyrat, M. Sermesant, H. Delingette, X. Pennec, C. Xu, E. McVeigh,

  • N. Ayache, INRIA RR , 2006, submitted to MICCAI’06 ]
slide-38
SLIDE 38

September 18, 2006 Mathematics and Image Analysis 2006 46

Computing on manifolds: a summary

The Riemannian metric easily gives

Intrinsic measure and probability density functions Expectation of a function from M into R (variance, entropy)

Integral or sum in M: minimize an intrinsic functional

Fréchet / Karcher mean: minimize the variance Filtering, convolution: weighted means Gaussian distribution: maximize the conditional entropy

The exponential chart corrects for the curvature at the reference point

Gradient descent: geodesic walking Covariance and higher order moments Laplace Beltrami for free

Which metric for which problem?

[ Pennec, NSIP’99, JMIV 2006, Pennec et al, IJCV 66(1) 2006]

slide-39
SLIDE 39

September 18, 2006 Mathematics and Image Analysis 2006 47

Overview

The geometric computational framework Statistical tools on pointwise features Manifold-valued images: Tensor Computing Metric choices for Computational Neuroanatomy

Morphometry of sulcal lines on the brain

Statistics of deformations for non-linear registration

slide-40
SLIDE 40

September 18, 2006 Mathematics and Image Analysis 2006 48

Hierarchy of anatomical manifolds

Landmarks [0D]: AC, PC (Talairach) Curves [1D]: crest lines, sulcal lines Surfaces [2D]: cortex, sulcal ribbons Images [3D functions]: VBM Transformations: rigid, multi-affine, diffeomorphisms [TBM]

Structural variability of the Cortex

slide-41
SLIDE 41

September 18, 2006 Mathematics and Image Analysis 2006 49

Morphometry of the Cortex from Sucal Lines

Covariance Tensors along Sylvius Fissure

Currently: 80 instances of 72 sulci About 1250 tensors Computation of the mean sulci: Alternate minimization of global variance

  • Dynamic programming to match the mean to instances
  • Gradient descent to compute the mean curve position

Extraction of the covariance tensors Collaborative work between Asclepios (INRIA) V. Arsigny, N. Ayache, P. Fillard, X. Pennec and LONI (UCLA) P. Thompson [Fillard et al IPMI05, LNCS 3565:27-38]

slide-42
SLIDE 42

September 18, 2006 Mathematics and Image Analysis 2006 51

Compressed Tensor Representation

Representative Tensors (250) Original Tensors (~ 1250) Reconstructed Tensors (1250) (Riemannian Interpolation)

slide-43
SLIDE 43

September 18, 2006 Mathematics and Image Analysis 2006 52

Extrapolation by Diffusion

Diffusion λ=0.01 Original tensors Diffusion λ=∞

∫ ∫ ∑

Ω Ω Σ =

Σ ∇ + Σ Σ − = Σ

2 ) ( 1 2

) ( 2 ) ), ( ( ) ( 2 1 ) (

x n i i i

x dx x dist x x G C λ

σ

( )

) )( ( exp ) (

) ( 1

x C x

x t

t

Σ ∇ − = Σ

Σ +

ε

) )( ( ) ( ) ( ) )( (

1

x x x x G x C

n i i i

ΔΣ − Σ Σ − − = Σ ∇

=

λ

σ

slide-44
SLIDE 44

September 18, 2006 Mathematics and Image Analysis 2006 54

Full Brain extrapolation of the variability

slide-45
SLIDE 45

September 18, 2006 Mathematics and Image Analysis 2006 55

Comparison with cortical surface variability

Consistent low variability in phylogenetical older areas

(a) superior frontal gyrus

Consistent high variability in highly specialized and lateralized areas

(b) temporo-parietal cortex

  • P. Thompson at al, HMIP, 2000

Average of 15 normal controls by non- linear registration of surfaces

  • P. Fillard et al, IPMI 05

Extrapolation of our model estimated from 98 subjects with 72 sulci.

slide-46
SLIDE 46

September 18, 2006 Mathematics and Image Analysis 2006 56

Quantitative Evaluation: Leave One Sulcus Out

Original tensors Leave one out reconstructions

Sylvian Fissure Superior Temporal Inferior Temporal

  • Remove data from one sulcus
  • Reconstruct from extrapolation of
  • thers
slide-47
SLIDE 47

September 18, 2006 Mathematics and Image Analysis 2006 57

Asymmetry Measures

w.r.t the mid-sagittal plane. w.r.t opposite (left-right) sulci Primary sensorimotor areas Broca’s speech area and Wernicke’s language comprehension area Lowest asymmetry Greatest asymmetry

2 2 / 1 ' 2 / 1 ' ' 2 '

2

) . . log( | ) , (

L

dist

− − Σ

Σ Σ Σ = ΣΣ ΣΣ = Σ Σ

slide-48
SLIDE 48

September 18, 2006 Mathematics and Image Analysis 2006 58

Overview

The geometric computational framework Statistical tools on pointwise features Manifold-valued images: Tensor Computing Metric choices for Computational Neuroanatomy

Morphometry of sulcal lines on the brain Statistics of deformations for non-linear registration

slide-49
SLIDE 49

September 18, 2006 Mathematics and Image Analysis 2006 59

Statistics on the deformation field

  • Objective: planning of conformal brain radiotherapy
  • 30 patients, 2 to 5 time points (P-Y Bondiau, MD, CAL, Nice)

[ Commowick, et al, MICCAI 2005, T2, p. 927-931]

Robust

Φ ∇ =

i i N

x x Def )) ) ( (log( abs ) (

1

Σ = ∑

i i N

x x ))) ( (log( abs ) (

1

slide-50
SLIDE 50

September 18, 2006 Mathematics and Image Analysis 2006 60

Introducing deformation statistics into RUNA

1

)) ( ( ) (

∑ + = x Id x D λ

Scalar statistical stiffness Tensor stat. stiffness (FA) Heuristic RUNA stiffness RUNA [R. Stefanescu et al, Med. Image Analysis 8(3), 2004]

non linear-registration with non-stationary regularization Scalar or tensor stiffness map

slide-51
SLIDE 51

September 18, 2006 Mathematics and Image Analysis 2006 61

Riemannian elasticity for Non-linear elastic regularization

Gradient descent Regularization

  • Local deformation measure: Cauchy Green strain tensor

Id for local rotations, small for local contractions, Large for local expansions

  • St Venant Kirchoff elastic energy

) ( Reg ) , Images ( Sim ) ( Φ + Φ = Φ C

) (

1 t t t

C Φ ∇ − Φ = Φ + κ

Φ ∇ Φ ∇ = Σ .

t

( )

( )

( )

2 2

Tr 2 ) ( Tr Reg I I − Σ + − Σ = Φ

λ μ [ Pennec, et al, MICCAI 2005, LNCS 3750:943-950] Problems

  • Elasticity is not symmetric
  • Statistics are not easy to include

Idea: Replace the Euclidean by the Log-Euclidean metric Statistics on strain tensors

  • Mean, covariance, Mahalanobis computed in Log-space
  • Isotropic Riemannian Elasticity

( )

2 2 2

) log( ) , ( dist ) ( Tr Σ = Σ → − Σ I I

LE

( ) ( )

Σ Σ = Σ ,2 d , d

( )

( ) ( )

− Σ − Σ = Φ

W W g

T

) log( Vect . Cov . ) log( Vect Re

1

( )

( )

( )

2 2 2 iso

) log( Tr ) log( Tr g Re Σ + Σ = Φ

λ

μ

slide-52
SLIDE 52

September 18, 2006 Mathematics and Image Analysis 2006 63

Conclusion : geometry and statistics

A Statistical computing framework on Riemannian manifolds

Mean, Covariance, statistical tests… Interpolation, diffusion, filtering… Which metric for which problem?

Important applications in Medical Imaging

Medical Image Analysis

Evaluation of registration performances Diffusion tensor imaging

Building models of living systems (spine, brain, heart…)

Noise models for real anatomical data

Physically grounded noise models for measurements Anatomically acceptable families of deformation metrics Spatial correlation between neighbors… and distant points … and statistics to measure and validate that!

slide-53
SLIDE 53

September 18, 2006 Mathematics and Image Analysis 2006 64

Challenges of Computational Anatomy

Computing on manifolds

Parametric families of metrics (models of the Green’s function) Topological changes Evolution: growth, pathologies

Build models from multiple sources

Curves, surfaces [cortex, sulcal ribbons] Volume variability [Voxel Based Morphometry, Riemannian elasticity] Diffusion tensor imaging [fibers, tracts, atlas]

Compare and combine statistics on anatomical manifolds

Compare information from landmarks, courves, surfaces Validate methods and models by consensus Integrative model (transformations ?)

Couple modeling and statistical learning

Statistical estimation of model’s parameters (anatomical + physiological) Use models as a prior for inter-subject registration / segmentation Need large database and distributed processing/algorithms (GRIDS)

slide-54
SLIDE 54

September 18, 2006 Mathematics and Image Analysis 2006 65

MFCA-2006: International Workshop on Mathematical Foundations of Computational Anatomy

Geometrical and Statistical Methods for Modelling Biological Shape Variability October 1st, Copenhagen, in conjunction with MICCAI’06 Goal is to foster interactions between geometry and statistics in non-linear image and surface registration in the context of computational anatomy with a special emphasis on theoretical developments. Chairs: Xavier Pennec (Asclepios, INRIA), Sarang Joshi (SCI, Univ Utah, USA)

Riemannian and group theoretical methods on non-linear transformation spaces Advanced statistics on deformations and shapes Metrics for computational anatomy Geometry and statistics of surfaces

www.miccai2006.dk –> Workshops -> MFCA06 www-sop.inria.fr/asclepios/events/MFCA06/

slide-55
SLIDE 55

September 18, 2006 Mathematics and Image Analysis 2006 66

Statistics on Manifolds

  • X. Pennec. Intrinsic Statistics on Riemannian Manifolds: Basic Tools for Geometric
  • Measurements. To appear in J. of Math. Imaging and Vision, Also as INRIA RR 5093, Jan. 2004

(and NSIP’99).

  • X. Pennec and N. Ayache. Uniform distribution, distance and expectation problems for

geometric features processing. J. of Mathematical Imaging and Vision, 9(1):49-67, July 1998 (and CVPR’96).

Tensor Computing

  • X. Pennec, P. Fillard, and Nicholas Ayache. A Riemannian Framework for Tensor Computing.
  • Int. Journal of Computer Vision 66(1), January 2006. Also as INRIA RR- 5255, July 2004
  • P. Fillard, V. Arsigny, X. Pennec, P. Thompson, and N. Ayache. Extrapolation of sparse tensor

fields: applications to the modeling of brain variability. Proc of IPMI'05, 2005. LNCS 3750, p. 27-38. 2005.

  • V. Arsigny, P. Fillard, X. Pennec, and N. Ayache. Fast and Simple Calculus on Tensors in the

Log-Euclidean Framework. Proc. of MICCAI'05, LNCS 3749, p.115-122. To appear in MRM, also as INRIA RR-5584, Mai 2005.

  • P. Fillard, V. Arsigny, X. Pennec, and N. Ayache. Joint Estimation and Smoothing of Clinical

DT-MRI with a Log-Euclidean Metric. ISBI’2006 and INRIA RR-5607, June 2005.

Applications in Computational Anatomy

  • X. Pennec, R. Stefanescu, V. Arsigny, P. Fillard, and N. Ayache. Riemannian Elasticity: A

statistical regularization framework for non-linear registration. Proc. of MICCAI'05, LNCS 3750, p.943-950, 2005.

  • J. Boisvert, X. Pennec, N. Ayache, H. Labelle and F. Cheriet. 3D Anatomical Assessment of the

Scoliotic Spine using Statistics on Lie Groups. ISBI’2006.

  • J.M. Peyrat, M. Sermesant , H. Delingette, X. Pennec, C. Xu, E. McVeigh, N. Ayache, Towards a

Statistical Atlas of Cardiac Fibre Structure, MICCAI’06.

References

[ Papers available at http://www-sop.inria.fr/asclepios/Biblio ]