Intelligent Systems

Information Team Publications Projects Graduations Prototypes Seminars

H2tALENT – Alentejo Green H2 Valley delivering integrated full-chain sustainable h2 ecosystem with technical, economic, social and environmental benefits

Ongoing

01/03/2024 - 28/02/2029

Team

José Valente de Oliveira,

MD2TRUST- Trustworthy data science for improving healthcare efficiency: the case of the medical referral process

Concluded

01/02/2022 - 30/04/2023

Team

Claudia Soares, João Leite,

PRODY – Knowledge-Driven Profile Dynamics

ProDy Concluded

28/03/2021 - 28/03/2024

Team

Eduardo Fermé,

OMICs approaches to reveal the anticancer properties of Virgin Olive Oil

VOOmics Concluded

01/01/2022 - 31/12/2024

Team

Marta Belchior Lopes, Ludwig Krippahl,

Multi-omic networks in gliomas

MONET Concluded

01/03/2021 - 28/02/2024

Team

Marta Belchior Lopes, Ludwig Krippahl,

A machine leaning-based forecasting system for shellfish safety

MATISSE Concluded

01/04/2020 - 31/03/2023

Team

Marta Belchior Lopes, Ludwig Krippahl, Pedro Barahona, Jorge Cruz, Susana Nascimento,

LESS (is more): Low-level External Superoptimizer for Smart contracts

LESS Concluded

01/01/2021 - 30/04/2022

Team

Henrique Domingos, Simão Melo de Sousa, Salvador Abreu, Henrique Domingos, Simão Melo de Sousa, Salvador Abreu,

An Environment for Live Construction of Trustworthy Software

CLAY Concluded

01/07/2016 - 31/12/2019

Team

Luis Caires, João Costa Seco, Teresa Romão, Nuno Preguiça, João Costa Seco, Carlos Viegas Damásio,

Restrict to Plan

RtP Concluded

01/09/2013 - 30/06/2016

Team

Pedro Barahona, Jorge Cruz, Marco Correia,

XEO.ECC – Enterprise Communications Center

XEO-ECC Concluded

01/05/2009 - 31/12/2010

Team

João Moura Pires, José Júlio Alferes,

CONTraintes Exécutées en MultiProcesseurs

CONTEMP Concluded

01/01/2008 - 01/12/2010

Team

Salvador Abreu, Raymond Namyst, Pedro Barahona, Ludwig Krippahl,

SAFEBRÓCOLO – Melhoria do processo produtivo com base em modelos de risco para alternaria e mosca da couve

SAFEBROCOLO Concluded

01/01/2015 - 31/12/2017

Team

Carlos Viegas Damásio, Armanda Rodrigues, João Moura Pires,

Learning Spatio-Temporal Oceanographic Patterns

LSTOP Concluded

01/02/2008 - 01/01/2011

Team

Susana Nascimento, Nuno C Marques, Joaquim Dias, Armando Fernandes (2008-2009), Igor Bashmachnikov,

USMA- Bridging Theory and Practice: Update Semantics and Multi-shot ASP

Concluded

01/04/2017 - 31/03/2019

Team

João Leite, Torsten Schaub, Matthias Knorr, Ricardo Gonçalves, Carlos Lopes, Martin Gebser, Philipp Obermeier, Javier Romero, Orkunt Sabuncu,

DiFoS – Dialogical Foundations of Semantics

Concluded

01/03/2009 - 28/02/2013

Team

Peter Schroeder-Heister, Reinhard Kahle, Reinhard Kahle, João Leite, Luís Moniz Pereira, Francisco Azevedo, Jesse Alama, Gregory Wheeler, Isabel Oitavem ,

RIVER – Reasoning with Knowledge and Streams

Concluded

01/08/2018 - 31/07/2021

Team

Matthias Knorr, João Leite, Carlos Viegas Damásio, José Júlio Alferes, Ricardo Gonçalves, Theresa Swift,

Constraint- and Hypothetical-based Reasoning for Bioinformatics

CHRBio Concluded

01/04/2009 - 01/03/2011

Team

Pedro Barahona, Veronica Dahl, Ludwig Krippahl, Gemma Bel Enguix,

FORGET – Efficiently Forgetting What Needs to be Forgotten

Concluded

01/10/2018 - 30/09/2021

Team

João Leite, Matthias Knorr, Ricardo Gonçalves, João Leitão, Carla Ferreira, Carlos Viegas Damásio, José Júlio Alferes, Nuno Preguiça,

Constrained Refining of Multiple Alignments to identify correlations between mutations

CREMA Concluded

01/04/2011 - 01/04/2013

Team

Ludwig Krippahl,

Incentives for safety agreement compliance in AI Race

FLI AI race Concluded

01/09/2018 - 31/08/2020

Team

Luís Moniz Pereira, Han The Anh, Tom Lenaerts,

1 2 3 Next »

Intelligent Systems