A combined algorithm for denoising GNSS-RTK positioning solutions with application to displacement monitoring of a super-high-rise building. (12th August 2021)