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

Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem., and . CoRR, (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)The Sturm-Tarski Theorem.. Arch. Formal Proofs, (2014)Low-cost vector map assisted navigation strategy for autonomous vehicle., , , , , , , and . APCCAS, page 536-539. IEEE, (2018)Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL., , and . J. Autom. Reason., 62 (1): 69-91 (2019)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)Exploiting WiFi Channel State Information for Residential Healthcare Informatics., , , , , and . IEEE Commun. Mag., 56 (5): 130-137 (2018)Performance Analysis of Adaptive RIS-Assisted Clustering Strategies in Downlink Communication Systems., , , , , , and . IEEE Internet Things J., 10 (5): 4520-4530 (March 2023)