Universidade de São Paulo
Não autenticado |

Trabalhos do Programa de Pós-Graduação em Ciência da Computação

Data de defesa Título Aluno Orientador Nível
26/03/2007 Teoria de Ramsey para circuitos e caminhos Fabricio Siqueira Benevides Autoria Yoshiharu Kohayakawa Mestrado
23/03/2007 MYOP: um arcabouço para predição de genes ab initio André Yoshiaki Kashiwabara Autoria Alan Mitchell Durham Mestrado
23/03/2007 Rastreamento de objetos baseado em reconhecimento estrutural de padrões Ana Beatriz Vicentim Graciano Autoria Roberto Marcondes Cesar Junior Mestrado
23/03/2007 Um resolvedor SAT paralelo com BSP sobre uma grade Fernando Correa Lima Autoria Marcelo Finger Mestrado
16/03/2007 Estudo de métodos estocásticos para otimização global de problemas de programação não linear Erico Murilo Gozzi Autoria Ernesto Julian Goldberg Birgin Mestrado
16/03/2007 Integração de verificadores formais para agentes móveis André Gustavo Andrade Autoria Ana Cristina Vieira de Melo Mestrado
09/03/2007 "Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas" David Paulo Pereira Autoria Ana Cristina Vieira de Melo Mestrado
05/03/2007 MobiGrid: arcabouço para agentes móveis em ambiente de grades computacionais Rodrigo Moreira Barbosa Autoria Alfredo Goldman Vel Lejbman Mestrado
01/03/2007 Algoritimo do volume e otimização não diferenciável Ellen Hidemi Fukuda Autoria Paulo José da Silva e Silva Mestrado
28/02/2007 Bases de Hilbert Marcelo Hashimoto Autoria Jose Coelho de Pina Junior Mestrado
30/01/2007 Um provador de teoremas multi-estratégia Adolfo Gustavo Serra Seca Neto Autoria Marcelo Finger Doutorado
21/12/2006 Coeficientes de determinação, predição intrinsicamente multivariada e genética Carlos Henrique Aguena Higa Autoria Ronaldo Fumio Hashimoto Mestrado
21/12/2006 "Funções-valor na alocação de tarefas em sistemas robóticos" Antonio Luiz Basile Autoria Flavio Soares Correa da Silva Mestrado
11/12/2006 Validação ágil e precisa de projetos conceituais de banco de dados Marcos Eduardo Bolelli Broinizi Autoria João Eduardo Ferreira Mestrado
01/12/2006 Multiplicação escalar eficiente em curvas elípticas Adão de Melo Neto Autoria Routo Terada Mestrado
30/11/2006 Segmentação de vasos sangüíneos em imagens de retina usando wavelets e classificadores estísticos João Vitor Baldini Soares Autoria Roberto Marcondes Cesar Junior Mestrado
27/10/2006 Estudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completo Daniel de Angelis Cordeiro Autoria Alfredo Goldman Vel Lejbman Mestrado
27/10/2006 O problema da troca de mensagens de diferentes tamanhos em redes multi-aglomerados Fabio Massaaki Katayama Autoria Alfredo Goldman Vel Lejbman Mestrado
24/10/2006 Redução de dimensionalidade em séries temporais André Rodrigo Sanches Autoria Nina Sumiko Tomita Hirata Mestrado
29/09/2006 Classificação semi-automática de componentes Java Claudia de Oliveira Melo Autoria Ana Cristina Vieira de Melo Mestrado