Arquivo de Articles - Page 5 of 67 - NOVA LINCS NOVA LINCS

Login

Propositions-as-types and shared state

Published in 02/08/2021

Authors

Luis Caires, Pedro Rocha,

STRONG: Synchronous and asynchronous robust network localization, under non-Gaussian noise

Published in 01/08/2021

Authors

Claudia Soares, Joao Gomes,

Cameleer: A Deductive Verification Tool for OCaml

Published in 15/07/2021

Authors

Mário Pereira, António Ravara,

Learning Biomedical Networks: Toward Data-Informed Clinical Decision and Therapy

Published in 13/07/2021

Authors

Marta Belchior Lopes, Susana Vinga,

Optimal Algorithm Allocation for Single Robot Cloud Systems

Published in 29/06/2021

Authors

Saeid Alirezazadeh, Luís A Alexandre,

It’s About THYME: On the Design and Implementation of a Time-Aware Reactive Storage System for Pervasive Edge Computing Environments

Published in 01/05/2021

Authors

João A Silva, Filipe Cerqueira, Hervé Paulino, João Lourenço, João Leitão, Nuno Preguiça,

Real-time 2D-3D door detection and state classification on a low-power device

Published in 29/04/2021

Authors

João Gaspar Ramôa, Vasco Lopes, Luís A Alexandre, Sandra Mogo,

A Review of Recent Machine Learning Advances for Forecasting Harmful Algal Blooms and Shellfish Contamination

Published in 05/03/2021

Authors

Rafaela C. Cruz, Pedro Reis Costa, Susana Vinga, Ludwig Krippahl, Marta Belchior Lopes,

The Role of Network Science in Glioblastoma

Published in 02/03/2021

Authors

Marta Belchior Lopes, Eduarda P. Martins, Susana Vinga, Bruno M. Costa,

Statistical and Machine Learning Techniques in Human Microbiome Studies: Contemporary Challenges and Solutions

Published in 22/02/2021

Authors

Isabel Moreno-Indias, Leo Lahti, Miroslava Nedyalkova, Ilze Elbere, Gennady Roshchupkin, Muhamed Adilovic, Onder Aydemir, Burcu Bakir-Gungor, Enrique Carrillo-de Santa Pau, Mahesh S. Desai, Laurent Falquet, Aycan Gundogdu, Karel Hron, Thomas Klammsteiner, Marta Belchior Lopes, et al.,