Mathematical model for ice wall interactions within a level set method. (2016)