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

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

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: 148 | Views: 1573

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: 73 | Views: 1689

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: 42 | Views: 1605

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: 34 | Views: 1595

Analysis of Intensive Learning and Supervised Learning

Qiu Jing

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

DOI: 10.25236/AJCIS.010008 | Downloads: 69 | Views: 1570

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: 36 | Views: 1910

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: 26 | Views: 1608

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: 40 | Views: 1813

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: 88 | Views: 2192

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

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: 49 | Views: 1872