Chengwu Liu

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 5

Top Topics

Automated Theorem Proving

Top Venues

J. Comput. Methods Sci. Eng.

Comput. Math. Methods Medicine

Publications

Zirui Liu, Fenghao Dong, Chengwu Liu, Xiangwei Deng, Tong Yang, Yikai Zhao, Jizhou Li, Bin Cui, Gong Zhang
WavingSketch: an unbiased and generic sketch for finding top-k items in data streams. VLDB J. 33 (5) (2024)
Chengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun Liu
FIMO: A Challenge Formal Dataset for Automated Theorem Proving. CoRR (2023)
Zhongsheng Chen, Hao Sheng, Lianying Liao, Chengwu Liu, Yeping Xiong
Deep Learning for Compressed Sensing-Based Blade Vibration Reconstruction From Sub-Sampled Tip-Timing Signals. IEEE Access 11 (2023)
Chengwu Liu, Ming Wu, Ping Wu, Zhiliang Zhu
Optimization of cogging torque in permanent magnet motors based on parameter sensitivity and Kriging model. J. Comput. Methods Sci. Eng. 21 (6) (2021)
Chengwu Liu, Haitao Ren, Chunyan Wan, Jianlin Ma
Comparison of the Therapeutic Effects of Tension Band with Cannulated Screw and Tension Band with Kirschner Wire on Patella Fracture. Comput. Math. Methods Medicine 2020 (2020)