Abstract
A key feature of model finding techniques allows users to enumerate and explore alternative solutions. However, it is challenging to guarantee that the generated instances are relevant to the user, representing effectively different scenarios. This challenge is exacerbated in quantitative modelling, where one must consider both the qualitative, structural part of a model, and the quantitative data on top of it. This results in a search space of possibly infinite candidate solutions, often infinitesimally similar to one another. Thus, research on instance enumeration in qualitative model finding is not directly applicable to the quantitative context, which requires more sophisticated methods to navigate the solution space effectively. The main goal of this paper is to explore a generic approach for navigating quantitative solution spaces and showcase different iteration operations, aiming to generate instances that differ considerably from those previously seen and promote a larger coverage of the search space. Such operations are implemented in QAlloy - a quantitative extension to Alloy - on top of Max-SMT solvers, and are evaluated against several examples ranging, in particular, over the integer and fuzzy domains.

Abstract
The rapid advancement of wireless technologies, particularly Wi-Fi, has spurred significant research into indoor human activity detection across various domains (e.g., healthcare, security, and industry). This work explores the non-invasive and cost-effective Wi-Fi paradigm and the application of deep learning for human activity recognition using Wi-Fi signals. Focusing on the challenges in machine interpretability, motivated by the increase in data availability and computational power, this paper uses explainable artificial intelligence to understand the inner workings of transformer-based deep neural networks designed to estimate human pose (i.e., human skeleton key points) from Wi-Fi channel state information. Using different strategies to assess the most relevant sub-carriers (i.e., rollout attention and masking attention) for the model predictions, we evaluate the performance of the model when it uses a given number of sub-carriers as input, selected randomly or by ascending (high-attention) or descending (low-attention) order. We concluded that the models trained with fewer (but relevant) sub-carriers are competitive with the baseline (trained with all sub-carriers) but better in terms of computational efficiency (i.e., processing more data per second).

Abstract

Abstract
E-learning has been important in higher education, enabling people to continue their education with more flexibility. Virtual laboratories play a crucial role in Computer Science distance learning degrees, by enabling students to study at their rhythm and getting practical answers to practical problems immediately. Theoretical models such as finite automata, pushdown automata, context-free grammars, Turing machines, etc., are essential for understanding the grounds of languages and computability and are also the basis for the implementation of compilers. In this paper, a new virtual laboratory is presented, UAbALL—Automata Learning Lab, developed at Universidade Aberta (UAb), the Portuguese Open University. This virtual laboratory has already been tested in the curricular unit of Languages and Computation, with good feedback from the students. A comparison to other tools was performed showing that UAbALL is more complete in terms of tools provided.

Abstract
The forest-to-bioenergy supply chain is significantly vulnerable to natural disruptions, including wildfires, heavy snowfall, and windstorms. The increased occurrence of these disruptive events has caused severe challenges in forest biomass harvesting and transportation processes, which are difficult to manage. With the need to support decision-makers in designing resilient supply chains (SCs), we propose a Decision Support System (DSS) combining a two-stage stochastic programming framework with various flexibility mechanisms, such as dynamic network reconfiguration and operations postponement. The DSS incorporates an AI-based methodology to identify the most appropriate datasets and resilience metrics, capturing different supply chain dimensions (supply, demand, and operations). This integrated framework supports the selection of effective resilience-enhancing strategies to mitigate large-scale disruptions, with a particular focus on wildfires. The proposed approach is applied in a real case study in Portugal, where the most significant risk factor is wildfires. We perform computational studies and sensitivity analysis to evaluate the applicability and performance of the model and to drive managerial insights. The results show that adopting the model solutions can significantly reduce supply chain logistics and operational costs under more severe disruptive scenarios. Moreover, the results indicate up to a 60% increase in the tons of forest residues that can be removed and processed.

Abstract