Login / Signup
Qingyan Zeng
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Neural Network
Grid Workflow
Specification Languages
Rule Induction
Top Venues
J. Comput. Methods Sci. Eng.
Int. J. Agric. Environ. Inf. Syst.
</>
Publications
</>
Jian Chen
,
Xiaohua Chen
,
Qingyan Zeng
,
Ishbir Singh
,
Amit Sharma
Internet of Things-Based Agricultural Mechanization Using Neural Network Extreme Learning on Rough Set.
Int. J. Agric. Environ. Inf. Syst.
12 (2) (2021)
Weiqing Wan
,
Yongqing Yu
,
Qingyan Zeng
,
Zhicheng Wen
Checking the consistency of Object-Z formal specification based on theorem proof.
J. Comput. Methods Sci. Eng.
20 (1) (2020)