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

2026

Temporal Resolution Matters: Assessing Its Impact on Variable Renewable Integration in Open-Source Long-Term Energy Planning Models

Autores
Bechir, MH; Oliveira, FT; Bernardo, H;

Publicação
4th International Workshop on Open Source Modelling and Simulation of Energy Systems, OSMSES 2026 - Proceedings

Abstract
This work examines the impact of time-slice resolution on renewable energy integration outcomes in long-term energy planning using OSeMOSYS. The analysis focuses on the Portuguese power system over the period 2024-2050, analysed under three scenarios: one coarse (six time slices) and two finer (twelve and twenty-four time slices), all evaluated under strict cost optimisation. Key outputs include system costs, technology deployment, dispatch behaviour, and emissions trajectories. Results indicate that temporal structure directly shapes long-term planning outcomes. The coarse scenario smooths short-term variability and promotes investment in technologies, particularly solar photovoltaic and wind, while reducing the share of natural gas combined cycle (NGCC), presenting an optimistic decarbonisation pathway. Finer resolutions capture intra-day and seasonal fluctuations, revealing operational constraints, increasing NGCC capacity (1.3 to 2 GW), and moderating Solar PV and wind output. Overall, the findings demonstrate that temporal resolution is not a secondary modelling choice but a critical determinant of the credibility of long-term energy planning. Appropriate temporal segmentation is therefore essential for robust evaluation of policy options, system flexibility requirements, and sustainable energy transition strategies © 2026 IEEE.

2026

Outlier Analysis in Personnel Attendance Timesheet Records

Autores
Duarte Nunes, G; Pinto da Silva, J; Magalhães, L; Sousa, R;

Publicação

Abstract
?Accurate recording of employee working hours is fundamental for workforce management, operational planning, and regulatory compliance. Despite the widespread adoption of digital time-tracking systems, timesheet records remain susceptible to irregularities that can distort labor metrics, productivity indicators, and cost estimations. This study proposes a domain-informed analytical framework for detecting, classifying, and interpreting anomalous entries in employee attendance data.The methodology integrates outlier detection with operational context in a structured workflow. First, six relative deviation features are engineered to capture directional differences between planned and recorded work and lunch periods, including start times, end times, and durations. These features are normalized to ensure comparability across heterogeneous shifts. Second, univariate Tukey’s fences are applied to identify mild and extreme outliers for each deviation feature. Extreme outliers are interpreted as potential measurement errors, whereas mild outliers are classified according to domain-defined directional rules as either operationally acceptable or operationally detrimental deviations. Third, unauthorized deviations are analyzed using Hierarchical Density-Based Spatial Clustering of Applications with Noise (HDBSCAN) to reveal recurring behavioral patterns within the multidimensional deviation space. Finally, employee-level behavioral risk is quantified through a normalized Severity Index based on the frequency of unauthorized deviations relative to attendance frequency, enabling both global ranking and temporal monitoring.Applied to 4,726 anonymized timesheet records, the proposed approach effectively distinguishes measurement errors, acceptable deviations, and operationally detrimental behaviors while revealing structured patterns of noncompliance. By integrating robust statistics with domain knowledge, it enables scalable attendance analytics and workforce governance.

2026

An Explosion of the Uses of Immersive Learning Environments: A Mapping of Reviews Update

Autores
Beck, D; Morgado, L; O'Shea, P;

Publicação
IMMERSIVE LEARNING RESEARCH NETWORK, ILRN 2025

Abstract
Since the publication of the 2020 paper, Finding the Gaps About Uses of Immersive Learning Environments: A Survey of Surveys, the landscape of immersive learning environments (ILEs) has continued to evolve rapidly. This update aims to revisit the gaps identified in that previous research and explore emerging trends. We conducted an extensive review of new surveys published after that paper's cut date. Our findings reveal a significant amount of new published reviews (n = 64), more than doubling the original corpus (n = 47). The results highlighted novel themes of usage of immersive environments, helping bridge some 2020 research gaps. This paper discusses those developments and presents a consolidated perspective on the uses of immersive learning environments.

2026

A Power-Conditioned Pricing Electricity Tariff to Restore Consumption Incentives under Revenue Neutrality

Autores
Fidalgo, JNM; Saraiva, J;

Publicação

Abstract
Current residential electricity tariffs often combine a flat energy price with a fixed charge linked to contracted power, resulting in electricity bills that are weakly responsive to changes in consumption. This lack of proportionality reduces incentives for energy savings and may undermine demand-side efficiency.This paper proposes a novel Power-Conditioned Pricing (PCP) tariff, in which unit energy prices depend on the power level at which electricity is consumed. By associating higher prices with higher consumption intensity, the proposed tariff introduces progressivity while preserving transparency and regulatory feasibility. The tariff is calibrated to ensure revenue neutrality with respect to the current tariff for each contracted power level.Two complementary calibration strategies are analysed: a profile-based approach using representative regulatory load profiles, and an empirical approach based on statistical distributions derived from real consumer data. To assess consumer responsiveness, electricity bills are evaluated under both vertical and horizontal consumption adjustment models.Results show that bill elasticity increases from values between 0.43–0.73 under the current tariff to values close to unity under PCP, while maintaining revenue neutrality across contracted power levels. These findings suggest that power-conditioned pricing constitutes a promising alternative to current residential tariff structures, better aligned with energy-efficiency and conservation objectives.

2026

Reconfiguring Staggered Quantum Walks with ZX

Autores
Jardim, B; Santos, J; Barbosa, LS;

Publicação
SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS

Abstract
The staggered model is a recent, very general variant of discrete-time quantum walks which, avoiding the use of a coin to direct the walker evolution, explores the underlying graph structure to build an evolution operator based on local unitaries induced by adjacent vertices. Optimising their implementation to increase resilience to decoherence phenomena motivates their analysis with the ZX-calculus. The whole optimisation can be seen as a graph reconfiguration process along which the original circuit is rewrote, significantly reducing the number of (expensive) gates used. The exercise identified an underlying pattern leading to an alternative, potentially more efficient evolution operator.

2026

Paraconsistent Reactive Graphs

Autores
Cunha, J; Madeira, A; Barbosa, LS;

Publicação
SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS

Abstract
This paper introduces Paraconsistent Reactive Graphs, as an extension of Reactive graphs that incorporates paraconsistency into the ground edges to address vagueness and inconsistency within dynamic systems. By assigning pairs of truth values to ground edges, this framework captures the uncertainty and contradictions stemming from incomplete or conflicting information. We explore the semantics of these graphs and provide a practical example to illustrate the proposed approach.

  • 42
  • 4422