C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Chengwu Liu
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Compressed Sensing
Parameter Space
Deep Learning
Automated Theorem Proving
Top Venues
J. Comput. Methods Sci. Eng.
CoRR
Comput. Math. Methods Medicine
IEEE Access
</>
Publications
</>
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)