Abstract

Abstract
This paper explores the integration of virtual escape rooms as innovative educational tools in the realm of computer programming. Recognizing the need to engage and motivate learners in this complex domain, we investigate the use of virtual escape rooms in a typical educational setting where Learning Management Systems play a pivotal role. The paper starts by surveying existing escape rooms designed for teaching programming and related domains, considering factors such as interactivity, educational efficacy, and learner engagement. Additionally, it is emphasized the role of standards in creating interoperable learning environments, introducing IMS LTI for seamless integration with learning management systems and xAPI for tracking learner activities within escape rooms. By leveraging these standards and a Learning Record Store (LRS) as a central repository, an architectural framework is presented which enables personalized learning experiences and data-driven insights, catering to the diverse needs and preferences of the new generation of learners. © 2024 IEEE.

Abstract
This paper presents a comprehensive assessment of the large-scale deployment of hydropower on the provision of frequency regulation services, when equipped with the extended flexibility solutions being developed and/or tested within the scope of the XFLEX HYDRO project. The current analysis is performed on the Iberian Peninsula (IP) power grid considering its interconnection to the Continental Europe (CE) system, since this power system zone is expected to have the most severe frequency transient behaviour in future scenarios with increased shares of variable renewable energies. For this purpose, prospective scenarios with increased shares of time variable renewable generation were identified and analysed. To assess the impacts of the hydropower flexibility solutions on frequency dynamics after a major active power loss, extensive time domain simulations were performed of the power system, including reliable reduced order dynamic models for the hydropower flexibility solutions under evaluation. This research assesses the effects of synchronous and synthetic inertia, and of the Frequency Containment Reserve (FCR) and Fast Frequency Response (FFR) services as specified in European grid codes. The main findings highlight the potential of hydropower inertia and of adopting a variable speed technology for enhancing frequency stability, while contribute to better understand the role of hydropower plants in future power systems.

Abstract
Prolog systems rely on an atom table for symbol management, which is usually implemented as a dynamically resizeable hash table. This is ideal for single threaded execution, but can become a bottleneck in a multi-threaded scenario. In this work, we replace the original atom table implementation in the YAP Prolog system with a lock-free hash-based data structure, named Lock-free Hash Tries (LFHT), in order to provide efficient and scalable symbol management. Being lock-free, the new implementation also provides better guarantees, namely, immunity to priority inversion, to deadlocks and to livelocks. Performance results show that the new lock-free LFHT implementation has better results in single threaded execution and much better scalability than the original lock based dynamically resizing hash table.

Abstract
Fake news detection (FND) tools are essential to increase the reliability of information in social media. FND can be approached as a machine learning classification problem so that discriminative features can be automatically extracted. However, this requires a large news set, which in turn implies a considerable amount of human experts' effort for labeling. In this paper, we explore Positive and Unlabeled Learning (PUL) to reduce the labeling cost. In particular, we improve PUL with the network-based Label Propagation (PU-LP) algorithm. PU-LP achieved competitive results in FND exploiting relations between news and terms and using few labeled fake news. We propose integrating an attention mechanism in PU-LP that can define which terms in the network are more relevant for detecting fake news. We use GNEE, a state-of-the-art algorithm based on graph attention networks. Our proposal outperforms state-of-the-art methods, improving F-1 in 2% to 10%, especially when only 10% labeled fake news are available. It is competitive with the binary baseline, even when nearly half of the data is labeled. Discrimination ability is also visualized through t-SNE. We also present an analysis of the limitations of our approach according to the type of text found in each dataset.

Abstract
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. However, the adoption and impact of contracts in the context of mobile application development, particularly of Android applications, remain unexplored. We present the first large-scale empirical study on the presence and use of contracts in Android applications, written in Java or Kotlin. We consider 2,390 applications and five categories of contract elements: conditional runtime exceptions, APIs, annotations, assertions, and other. We show that most contracts are annotation-based and are concentrated in a small number of applications. © 2024 IEEE Computer Society. All rights reserved.