5.8k citations
- University of CoimbraPT27 papers
- Universidade do PortoPT21 papers
- INESC TECPT13 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT11 papers
- University of LisbonPT10 papers
- University of MinhoPT10 papers
- Instituto Superior TécnicoPT6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Instituto de TelecomunicaçõesPT4 papers
- Universidade Nova de LisboaPT4 papers
- Instituto Politécnico de LisboaPT3 papers
- Instituto Politécnico de TomarPT3 papers
6 papers · 1 filter
Limits in Categories of Vietoris Coalgebras
Dirk Hofmann, Renato Neves, Pedro Nora
Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topologic…
A compact two-phase twisted string actuation system: Modeling and validation
Mahmoud Tavakoli, Rafael Batista, Pedro Neto
In this paper, we propose a compact twisted string actuation system that achieves a high contraction percentage (81%) on two phases: multi string twist and overtwist. This type of…
High-resolution LIDAR-based Depth Mapping using Bilateral Filter
C. Premebida, L. Garrote, A. Asvadi +2
High resolution depth-maps, obtained by upsampling sparse range data from a 3D-LIDAR, find applications in many fields ranging from sensory perception to semantic segmentation and…
A logic for n-dimensional hierarchical refinement
Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa
Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by…
From Softmax to Sparsemax: A Sparse Model of Attention and Multi-Label Classification
André F. T. Martins, Ramón Fernandez Astudillo
We propose sparsemax, a new activation function similar to the traditional softmax, but able to output sparse probabilities. After deriving its properties, we show how its Jacobian…
A Single-Assignment Translation for Annotated Programs
Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto
We present a translation of While programs annotated with loop invariants into a dynamic single-assignment language with a dedicated iterating construct. We prove that the translat…