Dissertações defendidas - Mestrado em Ciência da Computação - 2010

Undefined
Aluno Título da dissertação Orientador Data da defesa
André Marques Poersch Localização de recursos em redes de emergência tolerantes a atrasos e desconexões José Marcos Silva Nogueira 24/02/2010
Carlucio Santos Cordeiro Predictive Lazy Amplification: Um novo paradigma para a síntese e visualização de cenas procedurais massivas em tempo real Luiz Chaimowicz 25/02/2010
Leandro Pfleger de Aguiar Descoberta de padrões de alarmes redundantes com técnicas de mineração de dados e redes complexas Virgílio Augusto Fernandes Almeida 25/02/2010
Dilson Lucas Pereira Heurísticas e algoritmo exato para o problema de roteamento de veículos com coleta e entrega simultâneas Geraldo Robson Mateus 25/02/2010
Matheus Caldas Santos Análise Espaço-temporal da mobilidade em jogos on-line massivos Virgílio Augusto Fernandes Almeida 26/02/2010
Waldir Ribeiro Pires Junior Um servidor de gerenciamento de eventos para o compartilhamento de dados de perfil e contexto em aplicações móveis Antonio Alfredo Ferreira Loureiro 26/02/2010
Thiago Rodrigues de Oliveira Um modelo de gerenciamento de segurança adaptativo para redes de emergência José Marcos Silva Nogueira 26/02/2010
Bernardo Cunha Vieira Resolvedor modular de satisfabilidade aplicado na verificação de circuitos combinacionais Antônio Otávio Fernandes 03/03/2010
Alexandre Simões de Melo SIGLa: Um LIMS baseado em workflows adaptáveis com suporte a múltiplos laboratórios Sérgio Vale Aguiar Campos 05/03/2010
Leonardo Vieira dos Santos Reis Especialização de linguagens orientadas a aspectos baseada em extensibilidade de gramáticas Roberto da Silva Bigonha 12/03/2010
Sérgio Mariano Dias Algoritmos para geração de reticulados conceituais Newton José Vieira 26/03/2010
Gabriel Silva Gonçalves Seleção automática de exemplos de treino para um método de deduplicação de registros baseado em programação genética Alberto Henrique Frade Laender 30/04/2010
Flavio Vinicius Diniz de Figueiredo Evidências de qualidade de atributos textuais na Web 2.0 Jussara Marques de Almeida Gonçalves 18/05/2010
Renato Luiz de Freitas Cunha Um sistema de apoio ao jogador para jogos de estratégia em tempo real Luiz Chaimowicz 21/05/2010
Cássia Rodrigues de Carvalho Ferreira Leite ProMeProS: Um Processo de melhoria de processos de software Rodolfo Sérgio Ferreira de Resende 28/05/2010
Rafael Ferreira Barra de Souza Algoritmos para o problema da árvore geradora mínima probabilística Sebastián Alberto Urrutia 31/05/2010
Paolo Victor Gonçalves Soares Gatekeeper: Controle de banda distribuído em ambientes virtualizados Dorgival Olavo Guedes Neto 31/05/2010
Erica Rodrigues de Oliveira Investigação sobre a aplicabilidade dos métodos de avaliação de comunicabilidade ao domínio educacional Raquel Oliveira Prates 07/06/2010
Eduardo José Moreira Colaço Avaliando a eficácia e a eficiência da busca Par-a-Par por conteúdo Jussara Marques de Almeida Gonçalves 14/06/2010
Lívio Antônio Melo Freire Heurística e limites duais para o problema de dimensionamento de lotes e sequenciamento com tempos de preparação dependentes da sequência Geraldo Robson Mateus 18/06/2010
João Ferreira D' Araújo e Oliveira Super Nós em sistemas P2P de distribuição de mídia ao vivo Sérgio Vale Aguiar Campos 18/06/2010
Daniel Rezende Silveira Síndrome-Fortuna:Uma abordagem viável para a geração de números pseudoaleatórios no linux Jeroen Antonius Maria van de Graaf 18/06/2010
Pedro de Carvalho Gomes Abstrações semiautomáticas na verificação de modelos simétricos Sérgio Vale Aguiar Campos 21/06/2010
Frederico Charles Simplicio Faria Um modelo de tarifação para serviços compostos na área de comunicações móveis José Marcos Silva Nogueira 24/06/2010
Vinicius Marques Terra Utilização de ambientes paralelos no processo de aprendizado de algoritmos de busca de caminho em tempo real. Luiz Chaimowicz 30/06/2010
Jairo Viana Júnior Uma heurística baseada em colônia de formigas para o problema do carteiro chinês misto Sebastián Alberto Urrutia 09/07/2010
Felipe Colares Torres Alocação de equipes e desenvolvimento do cronograma em projetos de software utilizando otimização Clarindo Isaías P. da Silva e Pádua 13/07/2010
Pollyanna Miranda de Abreu Recomendações para projetos de TICs para apoio a alfabetização com libras Raquel Oliveira Prates 25/08/2010
Luiz Fernando Abras Cantoni Avaliação do uso da linguagem PDDL no planejamento de missões para robôs Luiz Chaimowicz 30/08/2010
Leonardo Vasconcelos Alves Verificação de equivalência combinacional utilizando hiper-resolução binária Antônio Otávio Fernandes 31/08/2010
Fillipe Gustavo Brandão Modelos e algoritmos para o projeto de redes ópticas WDM Geraldo Robson Mateus 10/09/2010
Patrícia Corrêa Fonseca Modelo para controle estatístico de processos de desenvolvimento de software (CEP-S) Clarindo Isaías P. da Silva e Pádua 17/09/2010
Marcos Henrique Muniz Uma abordagem para o problema de classificação de dados utilizando árvores de decisão e programação inteira Geraldo Robson Mateus 22/09/2010
Luís Felipe Hussin Bento Desenvolvimento de interfaces em diferentes tecnologias para teleoperação de robôs móveis Raquel Oliveira Prates 23/09/2010
Bernardo Augusto Maciel Mattos Uma extensão do método de avaliação de comunicabilidade para sistemas colaborativos Raquel Oliveira Prates 24/09/2010
Leonardo Luiz Padovani da Mata Geração automática de código para a execução em um ambiente de computação em DataFlow Renato Antônio Celso Ferreira 18/10/2010
Thiago Santos Faria Xavier Teixeira Paralelização do algoritmo de migração sísmica em plataformas heterogêneas Wagner Meira Júnior 05/11/2010
Giselle Machado Nogueira Reis Especificação de sistemas utilizando lógica linear com subexponencias Elaine Gouvêa Pimentel 17/11/2010
Elton Maximo Cardoso Funções sobrecarregadas como objeto de primeira classe Carlos Camarão de Figueiredo 19/11/2010
André Cavalcante Hora Mapeamento de esquemas conceituais geográficos para esquemas GML e esquemas físicos de bancos de dados espaciais Clodoveu Augusto Davis Júnior 26/11/2010
Andrei Rimsa Álvares Algoritmo eficiente de análise estática para procurar ataques do tipo variáveis contaminadas Roberto da Silva Bigonha 03/12/2010