Propostas de Dissertação para MCC/MIERSI
Em andamento:
- Exploração de paralelismo-ou em programas Prolog em
arquitecturas multicore, Orientador: Fernando Silva e Ricardo
Rocha, Aluno: Brás Monteiro
- Software Platform
for Assisted Analysis of Cellular Images, Orientador: Miguel
Coimbra, Aluno: Bruno Lopes
- MVS - Multiple vehicle
Simulator, Orientador: Gil Gonçalves e Luís Lopes, Aluno: Bruno Terra
- Bibliotecas Digitais
com Descrição Automática de Conteúdo, Orientador: Álvaro Reis Figueira,
Aluna: Carla Gomes
- Mecanismos de Gestão de Identidades Empresariais na
Internet Orientadas ao Utilizador , Orientador: Manuel Eduardo
Correia, Aluno: Diana Leitão Almeida
- An integrated system for maintenance of online comics, Orientador: Álvaro Figueira,
Aluno: Eduardo Barandas
- Criptografia Adaptiva para Codificação
Avançada, Orientador: João Barros e Miguel Coimbra, Aluno: João Paulo Almeida
- Escalonamento de tarefas no
middleware gLite , Orientador: Inês Dutra, Aluno: Odair José
Tavares
- Desenho e Implementação de uma
Máquina Virtual para a Programação de Redes de Sensores,
Orientador: Luis Lopes, Aluno: Pedro Gomes
- Implementação da Máquina
Virtual Callas para a Plataforma
TinyOS/nesC e Interoperabilidade com a Plataforma Squawk/Java
, Orientador: Luis Lopes, Aluno: Pedro Lopes
- Controlo de trânsito automóvel com base em sinais de trânsito
auto-organizados dentro de cada veículo, Orientador: Michel Ferreira, Aluno:
Ricardo Fernandes
- Reconhecimento de autores em
publicações, Orientador: Fernando Silva, Aluna:
Sylwia Bugla
Ainda encontram-se disponíveis as seguintes propostas de dissertação:
- ADSL: Assistente de Deduções para
Sistemas Lógicos, Sabine Broda e Nelma Moreira
- Clusterização de cláusulas, Inês Dutra
- Compilação de uma linguagem funcional para um código intermédio com pattern-matching explícito, Mário Florido
- Desenvolvimento de um módulo COQ sobre autómatos finitos e linguagens regulares Nelma Moreira e Rogério Reis
- Desenvolvimento de um módulo Why para a linguagem Python, Nelma Moreira e Rogério Reis
- Desenvolvimento de um Novo Método para Determinar Matrizes de
Conectividade Neuronais com Base em Registos Experimentais de
Séries de Tempos de Disparo, Paulo Aguiar e Miguel Rodrigues
- Determining Leishmania Infection Levels by Automatic Analysis of Fluorescence Microscopy Images, Miguel Coimbra
- Extracting Visual Features from Drosophila Images, Miguel Coimbra
- Ferramentas para a avaliação entre pares, em ambiente online, Álvaro Reis Figueira
- Freckles: uma linguagem de programação dirigida às crianças, Mário Florido
- Gerenciadores de recursos para ambientes multi-usuário e multi-core, Inês Dutra
- Identificação automática de cifras não digitais, Rogério Reis e Antonio Machiavelo
- Identificação de percursos eficientes de navegação a partir da análise
de registos de actividade de utilizadores, Ricardo Correia e Fernando Silva
- Integração de Funcionalidades Web 2.0 em Bibliotecas Digitais , Álvaro Reis Figueira
- Linearidade em linguagens funcionais, Sandra Alves e Mário Florido
- Módulo de avaliação automática
de exercícios de programação, José Paulo Leal e Ricardo Queirós
- Motor de avaliação de programas com virtualização, José Paulo Leal
- Network Coding em redes de transporte genérico, Rui Prior
- Network coding em redes peer-to-peer para a distribuição de conteúdos em streaming, Rui Prior
- Particionamento automático de restrições utilizando algoritmos baseados em coloração de grafos, Inês Dutra
- Pesquisa inteligente
de documentos com base em perfis dinâmicos de utilizadores,
Fernando Silva e Ricardo Correia
- Plugin de avaliação automática para o Eclipse, José Paulo Leal e Ricardo Queirós
- Segurança em Redes de Comunicações Sem-Fios: Criptografia vs.
Teoria da Informação, Miguel Rodrigues
- Sistema de gestão de concursos de programação, José Paulo Leal