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

Low-Cost Photoacoustic System for Biomedical Applications

Autores
Ferreira, J; Pinto, V; Matos, T; Catarino, S; Minas, G; Sousa, P;

Publicação
Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems and Technologies

Abstract

2025

Evaluating LLaMA 3.2 for Software Vulnerability Detection

Autores
Gonçalves, J; Silva, M; Cabral, B; Dias, T; Maia, E; Praça, I; Severino, R; Ferreira, LL;

Publicação
CYBERSECURITY, EICC 2025

Abstract
Deep Learning (DL) has emerged as a powerful tool for vulnerability detection, often outperforming traditional solutions. However, developing effective DL models requires large amounts of real-world data, which can be difficult to obtain in sufficient quantities. To address this challenge, DiverseVul dataset has been curated as one of the largest datasets of vulnerable and non-vulnerable C/C++ functions extracted exclusively from real-world projects. Its goal is to provide high-quality, large-scale samples for training DL models. Nevertheless, during our study several inconsistencies were identified in the raw dataset while applying pre-processing techniques, highlighting the need for a refined version. In this work, we present a refined version of DiverseVul dataset, which is used to fine-tune a large language model, LLaMA 3.2, for vulnerability detection. Experimental results show that the use of pre-processing techniques led to an improvement in performance, with the model achieving an F1-Score of 66%, a competitive result when compared to our baseline, which achieved a 47% F1-Score in software vulnerability detection.

2025

Leveraging Blockchain Integrity Mechanisms and IoT Sensors to Boost Internal Process Efficiency in Logistics Management

Autores
Cale, D; Ferreira, C; Madureira, AM; Coutinho, C;

Publicação
2025 IEEE International Conference on Distributed Ledger Technologies, ICDLT 2025

Abstract
Fleet logistics management requires reliable monitoring of temperature-sensitive goods and asset utilization to meet regulatory requirements and operational efficiency targets. This paper presents an integrated framework combining blockchain technology and IoT sensors to enhance internal process efficiency and data integrity in logistics operations. The research develops and deploys a permissioned blockchain system within a Portuguese logistics company, enabling empirical evaluation of core performance metrics including end-to-end latency, transaction throughput, and audit traceability under operational conditions. A pilot study involving 12 sensors distributed across transport operations demonstrates measurable improvements in audit preparation efficiency. Analysis indicates that low-latency event registration (meaning 5 seconds) supports operational monitoring requirements, whilst automated evidence generation with cryptographic proofs reduces manual verification overhead in internal and external audit processes. The study establishes performance benchmarks and cost-benefit analysis comparing blockchain adoption against centralized logging solutions with digital signatures. The architecture enhances decision-making transparency by providing logistics managers with cryptographically verifiable operational data, whilst governance insights support organizations implementing blockchain-based integrity mechanisms in regulated environments. © 2025 IEEE.

2025

Tax Optimization in the European Union: A Laffer Curve Perspective

Autores
Sentinelo, T; Queiros, M; Oliveira, JM; Ramos, P;

Publicação
ECONOMIES

Abstract
This study explores the applicability of the Laffer Curve in the context of the European Union (EU) by analyzing the relationship between taxation and fiscal revenue across personal income tax (PIT), corporate income tax (CIT), and value-added tax (VAT). Utilizing a comprehensive panel data set spanning 1995 to 2022 across all 27 EU member states, the research also integrates the Bird Index to assess fiscal effort and employs advanced econometric techniques, including the Hausman Test and log-quadratic regression models, to capture the non-linear dynamics of the Laffer Curve. The findings reveal that excessively high tax rates, particularly in some larger member states, may lead to revenue losses due to reduced economic activity and tax evasion, highlighting the existence of optimal tax rates that maximize revenue while sustaining economic growth. By estimating threshold tax rates and incorporating the Bird Index, the study provides a nuanced perspective on tax efficiency and fiscal sustainability, offering evidence-based policy recommendations for optimizing tax systems in the European Union to balance revenue generation with economic competitiveness.

2025

Pulmonary Hypertension Detection From Heart Sound Analysis

Autores
Gaudio, A; Giordano, N; Elhilali, M; Schmidt, S; Renna, F;

Publicação
IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING

Abstract
The detection of Pulmonary Hypertension (PH) from the computer analysis of digitized heart sounds is a low-cost and non-invasive solution for early PH detection and screening. We present an extensive cross-domain evaluation methodology with varying animals (humans and porcine animals) and varying auscultation technologies (phonocardiography and seisomocardiography) evaluated across four methods. We introduce PH-ELM, a resource-efficient PH detection model based on the extreme learning machine that is smaller (300x fewer parameters), energy efficient (532x fewer watts of power), faster (36x faster to train, 44x faster at inference), and more accurate on out-of-distribution testing (improves median accuracy by 0.09 area under the ROC curve (auROC)) in comparison to a previously best performing deep network. We make four observations from our analysis: (a) digital auscultation is a promising technology for the detection of pulmonary hypertension; (b) seismocardiography (SCG) signals and phonocardiography (PCG) signals are interchangeable to train PH detectors; (c) porcine heart sounds in the training data can be used to evaluate PH from human heart sounds (the PH-ELM model preserves 88 to 95% of the best in-distribution baseline performance); (d) predictive performance of PH detection can be mostly preserved with as few as 10 heartbeats and capturing up to approximately 200 heartbeats per subject can improve performance.

2025

Video Soundtrack Generation by Aligning Emotions and Temporal Boundaries

Autores
Sulun, S; Viana, P; Davies, MEP;

Publicação
CoRR

Abstract

  • 139
  • 4493