ARTICLES

Article
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
10 Jun 2022
Authors: Bernardo Toninho, Nobuko Yoshida
Article
Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware
1 Mar 2022
Authors: Bernardo Ferreira, Guilherme Borges, Henrique João Domingos, João Leitão
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
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
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
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