Semi-classical Time-frequency Analysis and Applications