This website was discontinued on 20/12/2022. Visit the new website at www.fct.pt.
The information may be unavailable due to the results not being approved or confirmed. In particular, when a call includes regions where projects are cofunded by EC funds and others where that is not the case, confirmation or approval may be not simultaneous.
MOSAL - Multi-objective Sequence Alignment. Luís Paquete, Universidade de Coimbra (UC). €77,000.
New parallel numerical algorithms for current and future high performance supercomputers. Juan Acebron, Instituto Superior Técnico (IST/ULisboa). €130,000.
MALIN: Modular modelling and Analysis of Large biological Interacting Networks. Claudine Chaouiya, Fundação Calouste Gulbenkian (FCG). €150,908.
CSI - Cryptographic Security of Individual Instances. Luís Filipe Coelho Antunes, Instituto de Telecomunicações (IT). €144,000.
Query term expansion methodologies for improved biomedical literature retrieval. Sérgio Matos, Universidade de Aveiro (UA). €118,635.
DigiScope - DIGItally enhanced stethosCOPE for clinical usage. Miguel Coimbra, Instituto de Telecomunicações (IT). €120,000.
CANTE: Descriptional and computational complexity of formal languages. Rogério Ventura Lages dos Santos Reis, Faculdade de Ciências da Universidade do Porto (FCUP/UP). €90,000.
iExplain - Reasoning About Unsatisfiability. Vasco Miguel Gomes Nunes Manquinho, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €82,000.
AutoProbaDSM - Automated Probabilistic Digital Surface Model generation from satellite stereo images. André Jalobeanu, Universidade de Évora (UE). €140,000.
Evidence Accumulation in Unsupervised and Semi-Supervised Learning: a Cluster Ensemble Approach. Ana Luisa Nobre Fred, Instituto de Telecomunicações (IT). €88,772.
EnviGP - Improving Genetic Programming for the Environment and Other Applications. Sara Guilherme Oliveira da Silva, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €97,752.
StreamLine: Thread-Safety by Typing for Mainstream Concurrent Object-Oriented Programming. JOÃO RICARDO VIEGAS DA COSTA SECO, Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL). €72,824.
FAVAS: A FormAl Verification PlAtform for real-time Systems. Nestor Catano Collazos, MITI - Madeira Interactive Technologies Institute - Associação (Madeira-ITI). €100,000.
Assertion Types for Object-Oriented Programming. Vasco Manuel Thudichum de Serpa Vasconcelos, Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa). €74,175.
REal-time scheduling on HEterogeneous multicore ArchiTectures (REHEAT). Eduardo Manuel de Médicis Tovar, Instituto Superior de Engenharia do Porto (ISEP/IPP). €130,000.
CloudFIT: Fault and Intrusion Tolerance for Cloud Computing. Marcelo Pasin, Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa). €86,487.
Mondrian - Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability. Luís Soares Barbosa, Universidade do Minho (UM). €87,172.
SSaaPP: SpreadSheets as a Programming Paradigm. João Alexandre Baptista Vieira Saraiva, Universidade do Minho (UM). €72,000.
Identity Recognition using 4D-Facial Dynamics. Jorge Manuel Moreira de Campos Pereira Batista, Instituto de Sistemas e Robótica (ISR). €58,166.
CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software. Maria João Gomes Frade, Universidade do Minho (UM). €116,000.
Real-Time Guarantees in Wireless Sensor Networks. Kumar Shashi Prabh, Instituto Superior de Engenharia do Porto (ISEP/IPP). €67,568.
UniProjection - Unified Projection Model of Non SVP Systems - Application to Endoscopy and Graphics. Nuno Miguel Mendonça da Silva Gonçalves, Instituto de Sistemas e Robótica (ISR). €93,000.