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

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

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: 190 | Views: 2625

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

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: 79 | Views: 2675

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: 74 | Views: 2737

Analysis of Intensive Learning and Supervised Learning

Qiu Jing

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

DOI: 10.25236/AJCIS.010008 | Downloads: 115 | Views: 2728

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: 78 | Views: 3207

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: 72 | Views: 2770

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: 82 | Views: 2983

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: 134 | Views: 3379

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: 154 | Views: 3877

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: 83 | Views: 3044