Teses de Doutorado 2010-2013

2010

001 PERES, Leticia Mara (Orientador: Luis Allam Kunzle) Proposta de um método de verificação por tempo global com redes de Petri no desenvolvimento de software embarcado e em tempo real, 20/09/2010

2012

002 PAULA FILHO, Pedro Luiz de (Orientador: Luiz Eduardo Soares de Oliveira). Reconhecimento de Espécies Florestais Através de Imagens Macroscópicas, 20/12/2012.

2013

003 CARVALHO, André Britto de (Orientadora: Aurora Trindad Ramirez Pozo). Novas estratégias para otimização por nuvem de partículas aplicadas a problemas com muitos objetivos, 14/03/2013.

004 COHEN, Jaime (Orientador: Elias Procópio Duarte Júnior). Algoritmos Paralelos para Árvores de Cortes e Medidas de Centralidade em Grafos, 15/03/2013.

005 ZIWICH, Roverli Pereira (Orientador: Elias Procópio Duarte Júnior). Estratégias Eficientes para Identificação de Falhas Utilizando o Diagnóstico Baseado em Comparações, 12/04/2013.

006 GUIMARÃES, Cayley (Orientadora: Laura Sánchez García). Arquitetura Pedagógica Computacional para Interações Intelectuais entre Crianças Surdas e Pais não-Surdos em Libras e Português, 26/06/2013.

007 COSTA, Yandre Maldonado e Gomes da (Orientador: Luiz Eduardo Soares de Oliveira). Reconhecimento de Gêneros Musicais utilizando Espectrogramas e Combinação de Classificadores, 15/08/2013.

008 KRYNSKI, Eleandro Maschio (Orientador: Alexandre Ibrahim Direne). Modelagem do processo de aquisição de conhecimento apoiado por ambientes inteligentes, 26/08/2013.

009 FEITOSA, Alexandre Rômolo Moreira (Orientador: Alexandre Ibrahim Direne). Análise do uso de formalização de conhecimento heurístico no ensino de jogos através do estímulo à alternância entre competição e colaboração, 27/08/2013.

010 SILVA, Eduardo Sant’Ana da (Orientador: Eduardo Todt). Aplicação de técnicas de caminhos disjuntos para roteamento em systems-on-chip, 03/10/2013.

011 CARVALHO, Beatriz Trinchão Andrade de (Orientadora: Olga Regina Pereira Bellon). Image-Based Appearance Preservation, 11/10/2013

012 MARYNOWSKI, João Eugenio (Orientador: Andrey Ricardo Pimentel). Uma Abordagem para o Teste de Dependabilidade de Sistemas MapReduce com base em Casos de Falha Representativos, 08/11/2013.

013 TRINDADE, Daniela de Freitas Guilhermino (Orientador: Laura Sánchez García). InCoP: Um Framework Conceitual para o Design de Ambientes Colaborativos Inclusivos para Surdos e Não Surdos de Cultivo a Comunidades de Prática, 02/12/2013.

014 LEITE, Maici Duarte (Orientador: Andrey Ricardo Pimentel). Arquitetura para Remediação de Erros Baseada em Múltiplas Representações Externas, 03/12/2013.

015 PAMPLONA SEGUNDO, Maurício (Orientador: Luciano Silva). Real-time 3D face recognition using low-cost acquisition devices, 13/12/2013.