Abstract
Predictive maintenance methods play a crucial role in the early detection of failures and errors in machinery, preventing them from reaching critical stages. This paper presents a comprehensive study on a real-world dataset called MetroPT3, with data from a Metro do Porto train's air production unit (APU) system. The dataset comprises data collected from various analogue and digital sensors installed on the APU system, enabling the analysis of behavioural changes and deviations from normal patterns. We propose a data-driven predictive maintenance framework based on a Long Short-Term Memory Autoencoder (LSTM-AE) network. The LSTM-AE efficiently identifies abnormal data instances, leading to a reduction in false alarm rates. We also implement a Sparse Autoencoder (SAE) approach for comparative analysis. The experimental results demonstrate that the LSTM-AE outperforms the SAE regarding F1 Score, Recall, and Precision. Furthermore, to gain insights into the reasons for anomaly detection, we apply the Shap method to determine the importance of features in the predictive maintenance model. This approach enhances the interpretability of the model to support the decision-making process better.

Abstract
STEM education advances at the same rate as the need for new and more evolved tools. This article introduces the latest version of the Kid Grígora educational robot, based on the work of Barradas et al. (2019). Targeted for students aged 8 to 18, the robot serves as an interdisciplinary teaching tool, integrated into STEM curricula. The upgraded version corrects what we’ve learned from a real test with 177 students from a Portuguese school and adds other features that allow this new robot to be used in even more educational STEM and problem-solving scenarios. We focused on the creation of a second beta version of the prototype, named Stemie, and its heuristic evaluation by three experts. After all the issues and suggestions from the experts have been resolved and implemented, the new version is ready for usability evaluation. Copyright © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

Abstract
This paper studies a real world dedicated parallel machine scheduling problem with sequence dependent setups, different machine release dates and additional resources (PMSR). To solve this problem, two previously proposed models have been adapted and a novel objective function, the minimisation of the sum of the machine completion times, is proposed to reflect the real conditions of the manufacturing environment that motivates this work. One model follows the strip-packing approach and the other is time-indexed. The solutions obtained show that the new objective function provides a compact production schedule that allows the simultaneous minimisation of machine idle times and setup times. In conclusion, this study provides valuable insights into the effectiveness of different models for solving PMSR problems in real-world contexts and gives directions for future research in this area using complementary approaches such as matheuristics. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Abstract
Process Mining offers a powerful framework for uncovering, analyzing, and optimizing real-world business processes. Petri nets provide a versatile means of modeling process behavior. However, traditional methods often struggle to effectively compare complex Petri nets, hindering their potential for process enhancement. To address this challenge, we introduce PetriNet2Vec, an unsupervised methodology inspired by Doc2Vec. This approach converts Petri nets into embedding vectors, facilitating the comparison, clustering, and classification of process models. We validated our approach using the PDC Dataset, comprising 96 diverse Petri net models. The results demonstrate that PetriNet2Vec effectively captures the structural properties of process models, enabling accurate process classification and efficient process retrieval. Specifically, our findings highlight the utility of the learned embeddings in two key downstream tasks: process classification and process retrieval. In process classification, the embeddings allowed for accurate categorization of process models based on their structural properties. In process retrieval, the embeddings enabled efficient retrieval of similar process models using cosine distance. These results demonstrate the potential of PetriNet2Vec to significantly enhance process mining capabilities.

Abstract
Various relevant aspects of our lives relate to the places we visit and our daily activities. The movement of individuals between regular places, such as work, school, or other important personal locations is getting increasing attention due to the pervasiveness of geolocation devices and the amount of data they generate. This work presents an approach for location prediction using a probabilistic model and data mining techniques over mobility data streams. We evaluate the method over 5 real-world datasets. The results show the usefulness of the proposal in comparison with other-well-known approaches.

Abstract
The dowry payment system is used in the cultural context and tradition of certain financial transactions related to marriages and engagement. However, disputes, fraud, and financial gaps in exploitation occur in these systems, which affect user confidence. This study uses an exploratory approach to identify the main weaknesses of current traditional dowry payment systems and analyses the benefits that blockchain technology and smart contracts can provide. The proposed data security framework combines blockchain security features such as decentralisation, cryptography, and automatic verification through smart contracts to ensure the integrity and reliability of dowry payment transactions. In this study, we adopt the Design Science Research (DSR) methodology to propose producing and developing artefacts that support solving problems in the existing dowry payment system more efficiently. We will disseminate new ideas or concepts developed to indigenous communities in Timor-Leste using the Diffusion of Innovation (DOI) and Technology Acceptance Model (TAM) frameworks to ensure that the technological framework developed can be used safely and efficiently.