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

2024

Improving Electricity Demand Forecasts in Highly Electrified Ports Through Operational Data: Case Study of the Port of Sines

Autores
do Carmo, FD; Carrillo-Galvez, A; Soares, T; Mouráo, Z; Ponomarev, I; Araújo, J; Bandeira, E;

Publicação

Abstract

2024

Fairness Under Cover: Evaluating the Impact of Occlusions on Demographic Bias in Facial Recognition

Autores
Mamede, RM; Neto, PC; Sequeira, AF;

Publicação
CoRR

Abstract

2024

Programming languages ranking based on energy measurements

Autores
Gordillo, A; Calero, C; Moraga, MA; García, F; Fernandes, JP; Abreu, R; Saraiva, J;

Publicação
SOFTWARE QUALITY JOURNAL

Abstract
Software is developed using programming languages whose choice is made based on a wide range of criteria, but it should be noted that the programming language selected can affect the quality of the software product. In this paper, we focus on analysing the differences in energy consumption when running certain algorithms that have been developed using different programming languages. Therefore, we focus on the software quality from the perspective of greenability, in concrete in the aspects related to energy efficiency. For this purpose, this study has conducted an empirical investigation about the most suitable programming languages from an energy efficiency perspective using a hardware-based consumption measurement instrument that obtains real data about energy consumption. The study builds upon a previous study in which energy efficiency of PL were ranked using a software-based approach where the energy consumption is an estimation. As a result, no significant differences are obtained between two approaches, in terms of ranking the PL. However, if it is required to have a more realistic knowledge of consumption, it is necessary to use hardware approaches. Furthermore, the hardware approach provides information about the energy consumption of specific DUT hardware components, such as, HDD, graphics card, and processor, and a ranking for each of component is elaborated. This can provide useful information to make a more informed decision on the choice of a PL, depending on several factors, such as the type of algorithms to be implemented, or the effects on power consumption not only in overall, but also depending on specific DUT hardware components.

2024

When Amnesia Strikes: Understanding and Reproducing Data Loss Bugs with Fault Injection

Autores
Ramos, M; Azevedo, J; Kingsbury, K; Pereira, J; Esteves, T; Macedo, R; Paulo, J;

Publicação
PROCEEDINGS OF THE VLDB ENDOWMENT

Abstract
We present LAZYFS, a new fault injection tool that simplifies the debugging and reproduction of complex data durability bugs experienced by databases, key-value stores, and other data-centric systems in crashes. Our tool simulates persistence properties of POSIX file systems (e.g., operations ordering and atomicity) and enables users to inject lost and torn write faults with a precise and controlled approach. Further, it provides profiling information about the system's operations flow and persisted data, enabling users to better understand the root cause of errors. We use LAZYFS to study seven important systems: PostgreSQL, etcd, Zookeeper, Redis, LevelDB, PebblesDB, and Lightning Network. Our fault injection campaign shows that LAZYFS automates and facilitates the reproduction of five known bug reports containing manual and complex reproducibility steps. Further, it aids in understanding and reproducing seven ambiguous bugs reported by users. Finally, LAZYFS is used to find eight new bugs, which lead to data loss, corruption, and unavailability.

2024

Contributions of Municipal Initiatives to Digital Health Equity

Autores
Almeida, F;

Publicação
WORLD

Abstract
Sustainable initiatives play a crucial role in promoting digital health equity by addressing barriers to access and ensuring equitable use of digital health technologies and services. These initiatives may arise in various contexts, including local collaborative networks that emerge in the municipal context. This study aims to identify and characterize the municipal initiatives that have been developed in Portugal to promote digital health equity. It adopts a mixed methods approach to initially quantify the distribution of these projects in the Portuguese territory and, at a later stage, to understand the level of influence of these projects, considering their impact on individual, interpersonal, community, and societal levels. The findings identified 22 municipal sustainable initiatives and concluded that there is a strong relationship between the areas of community and individual influence. The results of this study are relevant to deepening the knowledge of bottom-up innovation in the digital health field and establishing public policies to increase the impact of these projects at the territorial level, the communities involved, and the social objectives addressed, contributing to greater social cohesion.

2024

Collective Asset Sharing Mechanisms for PV and BESS in Renewable Energy Communities

Autores
Guedes, W; Oliveira, C; Soares, TA; Dias, BH; Matos, M;

Publicação
IEEE TRANSACTIONS ON SMART GRID

Abstract
The energy sector transition to more decentralized and renewable structures requires greater participation by local consumers, which may be enabled by innovative models such as the setup of renewable energy communities (RECs). To maximize the self-consumption of local renewable energy generated by assets normally connected to the low voltage distribution grid, these RECs typically involve jointly owned assets such as collective photovoltaic solar panels (CPVs) and collective energy storage systems (CESS). This work proposes a novel mathematical model for a REC, accounting for three distinct economic approaches to the redistribution of collective benefits among community members. The main objective of this study is to understand how the participation of community members in collective assets (CAs) can help increase the fairness and equity of RECs. An illustrative REC case comprising members with individual and collective ownership of the assets is used to assess the proposed economic approaches. Extracting several answers, among them that the most advantageous configuration comes from agents with quotas in the CESS and CPV. An important conclusion is that depending on the selected economic approach, the social welfare and agent's revenue vary significantly. In any case, CESSs increase equity among REC members.

  • 94
  • 4073