Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Sturm-Tarski Theorem.. Arch. Formal Proofs, (2014)Multilingual Mathematical Autoformalization., , and . CoRR, (2023)A large-scale multimodal dataset of human speech recognition., , , , , , , , and . CoRR, (2023)Spatially variant biases considered self-supervised depth estimation based on laparoscopic videos., , , , , and . Comput. methods Biomech. Biomed. Eng. Imaging Vis., 10 (3): 274-282 (2022)Performance Analysis of Adaptive RIS-Assisted Clustering Strategies in Downlink Communication Systems., , , , , , and . IEEE Internet Things J., 10 (5): 4520-4530 (March 2023)MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures., , , , , and . IEEE Trans. Aerosp. Electron. Syst., 60 (1): 157-167 (February 2024)Exploiting WiFi Channel State Information for Residential Healthcare Informatics., , , , , and . IEEE Commun. Mag., 56 (5): 130-137 (2018)A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network., , , and . IEEE Trans. Geosci. Remote. Sens., (2023)FMNet: Latent Feature-Wise Mapping Network for Cleaning Up Noisy Micro-Doppler Spectrogram., , , , , and . IEEE Trans. Geosci. Remote. Sens., (2022)Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem., and . CoRR, (2018)