TIDA-SR: A time-conditioned deformable attention network for DEM super-resolution in cloud-covered mountainous regions | Synapse