ARTICLES

Article
Propositions-as-types and shared state
2 Aug 2021
Authors: Luis Caires, Pedro Rocha
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
Article
Real-time 2D–3D door detection and state classification on a low-power device
29 Apr 2021
Authors: João Gaspar Ramôa, Vasco Lopes, Luís A Alexandre, Sandra Mogo
Article
A Review of Recent Machine Learning Advances for Forecasting Harmful Algal Blooms and Shellfish Contamination
5 Mar 2021
Authors: Rafaela C. Cruz, Pedro Reis Costa, Susana Vinga, Ludwig Krippahl, Marta Belchior Lopes
Article
The Role of Network Science in Glioblastoma
2 Mar 2021
Authors: Marta Belchior Lopes, Eduarda P. Martins, Susana Vinga, Bruno M. Costa
Article
Statistical and Machine Learning Techniques in Human Microbiome Studies: Contemporary Challenges and Solutions
22 Feb 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, Domenica D’Elia, Mahesh S. Desai, Laurent Falquet, Aycan Gundogdu, Karel Hron, Thomas Klammsteiner, Marta Belchior Lopes, et al.
Article
Applications of Machine Learning in Human Microbiome Studies: A Review on Feature Selection, Biomarker Identification, Disease Prediction and Treatment
19 Feb 2021
Authors: Laura Judith Marcos-Zambrano, Kanita Karaduzovic-Hadziabdic, Tatjana Loncar Turukalo, Piotr Przymus, Vladimir Trajkovik, Oliver Aasmets, Magali Berland, Aleksandra Gruca, Jasminka Hasic, Karel Hron, Thomas Klammsteiner, Mikhail Kolev, Leo Lahti, Marta Belchior Lopes, et al.
Article
Refinement kinds: type-safe programming with practical type-level computation
17 Feb 2021
Authors: Luis Caires, Bernardo Toninho
Article
AgentDSM-Eval: A Framework for the Evaluation of Domain-specific Modeling Languages for Multi-agent Systems
1 Jan 2021
Authors: Omer Alaca, Baris Tezel, Moharram Challenger, Miguel Goulão, Vasco Amaral, Geylani Kardas