Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis最新文献

A New Term Weight Scheme and Ensemble Technique for Authorship Identification 一种新的术语权重方案和作者身份识别集成技术

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388159

Hanan Alshaher, Jinsheng Xu

引用次数: 3

Exponential triplet loss 指数三重态损耗

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388163

Ē. Urtāns, A. Ņikitenko, Valters Vecins

引用次数: 4

A Review of Applications of Formal Specification in Safety-Critical System Development 形式规范在安全关键系统开发中的应用综述

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388175

Emanuel S. Grant, S. P. Nanda

{"title":"A Review of Applications of Formal Specification in Safety-Critical System Development","authors":"Emanuel S. Grant, S. P. Nanda","doi":"10.1145/3388142.3388175","DOIUrl":"https://doi.org/10.1145/3388142.3388175","url":null,"abstract":"Since the advent of the computer and computer programming there have been many attempts to improve the quality of the software systems developed. At various stages in this evolution of development techniques, processes, and methodologies, a review of the current trend in software development is conducted. One such current trend is in the realm of safety-critical system development. Safety-critical systems are characterized by the resulting potential of harm to or loss of life if such systems should fail during operation. A strategy applied in developing such systems is the use of formal specification techniques. Formal specification techniques are the application of rigorous techniques to assess the correctness of system design. The use of formal specification techniques in safety-critical system development has been in place for a number of decades and there have been multiple reviews and comparisons of the successful and failed application of formal specification techniques. This report reviews examples of the application of formal specification techniques in a number of application domains, with a focus on the types of error detection and correction associated with the particular technique. The benefit of this work is towards the assessment of the suitable of a specific formal specification technique with a particular problem domain.","PeriodicalId":409298,"journal":{"name":"Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125065364","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}

引用次数: 3

A Comparative Study of Subject-Dependent and Subject-Independent Strategies for EEG-Based Emotion Recognition using LSTM Network 基于LSTM网络的基于脑电图的情感识别中主体依赖与主体独立策略的比较研究

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388167

Debarshi Nath, Anubhav, Mrigank Singh, Divyashikha Sethia, Diksha Kalra, S. Indu

引用次数: 25

Attack-tolerant Unequal Probability Sampling Methods over Sliding Window for Distributed Streams 基于滑动窗口的分布式流容错不等概率抽样方法

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388162

Yann Busnel, Yves Tillé

{"title":"Attack-tolerant Unequal Probability Sampling Methods over Sliding Window for Distributed Streams","authors":"Yann Busnel, Yves Tillé","doi":"10.1145/3388142.3388162","DOIUrl":"https://doi.org/10.1145/3388142.3388162","url":null,"abstract":"Distributed systems increasingly require the processing of large amounts of data, for metrology, safety or security purposes. The online processing of these large data streams requires the development of algorithms to efficiently calculate parameters. If elegant solutions have been proposed recently, their approximation is commonly calculated from the inception of the data stream. In a distributed execution context, it would be preferable to collect information only on the recent past (for resource saving or relevancy of most recent information). We therefore consider here the sliding window model. In this article, we propose a family of new sampling techniques that take into account both the sliding window model and the presence of a malicious adversary. Wayne Fuller proposed in 1970 a very ingenious method of sampling with unequal inclusion probabilities. After doing justice to this precursor paper and proposing a fast and simple implementation of it, we completely generalize Fuller's method in order to enable the use of a tuning parameter of spreading. The analytical results of these techniques show the excellent performance of the generalized pivotal approach. This generalization makes the sampling method less predictable and seems appropriate to be protected from malicious attacks when sampling from a stream.","PeriodicalId":409298,"journal":{"name":"Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121225281","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}

引用次数: 4

Detecting Active Sites in Protein 3D Structures 检测蛋白质三维结构中的活性位点

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388151

Jimmy Li, S. Wang

引用次数: 0

Developing Practical Management Support System for Regional Public Transportation Service Provided by Municipalities 开发实用的城市区域公共交通服务管理支持系统

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388155

Chinasa Sueyoshi, Hideya Takagi, K. Inenaga

{"title":"Developing Practical Management Support System for Regional Public Transportation Service Provided by Municipalities","authors":"Chinasa Sueyoshi, Hideya Takagi, K. Inenaga","doi":"10.1145/3388142.3388155","DOIUrl":"https://doi.org/10.1145/3388142.3388155","url":null,"abstract":"Public transportation is especially important in regions with decreasing population. In Japan, regional transportation suffers financially, because the transportation of local residents alone cannot support through taxes the costs of fixed-route public transportation. Although the situation varies between municipalities, human, and financial constrains prevent these local communities from appropriately addressing this problem. Instead, municipalities hire external traffic consultants to conduct surveys, at a significant cost. As a result, the municipalities receive regular reports from the external traffic consultant on their public transportation situation. However, despite of the large cost of this service burdened by the municipality, the results are not fully available and merely indicative of a temporary situation both in terms of quality and quantity. These results cannot be used for actually improving the improvement in bus service management through timetable revision and adjustment of the fixed route. This would instead require medium-to-long term data on the usage of their community buses. For this reason, our laboratory has been developing a practical service management support system for the regional public transportation provided by municipalities. Within this system, we developed two applications for tablets named ASHIYA and SHINGU. ASHIYA can be used for conducting simple questionnaire surveys for passengers inside community buses, whereas SHINGU records for the number of get-on or get-off passengers.","PeriodicalId":409298,"journal":{"name":"Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127364658","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

Word Cloud Analysis of Customer Satisfaction in Cosmetic Products in Thailand 泰国化妆品顾客满意度的词云分析

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388152

O. Thinnukool, Phasit Charoenkwan, P. Khuwuthyakorn, Pachara Tinamat

引用次数: 0

A Framework for Intelligent Navigation Using Latent Dirichlet Allocation on Reddit Posts About Opiates 基于潜在狄利克雷分配的关于鸦片类药物的Reddit帖子智能导航框架

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388156

Peter Akioyamen, Levi C Nicklas, R. Sanchez-Arias

引用次数: 0

Design of the base isolation system with artificial neural network models 基于人工神经网络模型的基础隔震系统设计

Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis Pub Date : 2020-03-09 DOI: 10.1145/3388142.3388169

Samer M. Barakat

{"title":"Design of the base isolation system with artificial neural network models","authors":"Samer M. Barakat","doi":"10.1145/3388142.3388169","DOIUrl":"https://doi.org/10.1145/3388142.3388169","url":null,"abstract":"This work presents the application of the artificial neural networks (ANN) for modeling and designing Seismic-Isolation (SI) systems consisting of Natural Rubber Bearings and Viscous Fluid Dampers subject to Near-Field (NF) earthquake ground motion. Four lumped-mass stick models representing a realistic five, ten, fifteen, and 20-story base-isolated buildings are used. The key response parameters selected to represent the behavior of SI system are the Damper Force (PDF), Total Maximum Displacement (DTM), the Peak the Top Story Acceleration Ratio (TSAR) of the isolated structure compared to the fixed-base structure and the maximum amplified drift ratio (δmax). Twenty-four NF earthquake records representing two seismic hazard levels are used. The commercial analysis program SAP2000 was used to perform the Time-History Analysis (THA) of the MDOF system (stick model representing a realistic N-story base-isolated building) subject to all 24 records. Different combinations of damping coefficients (c) and damping exponents (ą) are investigated under the 24 earthquake records to develop the database of feasible combinations for the SI system. The total number of considered THA combinations is 751680 and were used for training and testing the neural network. Mathematical models for the key response parameters are established via ANN and produced acceptable results with significantly less computation. The results of this study show that ANN models can be a powerful tool to be included in the design process of Seismic-Isolation (SI) systems, especially at the preliminary stages.","PeriodicalId":409298,"journal":{"name":"Proceedings of the 2020 the 4th International Conference on Compute and Data Analysis","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114805473","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