14 documents found, page 1 of 2
O Impacto da Liderança no Desempenho Profissional dos Técnicos Superiores de Di...
Ribeiro, FranciscoOs Técnicos Superiores de Diagnóstico e Terapêutica (TSDT) no seu contexto de trabalho, estão sujeitos a inúmeras pressões internas e externas que interferem, de algum modo com o seu desempenho profissional. A liderança assume um papel fulcral na realidade de cada serviço, uma vez que esta influência decisivamente o ambiente de trabalho, o desempenho profissional, o espírito de equipa e as próprias dinâmicas do...
Large language models in automated repair of haskell type errors
Santos, Sofia; Saraiva, João; Ribeiro, FranciscoThis paper introduces a new method of Automated Program Repair that relies on a combination of the GPT-4 Large Language Model and automatic type checking of Haskell programs. This method identifies the source of a type error and asks GPT-4 to fix that specific portion of the program. Then, QuickCheck is used to automatically generate a large set of test cases to validate whether the generated repair behaves as ...
Data fusion using ultra wideband time-of-flight positioning for mobile robot ap...
Lima, José; Pinto, André F.; Ribeiro, Francisco; Pinto, Milena F.; Pereira, Ana I.; Pinto, Vítor H.; Costa, Paulo Gomes daSelf-localization of a robot is one of the most important requirements in mobile robotics. There are several approaches to providing localization data. The Ultra Wide Band Time of Flight provides position information but lacks the angle. Odometry data can be combined by using a data fusion algorithm. This paper addresses the application of data fusion algorithms based on odometry and Ultra Wide Band Time of Fli...
Energy efficiency of Python machine learning frameworks
Ajel, Salwa; Ribeiro, Francisco; Ejbali, Ridha; Saraiva, JoãoAlthough machine learning (ML) is a field that has been the subject of research for decades, a large number of applications with high computational power have recently emerged. Usually, we only focus on solving machine learning problems without considering how much energy has been consumed by the different frameworks used for such applications. This study aims to provide a comparison among four widely used fram...
Glove prototype for feature extraction applied to learning by demonstration pur...
Cerqueira, Tiago; Ribeiro, Francisco; Pinto, Vítor H.; Lima, José; Goncalves, GilThis article focuses on a sensorial glove prototype capable of acquiring hand motion and estimating its pose. The presented solution features twelve inertial measurement units (IMUs) to track hand orientation. The sensors are attached to a glove to decrease the project cost. The system also focuses on sensor fusion algorithms for the IMUs and further implementations, presenting the algebraic quaternion algorith...
Hybrid legged-wheeled robot path following: a realistic simulation approach
Pinto, Vítor H.; Soares, Inês N.; Ribeiro, Francisco; Lima, José; Gonçalves, José; Costa, Paulo Gomes daLegged-wheeled locomotion systems are a particular case of robot types that can be characterized by an increase in the degrees of freedom. To increase safety and robustness in the performance of industrial robots, while reducing the risk of damage to the robot joints and injure to human operators, the use of non-rigid joints is growing in the literature and in the industry. Realistic simulators are tools capabl...
Framing program repair as code completion
Ribeiro, Francisco; Abreu, Rui; Saraiva, JoãoMany techniques have contributed to the advancement of automated program repair, such as: generate and validate approaches, constraint-based solvers and even neural machine translation. Simultaneously, artificial intelligence has allowed the creation of general-purpose pre-trained models that support several downstream tasks. In this paper, we describe a technique that takes advantage of a generative model - Co...
Ranking programming languages by energy efficiency
Pereira, Rui; Couto, Marco; Ribeiro, Francisco; Rua, Rui António Ramada; Cunha, Jácome; Fernandes, João Paulo; Saraiva, JoãoThis paper compares a large set of programming languages regarding their efficiency, including from an energetic point-of-view. Indeed, we seek to establish and analyze different rankings for programming languages based on their energy efficiency. The goal of being able to rank programming languages based on their energy efficiency is both recent, and certainly deserves further studies. We have taken rigorous a...
Java stream fusion: Adapting FP mechanisms for an OO setting
Ribeiro, Francisco; Saraiva, João; Pardo, AlbertoIn this paper, we show how stream fusion, a program transformation technique used in functional programming, can be adapted for an Object-Oriented setting. This makes it possible to have more Stream operators than the ones currently provided by the Java Stream API. The addition of more operators allows for a greater deal of expressiveness. To this extent, we show how these operators are incorporated in the stre...
Energyware analysis
Pereira, Rui; Couto, Marco; Ribeiro, Francisco; Rua, Rui António Ramada; Saraiva, JoãoThis documents introduces \Energyware" as a software engineering discipline aiming at defining, analyzing and optimizing the energy consumption by software systems. In this paper we present energyware analysis in the context of programming languages, software data structures and program's source code. For each of these areas we describe the research work done in the context of the Green Software Laboratory at M...