Estimation of the state and parameters in ice sheet model using an ensemble Kalman filter and Observing System Simulation Experiments - Choi, Youngmin (The Cryosphere, 2025)