INESC TEC

A Versatile and Low-Cost Platform for Advanced Power Electronics Experiments

Commercial power electronics laboratory platforms remain either prohibitively expensive or limited to a single converter topology, restricting student exposure to modern digital control challenges. This paper presents a versatile, low-cost didactic platform built from off-the-she...

Pedagogical Interventions That Support Self-Regulated Learning in Secondary School Students: A Systematic Literature Review

Self-regulation of learning (SRL) is a key skill for secondary school students, placing them as active and conscious agents of their own learning. It enables learners to plan, monitor, and evaluate their progress, fostering autonomy and responsibility. Teachers play a crucial rol...

The Contribution of DAS to the Routine Monitoring of Seismicity in Oceanic Islands: The Case for Faial (Azores)

Distributed acoustic sensing (DAS) deployed on submarine telecom cables is bound to revolutionize the earthquake monitoring routine currently performed by seismic network operators, particularly in domains where most seismic activity originates offshore. In this work, we analyze...

Model checking of hyperproperties for high-level relational models

Many properties related to security or concurrency must be encoded as so-called hyperproperties, temporal properties that allow reasoning about multiple traces of a system. However, despite recent advances on model checking hyperproperties, there is still a lack of higher-level s...

Nature-Based Solutions for Office Workers: A Randomized Controlled Trial on Indoor Plants to Enhance Well-Being and Productivity

Most of the global population lives and/or works in urban areas with limited access to green spaces. Integrating nature-based solutions (NBS) into indoor environments has emerged as a promising intervention strategy for enhancing indoor environmental quality (IEQ) and promoting h...

A Multimodal Framework for Analyzing Engagement With Green Social Media Influencers

ABSTRACT In light of growing concerns about environmental degradation and unsustainable consumption patterns, effective communication about sustainability has become crucial in encouraging more environmentally conscious behavior. With their ability to connect with large audiences...

Lightweight Llama Models with Experts’ Curated RAG for Electrical Engineering Education: An Exploratory Comparison

This study investigates the benefits of expanding small and open Large Language Models (Llama 3.x family) with retrieval and explicit referencing (retrieval-augmented generation), configured to refuse to respond when unsure about the answer. Additionally, we compare this augmente...