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: 158 | Views: 5645

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: 116 | Views: 5185

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: 5000

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: 133 | Views: 5191

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

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: 104 | Views: 5125

Analysis of Intensive Learning and Supervised Learning

Qiu Jing

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

DOI: 10.25236/AJCIS.010008 | Downloads: 153 | Views: 5087

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: 5510

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: 112 | Views: 5119

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: 5398

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: 169 | Views: 6090

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: 191 | Views: 6573

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