GPR as an effective tool for safety and glacier characterization: experiences and future development | IEEE Conference Publication | IEEE Xplore