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

Expanding Relevance Judgments for Medical Case-based Retrieval Task with Multimodal LLMs

Autores
Pires, C; Nunes, S; Teixeira, LF;

Publicação
CoRR

Abstract

2025

Let's Talk About It: Making Scientific Computational Reproducibility Easier

Autores
Costa, L; Barbosa, S; Cunha, J;

Publicação
VL/HCC

Abstract

2025

Layer-based management of collaborative interior design in extended reality

Autores
Pintani, D; Caputo, A; Mendes, D; Giachetti, A;

Publicação
BEHAVIOUR & INFORMATION TECHNOLOGY

Abstract
We present CIDER, a novel framework for the collaborative editing of 3D augmented scenes. The framework allows multiple users to manipulate the virtual elements added to the real environment independently and without unexpected changes, comparing the different editing proposals and finalising a collaborative result. CIDER leverages the use of 'layers' encapsulating the state of the environment. Private layers can be edited independently by the different subjects, and a global one can be collaboratively updated with 'commit' operations. In this paper, we describe in detail the system architecture and the implementation as a prototype for the HoloLens 2 headsets, as well as the motivations behind the interaction design. The system has been validated with a user study on a realistic interior design task. The study not only evaluated the general usability but also compared two different approaches for the management of the atomic commit: forced (single-phase) and voting (requiring consensus), analyzing the effects of this choice on collaborative behaviour. According to the users' comments, we performed improvements to the interface and further tested their effectiveness.

2025

CompRep: A Dataset For Computational Reproducibility

Autores
Costa, L; Barbosa, S; Cunha, J;

Publicação
PROCEEDINGS OF THE 3RD ACM CONFERENCE ON REPRODUCIBILITY AND REPLICABILITY, ACM REP 2025

Abstract
Reproducibility in computational science is increasingly dependent on the ability to faithfully re-execute experiments involving code, data, and software environments. However, assessing the effectiveness of reproducibility tools is difficult due to the lack of standardized benchmarks. To address this, we collected 38 computational experiments from diverse scientific domains and attempted to reproduce each using 8 different reproducibility tools. From this initial pool, we identified 18 experiments that could be successfully reproduced using at least one tool. These experiments form our curated benchmark dataset, which we release along with reproducibility packages to support ongoing evaluation efforts. This article introduces the curated dataset, incorporating details about software dependencies, execution steps, and configurations necessary for accurate reproduction. The dataset is structured to reflect diverse computational requirements and methodologies, ranging from simple scripts to complex, multi-language workflows, ensuring it presents the wide range of challenges researchers face in reproducing computational studies. It provides a universal benchmark by establishing a standardized dataset for objectively evaluating and comparing the effectiveness of reproducibility tools. Each experiment included in the dataset is carefully documented to ensure ease of use. We added clear instructions following a standard, so each experiment has the same kind of instructions, making it easier for researchers to run each of them with their own reproducibility tool.The utility of the dataset is demonstrated through extensive evaluations using multiple reproducibility tools.

2025

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications

Autores
Amaral, I; Mendes, A; Campos, J;

Publicação
CoRR

Abstract

2025

Resilient Agent-Based Networks in the Automotive Industry

Autores
, A; Rocha, C; Campos, P;

Publicação
Machine Learning Perspectives of Agent-Based Models

Abstract
The present work is inspired by the aftermarket companies of the automotive industry. The goal is to investigate how companies react to market change, by understanding the effect of a perturbation (such as a business cessation) on the rest of the companies that are interconnected through peer-to-peer relationships. An agent-based model has been developed that simulates a multilayer network involving different types of companies: suppliers, aftermarket companies; retailers and consumers. The effect of the cessation is measured by the resilience of the multilayer network after suffering the perturbation. The multilayer network is inspired in a business model of the automobile industry’s aftermarket and each type of company has some defined characteristics. The agent-based model produces the network dynamics due to the changes in its configuration throughout time. No learning mechanism is introduced in this work. We demonstrate that the number of links, the volume of sales and the total profit of a node in the network has an impact on its survival throughout time. © 2025 The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG.

  • 206
  • 4387