Learning safe neural network controllers with barrier certificates
Zhao, Hengjun, Zeng, Xia, Chen, Taolue, Liu, Zhiming, Woodcock, Jim
Published in Formal aspects of computing (01.06.2021)
Published in Formal aspects of computing (01.06.2021)
Get full text
Journal Article
Significant changes in soil microbial community structure and metabolic function after Mikania micrantha invasion
Zhao, Panpan, Liu, Biying, Zhao, Hengjun, Lei, Zhengyan, Zhou, Ting
Published in Scientific reports (20.01.2023)
Published in Scientific reports (20.01.2023)
Get full text
Journal Article
Multi-focus image fusion based on the neighbor distance
Zhao, Hengjun, Shang, Zhaowei, Tang, Yuan Yan, Fang, Bin
Published in Pattern recognition (01.03.2013)
Published in Pattern recognition (01.03.2013)
Get full text
Journal Article
Combination of radiofrequency ablation and sequential cellular immunotherapy improves progression‐free survival for patients with hepatocellular carcinoma
Cui, Jiuwei, Wang, Nanya, Zhao, Hengjun, Jin, Haofan, Wang, Guanjun, Niu, Chao, Terunuma, Hiroshi, He, Hua, Li, Wei
Published in International journal of cancer (15.01.2014)
Published in International journal of cancer (15.01.2014)
Get full text
Journal Article
The Mitogen-Activated Protein Kinase Kinase VdPbs2 of Verticillium dahliae Regulates Microsclerotia Formation, Stress Response, and Plant Infection
Tian, Longyan, Wang, Yonglin, Yu, Jun, Xiong, Dianguang, Zhao, Hengjun, Tian, Chengming
Published in Frontiers in microbiology (27.09.2016)
Published in Frontiers in microbiology (27.09.2016)
Get full text
Journal Article
Up-regulation of FGF15/19 signaling promotes hepatocellular carcinoma in the background of fatty liver
Cui, Guozhen, Martin, Robert C, Jin, Hang, Liu, Xingkai, Pandit, Harshul, Zhao, Hengjun, Cai, Lu, Zhang, Ping, Li, Wei, Li, Yan
Published in Journal of experimental & clinical cancer research (04.07.2018)
Published in Journal of experimental & clinical cancer research (04.07.2018)
Get full text
Journal Article
Mangiferin Attenuated Diethynitrosamine-Induced Hepatocellular Carcinoma in Sprague-Dawley Rats via Alteration of Oxidative Stress and Apoptotic Pathway
Yang, Guang, Shang, Xiao, Cui, Guozhen, Zhao, Lingling, Zhao, Hengjun, Wang, Nanya
Published in Journal of environmental pathology, toxicology and oncology (2019)
Published in Journal of environmental pathology, toxicology and oncology (2019)
Get more information
Journal Article
Corrigendum to “Dual Effects of Cellular Immunotherapy in Inhibition of Virus Replication and Prolongation of Survival in HCV-Positive Hepatocellular Carcinoma Patients”
Qian, Lei, Wang, Nanya, Tian, Huimin, Jin, Haofan, Zhao, Hengjun, Niu, Chao, He, Hua, Ge, Tingwen, Han, Wei, Hu, Jifan, Li, Dan, Han, Fujun, Xu, Jianting, Ding, Xiao, Chen, Jingtao, Li, Wei, Cui, Jiuwei
Published in Journal of Immunology Research (16.07.2022)
Published in Journal of Immunology Research (16.07.2022)
Get full text
Journal Article
A safe and efficient process for the preparation of difluoromethane in continuous flow
Shen, Tao, Ge, Xin, Zhao, Hengjun, Xu, Zhixiong, Tong, Shaofeng, Zhou, Shaodong, Qian, Chao, Chen, Xinzhi
Published in Chinese journal of chemical engineering (01.07.2020)
Published in Chinese journal of chemical engineering (01.07.2020)
Get full text
Journal Article
DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS
Liu, Jiang, Xu, Ming, Zhan, Naijun, Zhao, Hengjun
Published in Journal of systems science and complexity (01.12.2014)
Published in Journal of systems science and complexity (01.12.2014)
Get full text
Journal Article
Dual Effects of Cellular Immunotherapy in Inhibition of Virus Replication and Prolongation of Survival in HCV-Positive Hepatocellular Carcinoma Patients
Han, Wei, Hu, Jifan, Han, Fujun, Xu, Jianting, Ding, Xiao, Chen, Jingtao, Li, Wei, Cui, Jiuwei, Ge, Tingwen, He, Hua, Niu, Chao, Zhao, Hengjun, Jin, Haofan, Tian, Huimin, Wang, Nanya, Qian, Lei, Li, Dan
Published in Journal of Immunology Research (01.01.2016)
Published in Journal of Immunology Research (01.01.2016)
Get full text
Journal Article
A no-reference image sharpness estimation based on expectation of wavelet transform coefficients
Hengjun Zhao, Bin Fang, Yuan Yan Tang
Published in 2013 IEEE International Conference on Image Processing (01.09.2013)
Published in 2013 IEEE International Conference on Image Processing (01.09.2013)
Get full text
Conference Proceeding
Computing semi-algebraic invariants for polynomial dynamical systems
Liu, Jiang, Zhan, Naijun, Zhao, Hengjun
Published in 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT) (09.10.2011)
Published in 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT) (09.10.2011)
Get full text
Conference Proceeding
Visual saliency estimation using support value transform
Weibin Yang, Bin Fang, Yuan Yan Tang, Zhaowei Shang, Hengjun Zhao
Published in 2012 19th IEEE International Conference on Image Processing (01.09.2012)
Published in 2012 19th IEEE International Conference on Image Processing (01.09.2012)
Get full text
Conference Proceeding
DESIGN AND DEVELOPMENT OF HUMAN COMPUTER INTERFACE USING ELECTROOCULOGRAM WITH DEEP LEARNING
Teng, Geer, He, Yue, Zhao, Hengjun, Liu, Dunhu, Xiao, Jin, Ramkumar, S.
Published in Artificial intelligence in medicine (01.01.2020)
Published in Artificial intelligence in medicine (01.01.2020)
Get full text
Journal Article