Welcome to Francis Academic Press
Academic Journal of Computing & Information Science | Francis Academic Francis

Academic Journal of Computing & Information Science

ISSN 2616-5775 (Print)
ISSN 3033-5205 (Online)

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: 155 | Views: 5620

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: 113 | Views: 5172

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: 221 | Views: 4987

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: 131 | Views: 5179

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: 109 | Views: 5090

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: 103 | Views: 5116

Analysis of Intensive Learning and Supervised Learning

Qiu Jing

Abstract | References | PDF | HTML | Pub. Date: Dec 19, 2018

DOI: 10.25236/AJCIS.010008 | Downloads: 151 | Views: 5073

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: 111 | Views: 5495

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: 110 | Views: 5097

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: 109 | Views: 5375

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: 168 | Views: 6077

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: 189 | Views: 6557

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: 108 | Views: 5473