ARTICLES
- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
- 10 Jun 2022
- Bernardo Toninho, Nobuko Yoshida
- Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware
- 1 Mar 2022
- Bernardo Ferreira, Guilherme Borges, Henrique João Domingos, João Leitão
- ROSIE: RObust Sparse ensemble for outlIEr detection and gene selection in cancer omics data
- 24 Jan 2022
- Antje Jensch, Marta Belchior Lopes, Susana Vinga, Nicole Radde
- Learning Biomedical Networks: Toward Data-Informed Clinical Decision and Therapy
- 13 Jul 2021
- Marta Belchior Lopes, Susana Vinga
- It's About THYME: On the Design and Implementation of a Time-Aware Reactive Storage System for Pervasive Edge Computing Environments
- 1 May 2021
- João A Silva, Filipe Cerqueira, Hervé Paulino, João Lourenço, João Leitão, Nuno Preguiça
- A Review of Recent Machine Learning Advances for Forecasting Harmful Algal Blooms and Shellfish Contamination
- 5 Mar 2021
- Rafaela C. Cruz, Pedro Reis Costa, Susana Vinga, Ludwig Krippahl, Marta Belchior Lopes
- The Role of Network Science in Glioblastoma
- 2 Mar 2021
- Marta Belchior Lopes, Eduarda P. Martins, Susana Vinga, Bruno M. Costa
- Statistical and Machine Learning Techniques in Human Microbiome Studies: Contemporary Challenges and Solutions
- 22 Feb 2021
- 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.
- Applications of Machine Learning in Human Microbiome Studies: A Review on Feature Selection, Biomarker Identification, Disease Prediction and Treatment
- 19 Feb 2021
- 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.
- Refinement kinds: type-safe programming with practical type-level computation
- 17 Feb 2021
- Luis Caires, Bernardo Toninho
Article
Article
Article
Article
Article
Article
Article
Article
Article
Article