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

2018

Towards Complementary Explanations Using Deep Neural Networks

Autores
Silva, W; Fernandes, K; Cardoso, MJ; Cardoso, JS;

Publicação
Understanding and Interpreting Machine Learning in Medical Image Computing Applications - First International Workshops MLCN 2018, DLF 2018, and iMIMIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16-20, 2018, Proceedings

Abstract
Interpretability is a fundamental property for the acceptance of machine learning models in highly regulated areas. Recently, deep neural networks gained the attention of the scientific community due to their high accuracy in vast classification problems. However, they are still seen as black-box models where it is hard to understand the reasons for the labels that they generate. This paper proposes a deep model with monotonic constraints that generates complementary explanations for its decisions both in terms of style and depth. Furthermore, an objective framework for the evaluation of the explanations is presented. Our method is tested on two biomedical datasets and demonstrates an improvement in relation to traditional models in terms of quality of the explanations generated. © Springer Nature Switzerland AG 2018.

2018

A genetic algorithm approach for the scheduling in a robotic-centric flexible manufacturing system

Autores
Pereira, AI; Ferreira, A; Barbosa, J; Lima, J; Leitão, P;

Publicação
Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017

Abstract
Scheduling assumes a crucial importance in manufacturing systems, optimizing the allocation of operations to the right resources at the most appropriate time. Particularly in the Flexible Manufacturing System (FMS) topology, where the combination of possibilities for this association exponential increases, the scheduling task is even more critical. This paper presents a heuristic scheduling method based on genetic algorithm for a robotic-centric FMS. Real experiments show the effectiveness of the proposed algorithm, ensuring a reliable and optimized scheduling process. © 2018 by World Scientific Publishing Co. Pte. Ltd.

2018

Disruptive data visualization towards zero-defects diagnostics

Autores
Ferreira, L; Putnik, GD; Lopes, N; Garcia, W; Cruz Cunha, MM; Castro, H; Varela, MLR; Moura, JM; Shah, V; Alves, C; Putnik, Z;

Publicação
11TH CIRP CONFERENCE ON INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING

Abstract
Innovative processes become available due to the high processing capacity of emergent infrastructures, such as cloud and ubiquitous computing and organizational infrastructures and applications. However, these intense computation processes are difficult to follow, where co-decision is required, for which the existence of disruptive visualization and collaboration tools that offer a visual tracing capacity with integrated decision supporting tools, are critical for its sustainable success. This project proposes: a) a set of immersive and disruptive visualization tools, supported by virtual and augmented reality, that enables a global perspective of any production agents; b) a data analytics tool to complement and assist the decision making; c) a resource federated network that allows the brokering and interaction between all existing resources; and d) a dynamic context-aware dashboard, to improve the overall productive process and contribute to intelligent manufacturing systems. The application domain addressed is Zero-Defects Diagnostics in manufacturing as well as in Industry 4.0 in general. © 2017 The Authors.

2018

Fast iterative tomographic wavefront estimation with recursive Toeplitz reconstructor structure for large-scale systems

Autores
Ono, YH; Correia, C; Conan, R; Blanco, L; Neichel, B; Fusco, T;

Publicação
JOURNAL OF THE OPTICAL SOCIETY OF AMERICA A-OPTICS IMAGE SCIENCE AND VISION

Abstract
Tomographic wavefront reconstruction is the main computational bottleneck to realize real-time correction for turbulence-induced wavefront aberrations in future laser-assisted tomographic adaptive-optics (AO) systems for ground-based giant segmented mirror telescopes because of its unprecedented number of degrees of freedom, N, i.e., the number of measurements from wavefront sensors. In this paper, we provide an efficient implementation of the minimum-mean-square error (MMSE) tomographic wavefront reconstruction, which is mainly useful for some classes of AO systems not requiring multi-conjugation, such as laser-tomographic AO, multi-object AO, and ground-layer AO systems, but is also applicable to multi-conjugate AO systems. This work expands that by Conan [Proc. SPIE 9148, 91480R (2014)] to the multi-wavefront tomographic case using natural and laser guide stars. The new implementation exploits the Toeplitz structure of covariance matrices used in an MMSE reconstructor, which leads to an overall ON log N real-time complexity compared with ON2 of the original implementation using straight vector-matrix multiplication. We show that the Toeplitz-based algorithm leads to 60 nm rms wavefront error improvement for the European Extremely Large Telescope laser-tomography AO system over a well-known sparse-based tomographic reconstruction; however, the number of iterations required for suitable performance is still beyond what a real-time system can accommodate to keep up with the time-varying turbulence.

2018

A Unifying Framework for Type Inhabitation

Autores
Alves, S; Broda, S;

Publicação
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK

Abstract

2018

Preface

Autores
Silva, MF; Virk, GS; Tokhi, MO; Malheiro, B; Ferreira, P; Guedes, P;

Publicação
Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017

Abstract

  • 1631
  • 4187