Dissertações defendidas – Mestrado em Ciência da Computação – 2011

AlunoTítulo da dissertaçãoOrientadorData da defesa
Marcos Rodrigo Sol SouzaEliminação de testes de overflow para compiladores de trilhasMariza Andrade da Silva Bigonha25/01/2011
Andre Luiz Camargos TavaresAlocação de registradores desacoplada baseada em coloração de grafos com compartilhamento hierárquicoMariza Andrade da Silva Bigonha26/01/2011
Daniel Pacheco de QueirozAvaliação de métodos de rastreamento de marcadores passivos para um sistemaArnaldo de Albuquerque Araújo18/02/2011
Lívia Naiara de AndradeRedes neurais artificiais aplicadas na identificação automática de áreas cafeeiras em imagens de satéliteClodoveu Augusto Davis Júnior21/02/2011
Guilherme Vale Ferreira MenezesRecomendação de tags por demandaNivio Ziviani25/02/2011
Elisa Boari de LimaUtilizando agrupamento com restrições e agrupamento espectral para integração de dados de enzimasWagner Meira Júnior28/02/2011
Rande Arievilo MoreiraSegurança adaptativa em aplicações coletivas cientes de contextoAntonio Alfredo Ferreira Loureiro28/02/2011
Osvaldo Carneiro de Matos JúniorUso de taxonomias na recomendação de produtosNivio Ziviani28/02/2011
Lillian Brandao Rezende de OliveiraFramework para desenvolvimento de aplicações móveis cientes de contextoAntonio Alfredo Ferreira Loureiro28/02/2011
Rafael de Magalhães Dias FrinhaniGRASP com path relinking para agrupamento de dados biológicosRicardo Martins de Abreu Silva02/03/2011
Diego Mello da SilvaAbordagem de refinamento iterativo para o problema da árvore geradora com número mínimo de vértices branchGeraldo Robson Mateus02/03/2011
Wallace Favoreto HenriqueVerificação de unicidade de URLs em coletores de páginas WebNivio Ziviani10/03/2011
Rickson GuidoliniDetecção de réplicas de sítios Web em máquinas de busca usando aprendizado de máquinaNivio Ziviani11/03/2011
Thiago Cunha de Moura SallesClassificação automática de documentos temporalmente robustaMarcos André Gonçalves15/03/2011
Cristiano Alex Oliveira do NascimentoUm arcabouço para busca e recomendação de artigos científicosAlberto Henrique Frade Laender17/03/2011
Tiago de Oliveira JanuarioImplementação e análise de algoritmos para coloração de arestasSebastián Alberto Urrutia18/03/2011
Thiago Sousa Figueiredo SilvaEyesOn: um arcabouço para extração armazenamento e acompanhamento de métricas de projeto de circuitos integradosAntônio Otávio Fernandes25/03/2011
Zilton José Maciel Cordeiro JuniorUm algoritmo de nuvem de partículas para combinação de classificadores em aprendizado multi-visãoGisele Lobo Pappa25/03/2011
Raquel Lara dos Santos PereiraQualidade de artigos na wikipedia para seus usuários – análise e proposta de interaçãoRaquel Oliveira Prates25/03/2011
Hendrickson Reiter LangbehnProposta e avaliação de mecanismos de combate à poluição em sistemas de compartilhamento de vídeosMarcos André Gonçalves28/03/2011
Leandro Maia SilvaelGen: ferramenta para geração de circuitos combinatórios e sequenciais para benchmarkAntônio Otávio Fernandes29/03/2011
Tiago Amador CoelhoUma estratégia híbrida para o problema de classificação multi-rótuloWagner Meira Júnior29/03/2011
Virgil Del Duca AlmeidaAnálise de desempenho de protocolos de roteamento Ad hoc e DTN em redes de emergênciaJosé Marcos Silva Nogueira20/04/2011
Arlei Lopes da SilvaMineração de padrões de correlação estrutural em grandes grafosWagner Meira Júnior05/05/2011
Ivre Marjorie Ribeiro MachadoUm gazetteer ontológico para recuperação de informação geográficaClodoveu Augusto Davis Júnior13/05/2011
Carlos Henrique de Carvalho TeixeiraSimilaridade de grafos via hashingWagner Meira Júnior13/05/2011
Rafael Vieira CarvalhoUm método evolucionário para classificação hierárquicaGisele Lobo Pappa13/05/2011
Pedro Lopes da Rocha Leal JúniorRAISE – Um metamodelo de informação de rastreabilidadeRodolfo Sérgio Ferreira de Resende02/06/2011
Tiago Oliveira CunhaSumarização Automática de vídeos baseada em características espaciais e espaço-temporaisArnaldo de Albuquerque Araújo03/06/2011
Marco Túlio Nogueira SilvaVerificação sistemática da visualização da informação em sistemas de informação executivosClarindo Isaías P. da Silva e Pádua03/06/2011
Nemésio Freitas Duarte FilhoMAQSaaS – Método para avaliação da qualidade em produtos SaaSClarindo Isaías P. da Silva e Pádua03/06/2011
Rafael Gonçalves ColaresUma abordagem para mapeamento e localização simultâneos utilizando informação topológicaLuiz Chaimowicz08/06/2011
Rodrigo Montenegro PossaUm estudo sobre os requisitos de jogos de simulação usados no ensino de engenharia de softwareRodolfo Sérgio Ferreira de Resende10/06/2011
Fillipe Dias Moreira de SouzaUma avaliação sobre características espaço-temporais Baseadas em Invariantes de Cor para Reconhecimento de AçõesArnaldo de Albuquerque Araújo13/06/2011
Erasmo Evangelista de OliveiraProtocolo de decisão do espectro para redes de sensores sem fioAntonio Alfredo Ferreira Loureiro17/06/2011
Frank Mendes NobreMétodo de apoio à inovação do produto de software em uso utilizando mineração de opinião de usuários na webClarindo Isaías P. da Silva e Pádua21/06/2011
Julio Cesar AlvesAlgoritmo para localização em redes de sensores sem fioGeraldo Robson Mateus27/06/2011
Fabiano Muniz BelémRecomendação associativa de tags considerando múltiplos atributos textuaisJussara Marques de Almeida Gonçalves06/07/2011
André Lima Gaspar RuasImplementação paralela de algoritmos para localização e mapeamento simultâneos com uma única câmeraMario Fernando Montenegro Campos12/07/2011
Jaime Daniel Correa MendesAvaliação multisensorial da reação de transesterificação utilizando redes neurais artificiaisMario Fernando Montenegro Campos13/07/2011
Moisés Lisboa RodriguesLocalização em ambientes internos utilizando múltiplas tecnologias sem fioMario Fernando Montenegro Campos14/07/2011
Mirlaine Aparecida CrepaldeModelagem e análise de sistemas de transporte de íons em membranas celulares usando verificação de modelosSérgio Vale Aguiar Campos27/07/2011
Lucí Aparecida NicoláuAnálise da percepção e do conhecimento espacial da criminalidade comparados ao registro oficial de ocorrências policiaisClodoveu Augusto Davis Júnior28/07/2011
Eduardo Mucelli Rezende OliveiraRoteamento baseado em centralidade para redes de sensores sem fioAntonio Alfredo Ferreira Loureiro28/07/2011
Christiano Augusto Caldas TeixeiraUm método para descrição eficiente de imagens adequado à um sistema para recuperação de imagens por conteúdoMario Fernando Montenegro Campos28/07/2011
Henrique da Silva RodriguesIsolamento de tráfego eficiente para datacenters virtualizadosDorgival Olavo Guedes Neto28/07/2011
Rafael Odon de AlencarUtilizando Evidência da wikipedia para relacionar textos a lugaresClodoveu Augusto Davis Júnior29/07/2011
Luis Paulo Alves MagalhãesUm estudo sobre a engenharia de ida e volta entre UML e javaRodolfo Sérgio Ferreira de Resende29/07/2011
Andre Fonseca AmancioPERAF – Um processo de engenharia de requisitos adaptável e flexívelRodolfo Sérgio Ferreira de Resende29/07/2011
Claudiane Fonseca RodriguesAnálise comparativa entre os métodos Decomposição em Valores Singulares e Análise de Componentes Principais envolvendo matrizes esparsas de grandeFrederico Ferreira Campos, filho29/07/2011
Emanuel Vianna do ValleModelagem de desempenho de sistemas com paralelismo pipelineVirgílio Augusto Fernandes Almeida29/07/2011
Thiago Sonego GoulartMapeamento baseado em grades de ocupação utilizando enxames de robôsLuiz Chaimowicz01/08/2011
Gabriel Caires SilvaAnálise de fatores que afetam o comportamento de spammers na redeDorgival Olavo Guedes Neto04/08/2011
Iuri Bueno Drumond de AndradeIntegração do controle de densidade, cobertura e roteamento em redes de sensores sem fio: modelos matemáticos, algoritmos de otimização e simulaçãoAlexandre Salles da Cunha04/08/2011
Charles Ferreira GoncalvesROCK: Uma metodologia para a caracterização de serviços web multimídia baseada numa hierarquia informacionalWagner Meira Júnior05/08/2011
Celina Gomes do ValMonitoração dinâmica de asserções para depuração em silícioClaudionor José Nunes Coelho Júnior08/08/2011
Gabriel Chaves Afonso CoutinhoAvaliação in vivo do índice de gordura de animais por meio de visão de animais por meio de visãoAndré Vital Saúde26/08/2011
Felipe Menezes MachadoDetecção de comunidades em grafos multicamada muito grandesVirgílio Augusto Fernandes Almeida19/09/2011
João Rafael de Moura PalottiCredibilidade de exemplos em classificação automáticaGisele Lobo Pappa23/09/2011
Letícia Decker de SousaDetecção de eventos em redes de sensores sem fioAntonio Alfredo Ferreira Loureiro27/10/2011