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

Evaluation of cortical lateralization for identifying Parkinson’s disease patients using electroencephalographic signals and machine learning

Autores
Massaranduba, ABR; Coelho, BFO; Santos Souza, CAd; Viana, GG; Brys, I; Ramos, RP;

Publicação
Current Psychology

Abstract

2025

Optimization of heat and ultrasound-assisted extraction of Eucalyptus globulus leaves reveals strong antioxidant and antimicrobial properties

Autores
Lima, L; Pereira, AI; Vaz, CB; Ferreira, O; Dias, MI; Heleno, SA; Calhelha, RC; Barros, L; Carocho, M;

Publicação
FOOD CHEMISTRY

Abstract
The extraction of phenolic compounds from eucalyptus leaves was optimized using heat and ultrasound-assisted techniques, and the bioactive potential of the resulting extract was assessed. The independent variables, including time (t), solvent concentration (S), and temperature (T) or power (P), were incorporated into a five- level central composite design combined with Response Surface Methodology. Phenolic content was determined by HPLC-DAD-ESI/MS and used as response criteria. The developed models were successfully fitted to the experimental data to identify the optimal extraction conditions. Heat-assisted extraction proved to be the most efficient method for phenolic recovery, yielding 27 +/- 2 mg/g extract under optimal conditions (120 min, 76.5 degrees C, and 25 % ethanol, v/v). The extracts exhibited a high concentration of phenolic glycoside derivatives, including gallotannin, quercetin, and isorhamnetin. These findings suggest that the extracts hold promise as natural additives in food technology, owing to their moderate antimicrobial activity and strong antioxidant properties.

2025

Digital platforms to support the flexibility value chain, run flexibility markets, and manage energy communities

Autores
Rodrigues, L; Coelho, F; Mello, J; Villar, J;

Publicação
Current Sustainable/Renewable Energy Reports

Abstract
Purpose of Review: This paper reviews the flexibility-centric value chain (FCVC) and analyses how coordinating digital platforms along the FCVC is essential for enabling FCVC activities and supporting key actors. Based on the FCVC, the digital infrastructure needed to support flexibility provision in power systems is reviewed, with special focus on the role of energy communities (ECs) as emerging relevant actors and potential aggregators of its members. Recent Findings: We review the Grid Data and Business Network (GDBN), a platform developed by the authors to support the FCVC, with special focus on those stages of the FCVC not properly supported by existing solutions. It also analyses platforms used in local flexibility markets (LFMs), and it presents the RECreation digital platform designed to manage ECs to support the participation in flexibility markets. Summary: Digital platforms are necessary for scaling flexibility services. The GDBN offers a comprehensive approach by enabling the FCVC and facilitating interoperability with existing platforms dedicated to specific segments, such as ECs and LFMs. By addressing current limitations in platform integration, this paper contributes to a clearer understanding of how digital tools can enable an efficient flexibility ecosystem. © The Author(s) 2025.

2025

From Competition to Classroom: A Hands-on Approach to Robotics Learning

Autores
Lopes, MS; Ribeiro, JD; Moreira, AP; Rocha, CD; Martins, JG; Sarmento, JM; Carvalho, JP; Costa, PG; Sousa, RB;

Publicação
2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC

Abstract
Robotics education plays a crucial role in developing STEM skills. However, university-level courses often emphasize theoretical learning, which can lead to decreased student engagement and motivation. In this paper, we tackle the challenge of providing hands-on robotics experience in higher education by adapting a mobile robot originally designed for competitions to be used in laboratory classes. Our approach integrates real-world robot operation into coursework, bridging the gap between simulation and physical implementation while maintaining accessibility. The robot's software is developed using ROS, and its effectiveness is assessed through student surveys. The results indicate that the platform increases student engagement and interest in robotics topics. Furthermore, feedback from teachers is also collected and confirmed that the platform boosts students' confidence and understanding of robotics.

2025

Simulator and on-road testing of truck platooning: a systematic review

Autores
Botelho, TC; Duarte, SP; Ferreira, MC; Ferreira, S; Lobo, A;

Publicação
EUROPEAN TRANSPORT RESEARCH REVIEW

Abstract
The evolution of transport technologies, marked by integrating connectivity and automation, has led to innovative approaches such as truck platooning. This concept involves linking multiple trucks through automated driving and vehicle-to-vehicle communication, promising to revolutionize the freight industry by enhancing efficiency and reducing operational costs. This systematic review explores the current state of truck platooning testing literature, focusing on simulator and on-road tests. The objective is to identify key scenarios and requirements for successfully developing and implementing the truck platooning concept. Following the Preferred Reporting Items for Systematic Review and Meta-Analysis Protocols (PRISMA) guidelines, we searched the Web of Science and Scopus databases, leading to the inclusion of thirty pertinent articles encompassing simulation-based, on-road, and mixed-environment experiments. In addition to the type of testing environment, these articles were assorted into three groups corresponding to their main thematic scope, human-centered, technology-centered, and energy efficiency studies, each providing unique insights into core themes for the development of truck platooning. The results reveal a commonly preferred platoon formation consisting of three trucks maintaining a constant speed of 80 km/h and a stable distance of 10 m between them. Simulator-based studies have predominantly concentrated on human factors, examining driver behavior and interaction within the platooning framework. In contrast, on-road trials have yielded tangible data, offering a more technology-driven perspective and contributing practical insights to the field. While the literature on truck platooning has grown considerably, this review recognizes some limitations in the existing literature and suggests paths for future research. Overall, this systematic review provides valuable insights to the ongoing development of robust and effective truck platooning systems.

2025

C'est Tres CHIC: A Compact Password-Authenticated Key Exchange from Lattice-Based KEM

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

Publicação
ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT V

Abstract
Driven by the NIST's post-quantum standardization efforts and the selection of Kyber as a lattice-based Key-Encapsulation Mechanism (KEM), severalPasswordAuthenticated KeyExchange (PAKE) protocols have been recently proposed that leverage a KEM to create an efficient, easy-to-implement and secure PAKE. In two recent works, Beguinet et al. (ACNS 2023) and Pan and Zeng (ASIACRYPT 2023) proposed generic compilers that transform KEM into PAKE, relying on an Ideal Cipher (IC) defined over a group. However, although IC on a group is often used in cryptographic protocols, special care must be taken to instantiate such objects in practice, especially when a low-entropy key is used. To address this concern, Dos Santos et al. (EUROCRYPT 2023) proposed a relaxation of the ICmodel under the Universal Composability (UC) framework called Half-Ideal Cipher (HIC). They demonstrate how to construct a UC-secure PAKE protocol, EKE-KEM, from a KEM and a modified 2round Feistel construction called m2F. Remarkably, the m2F sidesteps the use of an IC over a group, and instead employs an IC defined over a fixed-length bitstring domain, which is easier to instantiate. In this paper, we introduce a novel PAKE protocol called CHIC that improves the communication and computation efficiency of EKE-KEM, by avoiding the HIC abstraction. Instead, we split the KEM public key in two parts and use the m2F directly, without further randomization. We provide a detailed proof of the security of CHIC and establish precise security requirements for the underlying KEM, including one-wayness and anonymity of ciphertexts, and uniformity of public keys. Our findings extend to general KEM-based EKE-style protocols and show that a passively secure KEM is not sufficient. In this respect, our results align with those of Pan and Zeng (ASIACRYPT 2023), but contradict the analyses of KEM-to-PAKE compilers by Beguinet et al. (ACNS 2023) and Dos Santos et al. (EUROCRYPT 2023). Finally, we provide an implementation of CHIC, highlighting its minimal overhead compared to the underlying KEM - Kyber. An interesting aspect of the implementation is that we reuse the rejection sampling procedure in Kyber reference code to address the challenge of hashing onto the public key space. As of now, to the best of our knowledge, CHIC stands as the most efficient PAKE protocol from black-box KEM that offers rigorously proven UC security.

  • 288
  • 4496