Extended Kalman filtering for MR-thermometry guided high intensity focused ultrasound using the bio heat transfer equation | IEEE Conference Publication | IEEE Xplore