Abstract
This paper presents an interactive game designed to improve users' experience related to driving behaviour, as well as to provide decision support in this context. This paper explores machine learning (ML) methods to enhance the decision-making and automation in a gaming environment. It examines various ML strategies, including supervised, unsupervised, and Reinforcement Learning (RL), emphasizing RL's effectiveness in interactive environments and its combination with Deep Learning, culminating in Deep Reinforcement Learning (DRL) for intricate decision-making processes. By leveraging these concepts, a practical application considering a gaming scenario is presented, which replicates vehicle behaviour simulations from real-world driving scenarios. Ultimately, the objective of this research is to contribute to the ML and artificial intelligence (AI) fields by introducing methods that could transform the way player agents adapt and interact with the environment and other agents decisions, leading to more authentic and fluid gaming experiences. Additionally, by considering recreational and serious games as case studies, this work aims to demonstrate the versatility of these methods, providing a rich, dynamic environment for testing the adaptability and responsiveness, while can also offer a context for applying these advancements to simulate and solve real-world problems in the complex and dynamic domain of mobility.

Abstract
The presence of missing data poses a common challenge for time series analysis in general since the most usual requirement is that the data is equally spaced in time and therefore imputation methods are required. For time series of counts, the usual imputation methods which usually produce real valued observations, are not adequate. This work employs Bayesian principles for handling missing data within time series of counts, based on first-order integer-valued autoregressive (INAR) models, namely Approximate Bayesian Computation (ABC) and Gibbs sampler with Data Augmentation (GDA) algorithms. The methodologies are illustrated with synthetic and real data and the results indicate that the estimates are consistent and present less bias when the percentage of missing observations decreases, as expected. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

Abstract
We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine non-determinism with probabilistic behaviour. The theorem itself is formulated via M. Smyth's idea of treating observable properties as open sets of a topological space. The proof hinges on a 'topological generalisation' of Konig's lemma in the setting of probabilistic programming (a result that is proved in the paper as well). One application of the theorem is that it entails semi-decidability w.r.t. whether a concurrent program satisfies an observable property (written in a certain form). This is related to M. Escardo's conjecture about semi-decidability w.r.t. may and must probabilistic testing.

Abstract
In the smart grid, data communication between smart meters and utility servers should be authentic, private, have integrity while being accessible. To mitigate the risks of potential attacks, securing these two-way communications is crucial. Equally important is maintaining near real-time communication and avoiding significant delays when extra security levels are involved. Existing research on smart grids has not simultaneously tackled the issues of security, communication speed, and network scalability. In this work, we propose a novel delay-optimized blockchain solution for securing cryptographic communication between consumers and the utility in a smart grid. Our solution, based on EOS smart contracts, Edge computing, asymmetric Cryptographic functions, and Group signatures (EECG), treats data communication as transactions that are asymmetrically encrypted and signed in groups before being stored on the EOS blockchain, ensuring confidentiality, privacy, availability, and low cost. The use of edge computing reduces the computational burden of smart meters, increases transaction speed, enhances data privacy, and improves scalability. Furthermore, an optimization problem for associating smart meters with edge nodes is formulated to minimize data exchange and processing delays over the blockchain, facilitating near real-time secure data access.

Abstract
This study delves into enhancing energy consumption forecasting in smart buildings by analyzing the implications of different contextual detection strategies, employing both K-Means and Fuzzy C-Means clustering techniques. Utilizing a comprehensive dataset from various sensors, the research segments power usage data to uncover distinct consumption patterns, extracted from user's behavior. A suite of seven machine learning forecasting algorithms undergoes evaluation, guided by two distinct methodologies: crafting specialized models for individual clusters and embedding contextual data as features within an integrated model. To perform the selection of the most suitable algorithm for each approach and cluster, an automated machine learning process is utilized, streamlining the optimization and comparison process. Moreover, the study explores the influence of soft clustering in providing nuanced, probabilistic cluster memberships and their impact on forecasting accuracy. A baseline scenario, devoid of contextual considerations, serves as a benchmark for comparison, allowing for a clear evaluation of the benefits introduced by integrating context into predictive models. The research aims to identify the optimal contextual detection strategy, considering the unique advantages of soft and hard clustering, to significantly improve energy consumption forecasts.

Abstract
The increasing global burden of lung diseases necessitates the development of improved diagnostic tools. According to the WHO, hundreds of millions of individuals worldwide are currently affected by various forms of lung disease. The rapid advancement of artificial neural networks has revolutionized lung disease diagnosis, enabling the development of highly effective detection and classification systems. This article presents dual channel neural networks in image feature extraction based on classical CNN and vision transformers for multi-label lung disease diagnosis. Two separate subnetworks are employed to capture both global and local feature representations, thereby facilitating the extraction of more informative and discriminative image features. The global network analyzes all-organ regions, while the local network simultaneously focuses on multiple single-organ regions. We then apply a novel feature fusion operation, leveraging a multi-head attention mechanism to weight global features according to the significance of localized features. Through this multi-channel approach, the framework is designed to identify complicated and subtle features within images, which often go unnoticed by the human eye. Evaluation on the ChestX-ray14 benchmark dataset demonstrates that our hybrid model consistently outperforms established state-of-the-art architectures, including ResNet-50, DenseNet-121, and CheXNet, by achieving significantly higher AUC scores across multiple thoracic disease classification tasks. By incorporating test-time augmentation, the model achieved an average accuracy of 95.7% and a specificity of 99%. The experimental findings indicated that our model attained an average testing AUC of 87%. In addition, our method tackles a more practical clinical problem, and preliminary results suggest its feasibility and effectiveness. It could assist clinicians in making timely decisions about lung diseases.