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

Academic Journal of Computing & Information Science

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: 85 | Views: 2615

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: 67 | Views: 2415

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: 171 | Views: 2351

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: 92 | Views: 2483

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: 61 | Views: 2398

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: 56 | Views: 2393

Analysis of Intensive Learning and Supervised Learning

Qiu Jing

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

DOI: 10.25236/AJCIS.010008 | Downloads: 96 | Views: 2399

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: 58 | Views: 2839

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: 44 | Views: 2443

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: 59 | Views: 2621

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: 105 | Views: 3026

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

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: 69 | Views: 2760