Abstract
Recommendation systems can play an important role in today's digital content platforms by supporting the suggestion of relevant content in a personalised manner for each customer. Such content customisation has not been consistent across most media domains, and particularly on radio streaming and gaming aggregators, which are the two real-world application domains focused in this work. The challenges faced in these application areas are the dynamic nature of user preferences and the difficulty of generating recommendations for less popular content, due to the overwhelming choice and polarisation of available top content. We present the design and implementation of a Reinforcement Learning-based Recommendation System (RLRS) for web applications, using a Deep Deterministic Policy Gradient (DDPG) agent and, as a reward function, a weighted sum of the user Click Distribution (CD) across the recommended items and the Dwell Time (DT), a measure of the time users spend interacting with those items. Our system has been deployed in real production scenarios with preliminary but promising results. Several metrics are used to track the effectiveness of our approach, such as content coverage, category diversity, and intra-list similarity. In both scenarios tested, the system shows consistent improvement and adaptability over time, reinforcing its applicability.

Abstract
Adopting innovative technologies such as blockchain and additive manufacturing can help organisations promote the development of additive symbiotic networks, thus pursuing higher sustainable goals and implementing circular economy strategies. These symbiotic networks correspond to industrial symbiosis networks in which wastes and by-products from other industries are incorporated into additive manufacturing processes. The adoption of blockchain technology in such a context is still in a nascent stage. Using the case study method, this research demonstrates the adoption of blockchain technology in an additive symbiotic network of a real-life context. The requirements to use a blockchain network are identified, and an architecture based on smart contracts is proposed as an enabler of the additive symbiotic network under study. The proposed solution uses the Hyperledger Fabric Attribute-Based Access Control as the distributed ledger technology. Even though this solution is still in the proof-of-concept stage, the results show that adopting it would allow the elimination of intermediary entities, keep available tracking records of the resources exchanged, and improve trust among the symbiotic stakeholders (that do not have any trust or cooperation mechanisms established before the symbiotic relationship). This study highlights that the complexity associated with introducing a novel technology and the technology's immaturity compared to other data storage technologies are some of the main challenges related to using blockchain technology in additive symbiotic networks.

Abstract
Higher Education Institutions (HEIs) face increasing pressure to transform fragmented information environments into cohesive, data-driven ecosystems that support strategic and operational decision-making. This study proposes a comprehensive framework for implementing Business Intelligence (BI) in HEIs, evolving from a validated roadmap to an integrated ecosystem perspective. Grounded in the Design Science Research methodology, the work combines a systematic literature review, the design of a flexible BI architecture, and an in-depth case study at the University of Tr & aacute;s-os-Montes and Alto Douro (UTAD). The framework addresses critical factors such as strategic alignment, data governance, and system interoperability, and demonstrates how dashboards and analytics can enhance institutional intelligence and evidence-based management. Results from the UTAD case confirm the framework's capacity to overcome technical and organisational barriers, enabling the transition from isolated systems to intelligent, interconnected data infrastructures. This research contributes to the literature by bridging theoretical guidelines and practical implementation, providing a scalable reference model to guide BI-driven digital transformation in higher education. It also demonstrates the tangible institutional value of integrated BI ecosystems in supporting more informed, timely, and efficient decision-making.

Abstract
TLA(+) is one of the most popular formal methods for designing concurrent and distributed systems. TLA(+) specifications can be verified with the TLC model checker, but unfortunately only one user-specified configuration of the system is verified at a time. If configurations are simple (e.g. the number of processes in a concurrent algorithm) it is viable to run TLC for several configurations to gain confidence that the system indeed works correctly for all of them. However, for complex configurations it is difficult to do so, and critical configurations can easily be missed. This paper introduces Blast, a tool that simplifies this task, by enabling the user to easily verify a TLA(+) specification for all configurations inside a given scope. Our evaluation using a large benchmark of TLA(+) examples, shows that Blast can be effectively used in a wide range of specifications and helped us uncover issues in several of them.

Abstract
Electronic Health Records (EHRs) contain vast amounts of unstructured narrative text, posing challenges for organization, curation, and automated information extraction in clinical and research settings. Developing effective annotation schemes is crucial for training extraction models, yet it remains complex for both human experts and Large Language Models (LLMs). This study compares human- and LLM-generated annotation schemes and guidelines through an experimental framework. In the first phase, both a human expert and an LLM created annotation schemes based on predefined criteria. In the second phase, experienced annotators applied these schemes following the guidelines. In both cases, the results were qualitatively evaluated using Likert scales. The findings indicate that the human-generated scheme is more comprehensive, coherent, and clear compared to those produced by the LLM. These results align with previous research suggesting that while LLMs show promising performance with respect to text annotation, the same does not apply to the development of annotation schemes, and human validation remains essential to ensure accuracy and reliability.

Abstract
Games are commonly designed to assist players in their progression, maintaining their attention and motivation until they achieve closure while presenting challenges that need to be overcome to progress. But not all games are designed with this in mind, and players do not always play to progress. When that happens, we call it stalling. In computer games, stalling is when players or the game system try to maintain a particular state, impeding player progression and the game from developing. This chapter explores stalling as an act of players and, alternatively, as an act of the game itself that can be designed or result from emergent behaviours. It presents a model composed of two axes—Player/Game and Transitory/Permanent—that generate four types of stalling: Squandering, Casting-off, Lingering, and Taunting. This model leads to the conclusion that stalling is a legitimate playing tactic and versatile strategy for the design of games. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.