An enhanced EDBF framework: adaptive boundary constraint framework (ABCF) for improving multi-parent crossover algorithms von Zuo, Zhengkang

Volltext

GPM-Based Multitemporal Weighted Precipitation Analysis Using GPM_IMERGDF Product and ASTER DEM in EDBF Algorithm von Ullah, Sana, Zuo, Zhengkang, Zhang, Feizhou, Zheng, Jianghua, Huang, Shifeng, Lin, Yi, Iqbal, Imran, Sun, Yiyuan, Yang, Ming, Yan, Lei

Volltext

Trajectory Simulation and Prediction of COVID‐19 via Compound Natural Factor (CNF) Model in EDBF Algorithm von Zuo, Zhengkang, Ullah, Sana, Yan, Lei, Sun, Yiyuan, Peng, Fei, Jiang, Kaiwen, Zhao, Hongying

Volltext

Polar-vision 1 : A Novel Collinearity Equation of Perspective Projection in Polar Coordinate System von Zuo, Zhengkang, Zhang, Bin

Volltext

Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue von Huang, Qing, Li, Zishuai, Xing, Zhenchang, Zuo, Zhengkang, Peng, Xin, Xu, Xiwei, Lu, Qinghua

Volltext

Polar-vision1: A Novel Collinearity Equation of Perspective Projection in Polar Coordinate System von Zuo, Zhengkang, Zhang, Bin

Volltext

Specification transformation method for functional program generation based on partition-recursion refinement rule von Zuo, Zhengkang, Zeng, Zhicheng, Su, Wei, Huang, Qing, Ke, Yuhan, Liu, Zengxin, Wang, Changjing, Liang, Wei

Volltext

Modeling and Verification Methods for Spatio-Temporal Consistency of CPS in Uncertain Environments von Pan, Shuqi, Wang, Changjing, Xie, Wuping, Lu, Jiaxing, Huang, Qing, Zuo, Zhengkang

Volltext

ERoots: A three-dimensional dynamic growth model of rice roots coupled with soil von Yang, Le, Wu, Panpan, Zuo, Zhengkang, Long, Lan, Shi, Junlin, Liu, Yutang

Volltext

Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse von Huang, Qing, Liao, Dianshu, Xing, Zhenchang, Zuo, Zhengkang, Wang, Changjing, Xia, Xin

Volltext

Research on smart contract vulnerability detection method based on domain features of solidity contracts and attention mechanism von Wang, Changjing, Jiang, Huiwen, Wang, Yuxin, Huang, Qing, Zuo, Zhengkang

Volltext

1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application von Huang, Qing, Yuan, Zhiqiang, Xing, Zhenchang, Zuo, Zhengkang, Wang, Changjing, Xia, Xin

Volltext

Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus von ZUO, Zhengkang, HU, Ying, HUANG, Qing, WANG, Yuan, WANG, Changjing

Volltext

AFU-Net: A Novel U-Net Network for Rice Leaf Disease Segmentation von Yang, Le, Zhang, Huanhuan, Zuo, Zhengkang, Peng, Jun, Yu, Xiaoyun, Long, Huibin, Liao, Yuanjun

Volltext

Course Intelligent Brain Model Based on Crowd Intelligence von LIAO, Yunyan, HUANG, Qing, WANG, Changjing, ZUO, Zhengkang, LU, Jiaxing

Volltext

Empirical distribution-based framework for improving multi-parent crossover algorithms von Zuo, Zhengkang, Yan, Lei, Ullah, Sana, Sun, Yiyuan, Zhang, Ruihua, Zhao, Hongying

Volltext

Program Construction Method for Sequential Statistics Class Algorithm Based on Bidirectional Scanning Induction von ZUO, Zhengkang, WANG, Yuekun, LIANG, Zanyang, SU, Wei, HUANG, Qing, WANG, Yuan, WANG, Changjing

Volltext

Nonlinear Program Construction and Verification Method Based on Partition Recursion and Morgan's Refinement Rules von WANG, Changjing, CAO, Zhongxiong, YU, Chuling, WANG, Changchang, HUANG, Qing, ZUO, Zhengkang

Volltext

Program Derivation and Mechanized Verification of Imperative Dynamic Programming Algorithms von Zuo, Zhengkang, Sun, Huan, Wang, Changjing, You, Zhen, Huang, Qing, Wang, Changchang

Volltext

A Unified Strategy for Formal Derivation and Proof of Binary Tree Nonrecursive Algorithms von ZUO, Zhengkang, HUANG, Zhipeng, FANG, Yue, HUANG, Qing, WANG, Yuan, WANG, Changjing

Volltext