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

Modelling circular-driven Digital Twins

Autores
Ventura, A; Sousa, C; Pereira, C; Duarte, N; Martins, M; Silva, B;

Publicação
Procedia Computer Science

Abstract
In the current era of digital transformation, adopting circular business models that blend circularity principles with advanced digital technologies, is fundamental for sustainable industrial practices. This paper suggests a semantic model for a Digital Twin based on an Asset Administration Shell. It also explores the Digital Product Passport topic since this will be the final goal for the Digital Twin. The Digital Product Passport serves as a complete digital record of the product life cycle to improve traceability and circularity. The Asset Administration Shell provides a standardized digital representation of assets, facilitating interoperability and fluid data exchange. By taking advantage of a Digital Twin, industries can optimize performance and predict product needs. Moreover, it enriches the Digital Product Passport with updated and accurate data, facilitating traceability and efficient product management. The application of semantic models ensures a consistent interpretation of data across all platforms, increasing the reliability of digital interactions and interoperability. This article explains the potential of these technologies to promote a circular economy, focusing in the particular case of the Digital Product Passport. © 2025 The Author(s).

2025

Agent-Based Simulation of Forest Fire Spread with NetLogo

Autores
Pires, R; Torres, P; Valente, NA; Solteiro Pires, EJ; Reis, A; Moura Oliveira, PBd; Barroso, J;

Publicação
HCI (72)

Abstract
Forest fires represent a significant and growing threat to natural ecosystems and human settlements, with their unpredictable behavior and capacity for rapid expansion over time, creating substantial challenges for effective prevention, control, and mitigation. This paper presents the development of a forest fire simulator designed to model and predict fire spread under varying environmental conditions. Such a simulator must consider how fire spreads in different locations and climate conditions, showing the final shape of the fire in a given period of time. Using the NetLogo agent-based modeling platform, a simulated forest environment was created in which trees function as autonomous agents interacting with one another and the environment. Identifying and understanding the risk factors that increase the likelihood of a fire occurring, as well as those that contribute to its spread and intensity, is essential for the development of an accurate forest fire simulator. Such a simulator can integrate the complex interactions among these variables to produce dynamic visualizations of fire progression, allowing users to evaluate different scenarios and make informed decisions for preventing, controlling and fighting forest fires. By incorporating key factors—such as vegetation density, temperature, humidity, topography, and wind direction—the system calculates the probability of fire propagation and generates visual representations of fire behavior over time. This tool allows users to forecast fire behavior and assess response strategies proactively, thereby improving the accuracy and efficiency of firefighting efforts. In addition, the simulator yields significant social benefits, especially for older adults residing in fire-prone areas, by supporting early warning systems, enabling prompt evacuations, and mitigating their susceptibility to fire-related risks through enhanced preparedness and coordinated response measures. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2026.

2025

Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education

Autores
Potter, H; Paiva, ACR; Amalfitano, D; Fasolino, AR; Tramontana, P; Just, R;

Publicação
COMPANION PROCEEDINGS OF THE 33RD ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2025

Abstract
Mutation testing is an effective testing technique for improving how well a test suite can detect small changes to a program under test. This testing technique is seeing increased industry adoption. This paper aims to study the use of mutation testing in an educational setting and understand students' technical and conceptual challenges in applying mutation testing concepts. We report on two case studies of incorporating mutation testing into software engineering curricula. The Scaffolding Study explores the impact of using different mutation analysis tools directly or indirectly via a uniform interface provided by an educational infrastructure. We observe that scaffolding (indirect tool use) improved the consistency of student performance for those using the same mutation analysis tool on the same code as well as helping students perform more effective mutation testing. The Visualization Study explores the impact of different forms of output of a mutation analysis tool. Specifically, it assesses to what extent visualizations support students in reasoning about mutants and writing tests to detect them. We observe that like scaffolding, visualizations helped students perform more effective mutation testing, with lower-performing students seeing a boost in particular. We further explore challenges around automatic assessment of mutation testing exercises. For example, we observe that even with assignment scaffolding, 18-21% of student submissions required manual modifications to successfully execute.

2025

Red grape detection with accelerated artificial neural networks in the FPGA's programmable logic

Autores
Magalhães, SC; Almeida, M; dos Santos, FN; Moreira, AP; Dias, J;

Publicação
CoRR

Abstract

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

2025

Joint Mobile IAB Node Positioning and Scheduler Selection in Locations With Significant Obstacles

Autores
Correia, PF; Coelho, A; Ricardo, M;

Publicação
2025 JOINT EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS & 6G SUMMIT, EUCNC/6G SUMMIT

Abstract
Integrated Access and Backhaul (IAB) in cellular networks combines access and backhaul within a wireless infrastructure reducing reliance on fibre-based backhaul. This enables flexible and more cost-effective network expansion, especially in hard-to-reach areas. Positioning a mobile IAB node (MIAB) in a seaport environment, in order to ensure on-demand, resilient wireless connectivity, presents unique challenges due to the high density of User Equipments (UEs) and potential shadowing effects caused by obstacles. This paper addresses the problem of positioning MIABs within areas containing UEs, fixed IAB donors (FIABs), and obstacles. Our approach considers user associations and different types of scheduling, ensuring MIABs and FIABs meet the capacity requirements of a special team of served UEs, while not exceeding backhaul capacity. With a Genetic Algorithm solver, we achieve capacity improvement gains, by up to 200% for the 90th percentile, particularly during emergency capacity demands.

  • 27
  • 4404