Cong He

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 18

Top Topics

Verification Method

Top Venues

Int. J. Prod. Res.

Comput. Informatics

BMC Medical Informatics Decis. Mak.

Publications

Shidong Zhang, Cong He, Zhenzhen Wan, Ning Shi, Bing Wang, Xiuling Liu, Dailun Hou
Diagnosis of pulmonary tuberculosis with 3D neural network based on multi-scale attention mechanism. Medical Biol. Eng. Comput. 62 (5) (2024)
Benhong Zhang, Cong He, Hao Xu, Xiang Bi
Dependent task offloading based on proactive replication. Int. J. Sens. Networks 45 (2) (2024)
Jinna Yu, Xin Kong, Dong Xie, Fei Zheng, Chao Wang, Dan Shi, Cong He, Xiaohong Li, Hongwei Xu, Shouwei Li, Xuzhu Chen
Multiparameter MRI-based radiomics nomogram for preoperative prediction of brain invasion in atypical meningioma:a multicentre study. BMC Medical Imaging 24 (1) (2024)
Fu-qiang Ma, Cong He, Hao-ran Yang, Zuo-wei Hu, He-rong Mao, Cun-yu Fan, Yu Qi, Ji-xian Zhang, Bo Xu
Interpretable machine-learning model for Predicting the Convalescent COVID-19 patients with pulmonary diffusing capacity impairment. BMC Medical Informatics Decis. Mak. 23 (1) (2023)
Zhijun Ding, Cong He, Shuo Li
EnPAC: Petri Net Model Checking for Linear Temporal Logic. CoRR (2023)
Yufan Yi, Yan Tian, Cong He, Yajing Fan, Xinli Hu, Yiping Xu
DBT: multimodal emotion recognition based on dual-branch transformer. J. Supercomput. 79 (8) (2023)
Zhijun Ding, Cong He, Shuo Li
EnPAC: Petri Net Model Checking for Linear Temporal Logic. ICNSC (2023)
Peng Xiong, Kunlin Li, Jieshuo Zhang, Cong He, Haiman Du, Jianli Yang, Xiaohua Cao, Zengguang Hou, Xiuling Liu
Localization of Myocardial Infarction From 2D-VCG Tensor With DSC-Net. IEEE Trans. Instrum. Meas. 72 (2023)
Zhijun Ding, Shuo Li, Cheng Chen, Cong He
Program Dependence Net and Its Slice for Verifying Linear Temporal Properties. CoRR (2023)
Cong He, Ming Liu, Peng Xiong, Jianli Yang, Haiman Du, Jinpeng Xu, Zengguang Hou, Xiuling Liu
Localization of myocardial infarction using a multi-branch weight sharing network based on 2-D vectorcardiogram. Eng. Appl. Artif. Intell. 116 (2022)
Dan Luo, Zailin Guan, Cong He, Yeming Gong, Lei Yue
Data-driven cloud simulation architecture for automated flexible production lines: application in real smart factories. Int. J. Prod. Res. 60 (12) (2022)
Yongqiang Zhang, Xiaoyue Chen, Cong He, Guangjun Xie
Energy-efficient multipliers using imprecise compressors for image multiplication. Int. J. Circuit Theory Appl. 50 (11) (2022)
Cong He, Zhijun Ding
More Efficient On-the-Fly Verification Methods of Colored Petri Nets. Comput. Informatics 40 (1) (2021)
Cong He, Zailin Guan, Guangyan Xu, Lei Yue, Saif Ullah
Scenario-based robust dominance criteria for multi-objective automated flexible transfer line balancing problem under uncertainty. Int. J. Prod. Res. 58 (2) (2020)
Jabir Mumtaz, Zailin Guan, Lei Yue, Li Zhang, Cong He
Hybrid spider monkey optimisation algorithm for multi-level planning and scheduling problems of assembly lines. Int. J. Prod. Res. 58 (20) (2020)
Di Wu, Hanlin Zhu, Yongxin Zhu, Victor Chang, Cong He, Ching-Hsien Hsu, Hui Wang, Songlin Feng, Li Tian, Zunkai Huang
Anomaly Detection Based on RBM-LSTM Neural Network for CPS in Advanced Driver Assistance System. ACM Trans. Cyber Phys. Syst. 4 (3) (2020)
Saif Ullah, Zailin Guan, Chuangjian Wang, Cong He, Lei Yue, Mirza Jahanzaib
Drum buffer rope-based heuristic for multi-level rolling horizon planning in mixed model production. Int. J. Prod. Res. 57 (12) (2019)
Cong He, Zailin Guan, Lei Yue, Saif Ullah
Set-partitioning-based heuristic for balancing and configuration of automated flexible machining line. Int. J. Prod. Res. 56 (9) (2018)
Cong He, Huiyun Mao, Lianwen Jin
Realistic Smile Expression Recognition Using Biologically Inspired Features. Australasian Conference on Artificial Intelligence (2011)
Yan Gao, Lianwen Jin, Cong He, Guibin Zhou
Handwriting Character Recognition as a Service: A New Handwriting Recognition System Based on Cloud Computing. ICDAR (2011)
Cong He, Han Tong Loh
Pattern-oriented associative rule-based patent classification. Expert Syst. Appl. 37 (3) (2010)
Cong He, Han Tong Loh
Grouping of TRIZ Inventive Principles to facilitate automatic patent classification. Expert Syst. Appl. 34 (1) (2008)