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 |