Zheng Cheng

58 papers A 3B 3C 4Misc 2Journal 32Unranked 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Data-Driven Parametrization of All-Atom Force Fields for Organic Semiconductors.
J. Chem. Inf. Model.
Guojiang Zhao, Taiping Hu, Yingfeng Zhang, Hongshuai Wang, Lirong Wu, Shuqi Lu, Fengtianci Yang, Shangqian Chen, Zhifeng Gao, Xinyan Wang, Zheng Cheng
2025 J jnl
Deep dive into clarity: Leveraging signal-to-noise ratio awareness and knowledge distillation for underwater image enhancement.
Expert Syst. Appl.
Guodong Fan, Jingchun Zhou, Chengpei Xu, Zheng Cheng
2025 J jnl
Excavate the Potential of Single-Scale Features: A Decomposition Network for Water-Related Optical Image Enhancement.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Zheng Cheng, Wenri Wang, Guang-Yong Chen, Yakun Ju, Yihua Cheng, Zhisong Liu, Yanda Meng, Jintao Song
2025 J jnl
Excavate the potential of Single-Scale Features: A Decomposition Network for Water-Related Optical Image Enhancement.
CoRR
Zheng Cheng, Wenri Wang, Guangyong Chen, Yakun Ju, Yihua Cheng, Zhisong Liu, Yanda Meng, Jintao Song
2025 J jnl
FDCE-Net: Underwater Image Enhancement With Embedding Frequency and Dual Color Encoder.
IEEE Trans. Circuits Syst. Video Technol.
Zheng Cheng, Guodong Fan, Jingchun Zhou, Min Gan, C. L. Philip Chen
2025 J jnl
LLaVA-OneVision-1.5: Fully Open Framework for Democratized Multimodal Training.
CoRR
Xiang An, Yin Xie, Kaicheng Yang, Wenkang Zhang, Xiuwei Zhao, Zheng Cheng, Yirui Wang, Songcen Xu, Changrui Chen, Chunsheng Wu, Huajie Tan, Chunyuan Li, Jing Yang, Jie Yu, Xiyao Wang, Bin Qin, Yumeng Wang, Zizhen Yan, Ziyong Feng, Ziwei Liu, Bo Li, Jiankang Deng
2025 J jnl
MolReasoner: Toward Effective and Interpretable Reasoning for Molecular LLMs.
CoRR
Guojiang Zhao, Sihang Li, Zixiang Lu, Zheng Cheng, Haitao Lin, Lirong Wu, Hanchen Xia, Hengxing Cai, Wentao Guo, Hongshuai Wang, Mingjun Xu, Siyu Zhu, Guolin Ke, Linfeng Zhang, Zhifeng Gao
2025 — conf
SciAssess: Benchmarking LLM Proficiency in Scientific Literature Analysis.
NAACL (Findings)
Hengxing Cai, Xiaochen Cai, Junhan Chang, Sihang Li, Lin Yao, Changxin Wang, Zhifeng Gao, Hongshuai Wang, Yongge Li, Mujie Lin, Shuwen Yang, Jiankun Wang, Mingjun Xu, Jin Huang, Xi Fang, Jiaxi Zhuang, Yuqi Yin, Yaqi Li, Changhong Chen, Zheng Cheng, Zifeng Zhao, Linfeng Zhang, Guolin Ke
2024 J jnl
Aircraft Engine Fault Diagnosis Model Based on 1DCNN-BiLSTM with CBAM.
Sensors
Jiaju Wu, Linggang Kong, Shijia Kang, Hongfu Zuo, Yonghui Yang, Zheng Cheng
2024 J jnl
BTBAP: a model to predict job evolution using patent classification.
Int. J. Grid Util. Comput.
Ruiyi Cui, Deng Na, Zheng Cheng, Chen Xu
2024 J jnl
FDCE-Net: Underwater Image Enhancement with Embedding Frequency and Dual Color Encoder.
CoRR
Zheng Cheng, Guodong Fan, Jingchun Zhou, Min Gan, C. L. Philip Chen
2024 J jnl
FocusChat: Text-guided Long Video Understanding via Spatiotemporal Information Filtering.
CoRR
Zheng Cheng, Rendong Wang, Zhicheng Wang
2024 J jnl
Residential Demand Response Scheduling Under Hybrid Tariffs Using Novel Multi-Objective Chemical Reaction Optimization Algorithm.
IEEE Access
Zheng Cheng, Weidong Lei, Shibohua Zhang
2024 J jnl
Texture-aware and color-consistent learning for underwater image enhancement.
J. Vis. Commun. Image Represent.
Shuteng Hu, Zheng Cheng, Guodong Fan, Min Gan, C. L. Philip Chen
2023 — conf
Classification of New Energy Vehicle Patent Texts Based on BERT-BILSTM.
INCoS
Zheng Cheng, Deng Na, Ruiyi Cui, Hanhui Lin
2023 — conf
Evolution Analysis of R&D Jobs Based on Patents' Technology Efficacy Labeling.
EIDWT
Ruiyi Cui, Deng Na, Zheng Cheng
2023 J jnl
SEL-Net: A Self-Supervised Learning-Based Network for PolSAR Image Runway Region Detection.
Remote. Sens.
Ping Han, Yanwen Peng, Zheng Cheng, Dayu Liao, Binbin Han
2023 C conf
Verifying Event-B Hybrid Models Using Cyclone.
ABZ
Hao Wu, Zheng Cheng
2023 A conf
VisPhoto: Photography for People with Visual Impairments via Post-Production of Omnidirectional Camera Imaging.
ASSETS
Naoki Hirabayashi, Masakazu Iwamura, Zheng Cheng, Kazunori Minatani, Koichi Kise
2022 J jnl
Deep specification and proof preservation for the CoqTL transformation language.
Softw. Syst. Model.
Zheng Cheng, Massimo Tisi
2022 J jnl
Object-Oriented Unsupervised Classification of PolSAR Images Based on Image Block.
Remote. Sens.
Binbin Han, Ping Han, Zheng Cheng
2022 — conf
Research on IETM Data Publishing.
AIIPCC
Cuifang Zheng, Jiaju Wu, Zheng Cheng, Linggang Kong, Shijia Kang, Bin Luo
2022 J jnl
SEAN: A Simple and Efficient Attention Network for Aircraft Detection in SAR Images.
Remote. Sens.
Ping Han, Dayu Liao, Binbin Han, Zheng Cheng
2021 C conf
A Refinement Strategy for Hybrid System Design with Safety Constraints.
MEDI
Zheng Cheng, Dominique Méry
2021 J jnl
The Demand Supply Steady-State Process-Based Multi-Level Spare Parts Optimization.
Sensors
Jiaju Wu, Huijun Liu, Hongfu Zuo, Zheng Cheng, Yonghui Yang, Yongqi Ma, Linggang Kong
2021 J jnl
Transferable Multilevel Attention Neural Network for Accurate Prediction of Quantum Chemistry Properties via Multitask Learning.
J. Chem. Inf. Model.
Ziteng Liu, Liqiang Lin, Qingqing Jia, Zheng Cheng, Yanyan Jiang, Yanwen Guo, Jing Ma
2020 J jnl
A Novel Zero-Watermarking Scheme Based on Variable Parameter Chaotic Mapping in NSPD-DCT Domain.
IEEE Access
Rui Wang, Shaocheng Han, Peng Zhang, Meng Yue, Zheng Cheng, Yujin Zhang
2020 A conf
Certifying a rule-based model transformation engine for proof preservation.
MoDELS
Zheng Cheng, Massimo Tisi, Joachim Hotonnier
2020 J jnl
CoqTL: a Coq DSL for rule-based model transformation.
Softw. Syst. Model.
Zheng Cheng, Massimo Tisi, Rémi Douence
2020 B conf
Model-Driven Engineering of Monitoring Application for Sensors and Actuators Networks.
SEAA
Thibault Béziers la Fosse, Zheng Cheng, Jérôme Rocheteau, Jean-Marie Mottu
2020 C conf
Polsar Image Classification based on Optimal Feature and Convolution Neural Network.
IGARSS
Ping Han, Zetao Chen, Yishuang Wan, Zheng Cheng
2020 J jnl
Transformer Based Multi-Grained Attention Network for Aspect-Based Sentiment Analysis.
IEEE Access
Jiahui Sun, Ping Han, Zheng Cheng, Enming Wu, Wenqing Wang
2020 — conf
VisPhoto: Photography for People with Visual Impairment as Post-Production of Omni-Directional Camera Image.
CHI Extended Abstracts
Masakazu Iwamura, Naoki Hirabayashi, Zheng Cheng, Kazunori Minatani, Koichi Kise
2019 — conf
A Fast and Accurate Cluster Center Initialization Algorithm for PolSAR Superpixel Segmentation.
APSIPA
Binbin Han, Ping Han, Zheng Cheng
2019 — conf
Classification of Polarimetric SAR Image based on Improved Fuzzy Clustering.
APSIPA
Zheng Cheng, Ping Han, Binbin Han, Jiahui Sun
2019 J jnl
Intelligent Turning Tool Monitoring with Neural Network Adaptive Learning.
Complex.
Maohua Du, Peixin Wang, Junhua Wang, Zheng Cheng, Shensong Wang
2019 Misc conf
Removing Problems in Rule-Based Policies.
SEC
Zheng Cheng, Jean-Claude Royer, Massimo Tisi
2018 — conf
CoqTL: An Internal DSL for Model Transformation in Coq.
ICMT
Massimo Tisi, Zheng Cheng
2018 B conf
Efficiently Characterizing the Undefined Requests of a Rule-Based System.
IFM
Zheng Cheng, Jean-Claude Royer, Massimo Tisi
2018 J jnl
Formalised EMFTVM bytecode language for sound verification of model transformations.
Softw. Syst. Model.
Zheng Cheng, Rosemary Monahan, James F. Power
2018 J jnl
Multiobjective Optimization of Tool Geometric Parameters Using Genetic Algorithm.
Complex.
Maohua Du, Zheng Cheng, Yanfei Zhang, Shensong Wang
2018 J jnl
Slicing ATL model transformations for scalable deductive verification and fault localization.
Int. J. Softw. Tools Technol. Transf.
Zheng Cheng, Massimo Tisi
2017 B conf
A Deductive Approach for Fault Localization in ATL Model Transformations.
FASE
Zheng Cheng, Massimo Tisi
2017 A conf
Incremental Deductive Verification for Relational Model Transformations.
ICST
Zheng Cheng, Massimo Tisi
2016 J jnl
Design of a New Built-in UHF Multi-Frequency Antenna Sensor for Partial Discharge Detection in High-Voltage Switchgears.
Sensors
Xiaoxing Zhang, Zheng Cheng, Yingang Gui
2016 J jnl
High-speed real-time single-pixel microscopy based on Fourier sampling.
CoRR
Qiang Guo, Hongwei Chen, Yuxi Wang, Yong Guo, Peng Liu, Xiurui Zhu, Zheng Cheng, Zhenming Yu, Minghua Chen, Sigang Yang, Shizhong Xie
2016 — conf
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin.
ISoLA (1)
Zheng Cheng, Dominique Méry, Rosemary Monahan
2016 — conf
Towards incremental deductive verification for ATL.
PAME/VOLT@MoDELS
Zheng Cheng, Massimo Tisi
2015 — conf
A Sound Execution Semantics for ATL via Translation Validation - Research Paper.
ICMT
Zheng Cheng, Rosemary Monahan, James F. Power
2015 — conf
Verifying SimpleGT Transformations Using an Intermediate Verification Language.
VOLT@STAF
Zheng Cheng, Rosemary Monahan, James F. Power
2013 Misc conf
Characterization of Millimeter-Wave Active and Passive Components Embedded in Test Fixtures.
FIT
Ghulam Mehdi, Anyong Hu, Zheng Cheng, Jungang Miao, Abdul Mueed
2012 — conf
A Simple Complexity Measurement for Software Verification and Software Testing.
COMPARE
Zheng Cheng, Rosemary Monahan, James F. Power
2012 J jnl
Nondeterministic Algorithm for Breaking Diffie-Hellman Key Exchange using Self-Assembly of DNA Tiles.
Int. J. Comput. Commun. Control
Zheng Cheng
2010 J jnl
Channel estimation by modulated Lagrange interpolation.
Signal Process.
Zheng Cheng, Jon W. Mark
2010 C conf
Research of configuration management in complex equipment collaborative R&D.
CSCWD
Dingyong Tang, Zheng Cheng, Dongmei Xie, Yizhen Tao
2007 J jnl
Explicit Frequency Estimation and Tracking Using Modulated Lagrange Delay Filter.
Int. J. Wirel. Opt. Commun.
Zheng Cheng
2003 J jnl
A new time delay estimator based on ETDE.
IEEE Trans. Signal Process.
Zheng Cheng, Tjeng Thiang Tjhung
2002 — conf
A new algorithm for explicit time delay estimation.
DSP
Zheng Cheng, T. T. Tjhung