Login

In Proceedings

Babel: A Framework for Developing Performant and Dependable Distributed Protocols

InProceedings

Published in 22/09/2022

Authors

Pedro Fouto, Pedro Ákos Costa, Nuno Preguiça, João Leitão,

Novel Cluster Modeling for the Spatiotemporal Analysis of Coastal Upwelling

InProceedings

Published in 13/09/2022

Authors

Susana Nascimento, Alexandre Martins, Paulo Relvas, Boris Mirkin, G. Marreiros, B. Martins, A. Paiva, B. Ribeiro, A. Sardinha,

Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers

InProceedings

Published in 05/09/2022

Authors

André de Matos Pedro, Tomás Silva, Tiago F. Sequeira, João Lourenço, João Costa Seco, Carla Ferreira,

Towards Provenance in Heterogeneous Knowledge Bases

InProceedings

Published in 29/08/2022

Authors

Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite,

Looking Inside the Black-Box: Logic-based Explanations for Neural Networks

InProceedings

Published in 05/08/2022

Authors

Joao Ferreira, Manuel Ribeiro, Ricardo Gonçalves, João Leite,

Engage: Session Guarantees for the Edge

InProceedings

Published in 28/07/2022

Authors

Miguel Belém, Pedro Fouto, Taras Lykhenko, João Leitão, Nuno Preguiça, Luis Rodrigues,

European Union fosters ethical AI in the Public Administration

InProceedings

Published in 20/07/2022

Authors

Luís Moniz Pereira, A. C. Alexandre,

Efficient Guided Evolution for Neural Architecture Search

InProceedings

Published in 19/07/2022

Authors

Vasco Lopes, Miguel Santos, Bruno Degardin, Luís A Alexandre,

Traffic Flow Indicator: Predicting Jams in a City

InProceedings

Published in 19/07/2022

Authors

Nuno Datia, Matilde Pato, João Moura Pires,

Comparing Word Embeddings through Visualisation

InProceedings

Published in 19/07/2022

Authors

Pedro Santos, Nuno Datia, Matilde Pato,