Mathematical Modeling and Validation of the Thermal Regimes in Tundra Soils, Barrow, Alaska | Synapse