ISSN: 2616-5775 (Print)
A Survey on Formal Specification and Verification of System-Level Achievements in Industrial Circles
Feng Zhang, Wensheng Niu
Abstract | References | PDF | HTML | Pub. Date: Apr 8, 2019
DOI: 10.25236/AJCIS.010015 | Downloads: 75 | Views: 2197
Application of Beidou Navigation System in Middle School Geography Education
Xuan Zhou1, 2, Yong Zhang1, 2, *, Xin Zhou1, 2, Jianglou Deng1, 2 and Yunbo Xiang1, 3
Abstract | References | PDF | HTML | Pub. Date: Apr 8, 2019
DOI: 10.25236/AJCIS.010014 | Downloads: 58 | Views: 2019
A Two-Stage Fast Mode Decision Algorithm for Intra Prediction in HEVC
Shihua Xi*, Min Shi
Abstract | References | PDF | HTML | Pub. Date: Apr 8, 2019
DOI: 10.25236/AJCIS.010013 | Downloads: 163 | Views: 1950
Research on Data Storage of Archives Information Resource Sharing Platform
XianJie Bian, Xiaomei Lu
Abstract | References | PDF | HTML | Pub. Date: Dec 29, 2018
DOI: 10.25236/AJCIS.010012 | Downloads: 85 | Views: 2083
Binbin Li
Abstract | References | PDF | HTML | Pub. Date: Dec 26, 2018
DOI: 10.25236/AJCIS.010011 | Downloads: 47 | Views: 2318
Design and Research of Crime Analysis and Early Warning System
Dong CAI
Abstract | References | PDF | HTML | Pub. Date: Dec 21, 2018
DOI: 10.25236/AJCIS.010010 | Downloads: 52 | Views: 2004
Calculation of Hydraulic System of Movable Rigid Barrier Crawler Track
Wang Huaiyu, Song Jianfeng
Abstract | References | PDF | HTML | Pub. Date: Dec 20, 2018
DOI: 10.25236/AJCIS.010009 | Downloads: 43 | Views: 1961
Analysis of Intensive Learning and Supervised Learning
Qiu Jing
Abstract | References | PDF | HTML | Pub. Date: Dec 19, 2018
DOI: 10.25236/AJCIS.010008 | Downloads: 86 | Views: 1989
Research on Key Technologies of Multi-Computer Cooperative Virtual Training System Development
Xuping Wang, Chengwei Jiang and Xingwu Kang
Abstract | References | PDF | HTML | Pub. Date: Dec 17, 2018
DOI: 10.25236/AJCIS.010007 | Downloads: 49 | Views: 2384
Improvement of Algebraic Models of Abstract Pipelines for Formal Verification
Feng Zhang, Wensheng Niu
Abstract | References | PDF | HTML | Pub. Date: Dec 3, 2018
DOI: 10.25236/AJCIS.010006 | Downloads: 36 | Views: 2029
The Investigation of Application of Machine Learning into Multi-Level Network Load Forecasting
Yang Haolin
Abstract | References | PDF | HTML | Pub. Date: Nov 14, 2018
DOI: 10.25236/AJCIS.010005 | Downloads: 52 | Views: 2110
Analysis of Massive Unstructured Data Model Based on Clustering Algorithm
Yuxiang Cai, Lijun Cai, Ting Fu,Yong Ye, Sheng Zhou
Abstract | References | PDF | HTML | Pub. Date: Nov 13, 2018
DOI: 10.25236/AJCIS.010004 | Downloads: 51 | Views: 2204
Simulation Research of Manipulator Control System Based on Solidworks and Simmechanics
Yingjie Tang, Xinwen Li
Abstract | References | PDF | HTML | Pub. Date: Oct 29, 2018
DOI: 10.25236/AJCIS.010003 | Downloads: 99 | Views: 2630
Segmentation of Corn Leaf Disease Based on Fully Convolution Neural Network
Zhen Wang, Shanwen Zhang
Abstract | References | PDF | HTML | Pub. Date: Oct 22, 2018
DOI: 10.25236/AJCIS.010002 | Downloads: 123 | Views: 3020
Research on automatic coronary artery extraction algorithm based on CTA image and model guidance
Xinlei Chen1, Wei Zhong1 and Xiaogang Ren2
Abstract | References | PDF | HTML | Pub. Date: Sep 27, 2018
DOI: 10.25236/AJCIS.010001 | Downloads: 63 | Views: 2358