14. | Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Marcelo Finger. |
15. | Felipe Amado. Predicao de Genes e Bioinfomatica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Alan Mitchell Durham. |
16. | Fernando Bertolli Petroni. GRMediator: uma biblioteca modular para reconhecimento de gestos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2010. Orientador: Flavio Soares Correa da Silva. |
17. | Filipe Morgado Simões de Campos. Criação automática de índices visuais para aplicação em hipervídeo. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Carlos Hitoshi Morimoto. |
18. | Fillipe Manoel Xavier Resina. Revisor de ontologias. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Renata Wassermann. |
19. | Fillipe Manoel Xavier Resina. Implementação de um revisor de ontologias. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Renata Wassermann. |
20. | Gustavo Henrique Montesião de Sousa. Auralização de Fontes Sonoras Móveis Usando HRTFs. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Marcelo Gomes de Queiroz. |
21. | Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Supervisor: João Eduardo Ferreira. |
22. | Jan Marcel Paiva Gentil. Avaliação numérica de software destinado a minimização em caixas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Ernesto Julián Goldberg Birgin. |
23. | Jeferson Rodrigues da Silva. Renderização interativa de câmeras virtuais a partir da integração de múltiplas câmeras esparsas por meio de homograas e decomposições planares da cena. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Carlos Hitoshi Morimoto. |
24. | Jesus pascual Mena Chalco. Reconstrução de faces 3D através de espaços de componentes principais. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Roberto Marcondes Cesar Junior. |
25. | José David Curado. Geração de metadados. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2010. Orientador: Renata Wassermann. |
26. | João Machini de Miranda. Código Limpo e seu Mapeamento para Métricas de Código-fonte. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Paulo Roberto Miranda Meirelles. |
27. | João Machini de Miranda. Automatic Quality Evaluation of Source-Code: Extending evaluation to other languages for Qualipso Project. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon. |
28. | Juliana Bueno. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2010. Supervisor: Marcelo Finger. |
29. | Karina Valdivia Delgado. Processos Markovianos de Decisão com Probabilidades Imprecisas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Leliane Nunes de Barros. |
30. | Lennon Machado. Busca Indexada de Padrões em Textos Comprimidos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2010. Orientador: Alair Pereira do Lago. |
31. | Lucianna Almeida. A Model of Source Code Quality for FLOSS Projects (Qualipso Project). (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientador: Paulo Roberto Miranda Meirelles. |
32. | Lucianna Thomaz Almeida. Código Limpo e seu Mapeamento para Métricas de Código-fonte. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Paulo Roberto Miranda Meirelles. |
33. | Lucianna Thomaz Almeida. Código limpo e seu mapeamento em métricas de código-fonte. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientador: Fabio Kon. |
34. | Luis Augusto Daniel Creão. Arquitetura e implementação de um sistema distribuído de recuperação de informação. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2010. Orientador: Alair Pereira do Lago. |
35. | Marcel Santos Claro. Rotulação e extração de contornos de estruturas ramicadas. Iniciação Científica - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Roberto Marcondes Cesar Junior. |
36. | Marcio Rocha dos Santos. Grand Central Dispatch. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Alfredo Goldman vel Lejbman. |
37. | Marcio Takashi Iura Oshiro. k-árvores de custo mínimo. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: José Coelho de Pina Junior. |
38. | Mauricio Simões Camilo Hernandes. Multiplicadores Algébricos de Validade Lógica. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Marcelo Finger. |
39. | Mina Cintho. Framework para classificação das mutações de HIV. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: João Eduardo Ferreira. |
40. | Mina Cintho. Classificação das mutações de vírus HIV. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2010. Orientador: João Eduardo Ferreira. |
41. | Márcio Moretto Ribeiro. Revisão de Crenças em Lógicas de Descrição e Outras Lógicas não Clássicas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Renata Wassermann. |
42. | Paulo de Tarso Guerra Oliveira. Revisão de Modelos CTL. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Renata Wassermann. |
43. | Paulo Kikuchi Negrão. Geração automática de código a partir de Esquemas Z. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Ana Cristina Vieira de Melo. |
44. | Pavlos Bahia Konstadinidis. A conjectura KLR e 1-afirmações para propriedades anti-Ramsey. Tese (Doutorado em Matemática) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Yoshiharu Kohayakawa. |
45. | Pedro Ivo Gomes de Faria. Bioinformatica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Alan Mitchell Durham. |
46. | Pedro Leal. Testes Automatizados de Coreografias de Serviços Web. (Graduando em Ciência da Computação) - Universidade de São Paulo, HP Brasil Ltda.. 2010. Orientador: Fabio Kon. |
47. | Pedro Matiello. A ?-Calculus Internal Domain-Speci?c Language for Scala. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Ana Cristina Vieira de Melo. |
48. | Pedro Pais Lopes. Análise de benefícios do paralelismo por comunicação unilateral em aplicações com grades não estruturadas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Siang Wun Song. |
49. | Rafael de Holanda Barroso. Transformando dados em informação: um estudo através de exemplos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Alfredo Goldman vel Lejbman. |
50. | Rafael Plana Maranzato. Identificação de fraude contra sistemas de reputação em mercados eletrônicos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2010. Orientador: Alair Pereira do Lago. |
51. | Reginaldo Rideaki Kamiya. iVProg: um sistema visual para ensino-aprendizagem de programação via Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Leônidas de Oliveira Brandão. |
52. | Renato Ciani. Métodos computacionais de otimização. (Graduando em Bacharelado em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2010. Orientador: Ernesto Julián Goldberg Birgin. |
53. | Ricardo Augusto Teixeira de Souza. Predição de tags usando linked data: um estudo de caso no banco de dados Arquigrafia. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Leliane Nunes de Barros. |
54. | Rodolpho Iemini Atoji. Bluetooth e NFC: estudo de caso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Alfredo Goldman vel Lejbman. |
55. | Silvia Ghiroti Esparrachiari. Reconhecimento de gestos tri-dimensionais. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Carlos Hitoshi Morimoto. |
56. | Simone Hanazumi. Geração de propriedades sobre programas Java a partir de objetivos de teste. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Ana Cristina Vieira de Melo. |
57. | Simone Hanazumi. Ambiente Integrado para Verificação e Teste da Coordenação de Componentes Tolerantes a Falhas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Ana Cristina Vieira de Melo. |
58. | Thiago Colucci. Escalabilidade de Coreografias em Ambientes de Computação em Nuvem. (Graduando em Ciência da Computação) - Universidade de São Paulo, HP Brasil Ltda.. 2010. Orientador: Fabio Kon. |
59. | Thiago da Silva Pinheiro. Tópicos em combinatória. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Yoshiharu Kohayakawa. |
60. | Thiago M. Paixão. Rastreamento de objetos utilizando reconhecimento estrutural de padrões: uma abordagem com modelo estático. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Roberto Hirata Junior. |
61. | Vinícius Daros. Support to integration between Analizo and Kalibro tools and Qualipso tool set. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientador: Paulo Roberto Miranda Meirelles. |
62. | Wanderley Guimarães da Silva. Conjuntos dominantes em grafos. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Yoshiko Wakabayashi. |
63. | Wellington Ricardo Pinheiro. Ambiente de Aprendizado de Programação para o projeto Tidia-AE. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Leliane Nunes de Barros. |
64. | Wonder Alexandre Luz Alves. Localização de Texto em Imagens de Cenas por meio de Operadores Morfológicos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2010. Orientador: Ronaldo Fumio Hashimoto. |
65. | Yanik Ngoko. L?Approche du portfolio d?algorithmes pour la construction des algorithmes robustes et adaptatifs. Tese (Doutorado em Informatique et Systèmes) - Institut National Polythecnique De Grenoble, . 2010. Supervisor: Alfredo Goldman vel Lejbman. |
1. | Adriano Tabarelli. Redes veiculares e DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Alfredo Goldman vel Lejbman. |
2. | Adriano Tabarelli, Caio Cestari Silva. Redes Tolerantes a Atrasos, Protocolos de Disseminação e Aplicações. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
3. | Alex Massao Morinaga, Hugo Posca de Vasconcelos. Distribuição de tarefas em computação distribuída Estudo de caso: BOINC. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
4. | Alexandre Luís Kundrát Eisenmann. iComb: Um sistema para o ensino e aprendizagem de Combinatória em ambiente Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: Leônidas de Oliveira Brandão. |
5. | Alexandre Ricardo Nardi. Uma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em grades. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2009. Orientador: João Eduardo Ferreira. |
6. | Alvaro Junio Pereira Franco. Consultas de segmentos em janelas: algoritmos e estruturas de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Carlos Eduardo Ferreira. |
7. | Anauê Pereira da Costa e Fabio Sendoda Yamate. Semantic Lattes: uma ferramenta de consulta baseada em ontologias. (Graduação em Engenharia de Computação) - Escola Politécnica, . 2009. Orientador: Renata Wassermann. |
8. | André Shoji Asato e Rafael de O. Lopes Gonçalves. Acessibilidade para deficientes visuais para cores. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Roberto Hirata Junior. |
9. | Atol Fortin Oliveira. Otimização combinatória e teoria dos jogos algorítmica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Cristina Gomes Fernandes. |
10. | Beatriz Stransky. Modelagem multi-resolução de tecidos. Instituto de Matemática e Estatística da USP, Fundação de Apoio à Pesquisa do Estado da Paraíba. 2009. Supervisor: Junior Barrera. |
11. | Bruno Klava. Segmentação Interativa de Imagens via Transformação Watershed. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
12. | Bruno Milan Perfetto. Binarização de imagens digitais. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
13. | Bruno Vercelino da Hora. Verificação de Modelos e Revisão de Crenças. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Marcelo Finger. |
14. | Bruno Yoiti Ozahata. Análise estrutural de expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
15. | Caio Cestari Silva. Redes veiculares e DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Alfredo Goldman vel Lejbman. |
16. | Camila Matsubara. Verificação de Modelos e Geração Automática de Testes. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Marcelo Finger. |
17. | Carlos Eduardo Moreira dos Santos. Gerenciamento de Recursos para Grades Computacionais - Node Control Center. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Fabio Kon. |
18. | Carlos Morais. Kalibro: uma ferramenta de configuração e interpretação de métricas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Paulo Roberto Miranda Meirelles. |
19. | Carlos Morais de Oliveira Filho. Kalibro: Uma ferramenta de configuração e interpretação de métricas de código-fonte. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Fabio Kon. |
20. | Cassia Garcia Ferreira. Compromisso entre algoritmos de roteamento em redes tolerantes a atrasos e desconexões. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
21. | Caue Haucke Porta Guerra, Cecilia Fernandes, Lucas Cavalcant. Calopsita: Um sistema gerenciador de projetos que utilizam metodologias ágeis. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
22. | Cesar Gamboa Machado, Paulo Henrique Floriano. Grafos Evolutivos e Redes Tolerantes a Atrasos. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
23. | Cássia Garcia. Compromissos em DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Alfredo Goldman vel Lejbman. |
24. | César Gamboa Machado. Jornadas em redes tolerantes a atrasos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Apoio ao IPT. 2009. Orientador: Alfredo Goldman vel Lejbman. |
25. | Daniel Cukier. Padrões para Introduzir Novas Ideias na Indústria de Software. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Fabio Kon. |
26. | Daniel Hanna Leite El Ottra. Previsão e prevenção de falhas em sistemas computacionais. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Siang Wun Song. |
27. | Edson Kenji Ninomiya e José Antonio Cardoso Marum Jr. Visualizador de Múltiplos Vídeos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Roberto Hirata Junior. |
28. | Fernando Raganhan Barbosa. Redução de Ruído em Áudio Digital. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcelo Gomes de Queiroz. |
29. | Fábio Firmo. Previsão do consumo de recursos computacionais por programas em Grades. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Marcelo Finger. |
30. | Fábio Pisaruk. k-menores caminhos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2009. Orientador: José Coelho de Pina Junior. |
31. | Guilherme Tozo de Carvalho. Aplicação de práticas ágeis na construção de data warehouse evolutivo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: João Eduardo Ferreira. |
32. | Joao Henrique Burckas Ribeiro. Aprendizado Computacional Baseado em Distância a Segmentos de Reta. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009. Orientador: Ronaldo Fumio Hashimoto. |
33. | Juliana Barby Simão. Minimização de funções submodulares. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009. Orientador: José Coelho de Pina Junior. |
34. | Leandro Lima. Identificação de redes de expressão gênica no contexto de malária. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Junior Barrera. |
35. | Leonardo Marchetti. Método dual-fitting para análise de algoritmos de aproximação. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Cristina Gomes Fernandes. |
36. | Luis Fernando Ragognette. Teoria aditiva dos números. Iniciação Científica - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Yoshiharu Kohayakawa. |
37. | Marcela Ortega. Indexação de Dados Semi-estruturados para o Sistema de Informação CEGH. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2009. Orientador: João Eduardo Ferreira. |
38. | Martin Fabichak. Scrum em empresas de jogo digital. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
39. | Martin Moguillansky. Argumentation Dynamics. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas. 2009. Supervisor: Renata Wassermann. |
40. | Mateus Augusto Silva Santos. Análise comparativa de protocolos de segurança para redes de sensores sem fio. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2009. Orientador: Routo Terada. |
41. | Mauricio Silva de Moura. Dois caminhos disjuntos e o método de Robertson e Seymour. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2009. Orientador: José Coelho de Pina Junior. |
42. | Maurício Egidio Cantão. Abordagem algébrica para seleção de clones ótimos em projetos genomas e metagenomas. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Supervisor: João Eduardo Ferreira. |
43. | Paulo Fernando Galvão de Oliveira Machado. Aplicações de programação não linear ao apreçamento de apólices de seguro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: Walter Figueiredo Mascarenhas. |
44. | Paulo Henrique Floriano. Jornadas em redes tolerantes a atrasos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Alfredo Goldman vel Lejbman. |
45. | Pedro Paulo de Souza Bento da Silva. Atualização Incremental de Data Warehouses. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2009. Orientador: João Eduardo Ferreira. |
46. | Peter Ngugi Nyumu. Analysis of Scheduling Algorithms on a Parallel Programming Context. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
47. | Rafael Durbano Lobato. Algoritmos para problemas de programação não linear com variáveis inteiras e contínuas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009. Orientador: Ernesto Julián Goldberg Birgin. |
48. | Renato Coelho. Algoritmos Fatorados de Planejamento sob incerteza. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2009. Orientador: Leliane Nunes de Barros. |
49. | Ricardo Alexandre Bastos. Reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
50. | Roberto Piassi Passos Bodo. Sistema de Acompanhamento Musical Automatizado. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcelo Gomes de Queiroz. |
51. | Rodrigo Assirati Dias. Um middleware para processamento bioestatístico em grades computacionais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2009. Orientador: Roberto Hirata Junior. |
52. | Rodrigo Luiz Marques Flores. BOINC + R: Executando rotinas de bioinformática em grades oportunistas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Roberto Hirata Junior. |
53. | Rogério Papetti. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcelo Finger. |
54. | Thiago Coraini. Integração de um escalonador de grades com um módulo de análise de padrões de uso. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. 2009. Orientador: Marcelo Finger. |
55. | Thiago Miranda Ferreira. Previsão e prevenção de falhas em sistemas computacionais. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Siang Wun Song. |
56. | Thiago Teixeira Santos. Detecção e rastreamento de múltiplos objetos em condição de oclusão severa por meio de integração de suporte sob restrição homográfica. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009. Orientador: Carlos Hitoshi Morimoto. |
57. | Tiago de Morais Montanher. Métodos Intervalares em Otimização Global. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009. Orientador: Walter Figueiredo Mascarenhas. |
58. | Vilc Q. Rufino. Acordo de Chaves Hierárquico sem Certificado. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2009. Orientador: Routo Terada. |
59. | Vinícius Gama Pinheiro. Agentes Móveis em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
60. | Wendel Scardua. Métodos de Expansão de Busca em Sistemas de Recuperação de Informação. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2009. Orientador: Alair Pereira do Lago. |
1. | Alexandre da Silva Freire. Correspondência Inexata de Grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Carlos Eduardo Ferreira. |
2. | Alexandre Pitta Rodrigues, Julien Renaut, Yugo Watari. Sistema de Gerenciamento de Competências (SIGECO). (Graduação em Bacahrelado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 2008. Orientador: Valdemar Waingort Setzer. |
3. | Alvaro Heiji Miyazawa. Geração parcial de código Java a partir de especificações formais Z. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ana Cristina Vieira de Melo. |
4. | Anderson Fraiha Machado. Erosões e Dilatações Morfológicas Binárias Seqüenciais Rápidas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ronaldo Fumio Hashimoto. |
5. | André Casado Castaño. Populando ontologias através de informações em HTML - o caso do Currículo Lattes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Renata Wassermann. |
6. | Andréa Tieme Nakasato. Ordenação por reversão. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Yoshiko Wakabayashi. |
7. | Breno Flesch Franco. Aperfeiçoamento de um software para reconhecimento de expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Nina Sumiko Tomita Hirata. |
8. | Celina Maki Takemura. Análise de posição relativa de objetos usando formas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Roberto Marcondes Cesar Junior. |
9. | Claudio Eduardo Storti Lago. Escalonamento em Job Shops Flexíveis Híbridos com Máquinas Multi Operação - Uma abordagem através de Filtered Beam Search. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Leônidas de Oliveira Brandão. |
10. | Cristiane Maria Sato. Homomorfismos de grafos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Orientador: Yoshiharu Kohayakawa. |
11. | Cristiano Perez Garcia. Uma abordagem hierárquica para o reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Nina Sumiko Tomita Hirata. |
12. | Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Finger. |
13. | David Corrêa Martins Junior. Seleção de características e predição intrinsecamente multivariada em identificação de redes de regulação gênica. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Orientadores: Junior Barrera, Roberto Marcondes Cesar Junior. |
14. | David Robert Camargo de Campos. Reparo de Planos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Leliane Nunes de Barros. |
15. | Diego Mira David. Casamento de formas com o descritor shape context. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Ronaldo Fumio Hashimoto. |
16. | Fabio Henrique Nishihara. Paradigma Mestre-Escravo em Plataformas Heterogêneas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Alfredo Goldman vel Lejbman. |
17. | Fabrício de Souza Nascimento. Implantaçãoo de aplicações em larga escala. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Alfredo Goldman vel Lejbman. |
18. | Fernando Taietti Camargo. Estudo comparativo de passos espectrais e buscas nao monotonas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Ernesto Julián Goldberg Birgin. |
19. | Filipe Correa Lima da Silva. Uma ferramenta para o ensino de inteligência artificial usando jogos de computador. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. 2008. Orientador: Flavio Soares Correa da Silva. |
20. | Francisco Nogueira Calmon Sobral. Programação em dois níveis: reformulação utilizando as condições KKT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Orientador: Ernesto Julián Goldberg Birgin. |
21. | Giuliano Mega. Depuração simbólica extensível para sistemas de objetos distribuídos. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Fabio Kon. |
22. | Grace Anne Pontes Borges. Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: João Eduardo Ferreira. |
23. | Guilherme Otranto e Thomaz Rodrigues Gomes. Projeto e desenvolvimento de um simulador para jogos de futebol. (Graduação em CIência da Computação) - Instituto de Matemática e Estatística Usp, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Junior Barrera. |
24. | Gustavo Enrique Salazar Torres. Desenvolvimento de sistemas baseados em artefatos de conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Flavio Soares Correa da Silva. |
25. | Hammurabi das Chagas Mendes. Estruturas de Dados Concorrentes: um Estudo de Caso em Skip Graphs. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Cristina Gomes Fernandes. |
26. | Helio Matayoshi. Simulaçao de sistema Imunologico usandoVerificaçao de Modelos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Finger. |
27. | Henrique Stagni. Modelando Ciclo Celular usando Redes Booleanas Probabilísticas Contextuais. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ronaldo Fumio Hashimoto. |
28. | J. J. G. Leandro. Análise e classificação de formas de estruturas de ramificação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Roberto Marcondes Cesar Junior. |
29. | Jaqueline Rodrigues. Sokoban. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Leliane Nunes de Barros. |
30. | Jose de Ribamar Braga Pinheiro Junior. Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Fabio Kon. |
31. | Kleber da Silva Xavier. Estudo sobre Redução do Custo de Testes através da Utilização de Verificação de Componentes Java com Tratamento de Exceções. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Ana Cristina Vieira de Melo. |
32. | Lucas Cavalcante. Algoritmos para SAT Probabilístico. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Marcelo Finger. |
33. | Lucas Piva Rocha Correa. Algoritmos de triangularização: estudo e implementações. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Carlos Eduardo Ferreira. |
34. | Luciana Setsuko Gakiya. Classificação e Busca de Componentes de Software com Tratamento de Exceções. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Ana Cristina Vieira de Melo. |
35. | Luciano Vieira de Araújo. Sistema colaborativo para armazenamento e análise de dados de HIV. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008. Orientador: João Eduardo Ferreira. |
36. | Luiz Henrique Rorato Decaro. Foundation: facilitando a implementacao de operacoes do tipo CRUD em aplicacoes JavaEE.. Dissertação (Mestrado em Pro- grama de Mestrado Pro?ssional em Engen- ha) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2008. Orientador: Alan Mitchell Durham. |
37. | Manoel Fernando Alonso Gadi. Uma comparação de métodos de classificação aplicados à detecção de fraude em cartões de crédito. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2008. Orientador: Alair Pereira do Lago. |
38. | Marcelo Ris. Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno. Tese (Doutorado em Doutorado em Bioinformática) - Departamento de Ciência da Computação Bioinfo Usp, . 2008. Orientador: Junior Barrera. |
39. | Mariana Zaparolli Martins. Audible Images: Um sistema Interativo para Síntese de Imagens Controladas por Áudio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Gomes de Queiroz. |
40. | Marina Andretta. Tópicos em otimização com restrições lineares. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ernesto Julián Goldberg Birgin. |
41. | Maya Jakobine Stein. Problemas finitos e infinitos da teoria dos grafos e hipergrafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Supervisor: Yoshiharu Kohayakawa. |
42. | Márcio Katsumi Oikawa. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008. Orientador: João Eduardo Ferreira. |
43. | Márcio Vinicius dos Santos. Uso de Virtualização em Grades Computacionais. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Fabio Kon. |
44. | Mário Henrique Cruz Tôrres. Simulação Acústica no Ambiente AcMus. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Fabio Kon. |
45. | Natan Costa Lima. Algoritmos e estruturas de dados para problemas de deslocamento no plano. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Carlos Eduardo Ferreira. |
46. | Nestor Walter Trepode. . Faculdade de Flosofia Ciências e Letras da USP de Ribeirão Preto, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Supervisor: Junior Barrera. |
47. | Paulo Silveira. Geração automática de casos de teste para Web Services. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Ana Cristina Vieira de Melo. |
48. | Pedro Losco Takecian. ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, National Institutes of Health. 2008. Orientador: João Eduardo Ferreira. |
49. | Pedro Matiello. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Finger. |
50. | Rafael Crivellari Saliba Schouery. Algoritmos de aproximação e problemas com sequências. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Cristina Gomes Fernandes. |
51. | Raphael Yokoingawa de Camargo. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Supervisor: Fabio Kon. |
52. | Reginaldo do Prado. iGraf: Uma proposta de sistema para ensino de função via Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Leônidas de Oliveira Brandão. |
53. | Renato da Silva Ramalho. Implementação de esquemas de criptografia e de assinatura sob o modelo de criptografia de chave pública sem certificado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Routo Terada. |
54. | Ricardo Guimarães Hermann. Planejamento Hierárquico sob Incerteza Knightiana. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Leliane Nunes de Barros. |
55. | Ricardo Luiz Andrade Abrantes. Aplicações de computação paralela em otimização contínua. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Ernesto Julián Goldberg Birgin. |
56. | Ricardo Sider. Análise Estrutural de Expressões Matemáticas Manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Nina Sumiko Tomita Hirata. |
57. | Rodolpho Iemini Atoji. Bluetooth e NFC: estudo de caso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Alfredo Goldman vel Lejbman. |
58. | Rudini Menezes Sampaio. Limites de seqüências de permutações de inteiros. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Yoshiharu Kohayakawa. |
59. | Vitor Onuchic. Caracterização de Estruturas Secundárias de RNAs utilizando Grafos. (Graduando em Bacharelado em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Alan Mitchell Durham. |
1. | A. Mello, E. Y. Komatsu, F. Okuda e L. Hing. Math-Picasso: Segmentação e reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2007. Orientador: Nina Sumiko Tomita Hirata. |
2. | Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Marcelo Finger. |
3. | Alexandre Freire da Silva. Reflexões sobre o Ensino de Metodologias Ágeis na Academia, na Indústria e no Governo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Fabio Kon. |
4. | Alexandre Oki Takinami, Carlos Eduardo Manssur. Tail A Java Technical Analysis Library. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
5. | Ana Beatriz Vicentim Graciano. Rastreamento de objetos baseado em reconhecimento estrutural de padrões. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Roberto Marcondes Cesar Junior. |
6. | Andre de M. Folli e Bruno H. Yoshimura e Gustavo A. Nery. Adequabilidade do Kepler para pacotes de Bioinformática do R. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Roberto Hirata Junior. |
7. | Andreia Cristina G. Machion. Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2007. Orientador: Leliane Nunes de Barros. |
8. | Andreza Silva de Oliveira. Acompanhamento (tracking) de projetos de desenvolvimento de software com métodos ágeis. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: Fabio Kon. |
9. | André Fujita. Análise de dados de expressão gênica: normalização de microarrays e modelagem de redes regulatórias. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Carlos Eduardo Ferreira. |
10. | André Gustavo de Andrade. Integração de Verificadores Formais para Agentes Móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Ana Cristina Vieira de Melo. |
11. | André Yoshiaki Kashiwabara. MYOP: Um ar cabouço para a predição de genes ab-initio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Alan Mitchell Durham. |
12. | Arnaldo Câmara Lara. Segmentação de Movimento Usando Morfologia Matemática. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Roberto Hirata Junior. |
13. | Augusto Fernandez Vellozo. Alinhamentos com Rearranjos. em Matematica Aplicada/Ciencia da Computacao) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Alair Pereira do Lago. |
14. | Christian Tjandraamadja. Subseqüência Comum mais Longa sem Repetições e Variantes. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Carlos Eduardo Ferreira. |
15. | Christiane Neme Campos. Aspectos teóricos, estruturais e de otimização de alguns problemas em grafo. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Supervisor: Yoshiko Wakabayashi. |
16. | Crhistian Noriega. Um Modelo para Ambientes Inteligentes Baseado em Serviços Web Semânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Flavio Soares Correa da Silva. |
17. | Danielle Tiemy Paulo. MOOFS - Mobile Objects Oriented File System. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
18. | Danilo Toshiaki Sato. Uso eficaz de métricas em métodos ágeis de desenvolvimento de software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
19. | David da Silva Pires. Rastreamento de componentes conexas em vídeo 4D. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Roberto Marcondes Cesar Junior. |
20. | David Desario. Polyhedral theta functions and their applications to combinatorial geometry. Tese (Doutorado em Mathematics) - Temple University, . 2007. Orientador: Sinai Robins. |
21. | David Paulo Pereira. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Ana Cristina Vieira de Melo. |
22. | Domingos Dellamonica Junior. Extração de aleatoriedade a partir de fontes defeituosas. Dissertação (Mestrado em Ciencia da Computacao) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Yoshiharu Kohayakawa. |
23. | Eduardo Leal Guerra. InGride: um ambiente integrado e extensível de desenvolvimento para computação em grades. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
24. | Eduardo Takeo Ueda. Uma versão mais forte do algoritmo RC6 contra criptanálise qui-quadrado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Routo Terada. |
25. | Fabricio Siqueira Benevides. Teoria de Ramsey para circuitos e caminhos. Dissertação (Mestrado em Ciencia da Computacao) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Yoshiharu Kohayakawa. |
26. | Fernando Castor Filho. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Supervisor: Fabio Kon. |
27. | Fernando Lima. Implementação Paralela em Grade de um Resolvedor SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Marcelo Finger. |
28. | Gerardo Valdisio Rodrigues Vianna. Técnicas para construção de árvores filogenéticas. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . 2007. Supervisor: Carlos Eduardo Ferreira. |
29. | Giulian Dalton Luz. Uso de small worlds no roteamento em redes de sensores sen fio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
30. | Gustavo Bianchi Maia. Ferramenta para integração de banco de dados multidimensionais e softwares de visualização de séries temporais. Dissertação (Mestrado em Pós graduação Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: João Eduardo Ferreira. |
31. | Helton Massato Kishi. Planejamento Probabilístico. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Leliane Nunes de Barros. |
32. | Igor Ribeiro Sucupira. Um Estudo Empírico de Hiper-heurísticas. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Flavio Soares Correa da Silva. |
33. | Jan Marcel Gentil. Sistemas de equações não-lineares e problemas de empacotamento.. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Ernesto Julián Goldberg Birgin. |
34. | Janine Gomes Moura. SAW - Sistema de Aprendizagem pela Web: motivações e desenvolvimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Leônidas de Oliveira Brandão. |
35. | Julian Geraldes Monteiro. Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
36. | Marcel Kenji de Carli Silva. Relações min-max em otimização combinatória. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Yoshiko Wakabayashi. |
37. | Marcelo Hashimoto. Bases de Hilbert. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: José Coelho de Pina Junior. |
38. | Mauricio Chui Rodrigues. Encapsulando a NavigationPlanTool como Serviços Web. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: João Eduardo Ferreira. |
39. | Maurício Simões Camilo Henandes. Fundamentos Lógicos da Linguística Computacional. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. 2007. Orientador: Marcelo Finger. |
40. | Nestor Walter Trepode. Modelagem do controle gênico do ciclo celular por redes genéticas probabilísticas. Tese (Doutorado em Bioinformática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Junior Barrera. |
41. | Paulo Cheque Bernardo. Testes Automatizados em Métodos Ágeis de Desenvolvimento de Software. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: Fabio Kon. |
42. | Paulo Eduardo Azevedo Silveira. Matemática e algoritmos das dobras. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: José Coelho de Pina Junior. |
43. | Philipe Dalla Bernardina. PCA-tree: uma proposta de indexação multidimensional. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: Nina Sumiko Tomita Hirata. |
44. | Raphael Yokoingawa de Camargo. Armazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Fabio Kon. |
45. | Renato Lucindo Pinheiro Leme. Partição de grafos em subgrafos conexos balanceados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Yoshiko Wakabayashi. |
46. | Renato Lundberg. Desenvolvimento de portal Web para submissão e controle em grades computacionais. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Fabio Kon. |
47. | Rodrigo Della Vittoria Duarte. Estudo e desenvolvimento de novas funcionalidades do Java Pathfinder. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Ana Cristina Vieira de Melo. |
48. | Rodrigo Marques Flores. R-GeneCliques. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Roberto Hirata Junior. |
49. | Rodrigo Moreira Barbosa. Aplicações com agentes móveis em computação em grade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Alfredo Goldman vel Lejbman. |
50. | Rodrigo Rueda. Simulação Computacional de Células do Sistema Imunológico Humano. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2007. Orientadores: Nina Sumiko Tomita Hirata, Marcelo Finger. |
51. | Silvio do Lago Pereira. Planejamento sob incertezas para metas de alcançabilidade estendidas. Tese (Doutorado em Doutor em Ciências) - Instituto de Matemática e Estatística, . 2007. Orientador: Leliane Nunes de Barros. |
52. | Simone Hanazumi. Projeto de Iniciação Científica Ferramenta para Análise do Tratamento Excepcional de Objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Ana Cristina Vieira de Melo. |
53. | Thiago Carvalho de Sousa. Revisão de modelos formais de sistemas de estados finitos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Renata Wassermann. |
54. | Thiago Coraini. Implementação de um escalonador para grades. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Marcelo Finger. |
55. | Thiago Meireles Paixão. Atualização de modelos e fundos dinâmicos para rastreamento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Supervisor: Roberto Marcondes Cesar Junior. |
56. | Tiago Garcia. Simulação Computacional de Células do Sistema Imunológico Humano. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Marcelo Finger. |
57. | Yossi Zana. Análise de faces em coordenadas polares. Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Supervisor: Roberto Marcondes Cesar Junior. |
58. | Érico Murilo Gozzi. Estudo de métodos estocásticos para otimização global de problemas de programação não linear. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Ernesto Julián Goldberg Birgin. |
1. | Adão de Melo Neto. Multiplicação Eficiente em Curvas Elípticas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Routo Terada. |
2. | Alexandre Eiki Onishi. Técnicas de Reuso de Software aplicadas na Elaboração de Arquiteturas Corporativas. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006. Orientador: Siang Wun Song. |
3. | Ana Paula dos Santos Mota. Borboleta: sistema móvel para atendimento domiciliar de saúde. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: Fabio Kon. |
4. | Andre Rodrigo Sanches. Reducao de dimensionalidade em séries temporais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: Nina Sumiko Tomita Hirata. |
5. | Antonio João Ferreira Francisco. Algoritmos de aproximação para o projeto de redes seguras. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Carlos Eduardo Ferreira. |
6. | Antônio Luís Basile. Funções valor na alocação de tarefas em sistemas robóticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Flavio Soares Correa da Silva. |
7. | Arlindo Flávio da Conceição. Voz e vídeo sobre redes sem fio IEEE 802.11. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: Fabio Kon. |
8. | Bruno Klava. Ferramenta interativa para segmentação de imagens digitais. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006. Orientador: Nina Sumiko Tomita Hirata. |
9. | Bruno Pera. Reconstrução de faces a partir de múltiplas imagens utilizando um modelo de rerferência e um conjunto de pontos de conttrole. Dissertação (Mestrado em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Carlos Hitoshi Morimoto. |
10. | Carlos Henrique Aguena Higa. Coeficiente de Determinação, Predição Intrinsicamente Multivariada e Genética. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Ronaldo Fumio Hashimoto. |
11. | Carlos Henrique Cardonha. Sistemas Interativos de Prova Clássicos e Quânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Cristina Gomes Fernandes. |
12. | Cláudia de Oliveira Melo. Classificação semi-automática para componentes java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Ana Cristina Vieira de Melo. |
13. | Daniel André Vaqueri. Projeto multi-resolução de operadores morfológicos a partir de exemplos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Junior Barrera. |
14. | Daniel de Angelis Cordeiro. Estudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Alfredo Goldman vel Lejbman. |
15. | Deise Harumi Aoki. Origami computacional: construção de bases. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: José Coelho de Pina Junior. |
16. | Denise H Goya. Proposta de esquemas de criptografia e de assinatura sob modelo de criptografia de chave pública sem certificado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Routo Terada. |
17. | Devanir Zuliani. Projeto Conceitual de Workflow. Dissertação (Mestrado em Engenharia de Software) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2006. Orientador: João Eduardo Ferreira. |
18. | Eduardo Menezes de Morais. Implementação de um resolvedor SAT para lógica $n$-valentes baseado em Álgebras Booleanas.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006. Orientador: Marcelo Finger. |
19. | Eduardo Pires, Pedro Oliveira e Ricky Chow. Sistema Titanium de Reconhecimento de Escrita Online - SisTREO. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006. Orientador: Nina Sumiko Tomita Hirata. |
20. | EIDER SILVA DE OLIVEIRA. Sistema de Arquivos Especializado para Correio Eletrônico. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Arnaldo Mandel. |
21. | Eloiza Sonoda. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006. Supervisor: Fabio Kon. |
22. | Fabio Alexandre Campos Tisovec. Implementação de um resolvedor SAT para lógica clássica e modal baseado em Álgebras Booleanas.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006. Orientador: Marcelo Finger. |
23. | Fabio Massaaki Katayama. O problema da troca de mensagens de diferentes tamanhos em redes multi-aglomerados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Alfredo Goldman vel Lejbman. |
24. | Felipe Werndl Trevisan. Um modelo unificado para planejamento sob incerteza. Dissertação (Mestrado em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: Leliane Nunes de Barros. |
25. | Flávio Luiz Coutinho. Um sistema de rastreamento de olhar tolerante a movimentações da face. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Carlos Hitoshi Morimoto. |
26. | Francisco Sobreira Netto. Medição de desempenho do gerenciamento de processos de negócio -BPM no PNAFE: uma proposta de modelo. Tese (Doutorado em Administração) - Universidade de São Paulo, . 2006. Supervisor: João Eduardo Ferreira. |
27. | Frédéric Chataigner (procedente da Université Paris 7). Approximation algorithms, complexity, and non-approximability results for graph problems. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Supervisor: Yoshiko Wakabayashi. |
28. | Fábio Mazete Reaes. Reconhecimento de faces em imagens: projeto Beholder. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006. Orientador: Nina Sumiko Tomita Hirata. |
29. | Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Marcelo Finger. |
30. | Gordana Manic. Empacotamento de subgrafos em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006. Orientador: Yoshiko Wakabayashi. |
31. | Gustavo Henrique Montesião Sousa. Técnicas em Síntese Digital e Composição Algorítmica. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: Marcelo Gomes de Queiroz. |
32. | Jessica Cuomo. Laplacians of some planar graphs and their eigenvalues. Dissertação (Mestrado em Mathematics) - Temple University, . 2006. Orientador: Sinai Robins. |
33. | Jozef Skokan. Aplicações de quase-aleatoriedade em combinatória. Instituto de Matemática e Estatística, National Science Foundation. 2006. Supervisor: Yoshiharu Kohayakawa. |
34. | João Vitor Baldini Soares. Um novo método de segmentação de imagens de retina usando wavelets. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: Roberto Marcondes Cesar Junior. |
35. | Juliana Jabra Chahoud. Planejamento para Serviços Web Semânticos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: Leliane Nunes de Barros. |
36. | Kelly Rosa Braghetto. Identificação Não-Supervisionada de Padrões de Fluxos em Workflow Científicos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Supervisor: Roberto Marcondes Cesar Junior. |
37. | Kelly Rosa Braghetto. CONTROLE DE PADRÕES DE FLUXOS DE PROCESSOS EM BANCOS DE DADOS RELACIONAIS. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: João Eduardo Ferreira. |
38. | Luciana Maria Gregolin Dias. Projeto Acústico Ótimo de Salas de Escuta. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Marcelo Gomes de Queiroz. |
39. | Marcos Eduardo Bolelli Broinizi. Validacao Agil e Precisa de Projetos Conceituais de Banco de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: João Eduardo Ferreira. |
40. | Neil Weikel. Linear programming and its applications to the real estate market. Dissertação (Mestrado em Mathematics) - Temple University, . 2006. Orientador: Sinai Robins. |
41. | Nelson Takashi Omori. Algumas Ferramentas e Conceitos Utilizados em GED. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006. Orientador: Siang Wun Song. |
42. | Rafael Antonio Cosentino. Origami computacional: dobrar e cortar. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: José Coelho de Pina Junior. |
43. | Rafael Durbano Lobato. Algoritmos de programação dinâmica para o problema de carregamento do palete do produtor. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Ernesto Julián Goldberg Birgin. |
44. | Rafael Pereira Luna. Implementações do Método Primal-Dual Aplicado ao Problema da Floresta de Steiner. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006. Orientador: Cristina Gomes Fernandes. |
45. | Regis de Abreu Barbosa. Detecção e rastreamento de faces e características faciais com aplicação em indexação de vídeo e estimação da orientação de faces. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Carlos Hitoshi Morimoto. |
46. | RICARDO DA SILVA CARVALHEIRO. Integração de estruturas de endereçamento para viabilizar a automatização do georreferenciamento de cadastros: Um estudo de caso. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2006. Orientador: João Eduardo Ferreira. |
47. | Tiago Tagliari Martinez. Recuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetiva. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Carlos Hitoshi Morimoto. |
48. | Vera Nagamuta. Um Arcabouço para Composição, Teste e Simulação de Protocolos de Handover Suave. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Siang Wun Song. |
49. | Yen Chin Shen. Por que usar bancos de dados orientados a objetos?. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 2006. Orientador: Valdemar Waingort Setzer. |
1. | Adolpho da Costa Pacheco e Camila Pacheco Marques. Combinação de Classificadores. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2005. Orientador: Nina Sumiko Tomita Hirata. |
2. | Adriano Brito Mitre. Técnicas de Transcrição Automática em Computação Musical. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2005. Orientador: Marcelo Gomes de Queiroz. |
3. | Ana Mota. Desenvolvimento de um plugin Eclipse para o ensino de programação baseada em Padrões Elementares. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, IBM. 2005. Orientador: Leliane Nunes de Barros. |
4. | Anderson Sanches. Construção e estudos sobre ontologias de bioquímica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Renata Wassermann. |
5. | André Thomas Kowaltowski. Sistema Cápere. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2005. Orientador: Siang Wun Song. |
6. | Christian Danniel Paz-Trillo. Recuperação de vídeos indexados por conceitos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Renata Wassermann. |
7. | Daniel Morgato Martin. Coloração de Grafos e o Método Probabilístico. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Orientador: Yoshiharu Kohayakawa. |
8. | Edgar Kenji Yamamoto. Projeto Nukenin. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2005. Orientador: Siang Wun Song. |
9. | Edward Mitsuo Iwanaga Iamamoto. Planejamento no Cálculo de Situações usando a linguagem Golog. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2005. Orientador: Leliane Nunes de Barros. |
10. | Fernando Mario de Oliveira Filho. O problema de Steiner com grupos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Orientador: Carlos Eduardo Ferreira. |
11. | Francisco Nogueira Calmon Sobral. Empacotamento usando ferramentas de programacao nao linear. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Ernesto Julián Goldberg Birgin. |
12. | Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Marcelo Finger. |
13. | George Henrique Silva. Construção de agentes inteligentes para a Web Semântica. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Leliane Nunes de Barros. |
14. | Guilherme de Souza Rabello. Aproximações de Lógicas Modais. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Marcelo Finger. |
15. | Hugo Corbucci. Ontologia de orientação a objetos. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Renata Wassermann. |
16. | Jeferson Roberto Marques. Gerenciamento de Recursos Distribuídos em Sistemas Escaláveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Fabio Kon. |
17. | Jefferson Schoenfeld. Bagging e Boosting Aplicados ao Projeto de Operadores Morfológicos de Imagens. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2005. Orientador: Nina Sumiko Tomita Hirata. |
18. | Jesus Mena-Chalco. Identificação de Regiões Codificantes de Proteína através da Transformada Modificada de Morlet. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Roberto Marcondes Cesar Junior. |
19. | Jishu Ashimine. Definição de uma nova função critério baseada em distâncias nebulosas com múltiplos protótipos para seleção de características. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Roberto Marcondes Cesar Junior. |
20. | Julio Cesar Mila. Utilização de ontologias na especificacao de processos e regras de negocio. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2005. Orientador: João Eduardo Ferreira. |
21. | Karina Valdivia Delgado. Diagnóstico Baseado em Modelos num Sistema Tutor Inteligente para Programação com Padrões Pedagógicos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Leliane Nunes de Barros. |
22. | Marcio Calixto Cabral. Interação em ambientes de realidade virtual através de gestos utilizano visão computacional.. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2005. Orientador: Carlos Hitoshi Morimoto. |
23. | Marcos Yoshinori Nakashima. CV Lattes e Web-semântica. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Renata Wassermann. |
24. | Ney Barros Luz. Análise Automática de desempenho de Classificadores e Técnicas de Classificação na Plataforma R. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Nina Sumiko Tomita Hirata. |
25. | Patricia Megumi Matsumoto. Parser para geração de um modelo de componentes e conexões a partir de um programa em C. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, IBM. 2005. Orientador: Leliane Nunes de Barros. |
26. | Pavlos Bahia Konstadinidis. O Número Cromático de Grafos-distância sobre os Inteiros. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Yoshiharu Kohayakawa. |
27. | Rafael Crivellari Saliba Schouery. Computador Hipo. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Roberto Hirata Junior. |
28. | Renato José da Silva Carmo. Dois Problemas de Busca. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Yoshiharu Kohayakawa. |
29. | Ricardo Koji Ushizaki. Um Arcabouço para Reconfiguração Dinâmica de Aplicações em Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Fabio Kon. |
30. | Ricardo Yamamoto Abe. Editores de Configuração e softwares de implementação de pipelines. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2005. Orientador: Alan Mitchell Durham. |
31. | Roberto Pires de Carvalho. Sistemas de Arquivos Paralelos - Alternativas para a redução do gargalo no acesso ao sistema de arquivos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Alfredo Goldman vel Lejbman. |
32. | Roberto Seiti Yamashiro. Projeto Nukenin. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2005. Orientador: Siang Wun Song. |
33. | Roberto Speicys Cardoso. Adaptação Dinâmica Utilizando Agentes Móveis em Computação Ubíqua. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Fabio Kon. |
34. | Roger Ricardo Flores de Araujo. Algoritmos para Emparelhamentos. Iniciação Científica - Instituto de Matemática e Estatística, . 2005. Orientador: José Coelho de Pina Junior. |
35. | Rosianni de Oliveira Cruz. Modularização da Coleta de Lixo na Máquina Virtual de Pesquisa Jikes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Alan Mitchell Durham. |
36. | Said Sadique Adi. Identificação de genes por comparação de seqüências. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Orientador: Carlos Eduardo Ferreira. |
37. | Seiji Isotani. Desenvolvimento de ferramentas no iGeom: utilizando a geometria dinâmica no ensino presencial e a distâncias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Leônidas de Oliveira Brandão. |
38. | Sergio Drumond Ventura. Tecnicas de otimizacao para estimacao de parametros de filmes finos. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Supervisor: Ernesto Julián Goldberg Birgin. |
39. | Silvia Cristina Dias Pinto. Análise de formas 3D usando wavelets 1D, 2D e 3D. Tese (Doutorado em IFSC-USP - São Carlos) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Roberto Marcondes Cesar Junior. |
40. | Sérgio Linares Filho. Análise de requisitos de software baseada em modelagem conceitual de dados e protótipos. Dissertação (Mestrado em Sistemas de Informação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2005. Orientador: Valdemar Waingort Setzer. |
41. | Thiago Schumacher Barcelos. Interfaces prestativas baseadas em visão computacional e informação de contexto. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2005. Orientador: Carlos Hitoshi Morimoto. |
42. | Ulisses Kendi Hayashida. Desenvolvimento de Algoritmos Paralelos para Aglomerados com a Técnica de Paralelização de Laços. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Siang Wun Song. |
43. | Vladimir Moreira Rocha. Protocolos P2P para Interligação de Aglomerados em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Fabio Kon. |
1. | Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Marcelo Finger. |
2. | Alvaro Heiji Miyazawa. Uma Modelo Formal de Agentes Móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2004. Orientador: Ana Cristina Vieira de Melo. |
3. | Andrei Goldchleger. InteGrade: Um Sistema de Middleware para Computação em Grade Oportunista. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Fabio Kon. |
4. | André Yoshiaki Kashiwabara. Scarsdb um banco de dados de marcadores genéticos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Alan Mitchell Durham. |
5. | Bianca Bacci Fernandes. Design Patterns for DIP. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
6. | Bruno Fernandes Cerqueira Leite. Versões Probabilísticas de Resultados da Teoria Combinatória dos Números. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Yoshiharu Kohayakawa. |
7. | Caetano Giminez Carezato. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Junior Barrera. |
8. | Camila Garcia Nunes. Traffic analysis with image processing. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
9. | Carlos Eduardo Calabrez. Uma comparação entre diversas tecnologias de comunicação de objetos distribuídos em Java. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
10. | Carlos Henrique Cardonha. Computação Quântica: Complexidade e Algoritmos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Cristina Gomes Fernandes. |
11. | Celso Oviedo da Silva Lopes. - VideoChat - Uma Ferramenta de Videoconferência Pessoal. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
12. | César Passoni. Traffic analysis with image processing. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
13. | Daniel André Vaquero. Projeto Multirresolução de Operadores Morfológicos a Partir de Exemplos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Supervisor: Roberto Hirata Junior. |
14. | Daniel O. Dantas. Uma técnica automática para medida de sinal de imagens de cDNA. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Junior Barrera. |
15. | Daniel Vieira. Geração de Classificadores de Seqüências Genéticas Utilizando Inferência de Linguagens Regulares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Alan Mitchell Durham. |
16. | David Corrêa Martins Junior. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Roberto Marcondes Cesar Junior. |
17. | Eric Rodrigo Ramos. Design Patterns for DIP. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
18. | Fabiano Mitsuo Sato. Linguagens bidimensionais reconhecíveis. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2004. Orientador: Nami Kobayashi. |
19. | Felipe Werndl Trevizan. Robótica Cognitiva. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Leliane Nunes de Barros. |
20. | Flavio Protasio Ribeiro. Uma Interface para o OpenCyc. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Renata Wassermann. |
21. | Flávio Regis Arruda. Algoritmos paralelos para o problema da mochila. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
22. | Fábio Correa Xavier. Sistema de autorização baseado em infra-estrutura de privilégios. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Routo Terada. |
23. | Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Marcelo Finger. |
24. | Glauber Ferreira Cintra. Algoritmos para Problemas de Corte de Guilhotina Bidimensional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Yoshiko Wakabayashi. |
25. | Guilherme Pereira Vanni. List Ranking: Um Estudo Experimental. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Siang Wun Song. |
26. | Gustavo P. Esteves. Validação de medidas de expressão gênica em imagens de microarray. Dissertação - Instituto Ludwig de Pesquisa sobre o Câncer, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Supervisor: Junior Barrera. |
27. | Gustavo Tadao Okida. Índices para consultas por conteúdo em bancos de dados heterogêneos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: João Eduardo Ferreira. |
28. | Henrique Pedreira de Freitas Ceribelli. Construção de imagens panorâmicas a partir de vídeo. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2004. Orientador: Carlos Hitoshi Morimoto. |
29. | Jae Nam Choi. Montagem da via da proteina MT. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: André Fujita. |
30. | Jorge Tonami. Implementação e análise de protocolos de Katz e Yung. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Routo Terada. |
31. | Joselyto Riani. Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Renata Wassermann. |
32. | Juliana Barby Simão. Fluxos em Redes. Iniciação Científica - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: José Coelho de Pina Junior. |
33. | Leandro Bororo. Empacotamento de retangulos. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Ernesto Julián Goldberg Birgin. |
34. | Leandro César Prudente. Um Estudo sobre Teste versus Verificação Formal de Programas Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Ana Cristina Vieira de Melo. |
35. | Leo Kazuhiro Ueda. Andante - Composição e Performance Musical Utilizando Agentes Móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Fabio Kon. |
36. | Liliane Rose Benning Salgado. Algoritmos de Aproximação para Partições Conexas em Grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Yoshiko Wakabayashi. |
37. | Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Flavio Soares Correa da Silva. |
38. | Luiz Fernando dos Santos Pereira. ASIN - Um gerador gráfico de analisadores sintáticos. (Graduação em Bacahrelado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 2004. Orientador: Valdemar Waingort Setzer. |
39. | Marcel K. de Carli Silva. Computação Quântica: Complexidade e Algoritmos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Cristina Gomes Fernandes. |
40. | Marcelo Hashimoto. Fluxos em Redes. Iniciação Científica - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: José Coelho de Pina Junior. |
41. | Marcelo Luís Vinagreiro. Uma arquitetura distribuída para a busca de caminhos em grafos dinâmicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
42. | Marcelo Nunes de Carvalho. Inteligência Artificial em Jogos de Tabuleiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Flavio Soares Correa da Silva. |
43. | Marco Eugênio Madeira Di Beneditto. Descoberta de Regras de Classificação com Hierarquias Conceituais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Marinha do Brasil. 2004. Orientador: Leliane Nunes de Barros. |
44. | Marina Andretta. Metodos de restricoes ativas para minimizacao em caixas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Ernesto Julián Goldberg Birgin. |
45. | Márcio Moretto Ribeiro. Revisão em lógica de descrições. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Renata Wassermann. |
46. | Márcio Raul Medeiros Mimica. Desenvolvimento de um rastreador de olhar apropriado para interação humano computador. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Carlos Hitoshi Morimoto. |
47. | Nelio Alves Pereira Pinto. Serviços de pertinência para clusters de alta disponibilidade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Arnaldo Mandel. |
48. | Nelson Guedes Paulo Junior. Animações para algoritmos em grafos. Iniciação Científica - Instituto de Matemática e Estatística, . 2004. Orientador: José Coelho de Pina Junior. |
49. | Nelson Posse Lago. Processamento Distribuído de Áudio em Tempo Real. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Fabio Kon. |
50. | Paula Akemi Nishimoto. A dotNet Grid Computer. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
51. | Paulo Roberto de Araújo França Nunes. Grafo de Controle de fluxo de objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Ana Cristina Vieira de Melo. |
52. | Paulo Roberto de Araújo França Nunes. Fluxo de Objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Ana Cristina Vieira de Melo. |
53. | Paulo Salem da Silva. Framework para cooperação entre ferramentas de verificação. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2004. Orientador: Ana Cristina Vieira de Melo. |
54. | Renato David Puga. Construção do transcriptoma de prostata. Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: André Fujita. |
55. | Renato Senda. Ambientes interativos tridimensionais. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2004. Orientador: Carlos Hitoshi Morimoto. |
56. | Robson Moron. Uma Ontologia Artificial para o Sistema Cambial Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Flavio Soares Correa da Silva. |
57. | Rodrigo Assirati Dias. A dotNet Grid Computer. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
58. | Rodrigo Bernardo Pimentel. Implementação de um algoritmo SAT paralelizado sobre Grades de Computadores. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2004. Orientador: Marcelo Finger. |
59. | Rodrigo Nonamor Pereira Mariano de Souza. Propriedades de Algumas Classes de Relações Racionais. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Nami Kobayashi. |
60. | Rogerio Kakehashi. Legolog e Java. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, . 2004. Orientador: Renata Wassermann. |
61. | Rogério Augusto dos Santos Fajardo. Combinações de Lógicas não-Normais. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2004. Orientador: Marcelo Finger. |
62. | Thiago Teixeira Santos. Detecção de cortes em sequências de vídeo. Dissertação - Instituto de Matematica e Estatistica, . 2004. Orientador: Carlos Hitoshi Morimoto. |
63. | Walter Mesquita. Uma Estratégia para Composiçaõ Formal de Frameworks. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . 2004. Supervisor: Ana Cristina Vieira de Melo. |
64. | Élcio Koiti Nakashima. Reconhecimento Automático de Placas de Veículos. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2004. Orientador: Nina Sumiko Tomita Hirata. |
1. | Adilson de Jesus Sanchez. Uso de Redes Bayesianas no Gerenciamento de Manutenção de Software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
2. | Aldebaran Perseke. Tolopologia de Espaços de Estados em Planejamento com Variáveis Numéricas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Leliane Nunes de Barros. |
3. | Alessandro Santiago dos Santos. Estratégias de Hand-off com balanceamento de carga para computação móvel. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Alfredo Goldman vel Lejbman. |
4. | Alex Minoru Kusano. Projeto de Classificadores Lineares para Reconhecimento de Padrões em Amostras Pequenas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Ronaldo Fumio Hashimoto. |
5. | Alexandre Noma. Análise Experimental de Algoritmos de Planaridade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientadores: José Coelho de Pina Junior, Cristina Gomes Fernandes. |
6. | Ana Lúcia Lima Marreiros. Algoritmos Primal-duais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: José Coelho de Pina Junior. |
7. | Andrew Yuan. Ontologias e a Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Renata Wassermann. |
8. | André Gustavo de Andrade. Integração de Verificadores de agentes móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: Ana Cristina Vieira de Melo. |
9. | Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
10. | Ariane Machado-Lima. Predição Computacional de Genes de RNA. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003. Orientador: Alan Mitchell Durham. |
11. | Bruno Klava. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
12. | Bruno Pera. Interfaces baseadas em visão computacional. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Carlos Hitoshi Morimoto. |
13. | Carlos Kobayashi. Editor de Cabeçalhos para Textos do Corpus Lacio-Web. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
14. | Celina Maki Takemura. Análise de formas representadas por marcos utilizando características mono e multiescala. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003. Orientador: Roberto Marcondes Cesar Junior. |
15. | Cesar Alison Monteiro Paixão. Implementação e análise comparativa de variações do criptossistema RSA. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Routo Terada. |
16. | Christian Fornos Klein. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
17. | Daniel de Angelis Cordeiro. Suporte para Aplicações com Conhecimento da Rede através de Pesquisa por Pacotes. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: Alfredo Goldman vel Lejbman. |
18. | Daniela Akizuki. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
19. | Elcio Yukio Nanba. Escalonamento de tarefas em clusters de servidores SMP heterogeneos para aplicacoes de biologia molecular. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2003. Supervisor: João Eduardo Ferreira. |
20. | Eliete do Rocio Costacurta Quadros. Liderança na Construção da Organização de Aprendizagem. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003. Orientador: Flavio Soares Correa da Silva. |
21. | Estela Maris Rodrigues. Algoritmos para Comparação de Árvores Filogenéticas e o Problema dos Pontos de Recombinação. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: Yoshiko Wakabayashi. |
22. | Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
23. | Fabiano de Carvalho e Souza. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
24. | Fabio Henrique Nishihara. Um modelo continuo para o carregamento de paletes do produtor. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Ernesto Julián Goldberg Birgin. |
25. | Fernando Antonio Mac Cracken Cezar. Bancos de Dados Obsolescentes e uma Proposta de Implementação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
26. | Fernando Mario de Oliveira Filho. Estratégias de Solução de Problemas de Otimização Combinatória. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Carlos Eduardo Ferreira. |
27. | Francisco José da Silva e Silva. Adaptação Dinâmica de Sistemas Distribuídos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003. Supervisor: Fabio Kon. |
28. | Fábio Murilo Ikeda. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
29. | Herbert Yutaka Watanabe. Configuração Automática de Sistemas na Plataforma Enterprise JavaBeans. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Fabio Kon. |
30. | João Vitor Baldini Soares. Segmentação de imagens de retina usando wavelets. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Roberto Marcondes Cesar Junior. |
31. | Juliana Barby Simão. IDE para Prolog. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM. 2003. Orientador: Renata Wassermann. |
32. | Leonardo Marques Pinho. Descoberta Automática de Serviços. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Alfredo Goldman vel Lejbman. |
33. | Luiz Henrique Mariano de Araújo. Ferramenta Interativa de Desenho de Redes de Regulação Gênica. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Nina Sumiko Tomita Hirata. |
34. | Marcelo Camacho de Souza. Componente de controle transacional para integracao assincrona de bases de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: João Eduardo Ferreira. |
35. | Marcelo M Amorim. Uma técnica de verificação formal para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
36. | Marcio Katsumi Oikawa. Integracao para dados e aplicacoes em biologia molecular computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: João Eduardo Ferreira. |
37. | Marcos Eduardo Bolelli Broinzi. Genflow: um ambiente para integração de dados e processos em aplicações de bioinformática. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: João Eduardo Ferreira. |
38. | Marcus Machado Sampaio Moyses. Teclado baseado no olhar. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2003. Orientador: Carlos Hitoshi Morimoto. |
39. | Maria de Lourdes Rosalem. Gestão do Conhecimento em Empresas do Governo. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003. Orientador: Flavio Soares Correa da Silva. |
40. | Maria Elizabeth Salomão Mahafud. Parcerias para Qualificação Profissional. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003. Orientador: Flavio Soares Correa da Silva. |
41. | Roberto Soares Caldas. Animação de objetos rígidos baseado em modelos físicos.. (Graduando em Engenharia Elétronica Digital) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Carlos Hitoshi Morimoto. |
42. | Rodrigo Assirati Dias. Análise de dados de microarrays. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2003. Orientador: Roberto Hirata Junior. |
43. | Rodrigo Souza de Castro. Cache comprimido adaptativo: projeto, estudo e implementação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Alair Pereira do Lago. |
44. | Waldyr Benits Jr. Sistemas criptográficos baseados em identidades pessoais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Routo Terada. |
45. | Wendel Scardua. Interface Didática de um Sistema Tutor de Programação. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, IBM. 2003. Orientador: Leliane Nunes de Barros. |
46. | Weslley Emmanuel Martins Lima. Uma biblioteca para simulação de protocolos de entrega de mensagens em redes móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Alan Mitchell Durham. |
1. | A B V Graciano. Rastreamento em Vídeo Baseado em Contornos. (Graduando em Computação) - Universidade de São Paulo, . 2002. Orientador: Roberto Marcondes Cesar Junior. |
2. | André Gustavo de Andrade. Ambiente amigável para especificação e verificação de agentes móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Ana Cristina Vieira de Melo. |
3. | Antônio Carlos dos Santos. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
4. | Ariane Machado Lima de Oliveira. Laboratorio de geracao de classificadores de sequencias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Alan Mitchell Durham. |
5. | Bianka M. M. Teixeira Goncalves. Alternativas para propagacao das atualizacoes de um banco de dados operacional para um data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: João Eduardo Ferreira. |
6. | Carlos Eduardo Rodrigues Alves. Algoritmos Paralelos CGM/BSP para Comparação de Cadeias. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Siang Wun Song. |
7. | Christian Asmussen. Programação eXtrema. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2002. Orientador: Fabio Kon. |
8. | Christian Rivolta Bernauer. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
9. | Cristiano Garbelotto Mikosewski. Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002. Orientador: Flavio Soares Correa da Silva. |
10. | Danielle Passos de Ruchkys. Um Algoritmo de Aproximação Paralelo para Transversal Mínima com Aplicação em Análise da Expressão Gênica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Siang Wun Song. |
11. | Danilo Conde. Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2002. Orientador: Renata Wassermann. |
12. | Danilo Eiji Seki. Extensões do Magic Pointing. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2002. Orientador: Carlos Hitoshi Morimoto. |
13. | David Martins Jr. Redução de dimensionalidade baseada na entropia condicional média. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Supervisor: Junior Barrera. |
14. | Edner Ferreira Braga da Silva. Gestão da Cultura no Teletrabalho. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002. Orientador: Flavio Soares Correa da Silva. |
15. | Eduardo Kazuaki Gondo. Árvores k-Restritas e Aproximações para o Problema de Steiner em Grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Cristina Gomes Fernandes. |
16. | Eduardo Tengan. Automorfismos de grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Arnaldo Mandel. |
17. | Elcio Elionei de Pauli Vaz. Gestão de Salários e as Mudanças na Forma de Remuneração nas Empresas. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002. Orientador: Flavio Soares Correa da Silva. |
18. | Emerson L N Tozette. Métodos de extração de esqueletos de vasos da retina. (Graduando em Computação) - Universidade de São Paulo, . 2002. Orientador: Roberto Marcondes Cesar Junior. |
19. | Eudenia Xavier Meneses. Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Flavio Soares Correa da Silva. |
20. | Flávia Rainone. E-gene um editor genérico para configuração. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Alan Mitchell Durham. |
21. | Isabel Italiano. Um Modelo hibrido para atualizacao de dados em projetos de data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: João Eduardo Ferreira. |
22. | Isvi Correa Jr. Uma implementação do protocolo TLS. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Routo Terada. |
23. | Jair Donadelli Júnior. Resultados de Ramsey e de Densidade para Grafos Pseudo-aleatórios Esparsos. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Yoshiharu Kohayakawa. |
24. | João Carlos Neto. Criptografia - uma implementação do protocolo de micropagamento PayWord. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Routo Terada. |
25. | Luciano Vieira de Araujo. CCICLO: Componente para cruzamento e integracao de objetos classificados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: João Eduardo Ferreira. |
26. | Lucy Mari Tabuti. Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
27. | Luiz Henrique Mariano de Araujo. Ferramenta Interativa de Desenho de Redes de Regulação Gênica. (Graduando em Bacharelado em Ciencia da Computacao) - Instituto de Matemática e Estatística, . 2002. Orientador: Nina Sumiko Tomita Hirata. |
28. | Marcel Brun. Projetos de operadores morfológicos multi-escala por otimização estatística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Junior Barrera. |
29. | Marcos Paulo Bedene Moreira. Base de Qualidades para Gestão de Pessoal em Projetos de Informática. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002. Orientador: Flavio Soares Correa da Silva. |
30. | Marlon Gripp Chermont. Laboratório Virtual de Ensino de Inteligência Artificial. (Graduando em Engenharia da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Leliane Nunes de Barros. |
31. | Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002. Supervisor: Yoshiharu Kohayakawa. |
32. | Michel Koji Mizusaka. Uma aplicação de aprendizado não-supervisionado para desembaralhar imagens. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002. Orientador: Roberto Hirata Junior. |
33. | Nestor Walter Trepode. Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Junior Barrera. |
34. | Paula Akemi Nishimoto. O uso do Mathcad para o auxílio no ensino de programação. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002. Orientador: Roberto Hirata Junior. |
35. | Paulo Eduardo Silveira. Panda - sistema de acompanhamento didático. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2002. Orientador: Carlos Hitoshi Morimoto. |
36. | Rodrigo Assirati Dias. Análise de dados de microarrays. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002. Orientador: Roberto Hirata Junior. |
37. | Rodrigo Vieira Couto. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
38. | Rogério Fajardo. Lógicas Modais. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Marcelo Finger. |
39. | Shigueo Isotani. Algoritmos para Caminhos Mínimos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002. Orientador: José Coelho de Pina Junior. |
40. | Silvio do Lago Pereira. Planejamento Abdutivo no Cálculo de Eventos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002. Orientador: Leliane Nunes de Barros. |
41. | Tiago Schumacher Barcelos. Interfaces baseadas em visão computacional. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Carlos Hitoshi Morimoto. |
42. | Wagner Dias. Implementações de Tableaux para Raciocínio Aproximado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Marcelo Finger. |
43. | Yang Yili. AcMus - Software para cálculo de parâmetros acústicos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Fabio Kon. |
1. | Alexandre Freire da Silva. XPUSP um sistema para atribuição didática. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Alfredo Goldman vel Lejbman. |
2. | Anselmo H Kumazawa. Algoritmos genéticos para segmentação de imagens multiespectrais. (Graduando em Computação) - Universidade de São Paulo, . 2001. Orientador: Roberto Marcondes Cesar Junior. |
3. | Aritanan Borges Garcia Gruber. Algoritmos e Estruturas de Dados para Manutenção de Árvores Geradoras Mínimas em Grafos Dinâmicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Carlos Eduardo Ferreira. |
4. | Bruno M Moutinho. Composição de fluxos de Controle de framworks Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001. Orientador: Ana Cristina Vieira de Melo. |
5. | CARLOS HENRIQUE MAIA BRAGA. Meta Modelo para Controle Corporativo de Estratégia de Replicação de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: João Eduardo Ferreira. |
6. | D da S Pires. Segmentação de imagens baseada em casamento de grafos. (Graduando em Computação) - Universidade de São Paulo, . 2001. Orientador: Roberto Marcondes Cesar Junior. |
7. | Emmanuel Kayembe Ilunga. Algoritmos Paralelos para Fecho Convexo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001. Orientador: Siang Wun Song. |
8. | Fabio Silva Dias. Programação Quadrática aplicada à Teoria Moderna de Finanças. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2001. Orientador: Ernesto Julián Goldberg Birgin. |
9. | Fernando Correa de Lima. Interface para programas de linguistica computacional. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001. Orientador: Marcelo Finger. |
10. | Flavio Protasio Ribeiro. Revisão de Crenças e Manutenção de Consistência. (Graduando em Engenharia - Ciclo Básico) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Renata Wassermann. |
11. | Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: Marcelo Finger. |
12. | Gláucio S Lé. Métodos de clustering em bioinformática. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Roberto Marcondes Cesar Junior. |
13. | José Osvaldo Couto Horta. Estimativas de Entropia para Seqüências de DNA. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: José Coelho de Pina Junior. |
14. | Juliano Mourão Vieira. Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: Flavio Soares Correa da Silva. |
15. | Leo Kazuhiro Ueda. Automatos Finitos: Algoritmos e Estruturas de Dados. (Graduando em Bacharelado em Ciencia da Computacao) - Instituto de Matematica e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Nami Kobayashi. |
16. | LEONARDO AUGUSTO TANIGUTI MANTOVANI. Uma alternativa para Simplificação de Sincronismo de Dados Temporais entre Ambientes Operacionais e Analíticos. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, . 2001. Orientador: João Eduardo Ferreira. |
17. | Maria Clara Barros de Oliveira Fischer. Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: Flavio Soares Correa da Silva. |
18. | Martha Ximena Torres Delgado. . Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Supervisor: Junior Barrera. |
19. | Raphael Gustavo D'Almeida Vilamiu. Técnicas de Inteligência Artificial para Jogos - Sokoban. (Graduando em Bacharelado em Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Leliane Nunes de Barros. |
20. | Renata Wassermann. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001. Supervisor: Marcelo Finger. |
21. | Roberto Hirata Jr. Projeto de operadores morfológicos para imagens e sinais: abordagem de reticulados finitos. Tese - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Junior Barrera. |
22. | Rogerio S. Feris. Rastreamento Eficiente de Faces em um Subespaço Wavelet. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Roberto Marcondes Cesar Junior. |
23. | Sirley Ambrosia Vitorio. Obsolescência de Informação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: Flavio Soares Correa da Silva. |
24. | Teofilo E. Campos. Técnicas de Seleção de Características com Aplicações em Reconhecimento de Faces. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Roberto Marcondes Cesar Junior. |
25. | Thiago Carvalho de Sousa. Revisão de Crenças e Banco de Dados. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Renata Wassermann. |
1. | André Casado Castanho. Desenvolvimento de um toolbox HTML para o Matlab. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Roberto Marcondes Cesar Junior. |
2. | Carlos Ramon Pantaleon Dionisio. Geometria Computacional de Pontos em Movimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000. Orientador: José Coelho de Pina Junior. |
3. | Cassio Polpo de Campos. Problemas Dinâmicos em Geometria Computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Carlos Eduardo Ferreira. |
4. | Eduardo Garcia de Freitas. Problemas Cinéticos em Geometria Computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Carlos Eduardo Ferreira. |
5. | Franklin Cesar Flores. Segmentação de vídeo digital por morfologia matemática. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Junior Barrera. |
6. | Henrique Mongelli. Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000. Orientador: Siang Wun Song. |
7. | J. J. G. Leandro. Análise de formas de estruturas de ramificação. (Graduando em Computação) - Universidade de São Paulo, . 2000. Orientador: Roberto Marcondes Cesar Junior. |
8. | Marcio Grossi de Almeida. Números de Ramsey Induzidos e Semi-induzidos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000. Orientador: Yoshiharu Kohayakawa. |
9. | Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2000. Supervisor: Flavio Soares Correa da Silva. |
10. | Mary Yorinori. Sistemas Tutores Inteligentes e Sua Aplicação em Empresas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Flavio Soares Correa da Silva. |
11. | Matthias Beck. Arithmetic properties of rational polytopes. Tese (Doutorado em Mathematics) - Temple University, . 2000. Orientador: Sinai Robins. |
12. | Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Flavio Soares Correa da Silva. |
13. | Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Marcelo Finger. |
14. | Nina S. T. Hirata. Projeto automático de operadores explorando conhecimento a priori. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Junior Barrera. |
15. | Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. Tese - Universidade de São Paulo, . 2000. Orientador: Flavio Soares Correa da Silva. |
16. | Rodrigo Nonamor Pereira Mariano de Souza. Automatos e Algoritmos de Busca de Padroes. (Graduando em Bacharelado em Ciencia da Computacao) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Nami Kobayashi. |
17. | Ronaldo Fumio Hashimoto. Mudança de estrutura de representação de operadores em morfologia matemática. Tese - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000. Orientador: Junior Barrera. |
18. | Said Sadique Adi. Ferramentas de auxílio ao seqüenciamento de DNA por montagem de fragmentos: um estudo comparativo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000. Orientador: Carlos Eduardo Ferreira. |
19. | Valdinei Freire da Silva. Simulador Gráfico de Expressões Faciais para Interação Homem Computador. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Carlos Hitoshi Morimoto. |
20. | Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Marcelo Finger. |
(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 21/03/2024 19:56:27