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

Privacy and Security of FIDO2 Revisited

Autores
Barbosa, M; Boldyreva, A; Chen, S; Cheng, K; Esquível, L;

Publicação
Proc. Priv. Enhancing Technol.

Abstract

2025

A New Closed-Loop Control Paradigm Based on Process Moments

Autores
Vrancic, D; Bisták, P; Huba, M; Oliveira, PM;

Publicação
MATHEMATICS

Abstract
The paper presents a new control concept based on the process moment instead of the process states or the process output signal. The control scheme is based on separate control of reference tracking and disturbance rejection. The tracking control is achieved by additionally feeding the input of the process model by the scaled output signal of the process model. The advantage of such feedback is that the final state of the process output can be analytically calculated and used for control instead of the actual process output value. The disturbance rejection, including model imperfections, is controlled by feeding back the filtered difference between the process output and the model output to the process input. The performance of tracking and disturbance rejection is simply controlled by two user-defined gains. Several examples have shown that the new control method provides very good and stable tracking and disturbance rejection performance.

2025

FedGS: Federated Gradient Scaling for Heterogeneous Medical Image Segmentation

Autores
Schutte, P; Corbetta, V; Beets-Tan, R; Silva, W;

Publicação
Lecture Notes in Computer Science - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Abstract

2025

Clinical Annotation and Medical Image Anonymization for AI Model Training in Lung Cancer Detection

Autores
Freire, AM; Rodrigues, EM; Sousa, JV; Gouveia, M; Ferreira-Santos, D; Pereira, T; Oliveira, HP; Sousa, P; Silva, AC; Fernandes, MS; Hespanhol, V; Araújo, J;

Publicação
UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION, UAHCI 2025, PT I

Abstract
Lung cancer remains one of the most common and lethal forms of cancer, with approximately 1.8 million deaths annually, often diagnosed at advanced stages. Early detection is crucial, but it depends on physicians' accurate interpretation of computed tomography (CT) scans, a process susceptible to human limitations and variability. ByMe has developed a medical image annotation and anonymization tool designed to address these challenges through a human-centered approach. The tool enables physicians to seamlessly add structured attribute-based annotations (e.g., size, location, morphology) directly within their established workflows, ensuring intuitive interaction.Integrated with Picture Archiving and Communication Systems (PACS), the tool streamlines the annotation process and enhances usability by offering a dedicated worklist for retrospective and prospective case analysis. Robust anonymization features ensure compliance with privacy regulations such as the General Data Protection Regulation (GDPR), enabling secure dataset sharing for research and developing artificial intelligence (AI) models. Designed to empower AI integration, the tool not only facilitates the creation of high-quality datasets but also lays the foundation for incorporating AI-driven insights directly into clinical workflows. Focusing on usability, workflow integration, and privacy, this innovation bridges the gap between precision medicine and advanced technology. By providing the means to develop and train AI models for lung cancer detection, it holds the potential to significantly accelerate diagnosis as well as enhance its accuracy and consistency.

2025

Business Models for Energy Community with Vulnerable Consumers

Autores
Santos, T; Silva, R; Mello, J; Villar, J;

Publicação
2025 21ST INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM

Abstract
Renewable energy communities (REC) can involve final consumers into the energy system incentivizing investments in decentralized renewable energy sources and shaping their energy behaviour to improve the local balance of consumption and generation. However, RECs can also help alleviate energy poverty, which occurs when low incomes and inefficient buildings and appliances result in disproportionately high energy costs for households, by lowering energy expenses through the sharing of surplus electricity at reduced prices with vulnerable members. This work explores REC business models with the specific focus on incorporating and empowering vulnerable consumers. Based on the literature review, we propose indexes to assess the vulnerability and non-vulnerability of REC members. From these indexes, we propose two business models based on two different strategies for the operation and settlement of a REC with flexible assets and vulnerable members.

2025

Tempo: ML-KEM to PAKE Compiler Resilient to Timing Attacks

Autores
Arriaga, A; Barbosa, M; Jarecki, S;

Publicação
IACR Cryptol. ePrint Arch.

Abstract

  • 55
  • 4281