Eric Kerfoot
Eric Kerfoot
在 kcl.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Verification of cardiac tissue electrophysiology simulators using an N-version benchmark
SA Niederer, E Kerfoot, AP Benson, MO Bernabeu, O Bernus, C Bradley, ...
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2011
1992011
An automatic service for the personalization of ventricular cardiac meshes
P Lamata, M Sinclair, E Kerfoot, A Lee, A Crozier, B Blazevic, S Land, ...
Journal of The Royal Society Interface 11 (91), 20131023, 2014
492014
Multiphysics Computational Modeling in
J Lee, A Cookson, I Roy, E Kerfoot, L Asner, G Vigueras, T Sochi, ...
SIAM Journal on Scientific Computing 38 (3), C150-C178, 2016
372016
Share and enjoy: anatomical models database—generating and sharing cardiovascular model data using web services
E Kerfoot, P Lamata, S Niederer, R Hose, J Spaan, N Smith
Medical & biological engineering & computing 51 (11), 1181-1190, 2013
252013
Non-invasive model-based assessment of passive left-ventricular myocardial stiffness in healthy subjects and in patients with non-ischemic dilated cardiomyopathy
M Hadjicharalambous, L Asner, R Chabiniok, E Sammut, J Wong, ...
Annals of biomedical engineering 45 (3), 605-618, 2017
222017
Eidolon: visualization and computational framework for multi-modal biomedical data analysis
E Kerfoot, L Fovargue, S Rivolo, W Shi, D Rueckert, D Nordsletten, J Lee, ...
International Conference on Medical Imaging and Augmented Reality, 425-437, 2016
152016
Deadlock freedom through object ownership
E Kerfoot, S McKeever, F Torshizi
142009
Pacing in proximity to scar during cardiac resynchronization therapy increases local dispersion of repolarization and susceptibility to ventricular arrhythmogenesis
CM Costa, A Neic, E Kerfoot, B Porter, B Sieniewicz, J Gould, B Sidhu, ...
Heart rhythm 16 (10), 1475-1483, 2019
112019
Left-ventricle quantification using residual U-Net
E Kerfoot, J Clough, I Oksuz, J Lee, AP King, JA Schnabel
International Workshop on Statistical Atlases and Computational Models of …, 2018
102018
Automated Model− based Verification of Object− Oriented Code
JS Ostroff, CW Wang, E Kerfoot, FA Torshizi
Microsoft Research MSR− TR− 2006− 117, 2006
102006
Automated CNN-based reconstruction of short-axis cardiac MR sequence from real-time image data
E Kerfoot, EP Anton, B Ruijsink, J Clough, AP King, JA Schnabel
Image Analysis for Moving Organ, Breast, and Thoracic Images, 32-41, 2018
42018
Myocardial strain computed at multiple spatial scales from tagged magnetic resonance imaging: Estimating cardiac biomarkers for CRT patients
M Sinclair, D Peressutti, E Puyol-Antón, W Bai, S Rivolo, J Webb, ...
Medical image analysis 43, 169-185, 2018
42018
Modeling Left Atrial Flow, Energy, Blood Heating Distribution in Response to Catheter Ablation Therapy
D Dillon-Murphy, D Marlevi, B Ruijsink, A Qureshi, H Chubb, E Kerfoot, ...
Frontiers in physiology 9, 1757, 2018
32018
Checking concurrent contracts with aspects
E Kerfoot, S McKeever
Proceedings of the 2010 ACM Symposium on Applied Computing, 2523-2530, 2010
32010
Maintaining invariants through object coupling mechanisms
E Kerfoot, S McKeever
32007
Synthesising Images and Labels Between MR Sequence Types with CycleGAN
E Kerfoot, E Puyol-Antón, B Ruijsink, R Ariga, E Zacur, P Lamata, ...
Domain Adaptation and Representation Transfer and Medical Image Learning …, 2019
22019
Pseudo-normal PET synthesis with generative adversarial networks for localising hypometabolism in epilepsies
SN Yaakub, CJ McGinnity, JR Clough, E Kerfoot, N Girard, E Guedj, ...
International Workshop on Simulation and Synthesis in Medical Imaging, 42-51, 2019
22019
Learning optimal spatial scales for cardiac strain analysis using a motion atlas
M Sinclair, D Peressutti, E Puyol-Antón, W Bai, D Nordsletten, ...
International Workshop on Statistical Atlases and Computational Models of …, 2016
22016
Accessible data curation and analytics for international-scale citizen science datasets
B Murray, E Kerfoot, MS Graham, CH Sudre, E Molteni, LS Canas, ...
arXiv preprint arXiv:2011.00867, 2020
12020
ES-Verify: A Tool for Automated Model-based Verification of Object-Oriented Code
JS Ostroff, CWJ Wang, FA Torshizi, E Kerfoot
Formal Methods, 2006
12006
系统目前无法执行此操作,请稍后再试。
文章 1–20