Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2025

Rethinking BFT: Leveraging Diverse Software Components with LLMs

Authors
Imperadeiro, J; Alonso, AN; Pereira, J;

Publication
2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S

Abstract
Diversity is crucial in systems that tolerate Byzantine faults. Traditionally, system builders have relied on standardized interfaces (e.g., POSIX for operating systems) to obtain off-the-shelf components or on n-version programming for custom functionality. Unfortunately, standardized alternatives are rare, and the independent development of multiple versions of the same software is costly and justified only on the most critical applications. In this paper, we show that a limited and focused use of LLMs for translation opens up the possibility of leveraging the existing diversity in functionally equivalent but non-standardized components. Specifically, we show that LLMs can produce functionally correct database query translations with minimal guidance and adapt to diverse data models and query contexts, enabling the use of radically different database models, both SQL and NoSQL, together in a Byzantine fault-tolerant replicated system. We outline an approach to achieve this in practice and discuss future research directions.

2025

FGPE - An Evolving Framework for Gamified Programming Learning

Authors
Queirós, R; Swacha, J; Damasevicius, R; Maskeliunas, R;

Publication
ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2024 INTERNATIONAL WORKSHOPS, PT I

Abstract
This paper presents an overview of the FGPE (Framework for Gamified Programming Education), a set of three Erasmus+ projects aimed at providing a framework for applying gamification to programming education. The overview will encompass all three phases of the framework development, emphasizing the gamification elements embedded in the design and implementation of the outputs of each phase. These outputs will be presented as a unified narrative, including the gamification framework for programming exercises, a format for defining gamification details for programming exercises and courses, the authoring tool for the gamification layer, a gamification Web service, a tutorial on gamifying programming exercises (guidance material), and a tool that automatically generates gamified programming exercises.

2025

A literature review on the quantitative approaches to food waste: descriptive, predictive, and prescriptive analyses

Authors
Rodrigues, M; Miguéis, L;

Publication
Environmental Science and Pollution Research

Abstract
Food waste generated throughout the food supply chain raises several environmental, social, and economic issues. Quantitative methods can aid in managing food waste by describing current contexts, predicting future scenarios, and improving related operations. However, a literature review on the use of quantitative methods, specifically the descriptive, predictive, and prescriptive dimensions, to assess and prevent food waste is lacking. This paper aims to explore and categorize quantitative studies that perform descriptive, predictive, and prescriptive analysis concerning food waste, to identify gaps and inform future research. For this purpose, we developed a systematic literature review based on the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) statement methodology, which resulted in the inclusion of 65 relevant studies. We identified the key features of each data analytics approach, with a particular focus on (i) food waste quantification methods, (ii) demand, food waste, and shelf-life forecasting algorithms, and (iii) optimization approaches. Additionally, the context in which each of these studies is focused is also explored. We found that predictive analysis is the most prominent among the data analytics approaches, followed by descriptive and prescriptive systems, respectively. Moreover, the most explored setting is the hospitality sector, and it is the only context in which all descriptive, predictive, and prescriptive approaches can be found. The algorithms and models adopted in the studies vary, and there is still room for adopting more recent or advanced methods. This paper establishes a foundation for advancing focused and systematic quantitative research in the field of food waste. © 2025 Elsevier B.V., All rights reserved.

2025

On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design

Authors
Moreno, P; Areias, M; Rocha, R;

Publication
EURO-PAR 2024: PARALLEL PROCESSING WORKSHOPS, PT II

Abstract
Lock-freedom offers significant advantages in terms of algorithm design, performance and scalability. A fundamental building block in software development is the usage of hash map data structures. This work extends a previous lock-free hash map to support a new simplified design that is able to take advantage of most state-of-the-art safe memory reclamation methods, thus outperforming the previous design.

2025

A review of advanced controller methodologies for robotic manipulators

Authors
Tinoco, V; Silva, MF; Santos, FN; Morais, R; Magalhaes, SA; Oliveira, PM;

Publication
INTERNATIONAL JOURNAL OF DYNAMICS AND CONTROL

Abstract
With the global population on the rise and a declining agricultural labor force, the realm of robotics research in agriculture, such as robotic manipulators, has assumed heightened significance. This article undertakes a comprehensive exploration of the latest advancements in controllers tailored for robotic manipulators. The investigation encompasses an examination of six distinct controller paradigms, complemented by the presentation of three exemplars for each category. These paradigms encompass: (i) adaptive control, (ii) sliding mode control, (iii) model predictive control, (iv) robust control, (v) fuzzy logic control and (vi) neural network control. The article further introduces and presents comparative tables for each controller category. These controllers excel in tracking trajectories and efficiently reaching reference points with rapid convergence. The key point of divergence among these controllers resides in their inherent complexity.

2025

Large Language Model for Querying Databases in Portuguese

Authors
Figueiredo, L; Pinheiro, P; Cavique, L; Marques, N;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
This study introduces a system that helps non-expert users find information easily without knowing database languages or asking technicians for help. A specific domain is explored, focusing on a subscrip- tion-based sports facility, which serves as an open-source version of a real case study. Utilizing the star schema, the available data in the database is structured to provide accessibility through Portuguese Natural Language queries. Using a Large Language Model (LLM), SQL queries are generated based on the question and the provided star schema. We created a dataset with 115 highly challenging questions drawn from real-world usage scenarios to validate the correctness of the system. Challenges found during testing, like attribute value interpretation, out-of-scope questions, and temporal interval adequacy issues, highlight the insufficiency of the star schema alone in providing the needed context for generating accurate SQL queries by the LLM. Addressing these challenges through enhanced contextual information shows significant improvement in query correctness, with validation results increasing from 57.76% to 88.79%. This study shows the potential and limitations of LLMs in generating SQL queries from Portuguese Natural Language queries. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

  • 219
  • 4494