Revista de Informática Teórica e Aplicada https://seer.ufrgs.br/index.php/rita <p><em>Revista de Informática Teórica e Aplicada (RITA)</em> is a peer-reviewed, open-access journal published quarterly by the Institute of Informatics at the Federal University of Rio Grande do Sul (UFRGS), Brazil. Dedicated to the advancement of computer science, <em>RITA</em> publishes high-quality original research articles, reviews, and technical notes that contribute to both theoretical and applied aspects of the field. Since 2010, <em>RITA</em> has been published exclusively online (ISSN 2175-2745), ensuring broad accessibility and rapid dissemination of its content to researchers and practitioners worldwide</p> <p><strong>Free Access Policy:</strong> RITA adheres to a Diamond Open Access model, ensuring immediate and permanent free access to all its content. This commitment reflects our belief in the democratization of knowledge, making research freely available to readers worldwide without any financial barriers. Authors are not required to pay any article processing charges (APCs), ensuring an inclusive platform for the dissemination of high-quality research.</p> <p><strong>Mission</strong>: RITA is dedicated to fostering a dynamic exchange of ideas within the computer science community. Our mission is to:<br /><em>Cultivate an interdisciplinary environment</em> where researchers can share cutting-edge findings in both theoretical and applied informatics.<br /><em>Accelerate the global dissemination of knowledge</em> by providing immediate open access to all published works.<br /><em>Ensure the efficient and timely publication of high-quality research</em> that advances the field of computer science.</p> <p><strong>Goals: </strong>Contribute to the advancement of knowledge in theoretical and applied informatics by the publication of works that show state of the art and trends of the areas. RITA is committed to: a) Disseminating high-quality research that showcases the latest advancements and emerging trends in computer science; b) Fostering innovation and collaboration by providing a platform for researchers to share their work and engage in interdisciplinary dialogue; c) Promoting the application of informatics to address real-world challenges and drive societal progress.</p> <p><strong>Focus Areas and Topics of Interest: </strong>RITA publishes research in a broad range of computer science fields, including:<br /><em>Software and Systems:</em> Software Engineering, Information Systems, Embedded Systems<br /><em>Artificial Intelligence:</em> Artificial Intelligence, Machine Learning, Robotics<br /><em>Hardware and Architecture:</em> Microelectronics, Integrated Circuits Design, Computer Networks, High-Performance Computing<br /><em>Theory and Foundations:</em> Computer Fundamentals, Formal Methods, Optimization<br /><em>Applications:</em> Bioinformatics, Computational Graphics, Computer Science in Medicine, Computational Nanotechnology and Nanocomputing</p> <p><strong>Index by:</strong> <a title="DBLP" href="https://dblp.org/db/journals/rita/index.html" target="_blank" rel="noopener">DBLP</a>; <a title="SCOPUS" href="https://www.scopus.com/sourceid/21100913339" target="_blank" rel="noopener">SCOPUS</a>; <a title="LATINDEX" href="https://www.latindex.org/latindex/ficha/23922" target="_blank" rel="noopener">LATINDEX</a>; <a title="BASE" href="https://www.base-search.net/" target="_blank" rel="noopener">BASE</a>; <a title="CARINIANA" href="https://cariniana.ibict.br/" target="_blank" rel="noopener">CARINIANA</a>; <a title="LIVRE" href="http://antigo.cnen.gov.br/centro-de-informacoes-nucleares/livre" target="_blank" rel="noopener">LIVRE</a>; <a title="Google Schoolar" href="https://scholar.google.com.br/citations?user=oO-u734AAAAJ&amp;hl=pt-BR&amp;authuser=3" target="_blank" rel="noopener">GOOGLE SCHOOLAR</a>; <a title="Cite Factor" href="https://www.citefactor.org/impact-factor/impact-factor-of-journal-Revista-de-Informatica-Teorica-e-Aplicada.php" target="_blank" rel="noopener">CITE FACTOR</a>; <a title="DIADORIM" href="https://diadorim.ibict.br/handle/1/1612" target="_blank" rel="noopener">DIADORIM</a>; <a title="CROSSREF" href="https://www.crossref.org/" target="_blank" rel="noopener">CROSSREF</a>; </p> Instituto de Informática - Universidade Federal do Rio Grande do Sul en-US Revista de Informática Teórica e Aplicada 0103-4308 Autorizo aos editores a publicação de meu artigo, caso seja aceito, em meio eletrônico de acordo com as regras do <a href="http://pkp.sfu.ca/">Public Knowledge Project</a>. Power Allocation in Orthogonal Frequency Division Multiplexing-based Wireless Networks Using Reinforcement Learning https://seer.ufrgs.br/index.php/rita/article/view/130630 <p>Energy efficiency is one of the most essential requirements for wireless sensor networks and the internet of things, since batteries are usually the main source of power for these networks. Appropriate techniques based on artificial intelligence can reduce power consumption and provide the required quality of service parameters for the network. In this paper, we approach the challenging problem of allocation of signal transmission power based on the orthogonal frequency division multiplexing technique. We propose to use reinforcement learning-based algorithms to find the optimal policy for allocating power to wireless network devices using a reward function. More specifically, we propose to use the double deep Q-network (DDQN) agent due to its higher learning capacity compared to the Q-learning, deep Q-network (DQN), and the distributed algorithm (DA), a classic algorithm in the literature for power allocation. Simulation results show that the DDQN agent presents promising solutions for power allocation in wireless networks.</p> Hudson Henrique de Souza Lopes Flávio Henrique Teles Vieira Copyright (c) 2024 Hudson H. S. Lopes, Flávio H. T. Vieira https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 11 19 10.22456/2175-2745.130630 A Random Generation of Haskell Programs Applied to Optimization Testing in Compilers https://seer.ufrgs.br/index.php/rita/article/view/134925 <p>Compilers and interpreters are essential for developing any system or application, so validating their functionality and properties is crucial. These tools are susceptible to failures, like any software artifact, which can introduce errors into programs developed using them. For example, a compiler or interpreter error that alters a program’s behavior can compromise a critical system, and the system impact can be costly. The literature reports several problems found in compilers and interpreters of different languages. When bugs are detected in early releases, they can be reported to the development team, who can fix them before the end user notices the problem. This work describes the procedure used to generate random Haskell programs, which serve as input for property-based tests. More specifically, this work aims to test the compilation and behavior properties of a program, comparing the compilation and execution results of programs generated with different levels of optimization of the Glasgow Haskell Compiler (GHC). From developing a tool that automates the tests, 10,000 random programs were generated, compiled, and executed, of which 57 presented compilation errors with different optimization levels. This result demonstrates that the used approach is promising for error detection and can be improved in further studies.</p> Guilherme Graeff Braulio Mello Denio Duarte Andrei Braga Sampaio Braga Samuel Feitosa Copyright (c) 2024 Guilherme Graeff, Samuel Feitosa, Andrei Braga, Denio Duarte, Braulio Mello, Sampaio Braga https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 20 29 10.22456/2175-2745.134925 Performance Evaluation and Operational Availability of a Textile Manufacturing 4.0 Using Stochastic Petri Nets https://seer.ufrgs.br/index.php/rita/article/view/135781 <p>The Brazilian clothing industry is the 7th largest globally, generating an annual revenue of USD 10 billion. However, Brazil is only 54th in industrial innovation investments. The constraint on industrial innovation investments represents a challenge for the implementation of Industry 4.0, especially in local garment manufacturing hubs. It is crucial to assess the impact of Industry 4.0 in these hubs in order to highlight its benefits. The study proposes the development of an approach based on Stochastic Petri Nets to model production processes in the textile industry, applied to a company in the garment manufacturing hub of the Agreste region of Pernambuco. The results demonstrate that this approach has the potential to assist garment administrators in optimizing production processes and making more informed decisions. Additionally, the approach allows administrators to maintain resources balanced, efficient, and available in accordance with the production goals of the modern market.</p> Edson Moura Silva Danilo Araújo Ermeson Andrade Copyright (c) 2024 Edson Moura Silva, Danilo Ricardo Barbosa de Araújo, Ermeson Carneiro de Andrade https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 30 42 10.22456/2175-2745.135781 Framework for Security Risk Assessment (FSRA) and Fuzzy Risk Inference System (FRIS) based on Standard ISO/IEC 27002:2022 https://seer.ufrgs.br/index.php/rita/article/view/136309 <p>Information security is a critical aspect for organizations, and a problem in this regard consists of<br>knowing the level of vulnerability in which organizations. Therefore, this article aims to present a Cybersecurity<br>Framework (FSRA) based on the ISO/IEC 27002:2022 standard. In addition, a Fuzzy Risk Inference System<br>(FRIS) is presented, which uses FSRA controls - Security Practices (SP), Software (S), and People (P) as<br>input, a total of 93 sub-items. A FRIS output is the Security Risk (SR) in which the organization is due to<br>non-compliance or partial compliance with FSRA controls. Thus, if each control is fully met, its entry value in the<br>FRIS will be 100%. Otherwise, it will be proportional. Therefore, when the FRIS returns the SR, whose output<br>values can be Low (13% to 39.99%), Medium (40% to 59.99%), or High (60% to 100%), the security analyst can<br>measure the risk security, in which the organization is located, according to ISO/IEC 27002:2022 and from that<br>know where to act and how to act.</p> Diógenes Antonio Marques José Douglas Schmitz Dupski Kembolle Amilkar Copyright (c) 2024 Diógenes Antonio Marques José, Douglas Schmitz, Kembolle Amilkar https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 43 55 10.22456/2175-2745.136309 Comparative Study of Predictive Models Based on Moving Averages Applied in Binary Options in the Financial Market https://seer.ufrgs.br/index.php/rita/article/view/139523 <p>The technological market has been through significant advances in the last few years, and its application in different markets and business lines was driven by the COVID-19 pandemic. In this context, given the global economic crisis that was generated, some ways of earning money online were popularized, including the Binary Options market, which promises high gains but represents a volatile and risky financial niche. The aim is to evaluate the efficiency and assertiveness of these models applied in operations, in addition to analyzing the risks and possible returns. The aim is to provide a more in-depth understanding of the effectiveness of these models, considering the volatile and unpredictable characteristics of the Binary Options financial market. To achieve the proposed objective, different statistical models based on moving averages will be used to compare individual results and between possible combinations of the best classified. This study is expected to contribute to the understanding of the effectiveness of predictive models based on moving averages applied in Binary Options. The results obtained may offer valuable insights for investors and traders interested in this kind of negotiation, helping them to make informed decisions. Furthermore, this work is expected to stimulate the development of more accurate and efficient investment strategies, increasing the probability of success in financial markets. Finally, this study is expected to advance knowledge in the field of financial market forecasting, highlighting the importance of moving averages as a powerful predictive tool in Binary Options.</p> Luccas R. Hoff Rafael A. Berri Eduardo N. Borges André Riker Bruno L. Dalmazo Copyright (c) 2024 Bruno L. Dalmazo, Luccas R. Hoff, Rafael A. Berri, Eduardo N. Borges, André Riker https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 56 73 10.22456/2175-2745.139523 UnbIAs - Google Translate Gender Bias Mitigation and Addition of Genderless Translation https://seer.ufrgs.br/index.php/rita/article/view/139902 <p>Machine Learning, increasingly present in everyday life, is subject to bias. These biases not only reflect social inequalities but also reinforce them. The present study seeks to mitigate gender bias in Google Translate, the most used translation system in the world. For this, we created a translation model with high gender accuracy and performed a linguistic analysis with the spaCy tool and entity identification with roBERTa. The Constrained Beam Search technique is used to maintain the sentence structure of the business model, but with the replacement for the correct genre indicated by the created model. The final sentence is the result of an alignment done with the SimAlign tool. In addition, the present study also produces an algorithm so that sentences without gender indication in English present translations with inflection for feminine, masculine, and neutral gender. Our approach yields a BLEU score of 48.39. In relation to Google Translate, the model increased gender accuracy from 68.75 to 70.09, enhanced in 15.7% the score that measures the difference in accuracy between male and female entities, and improved stereotyped translations in 43%.</p> Vanessa Schenkel Blanda Mello Sandro José Rigo Gabriel de Oliveira Ramos Copyright (c) 2024 Vanessa Schenkel, Blanda Mello, Sandro José Rigo, Gabriel de Oliveira Ramos https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 74 90 10.22456/2175-2745.139902 Supervised Learning Algorithms Evaluation on Sweet Potato Data for Production Indices Considering Human Consumption https://seer.ufrgs.br/index.php/rita/article/view/140067 <p>The sweet potato holds significant importance as a root crop cultivated globally, serving purposes in both human and animal nutrition, ethanol fuel production, and ornamental cultivation. Several genetic experiments have been undertaken to identify superior root varieties. Within this study, a refined statistical methodology has been devised to mitigate environmental factors and promote equitable comparisons among diverse varieties. Through the integration of supplementary environmental data into the experimental framework, a deeper understanding of each variety can be attained. This research signifies an inaugural endeavor towards scrutinizing post-harvest sweet potato data, aiming to unveil novel insights.</p> Mardem Arantes de Castro Ranulfo Mascari Neto Joaquim Quinteiro Uchôa Jesimar da Silva Arantes Orlando Gonçalves Brito Valter Carvalho de Andrade Júnior Jeferson Carlos de Oliveira Silva Renato Ramos da Silva Copyright (c) 2024 Mardem Arantes de Castro, Ranulfo Mascari Neto, Joaquim Quinteiro Uchôa, Jesimar da Silva Arantes, Orlando Gonçalves Brito, Valter Carvalho de Andrade Júnior, Jeferson Carlos de Oliveira Silva, Renato Ramos da Silva https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 91 99 10.22456/2175-2745.140067 Ontology for Healthcare AI Privacy in Brazil https://seer.ufrgs.br/index.php/rita/article/view/140570 <p><em>This article details the creation of a novel domain ontology at the intersection of epidemiology,</em></p> <p><em>medicine, statistics, and computer science. It outlines a systematic approach to handling structured data</em></p> <p><em>anonymously in preparation for its use in Artificial Intelligence (AI) applications in healthcare. The development</em></p> <p><em>followed 7 steps, including defining scope, selecting knowledge, reviewing important terms, constructing classes</em></p> <p><em>that describe designs used in epidemiological studies, machine learning paradigms, types of data and attributes,</em></p> <p><em>risks that anonymized data may be exposed to, privacy attacks, techniques to mitigate re-identification, privacy</em></p> <p><em>models, and metrics for measuring the effects of anonymization. It concludes with a practical implementation of</em></p> <p><em>this ontology in hospital settings to develop and validate AI systems.</em></p> Tiago Andres Vaz Jose Miguel Dora Luis da Cunha Lamb Suzi Alves Camey Copyright (c) 2024 Tiago Andres Vaz, Luis da Cunha Lamb, Suzi Alves Camey, Jose Miguel Dora https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 100 109 10.22456/2175-2745.140570 Analysis of Forensic Tools for Recovery of Formatted Data: a case study with Microsoft Word files https://seer.ufrgs.br/index.php/rita/article/view/140149 <p>Deleting or formatting files to hide a crime can be considered a frustrating action, given the ease of using forensic software that implements data carving techniques. This research aims to evaluate the accuracy of forensic data carving software when subjected to recovering formatted Microsoft Word files. The software chosen is widely used in the field and has been featured in scientific papers: Foremost, Scalpel, Recurva, PhotoRec, Autopsy and Magic Rescue. The metrics analyzed were: software execution time, number and size of files recovered, number of false positives and true positives generated in three test scenarios. Validation took place by comparing the resulting files with the originals using a hash algorithm. To structure the test scenarios, a dataset was built with 16,000 copies of files of various lengths. In each scenario, the number of files and the requirements that the software was subjected to varied, with only doc or docx files being recovered. Of the software analyzed, Recuva, Autopsy and PhotoRec had the highest percentages of true positives (&gt;90%) in all the scenarios evaluated. As for false positives, Recuva performed better than the others, with approximately 1%.</p> Rubens Karman Paula da Silva Islan Amorim Bezerra Sidney Marlon Lopes de Lima Sérgio Murilo Maciel Fernandes Copyright (c) 2024 Rubens Karman Paula da Silva, Islan Amorim Bezerra, Sidney Marlon Lopes de Lima , Sérgio Murilo Maciel Fernandes https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 110 119 10.22456/2175-2745.140149 Rough Sets and Multilayer Perceptron in Tandem for Processing the Aleatory Uncertainty in COVID-19 Cases https://seer.ufrgs.br/index.php/rita/article/view/139289 <p>It is common sense that challenging clinical cases can occur in the practice of medicine. These clinical cases can lead to undesirable situations of diagnostic uncertainty, making it important to identify these difficult cases and lead them to a discussion by experts for appropriate characterization. In remote/isolated regions, it is crucial to have a computational system that can support the health personnel in identifying these challenging cases. Events such as the COVID-19 pandemic have demonstrated the need for this type of system to assist in screening medical exams. Although the chest X-ray examination is a valuable diagnostic tool for COVID-19 cases, some conditions can be so challenging that doctors can be faced with uncertainty in diagnosis. This article proposes a system that combines machine learning via Multilayer Perceptron neural network in conjunction with the detection of uncertainty via Rough Sets in modeling a system that incorporates uncertainty to produce a classification of cases as positive for the disease, negative for the disease, or diagnostically uncertain. This system would serve as support for the rapid and efficient triage of cases, particularly those classified as “uncertain,” for a medical committee of specialists in a video conference, for example. Experiments were carried out and the trained model achieved 87.61% overall accuracy and a hit rate consistent across all classes.</p> Kalyl Henings Vinícius Hansen Gilmário Barbosa Santos Copyright (c) 2024 Kalyl Henings, Vinícius Hansen, Gilmário Barbosa Santos https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 138 146 10.22456/2175-2745.139289 Systematic Literature Review on the Application of Controllers Based on Cellular Automata in Robotic Tasks https://seer.ufrgs.br/index.php/rita/article/view/140214 <p>In recent years, robotics has garnered significant attention from researchers, driven by the desire to develop robots capable of undertaking challenging or laborious tasks traditionally performed by humans. Cellular automata (CA) has emerged as an intriguing solution in this realm, albeit with relatively limited exploration in robotics. Nonetheless, its evolution over time is evident through increasing research interest, propelled by its status as an important artificial intelligence technique. CA operates as an evolutionary system where cells, initially in a defined state, adhere to predefined rules governing interactions with their surroundings. Widely applicable, CA finds utility in simulating natural phenomena, robotic control, and modeling various systems across physical, biological, and sociological domains. This article presents a systematic review of literature on the application of CA in robotics, drawing insights from data generated through the StArt software. Our review, spanning a decade, aimed to identify relevant studies within the extant literature. Following rigorous evaluation, 31 articles were selected, covering themes such as path planning, surveillance, navigation, garbage collection, and foraging. However, our assessment uncovered a notable scarcity of research output in this domain, with only a limited number of authors contributing globally, many of whom are still in early stages of inquiry. Notably, a significant proportion of the selected works originated from Brazilian researchers, underscoring their pioneering contributions to advancing the field.</p> Naya Letícia Batista Souza Danielli Araújo Lima Copyright (c) 2024 Naya Letícia Batista Souza, Danielli Araújo Lima https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 120 137 10.22456/2175-2745.140214 Prediction of Stock Prices Using Ensemble Models https://seer.ufrgs.br/index.php/rita/article/view/136072 <p>The financial market encompasses a set of institutions, products, and services aimed at meeting the financial needs of individuals, companies, and governments. Its primary objective is to direct financial resources from investors to projects requiring funding. This is achieved through the issuance and trading of securities such as stocks, debt securities, among others. In this paper, the goal was to develop a machine learning application specifically for the Brazilian financial market, focusing on predicting the market value of eight companies that are representative of the financial sector on the stock exchange. The prediction is based on the closing price history and uses data from the last three years, with the inputs corresponding to the last 60 days immediately preceding the forecast date. For this task, three machine learning models were selected: Long Short-Term Memory (LSTM), Multilayer Perceptron (MLP), and Convolutional Neural Network (CNN). Each of these was fine-tuned using five different optimizers, resulting in a total of 15 models. Subsequently, all 15 models were combined into an Ensemble. After applying data transformations, the models achieved a satisfactory level of error for the analysis. Among the transformations used, the logarithmic transformation stood out as the one that resulted in the most well-adjusted models compared to the others. In second place, the Yeo-Johnson transformation showed slightly higher error but performed better on series with high variation. Additionally, the convolutional models and Ensemble were the most effective.</p> Cláudio Estevam Leite da Silva Ricardo Menezes Salgado Copyright (c) 2024 Cláudio Estevam Leite da Silva, Ricardo Menezes Salgado https://creativecommons.org/licenses/by-nc/4.0 2024-09-04 2024-09-04 31 2 147 160 10.22456/2175-2745.136072