Formal Analysis of Abnormal Excitation in Cardiac Tissue.
Pei YeRadu GrosuScott A. SmolkaEmilia EntchevaPublished in: CMSB (2008)
Keyphrases
- formal analysis
- tagged mri
- radio frequency
- mr imaging
- image analysis
- three dimensional
- heart wall
- cardiac motion
- formal methods
- mitral valve
- patient specific
- agent model
- magnetic resonance imaging
- soft tissue
- anomaly detection
- tissue deformation
- left ventricle
- echocardiographic images
- coronary artery
- medical images
- data model
- ban logic
- machine learning