Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jian-xi PENG
An Improved POCTL Model Checking Algorithm Based on Preprocess Mechanism
DEStech Transactions on Computer Science and Engineering
Related publications
An Improved Model Based on Negative Selection Algorithm
DEStech Transactions on Social Science, Education and Human Science
An Improved Corner Detection Algorithm Based on Harris
Advanced Engineering Forum
Research on an Improved Grid Task Scheduling Model Algorithm
International Journal of Grid and Distributed Computing
Computer Science
Model Checking for Improved Adaptive Behaviour
An Improved Non-Negative Matrix Factorization Algorithm Based on Genetic Algorithm
An Improved Algorithm Research of Transit Signal Priority Based on Bi-Objective Optimization Model
An Improved LambdaMART Algorithm Based on the Matthew Effect
Mathematical Problems in Engineering
Mathematics
Engineering
An Improved Distance Heuristic Function for Directed Software Model Checking
An Improved Algorithm Based on Wellner’s Threshold Segmentation Method
Open Cybernetics and Systemics Journal
Control
Systems Engineering
Mathematics