Myocardial Infarct Segmentation From Magnetic Resonance Images for Personalized Modeling of Cardiac Electrophysiology | IEEE Journals & Magazine | IEEE Xplore