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

AlunoTítulo da dissertaçãoOrientadorData da defesa
André Marques PoerschLocalização de recursos em redes de emergência tolerantes a atrasos e desconexõesJosé Marcos Silva Nogueira24/02/2010
Carlucio Santos CordeiroPredictive Lazy Amplification: Um novo paradigma para a síntese e visualização de cenas procedurais massivas em tempo realLuiz Chaimowicz25/02/2010
Leandro Pfleger de AguiarDescoberta de padrões de alarmes redundantes com técnicas de mineração de dados e redes complexasVirgílio Augusto Fernandes Almeida25/02/2010
Dilson Lucas PereiraHeurísticas e algoritmo exato para o problema de roteamento de veículos com coleta e entrega simultâneasGeraldo Robson Mateus25/02/2010
Matheus Caldas SantosAnálise Espaço-temporal da mobilidade em jogos on-line massivosVirgílio Augusto Fernandes Almeida26/02/2010
Waldir Ribeiro Pires JuniorUm servidor de gerenciamento de eventos para o compartilhamento de dados de perfil e contexto em aplicações móveisAntonio Alfredo Ferreira Loureiro26/02/2010
Thiago Rodrigues de OliveiraUm modelo de gerenciamento de segurança adaptativo para redes de emergênciaJosé Marcos Silva Nogueira26/02/2010
Bernardo Cunha VieiraResolvedor modular de satisfabilidade aplicado na verificação de circuitos combinacionaisAntônio Otávio Fernandes03/03/2010
Alexandre Simões de MeloSIGLa: Um LIMS baseado em workflows adaptáveis com suporte a múltiplos laboratóriosSérgio Vale Aguiar Campos05/03/2010
Leonardo Vieira dos Santos ReisEspecialização de linguagens orientadas a aspectos baseada em extensibilidade de gramáticasRoberto da Silva Bigonha12/03/2010
Sérgio Mariano DiasAlgoritmos para geração de reticulados conceituaisNewton José Vieira26/03/2010
Gabriel Silva GonçalvesSeleção automática de exemplos de treino para um método de deduplicação de registros baseado em programação genéticaAlberto Henrique Frade Laender30/04/2010
Flavio Vinicius Diniz de FigueiredoEvidências de qualidade de atributos textuais na Web 2.0Jussara Marques de Almeida Gonçalves18/05/2010
Renato Luiz de Freitas CunhaUm sistema de apoio ao jogador para jogos de estratégia em tempo realLuiz Chaimowicz21/05/2010
Cássia Rodrigues de Carvalho Ferreira LeiteProMeProS: Um Processo de melhoria de processos de softwareRodolfo Sérgio Ferreira de Resende28/05/2010
Rafael Ferreira Barra de SouzaAlgoritmos para o problema da árvore geradora mínima probabilísticaSebastián Alberto Urrutia31/05/2010
Paolo Victor Gonçalves SoaresGatekeeper: Controle de banda distribuído em ambientes virtualizadosDorgival Olavo Guedes Neto31/05/2010
Erica Rodrigues de OliveiraInvestigação sobre a aplicabilidade dos métodos de avaliação de comunicabilidade ao domínio educacionalRaquel Oliveira Prates07/06/2010
Eduardo José Moreira ColaçoAvaliando a eficácia e a eficiência da busca Par-a-Par por conteúdoJussara Marques de Almeida Gonçalves14/06/2010
Lívio Antônio Melo FreireHeurística e limites duais para o problema de dimensionamento de lotes e sequenciamento com tempos de preparação dependentes da sequênciaGeraldo Robson Mateus18/06/2010
João Ferreira D’ Araújo e OliveiraSuper Nós em sistemas P2P de distribuição de mídia ao vivoSérgio Vale Aguiar Campos18/06/2010
Daniel Rezende SilveiraSíndrome-Fortuna:Uma abordagem viável para a geração de números pseudoaleatórios no linuxJeroen Antonius Maria van de Graaf18/06/2010
Pedro de Carvalho GomesAbstrações semiautomáticas na verificação de modelos simétricosSérgio Vale Aguiar Campos21/06/2010
Frederico Charles Simplicio FariaUm modelo de tarifação para serviços compostos na área de comunicações móveisJosé Marcos Silva Nogueira24/06/2010
Vinicius Marques TerraUtilização de ambientes paralelos no processo de aprendizado de algoritmos de busca de caminho em tempo real.Luiz Chaimowicz30/06/2010
Jairo Viana JúniorUma heurística baseada em colônia de formigas para o problema do carteiro chinês mistoSebastián Alberto Urrutia09/07/2010
Felipe Colares TorresAlocação de equipes e desenvolvimento do cronograma em projetos de software utilizando otimizaçãoClarindo Isaías P. da Silva e Pádua13/07/2010
Pollyanna Miranda de AbreuRecomendações para projetos de TICs para apoio a alfabetização com librasRaquel Oliveira Prates25/08/2010
Luiz Fernando Abras CantoniAvaliação do uso da linguagem PDDL no planejamento de missões para robôsLuiz Chaimowicz30/08/2010
Leonardo Vasconcelos AlvesVerificação de equivalência combinacional utilizando hiper-resolução bináriaAntônio Otávio Fernandes31/08/2010
Fillipe Gustavo BrandãoModelos e algoritmos para o projeto de redes ópticas WDMGeraldo Robson Mateus10/09/2010
Patrícia Corrêa FonsecaModelo para controle estatístico de processos de desenvolvimento de software (CEP-S)Clarindo Isaías P. da Silva e Pádua17/09/2010
Marcos Henrique MunizUma abordagem para o problema de classificação de dados utilizando árvores de decisão e programação inteiraGeraldo Robson Mateus22/09/2010
Luís Felipe Hussin BentoDesenvolvimento de interfaces em diferentes tecnologias para teleoperação de robôs móveisRaquel Oliveira Prates23/09/2010
Bernardo Augusto Maciel MattosUma extensão do método de avaliação de comunicabilidade para sistemas colaborativosRaquel Oliveira Prates24/09/2010
Leonardo Luiz Padovani da MataGeração automática de código para a execução em um ambiente de computação em DataFlowRenato Antônio Celso Ferreira18/10/2010
Thiago Santos Faria Xavier TeixeiraParalelização do algoritmo de migração sísmica em plataformas heterogêneasWagner Meira Júnior05/11/2010
Giselle Machado Nogueira ReisEspecificação de sistemas utilizando lógica linear com subexponenciasElaine Gouvêa Pimentel17/11/2010
Elton Maximo CardosoFunções sobrecarregadas como objeto de primeira classeCarlos Camarão de Figueiredo19/11/2010
André Cavalcante HoraMapeamento de esquemas conceituais geográficos para esquemas GML e esquemas físicos de bancos de dados espaciaisClodoveu Augusto Davis Júnior26/11/2010
Andrei Rimsa ÁlvaresAlgoritmo eficiente de análise estática para procurar ataques do tipo variáveis contaminadasRoberto da Silva Bigonha03/12/2010