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
Sobre Ciência e Engenharia de Computadores

Ciência e Engenharia dos Computadores

Os computadores, que vão desde os cada vez mais reduzidos dispositivos programáveis, os omnipresentes smartphones, até aos supercomputadores, atualmente capazes de realizar mais de um trilião de operações por segundo, tornaram-se uma componente central e cada vez mais indispensável da vida quotidiana. A ciência e a engenharia informática são os pilares da evolução imparável da computação e permitem a sua aplicação a uma infinidade cada vez maior de soluções baseadas em computadores.

Além disso, os sistemas informáticos em sectores cruciais como os serviços públicos, os cuidados de saúde, os transportes e as finanças apresentam riscos novos, muitas vezes imprevistos, que desafiam os nossos conhecimentos e colocam desafios difíceis e intrincados associados à interoperabilidade, à escalabilidade, à segurança e à criticidade. A nível mundial, os sistemas informáticos nas organizações são responsáveis por mais de 10% de todo o consumo global de energia e por cerca de 2% das emissões globais de CO2, o que faz com que a sustentabilidade de grande parte da nossa inovação seja também um desafio significativo.

notícias
Ciência e Engenharia dos Computadores

Investigadores do INESC TEC cimentam parceria com rede CENTRA

Desde a sua génese, a rede CENTRA tem em vista a facilitação de colaborações que permitam a aplicação de ciberinfraestruturas transacionais — contando, para isso, com membros de países tão díspares como Indonésia, Estados Unidos da América, Vietnam ou Japão. Foi precisamente com o intuito de estreitar estas relações com estes parceiros que investigadores do INESC TEC viajaram até Tóquio, onde decorreu o mais recente evento no âmbito desta iniciativa.

19 março 2024

Ciência e Engenharia dos Computadores

INESC TEC em projeto para apoiar utilizadores de supercomputadores europeus, incluindo o português Deucalion

Chama-se EPICURE (High-level specialised application support service in High-Performance Computing) o projeto que reúne os supercomputadores da rede europeia EuroHPC Joint Undertaking (EuroHPC JU) e que vai apoiar os seus utilizadores.   

28 fevereiro 2024

Ciência e Engenharia dos Computadores

Tecnologia INESC TEC para garantir transparência e privacidade nos serviços digitais no pódio da 4ª edição do Prémio IN3+

Onde se traça a linha entre a transparência e a privacidade nos serviços digitais? Como pode o cidadão, enquanto utilizador de serviços, validar o correto seguimento do seu processo, sem que tal comprometa o sigilo a que os respetivos prestadores estão obrigados a seguir? O projeto PeT – Privacidade e Transparência, liderado pelo Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC) e em colaboração com a Universidade do Minho (UMinho), que pretende garantir a transparência e a privacidades nos serviços digitais ficou em  segundo lugar  da 4ª edição do Prémio IN3+, Um Milhão para a Inovação, recebendo, assim, 250 mil euros para poder ser colocada no mercado, numa primeira fase, a nível nacional, em serviços públicos e privados, nomeadamente, nas áreas da saúde, educação e justiça.

23 fevereiro 2024

Publicações

2024

Assessment of Multiple Fiducial Marker Trackers on Hololens 2

Autores
Costa, GM; Petry, MR; Martins, JG; Moreira, APGM;

Publicação
IEEE ACCESS

Abstract
Fiducial markers play a fundamental role in various fields in which precise localization and tracking are paramount. In Augmented Reality, they provide a known reference point in the physical world so that AR systems can accurately identify, track, and overlay virtual objects. This accuracy is essential for creating a seamless and immersive AR experience, particularly when prompted to cope with the sub-millimeter requirements of medical and industrial applications. This research article presents a comparative analysis of four fiducial marker tracking algorithms, aiming to assess and benchmark their accuracy and precision. The proposed methodology compares the pose estimated by four algorithms running on Hololens 2 with those provided by a highly accurate ground truth system. Each fiducial marker was positioned in 25 sampling points with different distances and orientations. The proposed evaluation method is not influenced by human error, relying only on a high-frequency and accurate motion tracking system as ground truth. This research shows that it is possible to track the fiducial markers with translation and rotation errors as low as 1.36 mm and 0.015 degrees using ArUco and Vuforia, respectively.

2024

Performance and explainability of feature selection-boosted tree-based classifiers for COVID-19 detection

Autores
Rufino, J; Ramírez, JM; Aguilar, J; Baquero, C; Champati, J; Frey, D; Lillo, RE; Fernández-Anta, A;

Publicação
HELIYON

Abstract
In this paper, we evaluate the performance and analyze the explainability of machine learning models boosted by feature selection in predicting COVID-19-positive cases from self-reported information. In essence, this work describes a methodology to identify COVID-19 infections that considers the large amount of information collected by the University of Maryland Global COVID-19 Trends and Impact Survey (UMD-CTIS). More precisely, this methodology performs a feature selection stage based on the recursive feature elimination (RFE) method to reduce the number of input variables without compromising detection accuracy. A tree-based supervised machine learning model is then optimized with the selected features to detect COVID-19-active cases. In contrast to previous approaches that use a limited set of selected symptoms, the proposed approach builds the detection engine considering a broad range of features including self-reported symptoms, local community information, vaccination acceptance, and isolation measures, among others. To implement the methodology, three different supervised classifiers were used: random forests (RF), light gradient boosting (LGB), and extreme gradient boosting (XGB). Based on data collected from the UMD-CTIS, we evaluated the detection performance of the methodology for four countries (Brazil, Canada, Japan, and South Africa) and two periods (2020 and 2021). The proposed approach was assessed in terms of various quality metrics: F1-score, sensitivity, specificity, precision, receiver operating characteristic (ROC), and area under the ROC curve (AUC). This work also shows the normalized daily incidence curves obtained by the proposed approach for the four countries. Finally, we perform an explainability analysis using Shapley values and feature importance to determine the relevance of each feature and the corresponding contribution for each country and each country/year.

2024

Inspection of Part Placement Within Containers Using Point Cloud Overlap Analysis for an Automotive Production Line

Autores
Costa, M; Dias, J; Nascimento, R; Rocha, C; Veiga, G; Sousa, A; Thomas, U; Rocha, L;

Publicação
Lecture Notes in Mechanical Engineering

Abstract
Reliable operation of production lines without unscheduled disruptions is of paramount importance for ensuring the proper operation of automated working cells involving robotic systems. This article addresses the issue of preventing disruptions to an automotive production line that can arise from incorrect placement of aluminum car parts by a human operator in a feeding container with 4 indexing pins for each part. The detection of the misplaced parts is critical for avoiding collisions between the containers and a high pressure washing machine and also to avoid collisions between the parts and a robotic arm that is feeding parts to a air leakage inspection machine. The proposed inspection system relies on a 3D sensor for scanning the parts inside a container and then estimates the 6 DoF pose of the container followed by an analysis of the overlap percentage between each part reference point cloud and the 3D sensor data. When the overlap percentage is below a given threshold, the part is considered as misplaced and the operator is alerted to fix the part placement in the container. The deployment of the inspection system on an automotive production line for 22 weeks has shown promising results by avoiding 18 hours of disruptions, since it detected 407 containers having misplaced parts in 4524 inspections, from which 12 were false negatives, while no false positives were reported, which allowed the elimination of disruptions to the production line at the cost of manual reinspection of 0.27% of false negative containers by the operator. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

2023

Towards MRAM Byte-Addressable Persistent Memory in Edge Database Systems

Autores
Ferreira, LM; Coelho, F; Pereira, JO;

Publicação
Joint Proceedings of Workshops at the 49th International Conference on Very Large Data Bases (VLDB 2023), Vancouver, Canada, August 28 - September 1, 2023.

Abstract
There is a growing demand for persistent data in IoT, edge and similar resource-constrained devices. However, standard FLASH memory-based solutions present performance, energy, and reliability limitations in these applications. We propose MRAM persistent memory as an alternative to FLASH based storage. Preliminary experimental results show that its performance, power consumption, and reliability in typical database workloads is competitive for resource-constrained devices. This opens up new opportunities, as well as challenges, for small-scale database systems. MRAM is tested for its raw performance and applicability to key-value and relational database systems on resource-constrained devices. Improvements of as much as three orders of magnitude in write performance for key-value systems were observed in comparison to an alternative NAND FLASH based device. © 2023 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

2023

Investigating Author Research Relatedness through Crowdsourcing: A Replication Study on MTurk

Autores
Correia, A; Paulino, D; Paredes, H; Guimarães, D; Schneider, D; Fonseca, B;

Publicação
26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023, Rio de Janeiro, Brazil, May 24-26, 2023

Abstract

2023

Policy gradients using variational quantum circuits

Autores
Sequeira, A; Santos, LP; Barbosa, LS;

Publicação
QUANTUM MACHINE INTELLIGENCE

Abstract
Variational quantum circuits are being used as versatile quantum machine learning models. Some empirical results exhibit an advantage in supervised and generative learning tasks. However, when applied to reinforcement learning, less is known. In this work, we considered a variational quantum circuit composed of a low-depth hardware-efficient ansatz as the parameterized policy of a reinforcement learning agent. We show that an epsilon-approximation of the policy gradient can be obtained using a logarithmic number of samples concerning the total number of parameters. We empirically verify that such quantum models behave similarly to typical classical neural networks used in standard benchmarking environments and quantum control, using only a fraction of the parameters. Moreover, we study the barren plateau phenomenon in quantum policy gradients using the Fisher information matrix spectrum.