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

Nonconvex Homogeneous Optimization: a General Framework and Optimality Conditions of First and Second-Order

Autores
Flores-Bazán F.; Carrillo-Galvez A.;

Publicação
Minimax Theory and its Applications

Abstract
This work discusses and analyzes a class of nonconvex homogeneous optimization problems, in which the objective function is a positively homogeneous function with a certain degree, and the constraints set is determined by a single homogeneous function with another degree, and a geometric set which is a (not necessarily convex) closed cone. Once a Lagrangian dual problem is associated, it is provided various characterizations for the validity of strong duality property: one of them is related to the convexity of a certain image of the geometric set involving both homogeneous functions, so revealing a hidden convexity. We also derive a suitable S-lemma. In the case where both functions are of the same degree of homogeneity, a copositive reformulation of the original problem is established. It is also established zero-, first-and second-order optimality conditions; KKT (local or global) optimality, giving rise to the notion of L-eigenvalues with applications to symmetric tensors eigenvalues analysis.

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

Editorial: Performing a structural equation modeling (SEM) in innovation science studies

Autores
Almeida, F;

Publicação
INTERNATIONAL JOURNAL OF INNOVATION SCIENCE

Abstract
[No abstract available]

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.

  • 85
  • 4038