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

2021

Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems

Autores
Cardoso, JMP; DeHon, A; Pozzi, L;

Publicação
IEEE TRANSACTIONS ON COMPUTERS

Abstract
The papers in this special section focus on compiler optimization for FPGA-based systems. Reconfigurable computing (RC) is growing in importance in many computing domains and systems, from embedded, mobile to cloud, and high-performance computing. We have witnessed important advancements regarding the programming of RC-based systems, but further improvements are needed, especially regarding efficient techniques for automatic mapping of computations described in high-level languages to the RC resources. The resources of high-end FPGAs allow these devices to implement complex Systemson-a-Chip (SoCs) and substantial computational components of software applications, e.g., when used as hardware accelerators and/or as more energy-efficient computing platforms. This, however, increases the continuous need for efficient compilers targeting FPGAs, and other RC platforms, from high-level programming languages.

2021

An exploratory study of interpretability for face presentation attack detection

Autores
Sequeira, AF; Gonçalves, T; Silva, W; Pinto, JR; Cardoso, JS;

Publicação
IET BIOMETRICS

Abstract
Biometric recognition and presentation attack detection (PAD) methods strongly rely on deep learning algorithms. Though often more accurate, these models operate as complex black boxes. Interpretability tools are now being used to delve deeper into the operation of these methods, which is why this work advocates their integration in the PAD scenario. Building upon previous work, a face PAD model based on convolutional neural networks was implemented and evaluated both through traditional PAD metrics and with interpretability tools. An evaluation on the stability of the explanations obtained from testing models with attacks known and unknown in the learning step is made. To overcome the limitations of direct comparison, a suitable representation of the explanations is constructed to quantify how much two explanations differ from each other. From the point of view of interpretability, the results obtained in intra and inter class comparisons led to the conclusion that the presence of more attacks during training has a positive effect in the generalisation and robustness of the models. This is an exploratory study that confirms the urge to establish new approaches in biometrics that incorporate interpretability tools. Moreover, there is a need for methodologies to assess and compare the quality of explanations.

2021

Breaking the Black Box: Procedural Reading, Creation of Meaning, and Closure in Computational Artworks

Autores
Carvalhais, M;

Publicação
Computational Synthesis and Creative Systems - Artificial Intelligence and the Arts

Abstract

2021

Semantic Services Catalog: Demonstration of Multiagent Systems Society co-simulation

Autores
Santos, G; Canito, A; Carvalho, R; Pinto, T; Vale, Z; Marreiros, G; Corchado, JM;

Publicação

Abstract

2021

A Binary Translation Framework for Automated Hardware Generation

Autores
Paulino, N; Bispo, J; Ferreira, JC; Cardoso, JMP;

Publicação
IEEE MICRO

Abstract
As applications move to the edge, efficiency in computing power and power/energy consumption is required. Heterogeneous computing promises to meet these requirements through application-specific hardware accelerators. Runtime adaptivity might be of paramount importance to realize the potential of hardware specialization, but further study is required on workload retargeting and offloading to reconfigurable hardware. This article presents our framework for the exploration of both offloading and hardware generation techniques. The framework is currently able to process instruction sequences from MicroBlaze, ARMv8, and riscv32imaf binaries, and to represent them as Control and Dataflow Graphs for transformation to implementations of hardware modules. We illustrate the framework's capabilities for identifying binary sequences for hardware translation with a set of 13 benchmarks.

2021

Battery Management System For Mobile Robots based on an Extended Kalman Filter Approch

Autores
Chellal, AA; Lima, J; Goncalves, J; Megna, H;

Publicação
2021 29TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED)

Abstract
Robots are rapidly developing, due to the technology advances and the increased need for their mobility. Mobile Robots can move freely in unconstrained environments, without any external help. They are supplied by batteries as the only source of energy that they could access. Thus, the management of the energy offered by these batteries is so crucial and has to be done properly. Most advanced Battery Management System (BMS) algorithms reported in literature are developed and verified with laboratory-based experiments. The acquired data is then processed either online or offline, using PC-based software. This work consists of developing an on-Chip Extended Kalman Filter based BMS, which can be directly linked in a robot without having to be connected with an external device to process the data. The proposed system is implemented in a low-cost 8 bit microcontroller and results allow to validate the proposed approach.

  • 1209
  • 4387