Inference of the bottom properties in shallow ice approximation models. (22nd September 2017)