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

A Formal Proof of Cauchy's Residue Theorem., and . ITP, volume 9807 of Lecture Notes in Computer Science, page 235-251. Springer, (2016)Human Activity Recognition With Commercial WiFi Signals., , , , , , and . IEEE Access, (2022)Unsupervised Doppler Radar Based Activity Recognition for e-Healthcare., , , , and . IEEE Access, (2021)Self-supervised depth estimation with uncertainty-weight joint loss function based on laparoscopic videos., , , , , and . Medical Imaging: Image-Guided Procedures, volume 12034 of SPIE Proceedings, SPIE, (2022)Autoformalization with Large Language Models., , , , , , and . NeurIPS, (2022)Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency., , , , , and . MICCAI (4), volume 13434 of Lecture Notes in Computer Science, page 467-477. Springer, (2022)IsarStep: a Benchmark for High-level Mathematical Reasoning., , , and . ICLR, OpenReview.net, (2021)Pi-NIC: Indoor Sensing Using Synchronized Off-The-Shelf Wireless Network Interface Cards and Raspberry Pis., , , , , , and . JC&S, page 1-6. IEEE, (2022)Opportunistic Doppler-Only Indoor Localization Via Passive Radar., , and . DASC/PiCom/DataCom/CyberSciTech, page 467-473. IEEE Computer Society, (2018)Automatic Road Condition Assessment by Using Point Laser Sensor., , and . IEEE SENSORS, page 1-4. IEEE, (2018)