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

Leveraging Large Language Models to Support Authoring Gamified Programming Exercises

Autores
Montella, R; De Vita, CG; Mellone, G; Ciricillo, T; Caramiello, D; Di Luccio, D; Kosta, S; Damasevicius, R; Maskeliunas, R; Queirós, R; Swacha, J;

Publicação
APPLIED SCIENCES-BASEL

Abstract
Featured Application The presented solution can be applied to simplify and hasten the development of gamified programming exercises conforming to the Framework for Gamified Programming Education (FGPE) standard.Abstract Skilled programmers are in high demand, and a critical obstacle to satisfying this demand is the difficulty of acquiring programming skills. This issue can be addressed with automated assessment, which gives fast feedback to students trying to code, and gamification, which motivates them to intensify their learning efforts. Although some collections of gamified programming exercises are available, producing new ones is very demanding. This paper presents GAMAI, an AI-powered exercise gamifier, enriching the Framework for Gamified Programming Education (FGPE) ecosystem. Leveraging large language models, GAMAI enables teachers to effortlessly apply storytelling to describe a gamified scenario, as GAMAI decorates natural language text with the sentences needed by OpenAI APIs to contextualize the prompt. Once a gamified scenario has been generated, GAMAI automatically produces exercise files in a FGPE-compatible format. According to the presented evaluation results, most gamified exercises generated with AI support were ready to be used, with no or minimum human effort, and were positively assessed by students. The usability of the software was also assessed as high by the users. Our research paves the way for a more efficient and interactive approach to programming education, leveraging the capabilities of advanced language models in conjunction with gamification principles.

2024

Vision-Radio Experimental Infrastructure Architecture Towards 6G

Autores
Teixeira, FB; Ricardo, M; Coelho, A; Oliveira, HP; Viana, P; Paulino, N; Fontes, H; Marques, P; Campos, R; Pessoa, LM;

Publicação
CoRR

Abstract

2024

Learning efficient in-store picking strategies to reduce customer encounters in omnichannel retail

Autores
Neves Moreira, F; Amorim, P;

Publicação
INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS

Abstract
Omnichannel retailers are reinventing stores to meet the growing demand of the online channel. Several retailers now use stores as supporting distribution centers to offer quicker Buy-Online-Pickup-In-Store (BOPS) and Ship-From-Store (SFS) services. They resort to in-store picking to serve online orders using existing assets. However, in-store picking operations require picker carts traveling through store aisles, competing for store space, and possibly harming the offline customer experience. To learn picking policies that acknowledge interactions between pickers and offline customers, we formalize a new problem called Dynamic In-store Picker Routing Problem (diPRP). This problem considers a picker that tries to pick online orders (seeking) while minimizing customer encounters (hiding) - preserving the offline customer experience. We model the problem as a Markov Decision Process (MDP) and solve it using a hybrid solution approach comprising mathematical programming and reinforcement learning components. Computational experiments on synthetic instances suggest that the algorithm converges to efficient policies. We apply our solution approach in the context of a large European retailer to assess the proposed policies regarding the number of orders picked and customers encountered. The learned policies are also tested in six different retail settings, demonstrating the flexibility of the proposed approach. Our work suggests that retailers should be able to scale the in-store picking of online orders without jeopardizing the experience of offline customers. The policies learned using the proposed solution approach reduced the number of customer encounters by up to 50%, compared to policies solely focused on picking orders. Thus, to pursue omnichannel strategies that adequately trade-off operational efficiency and customer experience, retailers cannot rely on actual simplistic picking strategies, such as choosing the shortest possible route.

2024

High strehl and high contrast for the ELT instrument METIS

Autores
Feldt, M; Bertram, T; Correia, C; Absil, O; Vázquez, MCC; Coppejans, H; Kulas, M; Obereder, A; de Xivry, GO; Scheithauer, S; Steuer, H;

Publicação
EXPERIMENTAL ASTRONOMY

Abstract
The Mid-infrared ELT Imager and Spectrograph (METIS) is a first-generation instrument for the Extremely Large Telescope (ELT), Europe's next-generation 39 m ground-based telescope for optical and infrared wavelengths, which is currently under construction at the European Southern Observatory (ESO) site at Cerro Armazones in Chile. METIS will offer diffraction-limited imaging, low- and medium-resolution slit spectroscopy, and coronagraphy for high-contrast imaging between 3 and 13 microns, as well as high-resolution integral field spectroscopy between 3 and 5 microns. The main METIS science goals are the detection and characterisation of exoplanets, the investigation of proto-planetary disks, and the formation of planets. The Single-Conjugate Adaptive Optics (SCAO) system corrects atmospheric distortions and is thus essential for diffraction-limited observations with METIS. SCAO will be used for all observing modes, with high-contrast imaging imposing the most demanding requirements on its performance. The Final Design Review (FDR) of METIS took place in the fall of 2022; the development of the instrument, including its SCAO system, has since entered the Manufacturing, Assembly, Integration and Testing (MAIT) phase. Numerous challenging aspects of an ELT Adaptive Optics (AO) system are addressed in the mature designs for the SCAO control system and the SCAO hardware module: the complex interaction with the telescope entities that participate in the AO control, wavefront reconstruction with a fragmented and moving pupil, secondary control tasks to deal with differential image motion, non-common path aberrations and mis-registration. A K-band pyramid wavefront sensor and a GPU-based Real-Time Computer (RTC), tailored to the needs of METIS at the ELT, are core components. This current paper serves as a natural sequel to our previous work presented in Hippler et al. (2018). It reflects all the updates that were implemented between the Preliminary Design Review (PDR) and FDR, and includes updated performance estimations in terms of several key performance indicators, including achieved contrast curves. We outline all important design decisions that were taken, and present the major challenges we faced and the main analyses carried out to arrive at these decisions and eventually the final design. We also elaborate on our testing and verification strategy, and, last not least, comprehensively present the full design, hardware and software in this paper to provide a single source of reference which will remain valid at least until commissioning.

2024

Skin Cancer and Hansen's Disease Diagnosis

Autores
de Lima P.V.S.G.; Gomes J.C.; Castro L.A.; Lins C.S.; Malheiro L.M.; Dos Santos W.P.;

Publicação
Biomedical Imaging: Principles and Advancements

Abstract
The advancement of the use of Artificial Intelligence (AI) in the healthcare sector makes it possible to use computational intelligence applications to assist healthcare professionals in the diagnosis process, facilitating and optimizing early detection and allowing for a more accurate diagnosis (He et al., 2019). The application of machine learning methods, and, more recently, deep learning, has shown promising results (Barbosa et al., 2022; da Silva et al., 2021; De Oliveira et al., 2020; Espinola et al., 2021a, b; Gomes et al., 2021, 2023; Santana et al., 2018; Torcate et al., 2022). These approaches allow powerful tools to support diagnostic imaging and signs to be built, through the extraction of image features and the creation of a classification system, for example (Yu et al., 2018). There are several diseases known and classified by man, with different causes and prevalence. Therefore, contributing to the early detection of diseases defined as neglected was the initial motivation for this work.

2024

Lag Selection for Univariate Time Series Forecasting Using Deep Learning: An Empirical Study

Autores
Leites, J; Cerqueira, V; Soares, C;

Publicação
EPIA (3)

Abstract
Most forecasting methods use recent past observations (lags) to model the future values of univariate time series. Selecting an adequate number of lags is important for training accurate forecasting models. Several approaches and heuristics have been devised to solve this task. However, there is no consensus about what the best approach is. Besides, lag selection procedures have been developed based on local models and classical forecasting techniques such as ARIMA. We bridge this gap in the literature by carrying out an extensive empirical analysis of different lag selection methods. We focus on deep learning methods trained in a global approach, i.e., on datasets comprising multiple univariate time series. Specifically, we use NHITS, a recently proposed architecture that has shown competitive forecasting performance. The experiments were carried out using three benchmark databases that contain a total of 2411 univariate time series. The results indicate that the lag size is a relevant parameter for accurate forecasts. In particular, excessively small or excessively large lag sizes have a considerable negative impact on forecasting performance. Cross-validation approaches show the best performance for lag selection, but this performance is comparable with simple heuristics.

  • 419
  • 4574