Este site foi descontinuado em 20/12/2022. Visite o novo site em www.fct.pt.
A informação pode não se encontrar disponível devido ao resultado não ter sido homologado ou aprovado. Nomeadamente, quando um concurso abrange regiões em que os projectos são co-financiados por fundos comunitários e outras em que não são, a homologação ou aprovação pode não ser síncrona entre os dois tipos de projectos.
AutoSeer: Oráculos Automáticos para Detecção de Erros em Software. Rui Abreu, Faculdade de Engenharia da Universidade do Porto (FE/UP). €118.200.
Propriedades de animação por via estática. António Ravara, NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT). €132.211.
Análise e Verificação de Programas Concorrentes Críticos. Jorge Miguel de Matos Sousa Pinto, Universidade do Minho (UM). €93.988.
Escalonamento Tempo-Real em Processadores Gráficos de Uso Genérico. KONSTANTINOS BLETSAS, Instituto Superior de Engenharia do Porto (ISEP/IPP). €138.650.
VTL: Semáforos Virtuais. Michel Ferreira, Instituto de Telecomunicações (IT). €198.731.
NetDyn: Análise de redes reais de grande dimensão, da estrutura à dinâmica. Alexandre Paulo Lourenço Francisco, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €74.743.
HEIDI (HEIGH Dimensional Indexing) ou como indexação de bilhão vetores. Andreas Miroslaus Wichert, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €69.216.
FATBIT: Fundamentos, Aplicações e Ferramentas para Transformação Bidireccional. Manuel Alcino Pereira da Cunha, Universidade do Minho (UM). €73.200.
Optimização Angular em Radioterapia de Intensidade Modulada. Joana Maria Pina Cabral Matos Dias, Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra). €71.275.
ERRO - Raciocínio Eficiente com Regras e Ontologias. João Alexandre Carvalho Pinheiro Leite, NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT). €140.373.
Gestão de capacidade não utilizada em sistemas de tempo real com escalonamento hierárquico (SMARTS). Stefan M. Petters, Instituto Superior de Engenharia do Porto (ISEP/IPP). €158.028.
Qais: Análise quantititativa de sistemas reactivos: fundamentos e algoritmos. Alexandra Martins da Silva, Universidade do Minho (UM). €105.384.
SUSPECT - Tecnologias Seguras de Fala. Isabel Maria Martins Trancoso, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €58.770.
Sistemas de Tipos Avançados para Programação Multicore. Vasco Manuel Thudichum de Serpa Vasconcelos, Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa). €101.023.
POLARIS: Algoritmos para a Hierarquia Polinomial. João Paulo Marques da Silva, Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa). €123.824.