Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

2025

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Autores
Oliveira, F; Mendes, A; Carreira, C;

Publicação
CoRR

Abstract

2025

Comparison of selected self-consumption regulatory approaches in Europe

Autores
Moreno, A; Mello, J; Villar, J;

Publicação
Heliyon

Abstract
Deploying renewable energy communities, self-consumption and local energy markets are one of the ways to contribute to the energy system decarbonization by increasing the renewable energy share in the production mix and contributing to a better local balancing. However, how collective self-consumption structures are regulated has a direct impact on the flexibility of the energy sharing mechanisms and business models that can be set up. This paper compares and discusses how the European Union directives on self-consumption have been transposed to the national regulations of Portugal, Spain and France, providing a detailed regulatory discussion on the definition of basic concepts such as individual and collective self-consumption and renewable energy communities, proximity rules among members, energy sharing mechanisms and energy allocation coefficients, how the energy surplus is managed in each case, or how the grid access tariffs are modified to account for the self-consumed energy. The study highlights that dynamic allocation coefficients provide significant advantages for collective self-consumption by improving energy allocation efficiency, enabling advanced business models, and facilitating the integration of local energy markets, as it is the case in Portugal and France, while their absence in Spain limits these opportunities. The work also highlights the trade-off between flexible energy sharing and implementation complexity, and the role of digital tools to operationalize energy communities. Suggestions on potential regulatory improvements for all countries are also proposed. © 2025

2025

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny

Autores
Carreira, C; Silva, AF; Abreu, A; Mendes, A;

Publicação
CoRR

Abstract

2025

Using Explanations to Estimate the Quality of Computer Vision Models

Autores
Oliveira, F; Carneiro, D; Pereira, J;

Publicação
HUMAN-CENTRED TECHNOLOGY MANAGEMENT FOR A SUSTAINABLE FUTURE, VOL 2, IAMOT

Abstract
Explainable AI (xAI) emerged as one of the ways of addressing the interpretability issues of the so-called black-box models. Most of the xAI artifacts proposed so far were designed, as expected, for human users. In this work, we posit that such artifacts can also be used by computer systems. Specifically, we propose a set of metrics derived from LIME explanations, that can eventually be used to ascertain the quality of each output of an underlying image classification model. We validate these metrics against quantitative human feedback, and identify 4 potentially interesting metrics for this purpose. This research is particularly useful in concept drift scenarios, in which models are deployed into production and there is no new labelled data to continuously evaluate them, becoming impossible to know the current performance of the model.

2025

Modelradar: aspect-based forecast evaluation

Autores
Cerqueira, V; Roque, L; Soares, C;

Publicação
MACHINE LEARNING

Abstract
Accurate evaluation of forecasting models is essential for ensuring reliable predictions. Current practices for evaluating and comparing forecasting models focus on summarising performance into a single score, using metrics such as SMAPE. While convenient, averaging performance over all samples dilutes relevant information about model behaviour under varying conditions. This limitation is especially problematic for time series forecasting, where multiple layers of averaging-across time steps, horizons, and multiple time series in a dataset-can mask relevant performance variations. We address this limitation by proposing ModelRadar, a framework for evaluating univariate time series forecasting models across multiple aspects, such as stationarity, presence of anomalies, or forecasting horizons. We demonstrate the advantages of this framework by comparing 24 forecasting methods, including classical approaches and different machine learning algorithms. PatchTST, a state-of-the-art transformer-based neural network architecture, performs best overall but its superiority varies with forecasting conditions. For instance, concerning the forecasting horizon, we found that PatchTST (and also other neural networks) only outperforms classical approaches for multi-step ahead forecasting. Another relevant insight is that classical approaches such as ETS or Theta are notably more robust in the presence of anomalies. These and other findings highlight the importance of aspect-based model evaluation for both practitioners and researchers. ModelRadar is available as a Python package.

2025

Implementation of Virtual Reality in Teacher Training: A Case Study with VRChat and Oculus Quest 2

Autores
Castelhano, M; Pedrosa, D; Morgado, L; Messias, I;

Publicação
Practitioner Proceedings of the 11th International Conference of the Immersive Learning Research Network

Abstract

  • 139
  • 4281