Modeling permafrost distribution using remote sensing-derived vegetation data in the source region of the Datong River in the northwestern China | IEEE Conference Publication | IEEE Xplore