2022 XVLIII Latin American Computer Conference (CLEI)最新文献_第3页

Optimization in Positioning of Police Resources A case study of Asunción - Paraguay 警察资源优化定位——以Asunción -巴拉圭为例

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959939

Luis Alberto Alvarez Penayo, Marco Antonio Alvarez Penayo, José Colbes, Diego Pinto

{"title":"Optimization in Positioning of Police Resources A case study of Asunción - Paraguay","authors":"Luis Alberto Alvarez Penayo, Marco Antonio Alvarez Penayo, José Colbes, Diego Pinto","doi":"10.1109/CLEI56649.2022.9959939","DOIUrl":"https://doi.org/10.1109/CLEI56649.2022.9959939","url":null,"abstract":"Efficient attendance of 911 emergency calls is a significant challenge, mainly in cities with high rates of violence. This problem has been addressed by considering it as a coverage problem with violence rates but without guaranteeing maximum response time or minimizing response time without guaranteeing coverage. Consequently, in this work, we address this problem by considering a coverage maximization according to the violence index guaranteeing maximum response and coverage. For this purpose, we developed a tool that builds a weighted graph with the violence index, given a city map and the history of recorded incidents. Next, inspired by the previous works, we propose a new mathematical formulation that maximizes coverage according to the rate of violence subject to total coverage and guarantees maximum response time. Furthermore, we apply a Tabu Search to calculate the best solution. Considering actual data from the city of Asunción (Paraguay), a numerical simulation was performed using the strategy in the system 911, a state-of-theart algorithm based on coverage, and our contribution. The simulation results show that the proposed algorithm can find security coverage solutions with a better allocation for the areas with a high rate of violence than the other alternatives evaluated.","PeriodicalId":156073,"journal":{"name":"2022 XVLIII Latin American Computer Conference (CLEI)","volume":"345 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115409524","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}

引用次数: 0

A comparative study on plant classification using convolutional neural networks architectures 基于卷积神经网络结构的植物分类比较研究

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959905

Danitza Bermejo, Guina Sotomayor Alzamora

引用次数: 0

Implementation and Performance Evaluation of LoRaWAN in Real Environment of Agriculture LoRaWAN在农业实际环境中的实施与绩效评价

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959900

Victor Karnopp Neitzel, Janine Kniess

引用次数: 0

Program Committees 程序委员会

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/clei56649.2022.9959910

引用次数: 0

Analysis of software products related incidents through process intelligence 通过过程智能分析软件产品相关事件

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959967

Michael Arias, Juan Diego Rodríguez Cambronero

引用次数: 1

Portability and Performance Assessment of the Non-Negative Matrix Factorization Algorithm with OpenMP and SYCL 基于OpenMP和SYCL的非负矩阵分解算法的可移植性和性能评估

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959906

Youssef Faqir-Rhazoui, Carlos García, F. Tirado

引用次数: 0

An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol Mimblewimble加密货币协议形式化安全性分析的理想模型

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959925

Adrián Silveira, Gustavo Betarte, M. Cristiá, C. Luna

{"title":"An Idealized Model for the Formal Security Analysis of the Mimblewimble Cryptocurrency Protocol","authors":"Adrián Silveira, Gustavo Betarte, M. Cristiá, C. Luna","doi":"10.1109/CLEI56649.2022.9959925","DOIUrl":"https://doi.org/10.1109/CLEI56649.2022.9959925","url":null,"abstract":"Mimblewimble is a privacy-oriented cryptocurrency technology that provides security and scalability properties that distinguish it from other protocols. Mimblewimble’s cryptographic approach is based on Elliptic Curve Cryptography which allows verifying a transaction without revealing any information about the transactional amount or the parties involved. Mimblewimble combines Confidential transactions, CoinJoin, and cut-through to achieve a higher level of privacy, security, and scalability. In our previous work ([2], [26], [25]), we have presented and discussed these security properties and presented a model-driven verification approach in order to guarantee the correctness of the protocol implementations. In particular, we have proposed an idealized model that is essential to the described verification process. In that formal setting, we say that a transaction is valid if it is balanced, all output range proofs are valid and the kernel signature is valid for the excess. However, no formal and precise definition was given to the signature requirement. In this paper, we put forward an extension of our model to enable signatures. We specify a signature scheme that allows us to develop several properties and lemmas we have defined on our initial idealized model. The definition of a valid transaction is extended accordingly.","PeriodicalId":156073,"journal":{"name":"2022 XVLIII Latin American Computer Conference (CLEI)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126215475","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}

引用次数: 0

Minimum reference network for temperature modeling through distance-based algorithms 通过基于距离的算法进行温度建模的最小参考网络

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959899

Helver Novoa Mendoza, Edwin Martínez Camero, Emilio Granell, F. Giraldo

{"title":"Minimum reference network for temperature modeling through distance-based algorithms","authors":"Helver Novoa Mendoza, Edwin Martínez Camero, Emilio Granell, F. Giraldo","doi":"10.1109/CLEI56649.2022.9959899","DOIUrl":"https://doi.org/10.1109/CLEI56649.2022.9959899","url":null,"abstract":"The measurement, monitoring, modeling and forecasting of atmospheric phenomena such as temperature, precipitation, humidity, speed, wind direction, among others, requires the installation and maintenance of a network of meteorological stations for the development of this activity. Depending on its purposes and scope, this network will be more or less sophisticated in the capture and transmission of information. The present work proposes to formulate a methodology to establish the minimum network of meteorological stations necessary for the recording of temperature, as well as the thermal zones of the Colombian territory as a function of altitude. For this purpose, first, the Dynamic Time Warping (DTW) algorithm was used as a technique to calculate the similarity between time series. From the results obtained with DTW, a hierarchical grouping was developed to determine the station clusters. Finally, the thermal zones, 10 in total as a result of the clustering, were the result of selecting those stations that were within the interquartile range with respect to the altitude coordinate. From an initial network of 452 stations, an optimal network of 230 stations was arrived at. Daily historical temperature records from the network of meteorological stations managed by the Institute of Environmental Studies (IDEAM) were the input with which this methodology was implemented.","PeriodicalId":156073,"journal":{"name":"2022 XVLIII Latin American Computer Conference (CLEI)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125764028","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}

引用次数: 0

Social Network Analysis for Automatic Ranking of Political Stakeholders: a Case Study 政治利益相关者自动排名的社会网络分析:一个案例研究

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959920

Francis Adrián Vargas-Barrantes, Gabriela Marín-Raventós, Gustavo López Herrera, Edgar Casasola Murillo

引用次数: 0

A Classification Model of Cotton Boll-Weevil Population 棉铃-象鼻虫种群的分类模型

2022 XVLIII Latin American Computer Conference (CLEI) Pub Date : 2022-10-17 DOI: 10.1109/CLEI56649.2022.9959893

R. Toscano-Miranda, W. Hoyos, Manuel Caro, J. Aguilar, A. Trebilcok, Mauricio Toro

引用次数: 0