ARTICLES

Article
Artificial Intelligence Development Races in Heterogeneous Settings
2 Feb 2022
Authors: Theodor Cimpeanu, Francisco C. Santos, Luís Moniz Pereira, Tom Lenaerts, The Anh Han
Article
Scheduling computations with provably low synchronization overheads
1 Feb 2022
Authors: Guilherme Rito, Hervé Paulino
Article
ROSIE: RObust Sparse ensemble for outlIEr detection and gene selection in cancer omics data
24 Jan 2022
Authors: Antje Jensch, Marta Belchior Lopes, Susana Vinga, Nicole Radde
Article
Employing AI to better understand our morals,
3 Jan 2022
Authors: Luís Moniz Pereira, The AnhHan, António Barata Lopes
Article
Voluntary safety commitments provide an escape from over-regulation in AI development
3 Jan 2022
Authors: The Anh Han, Tom Lenaerts, Francisco C. Santos, Luís Moniz Pereira
Article
From noisy point clouds to complete ear shapes: unsupervised pipeline
10 Sep 2021
Authors: Filipa Valdeira, Claudia Soares, Alessandra Micheletti, Ricardo Ferreira
Article
Propositions-as-types and shared state
2 Aug 2021
Authors: Luis Caires, Pedro Rocha
Article
STRONG: Synchronous and asynchronous robust network localization, under non-Gaussian noise
1 Aug 2021
Authors: Claudia Soares, Joao Gomes
Article
Cameleer: A Deductive Verification Tool for OCaml
15 Jul 2021
Authors: Mário Pereira, António Ravara
Article
Learning Biomedical Networks: Toward Data-Informed Clinical Decision and Therapy
13 Jul 2021
Authors: Marta Belchior Lopes, Susana Vinga
Article
Optimal Algorithm Allocation for Single Robot Cloud Systems
29 Jun 2021
Authors: Saeid Alirezazadeh, Luís A Alexandre
Article
It's About THYME: On the Design and Implementation of a Time-Aware Reactive Storage System for Pervasive Edge Computing Environments
1 May 2021
Authors: João A Silva, Filipe Cerqueira, Hervé Paulino, João Lourenço, João Leitão, Nuno Preguiça