Este site foi descontinuado em 20/12/2022. Visite o novo site em www.fct.pt.
SHIPs: Inferência de Haplotipos por Parcimónia Pura baseada em Satisfação Proposicional
Inês Lynce
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
ASPAS: Algoritmos e Software para Problemas Difíceis de Empacotamento e Escalonamento
Cláudio Alves
Universidade do Minho (UM)
Prototipagem rápida de interfaces gráficos para sistemas de controlo baseada em modelos de especificação
Vasco Miguel Moreira do Amaral
Fundação da Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FFCT/FCT/UNL)
Algoritmos e estruturas de dados para o problema do caminho mais curto dinâmico
João Pedro Pedroso
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
Desenvolvimento de um sistema de apoio à decisão integrando diferentes abordagens de programação linear multiobjectivo
Maria João Teixeira Gomes Alves
Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra)
DUAL: Interface Dual de Modelação de Sólidos
João Paulo Jorge Pereira
Instituto Superior de Engenharia do Porto (ISEP/IPP)
VIZIR - Visualização Interactiva de Enormes Volumes de Informação 3D em Arquitecturas Paralelas
JOÃO ANTÓNIO MADEIRAS PEREIRA
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
AMBER iTest - Um ambiente automatizado de teste de interfaces para o utilizador com base em modelos
João Carlos Pascoal Faria
Faculdade de Engenharia da Universidade do Porto (FE/UP)
PROTOL: Prototipagem de Linhas de Produtos de Software
Ricardo Jorge Silvério de Magalhães Machado
Universidade do Minho (UM)
GeoThms - Laboratório de Geometria
PEDRO HENRIQUE E FIGUEIREDO QUARESMA DE ALMEIDA
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)
CamSpace - Representação e interacção do corpo humano em espaços de realidade mista
Nuno Manuel Robalo Correia
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCTUNL/UNL)
MediaRecall - Um sistema para recuperar informação multimédia em memórias pessoais
Nuno Manuel Robalo Correia
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCTUNL/UNL)
Os efeitos das funções de vizinhança na conectividade do conjunto eficiente em optimização combinatória multiobjectivo
Luís Paquete
Universidade do Algarve (UAlg)
Contextos Virtuais para Colaboração em Criação e Aprendizagem
LEONEL CASEIRO MORGADO
Universidade de Trás-os-Montes e Alto Douro (UTAD)
META-RURAL - Carteiro Rural e Problemas em Grafos relacionados resolvidos por Meta-heurísticas
José António Soeiro Ferreira
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
AUCAE - Acessibilidade Universal: Controlo de Ambiente Envolvente
Joaquim Jorge
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Técnicas de processamento de imagem para avaliação de padrões comportamentais morfo-dinâmicos do animal modelo "Peixe-Zebra"
AUGUSTO MARQUES FERREIRA DA SILVA
Universidade de Aveiro (UA)
Avós de 4ª Geração
Jorge Sá Silva
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)
LearningMovies - Integração Multimedia para Ambientes Inter-Plataforma de Aprendizagem Baseados em Vídeo
Maria Teresa Caeiro Chambel
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
MetaIT - Metamodelação para Integração de Requisitos Textuais com Modelos Gráficos, no âmbito do ProjectIT
Alberto Manuel Rodrigues Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Imagem Computacional no Património Cultural: técnicas para incentivo ao uso de RTI com artefactos grandes
Alberto José Gonçalves de Carvalho Proença
Universidade do Minho (UM)
CreaTiVE: Uma plataforma para o design de ambientes virtuais multimedia e colaborativos
Paulo Nazareno Maia Sampaio
Universidade da Madeira (UMA)
IViHumans: Plataforma para a Visualização de Sistemas Multi-Agentes
Ana Paula Boler Cláudio
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
DAFSTEPS - Abordagem Declarativa às normas STEP
Paulo Jorge Lopes de Moura
Universidade da Beira Interior (UBI)
DIGeSMo: Desenvolvimento de ferramentas computacionais para integração de dados e modelação à escala genómica em Biologia de Sistemas
Miguel Rocha
Universidade do Minho (UM)
Controlo de Qualidade, Optimização e Controlo de Processos de Cultivo em Biotecnologia Farmacêutica, usando Modelos em Redes Neuronais e Vida Artificial
Tito Lívio dos Santos Silva
Faculdade de Engenharia da Universidade Católica Portuguesa (FE/UCP)
Reconstrução de ambientes reais com alta precisão em múltiplas plataformas
Luis Paulo Peixoto dos Santos
Universidade do Minho (UM)
Avaliação do Risco de Arritmias Cardíacas Graves
Jorge Henriques
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)
Dyablo: Modelos para o Comportamento Dinâmico de Redes Biológicas
Arlindo Limede de Oliveira
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Construção de operadores adaptativos robustos em abordagens evolutivas multiobjectivo
Álvaro Filipe Peixoto Cardoso de Oliveira Gomes
Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra)
AIM:UP - Modelação Avançada Integrada para Processos Centrados na Utilização
Duarte Nuno Jardim Nunes
Fundação da Faculdade de Ciências da Universidade de Lisboa, FP (FFC/FC/ULisboa)
ReBuilder 2 - Reutilização Inteligente de Especificações de Software
Paulo Jorge de Sousa Gomes
Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCT/UC)
PaToo- Padrões e Ferramentas para a Resolução de Problemas Combinatórios com Abordagens Híbridas CP/MIP
MARIA ANTÓNIA DA SILVA LOPES E CARRAVILLA
Faculdade de Engenharia da Universidade do Porto (FE/UP)
Servidor web genérico dedicado à execução de processos algorítmicos
João Coutinho Rodrigues
Instituto de Engenharia de Sistemas e Computadores de Coimbra (INESC Coimbra)
Gaspar: Um ambiente genérico orientado ao aspecto para computação paralela e distribuída
João Luis Ferreira Sobral
Universidade do Minho (UM)
Uma Abordagem Disciplinada para Composição de Aspectos aplicada a uma Framework para Sistemas Multi-Agente
Ademar Aguiar
Instituto de Engenharia de Sistemas e Computadores do Porto (INESC Porto/FE/UP)
3DISE: Motor de Pesquisa 3D do IST
Manuel João Caneira Monteiro da Fonseca
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Estimação de parâmetros de fluxo sanguíneo dependente do sinal
Maria Margarida da Cruz Silva Andrade Madeira e Carvalho de Moura
Faculdade de Ciências e Tecnologia da Universidade do Algarve (FCT/UAlg)
PUReM - Métodos Formais para a Engenharia Orientada ao Modelo
Johannes Michiel Willem Visser
Universidade do Minho (UM)
VMIRROR - Espelhos Virtuais como Sistemas de Exposição Interactivos
Paulo José Monteiro Peixoto
Instituto de Sistemas e Robótica (ISR)
ASIM - Análise e Simulação do Impacto dos Modelos de Desenvolvimento de Software nos Contextos de Desenvolvimento de Sistemas Embebidos e de Sistemas de Informação
PEDRO MIGUEL GONZALEZ DE ABREU RIBEIRO
Universidade do Minho (UM)
BSOLO - Satisfação e optimização com restrições Booleanas
Vasco Miguel Gomes Nunes Manquinho
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
COBRA: Programação por Restrições em Investigação e Applicações Bioinformáticas
Ludwig Krippahl
Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (FCTUNL/UNL)
RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
SIMÃO PATRÍCIO MELO DE SOUSA
Faculdade de Ciências da Universidade do Porto (FCUP/UP)
IGIDE-Iluminação Global Interactiva em Ambientes Dinâmicos
Luis Paulo Peixoto dos Santos
Universidade do Minho (UM)
VirtualActor - Desenvolvimento de um “framework” de software para animação de personagens em 3D, usando actores virtuais parcialmente autónomos
Ido Aharon Iurgel
Universidade do Minho (UM)
AMADEUS: ASPECTS E OPTIMIZAÇÕES DE COMPILADORES PARA O DESENVOLVIMENTO DE SISTEMAS COM MATLAB
João Cardoso
Faculdade de Engenharia da Universidade do Porto (FE/UP)
DEFORMIX - Um Núcleo Geométrico de Superfícies Implícitas Deformáveis e suas Aplicações a Vídeo-Jogos, Animação e Realidade Virtual
Abel João Padrão Gomes
Universidade da Beira Interior (UBI)
Modelos de contexto finito para ADN
Armando J Pinho
Universidade de Aveiro (UA)