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

Designing Stemie, the Evolution of the Kid Grígora Educational Robot

Autores
Barradas, R; Lencastre, JA; Soares, S; Valente, A;

Publicação
Proceedings of the 16th International Conference on Computer Supported Education, CSEDU 2024, Angers, France, May 2-4, 2024, Volume 1.

Abstract
STEM education advances at the same rate as the need for new and more evolved tools. This article introduces the latest version of the Kid Grígora educational robot, based on the work of Barradas et al. (2019). Targeted for students aged 8 to 18, the robot serves as an interdisciplinary teaching tool, integrated into STEM curricula. The upgraded version corrects what we’ve learned from a real test with 177 students from a Portuguese school and adds other features that allow this new robot to be used in even more educational STEM and problem-solving scenarios. We focused on the creation of a second beta version of the prototype, named Stemie, and its heuristic evaluation by three experts. After all the issues and suggestions from the experts have been resolved and implemented, the new version is ready for usability evaluation. Copyright © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

2024

The Identical Parallel Machine Scheduling Problem with Setups and Additional Resources

Autores
Soares, A; Ferreira, AR; Lopes, MP;

Publicação
FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING: ESTABLISHING BRIDGES FOR MORE SUSTAINABLE MANUFACTURING SYSTEMS, FAIM 2023, VOL 2

Abstract
This paper studies a real world dedicated parallel machine scheduling problem with sequence dependent setups, different machine release dates and additional resources (PMSR). To solve this problem, two previously proposed models have been adapted and a novel objective function, the minimisation of the sum of the machine completion times, is proposed to reflect the real conditions of the manufacturing environment that motivates this work. One model follows the strip-packing approach and the other is time-indexed. The solutions obtained show that the new objective function provides a compact production schedule that allows the simultaneous minimisation of machine idle times and setup times. In conclusion, this study provides valuable insights into the effectiveness of different models for solving PMSR problems in real-world contexts and gives directions for future research in this area using complementary approaches such as matheuristics.

2024

Process mining embeddings: Learning vector representations for Petri nets

Autores
Colonna, JG; Fares, AA; Duarte, M; Sousa, R;

Publicação
INTELLIGENT SYSTEMS WITH APPLICATIONS

Abstract
Process Mining offers a powerful framework for uncovering, analyzing, and optimizing real-world business processes. Petri nets provide a versatile means of modeling process behavior. However, traditional methods often struggle to effectively compare complex Petri nets, hindering their potential for process enhancement. To address this challenge, we introduce PetriNet2Vec, an unsupervised methodology inspired by Doc2Vec. This approach converts Petri nets into embedding vectors, facilitating the comparison, clustering, and classification of process models. We validated our approach using the PDC Dataset, comprising 96 diverse Petri net models. The results demonstrate that PetriNet2Vec effectively captures the structural properties of process models, enabling accurate process classification and efficient process retrieval. Specifically, our findings highlight the utility of the learned embeddings in two key downstream tasks: process classification and process retrieval. In process classification, the embeddings allowed for accurate categorization of process models based on their structural properties. In process retrieval, the embeddings enabled efficient retrieval of similar process models using cosine distance. These results demonstrate the potential of PetriNet2Vec to significantly enhance process mining capabilities.

2024

On the Impact of PowerCap in Haskell, Java, and Python

Autores
Maia, L; Sá, M; Ferreira, I; Cunha, S; Silva, L; Azevedo, P; Saraiva, J;

Publicação
Proceedings of the 3rd International Workshop on Resource AWareness of Systems and Society, Maribor, Slovenia, July 2nd - 5th, 2024.

Abstract
Historically, programming language performance focused on fast execution times. With the advent of cloud and edge computing, and the significant energy consumption of large data centers, energy efficiency has become a critical concern both for computer manufacturers and software developers. Despite the considerable efforts of the green software community in developing techniques and tools for analysing and optimising software energy consumption, there has been limited research on how imposing hardware-level energy constraints affects software energy efficiency. Moreover, prior research has demonstrated that the choice of programming language can significantly impact a program’s energy efficiency. This paper investigates the impact of CPU power capping on the energy consumption and execution time of programs written in Haskell, Java, and Python. Our preliminary results analysing well-established benchmarks indicate that while power capping does reduce energy consumption across all benchmarks, it also substantially increases execution time. These findings highlight the trade-offs between energy efficiency and runtime performance, offering insights for optimising software under energy constraints. © 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

2024

Tabular data generation with tensor contraction layers and transformers

Autores
Silva, A; Restivo, A; Santos, M; Soares, C;

Publicação
CoRR

Abstract

2024

Challenges to the manufacturing of the Warm Support Structure for the METIS instrument at the ESO/ELT telescope

Autores
Amorim, A; Filho, M; Garcia, P; Carvalho, F; Lesman, D;

Publicação
GROUND-BASED AND AIRBORNE INSTRUMENTATION FOR ASTRONOMY X

Abstract
METIS is a first light mid-infrared instrument for the new ESO/ELT telescope. It includes a cryostat with a mass of more than ten tons that must face the telescope optical beam placed 6 m above the telescope Nasmyth instrument mounting platform. To overcome this height and allow the overall alignment of the field and pupil of the entrance beam, a large size structure has been designed, analyzed and optimized and is now being manufactured. To minimize the overall mass, the beam attachments do not fit in a vertical/horizontal grid but are oblique in a 3D structure. In building this structure one needs to combine 3D CNC machined parts of reasonable dimensions with several welded structural tube structures. Due to the sizes involved, these subsystems must be manufactured accurately within an angle tolerance of 0.1 degrees, imposing challenges on the welding process. The overall approaches to the main problems, together with the structures needed for the assembly, integration and transport. are discussed.

  • 80
  • 4142