J. Chem. Inf. Comput. Sci.最新文献_第2页

Improving an AI-Based Algorithm to Automatically Generate Concept Maps 一种基于人工智能的概念图自动生成算法的改进

J. Chem. Inf. Comput. Sci. Pub Date : 2019-10-30 DOI: 10.5539/cis.v12n4p72

Sara Alomari, S. Abdullah

引用次数: 4

Model Checking of WebRTC Peer to Peer System WebRTC点对点系统的模型检验

J. Chem. Inf. Comput. Sci. Pub Date : 2019-10-22 DOI: 10.5539/cis.v12n4p56

A. Hamzaoui, Hicham Bensaid, A. En-Nouaary

{"title":"Model Checking of WebRTC Peer to Peer System","authors":"A. Hamzaoui, Hicham Bensaid, A. En-Nouaary","doi":"10.5539/cis.v12n4p56","DOIUrl":"https://doi.org/10.5539/cis.v12n4p56","url":null,"abstract":"The establishment of the multimedia session is crucial in the WebRTC architecture before media and data transmission. The preliminary bi-directional flow provides the network with all the information needed in order to control and manage the communication between end-users. This control includes the setup, management, and teardown of a session and the definition, and the modification of multiple features that will be enabled in the ongoing session. This is performed by a mechanism named Signaling. In this work, we will use the formal verification to increase confidence in our SDL model by checking the consistency and reliability of the WebRTC Peer to Peer system. The verification and validation are proved the most efficient tools to avoid errors and defects in the concurrent system designs. Indeed, by using model-checking techniques we will verify if the WebRTC system adheres to standards if it performs the selected functions in the correct manner. To achieve that, we will first translate the SDL model to an intermediate format IF that will be retranslated to a Promela Model. Second, using the SPIN model checker, we will verify the general correctness of the model before checking if the desired properties are satisfied using the Linear Temporal Logic (LTL).","PeriodicalId":14676,"journal":{"name":"J. Chem. Inf. Comput. Sci.","volume":"9 1","pages":"56-71"},"PeriodicalIF":0.0,"publicationDate":"2019-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74437639","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Research Intelligence (CRIS) and the Cloud: A Review 研究情报(CRIS)与云:综述

J. Chem. Inf. Comput. Sci. Pub Date : 2019-09-30 DOI: 10.5539/cis.v12n4p40

Otmane Azeroual, Joachim Schöpfel

引用次数: 0

The Theory Graph Modeling and Programming Systems from Module Elements to the Application Areas 从模块元素到应用领域的理论图建模与编程系统

J. Chem. Inf. Comput. Sci. Pub Date : 2019-09-24 DOI: 10.5539/cis.v12n4p20

E. Lavrischeva

引用次数: 0

Archiving and Document Management at Taibah University: A Case Study Taibah大学档案与文件管理:个案研究

J. Chem. Inf. Comput. Sci. Pub Date : 2019-09-24 DOI: 10.5539/cis.v12n4p11

J. Alokluk

引用次数: 0

A Predictive Framework of Speed Camera Locations for Road Safety 道路安全测速摄像机位置预测框架

J. Chem. Inf. Comput. Sci. Pub Date : 2019-07-30 DOI: 10.5539/cis.v12n3p92

Asmae Rhanizar, Z. E. Akkaoui

{"title":"A Predictive Framework of Speed Camera Locations for Road Safety","authors":"Asmae Rhanizar, Z. E. Akkaoui","doi":"10.5539/cis.v12n3p92","DOIUrl":"https://doi.org/10.5539/cis.v12n3p92","url":null,"abstract":"Road traffic crashes are a public health issue due to their terrible impact on individuals, communities, and countries. Studies affirmed that vehicle speed is a major contributor to crash likelihood and severity. At the same time, they identified Automated Speed Enforcement (ASE) systems, namely speed cameras, as a highly effective measure to reduce excessive and inappropriate speed, and thus improving road safety. However, identifying optimum sites for fixed speed camera placement stays an open issue in the literature, although it is a key factor that guarantees the efficiency of such ASE systems. This paper describes a predictive framework of speed camera locations using a classification algorithm that can predict, for each section of a given road network, its pertinence as a speed camera location. First, we identify a set of features as predictors of the classification algorithm, that we have argued their goodness through correlation tests. Second, for training our algorithm, data from road controlled sections, corresponding to existing speed cameras, is exploited. Each section class reflects the contribution level of the ASE system (good, neutral, or bad) to road safety. Third, as a proofof-concept, the framework has been implemented and deployed on the Moroccan road network. The results showed that Random Forest classifier is the best performing model attaining an accuracy of 95% and a precision of 88%. Further, a tool was developed to visualize updated classification results on a Moroccan road network map to support authorities in their decision making process.","PeriodicalId":14676,"journal":{"name":"J. Chem. Inf. Comput. Sci.","volume":"6 1","pages":"92-103"},"PeriodicalIF":0.0,"publicationDate":"2019-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81999397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Quantum Computing in the Biomedical Sciences; A Brief Introduction into Concepts and Applications 量子计算在生物医学中的应用概念及应用简介

J. Chem. Inf. Comput. Sci. Pub Date : 2019-07-30 DOI: 10.5539/cis.v12n3p104

Casper van der Kerk, Attila Csala, A. Zwinderman

引用次数: 0

Modeling the Parallelization of the Edmonds-Karp Algorithm and Application Edmonds-Karp算法的并行化建模及其应用

J. Chem. Inf. Comput. Sci. Pub Date : 2019-07-25 DOI: 10.5539/cis.v12n3p81

A. Chaibou, Ousmane Moussa Tessa, Oumarou Sié

引用次数: 1

Practical Nozzle Temperature Control Method for Robot FDM Printing System 机器人FDM打印系统喷嘴温度的实用控制方法

J. Chem. Inf. Comput. Sci. Pub Date : 2019-07-25 DOI: 10.5539/cis.v12n3p21

Yijian Liu, Ming Chen, Jihong Chen