Text this: Forecast of thermokarst lakes dynamics in permafrost based on geo-simulation modeling and remote sensing data; CEUR Workshop Proceedings; Vol. 1839 : Mathematical and Information Technologies, MIT-2016