| 1. | Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Orientador: Marcelo Finger. |
| 2. | Igor Scaliante Wiese. Predição de mudanças conjuntas de artefatos de software com base em informações contextuais. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Orientador: Marco Aurélio Gerosa. |
| 3. | Santiago Valdes Ravelo. Problema da árvore geradora de comunicação ótima: variantes, complexidade e aproximação. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016. Orientador: Carlos Eduardo Ferreira. |
| 1. | Albert De La Fuente. Energy-Eficient Virtual Machines Placement. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Daniel Macêdo Batista. |
| 2. | Alex Abate Biral. SWNE Uma linguagem baseada em predicados. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2015. Orientador: Marco Dimas Gubitoso. |
| 3. | Alexandre Martins Ferreira de Sousa. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores. 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. 2015. Orientador: Carlos Hitoshi Morimoto. |
| 4. | Alexandre Morimitsu. Computação Incremental e Eficiente de Sequências de Árvores de Componentes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Ronaldo Fumio Hashimoto. |
| 5. | Anderson Conceição de Almeida. O método do gradiente espectral projetado aplicado ao problema de image impainting usando regularização L1. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Ernesto Julián Goldberg Birgin. |
| 6. | Antonio Diaz Tula. Contribuições para interação pelo olhar com teclados virtuais. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Orientador: Carlos Hitoshi Morimoto. |
| 7. | Christoph Treude. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Supervisor: Marco Aurélio Gerosa. |
| 8. | Daniel de Angelis Cordeiro. Aplicações de Teoria de Escalonamento em Computação em Nuvem. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Supervisor: Alfredo Goldman vel Lejbman. |
| 9. | Daniel Quadros de Miranda. Um Servidor HTTP/2 Reativo em Scala. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Daniel Macêdo Batista. |
| 10. | Davi Souto Grangeiro. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015. Orientador: Nina Sumiko Tomita Hirata. |
| 11. | Eduardo Cocca Padovani. Caracterização da Estrutura e Dinâmica das Redes Funcionais Neurais Durante um Processo de Indução Anestésica. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: André Fujita. |
| 12. | Estefhan D. Wandekokem. Um método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chave.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Roberto Marcondes Cesar Junior. |
| 13. | Evandro Fernandes Giovanini. Um modelo de segurança para proteger arquivos pessoais. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2015. Orientador: Marco Dimas Gubitoso. |
| 14. | Evelyn Perez Cervantes. Análise de redes de colaboração científica: Uma abordagem baseada em grafos relacionais com atributos. 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. 2015. Orientador: Roberto Marcondes Cesar Junior. |
| 15. | Fabio Hirano. O Uso de Gamification no Ensino de Programação para Crianaçs: um estudo de caso. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2015. Orientador: Marco Dimas Gubitoso. |
| 16. | Frederico Sousa Oliveira. Gerenciamento da Dívida Técnica em projetos de software utilizando Scrum: Uma pesquisa-ação. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2015. Orientador: Alfredo Goldman vel Lejbman. |
| 17. | Gabriel Ferreira Guilhoto. Avaliação de sistemas NoSQL para o gerenciamento de dados em workflows científicos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Kelly Rosa Braghetto. |
| 18. | Henrique Morimitsu. A graph-based approach for online multi-object tracking in structured videos with an application to action recognition. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Orientador: Roberto Marcondes Cesar Junior. |
| 19. | Henrique Stagni. Teste de propriedades em torneios. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Yoshiharu Kohayakawa. |
| 20. | Igor Fabio Steinmacher. Supporting newcomers to overcome the barriers to contribute to open source software projects. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Marco Aurélio Gerosa. |
| 21. | Jorge Luis Guevara Dias. Modelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidade. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Roberto Hirata Junior. |
| 22. | Jorge Luis Torrejon. Aproximação Numérica à Convolução de Mellin via Mistura de Exponenciais. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Julio Michael Stern. |
| 23. | José Teodoro da Silva. Desambiguação de autoria em listas de discussão de projetos de software livre. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015. Orientador: Marco Aurélio Gerosa. |
| 24. | João Ricardo Petreli Jorge. Avaliação de Desempenho de Programação Paralela na Linguagem Go. Dissertação (Mestrado em Engenharia da Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2015. Orientador: Marco Dimas Gubitoso. |
| 25. | Jéssica Yumi Kojima. Bancos de dados de imagens: uma aplicação em Neurociência. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Kelly Rosa Braghetto. |
| 26. | Karina Suemi Awoki. Algoritmos para bissecção em árvores. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Cristina Gomes Fernandes. |
| 27. | Leandro de Araujo Lima. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2015. Supervisor: Ronaldo Fumio Hashimoto. |
| 28. | Leandro Ticlia de La Cruz. Quantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinha. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Nina Sumiko Tomita Hirata. |
| 29. | Lehilton Lelis Chaves Pedrosa. Algoritmos de Aproximação para Problemas de Projeto de Rede com Restrições. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Supervisor: Cristina Gomes Fernandes. |
| 30. | Leonardo Haddad Carlos. CodeWay. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2015. Orientador: Marco Dimas Gubitoso. |
| 31. | Luciana dos Santos Kayo. Implementação de Kernel Customizado Aplicado à Análise de Sentimentos em Resenhas de Filmes. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2015. Orientador: Marco Dimas Gubitoso. |
| 32. | Luis Gustavo Rocha Vianna. Planejamento Probabilístico usando Simulação de Monte-Carlo. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Leliane Nunes de Barros. |
| 33. | Luís F. S. X. da Silveira. Algoritmos para união de círculos e polígonos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Cristina Gomes Fernandes. |
| 34. | Marcello Souza de Oliveira. Extensão e paralelização do código FRACS (Fast ray-tracing algorithmfor circumstellar structures). (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2015. Orientador: Marco Dimas Gubitoso. |
| 35. | Marcio Takashi Oshiro. Clustering de trajetórias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Cristina Gomes Fernandes. |
| 36. | Marcos E. B. Broinizi. Ordenação evolutiva de anúncios em publicidade computacional.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015. Orientador: João Eduardo Ferreira. |
| 37. | Maria José Guimarães de Souza. MOOC de Geometria: discussões e proposta de um modelo para a educação básica. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2015. Orientador: Leônidas de Oliveira Brandão. |
| 38. | Marta Magda Dornelles. Construção e seleção de janelas na combinação de W-operadores. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015. Orientador: Nina Sumiko Tomita Hirata. |
| 39. | Mayara Cassia de Melo. Análise Computacional das Decisões de Tribunais Superiores Brasileiros. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Marcelo Finger. |
| 40. | Milton Y. Nishiyama Jr. Desenvolvimento da Plataforma CaneRegNet para Anotação Funcional e Análise do Transcriptoma da Cana-de-Açucar. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Supervisor: João Eduardo Ferreira. |
| 41. | Monna Cleide F. R. dos Santos. O ecossistema de startups de software da cidade de São Paulo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Fabio Kon. |
| 42. | Paulo Mei. Implementação de Kernel Customizado Aplicado à Análise de Sentimentos em Resenhas de Filmes. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2015. Orientador: Marco Dimas Gubitoso. |
| 43. | Rafael Campos Cruz. Simulador de Modelos MATLAB. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Marco Dimas Gubitoso. |
| 44. | Rafael Durbano Lobato. Empacotamento de elipsoides. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015. Orientador: Ernesto Julián Goldberg Birgin. |
| 45. | Rafael Mathias Ferreira. Arcabouço probabilístico para análise de sequências de RNA. 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. 2015. Orientador: Alan Mitchell Durham. |
| 46. | Rafael Perazzo Barbosa Mota. Mecanismos para a Melhoria do Desempenho de Sistemas RFID Passivos. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Daniel Macêdo Batista. |
| 47. | Rafael Veiga Pocai. Problemas Computacionais em Teoria Topológica 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. 2015. Orientador: Carlos Eduardo Ferreira. |
| 48. | Romenig da Silva Ribeiro. Construção e uso de ambiente visual para o ensino de programação introdutória. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Leônidas de Oliveira Brandão. |
| 49. | Silvia Cristina Dias Pinto. Aprendizado estrutural e wavelets. Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Supervisor: Roberto Marcondes Cesar Junior. |
| 50. | Suzana de Siqueira Santos. Análise de redes biológicas: estudo comparativo de medidas de dependência e uma ferramenta computacional para discriminar grafos. 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. 2015. Orientador: André Fujita. |
| 51. | Sérgio Nery Simões. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Ronaldo Fumio Hashimoto. |
| 52. | Thiago Furtado de Mendonça. Um middleware para coreografias de serviços web escaláveis em ambientes de computação em nuvem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015. Orientador: Fabio Kon. |
| 53. | Tiago Montanher. Estimação de Modelos de Markov Ocultos Usando Aritmética Intervalar. Tese (Doutorado em matemática aplicada) - IME-USP (Instituto de matemática e estatística, USP), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Walter Figueiredo Mascarenhas. |
| 54. | Wonder Alexandre Luz Alves. Últimos Levelings: Conceitos, propriedades, algoritmos e aplicações em Processamento e Análise de Imagens. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015. Orientador: Ronaldo Fumio Hashimoto. |
| 1. | Adroaldo Lazouriano Moreira Borges. Uma proposta de protocolo Token Ring sem fio. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2014. Orientador: Marco Dimas Gubitoso. |
| 2. | Adèle Helena Ribeiro. Análise de expressõ es gênicas com erros de medida e aplicação em dados reais. 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. 2014. Orientador: Roberto Hirata Junior. |
| 3. | Alessandro Calò. Extração de informações jurídicas públicas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014. Orientador: Marcelo Finger. |
| 4. | Alexandre Camargo Guarnieri Suetholz. Simulação de Surdinas em Trompetes Através de Filtros Digitais. (Graduando em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Marcelo Gomes de Queiroz. |
| 5. | Alexandre Locci Martins. Teste e verificação formal do comportamento excepcional de programas 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. 2014. Orientador: Ana Cristina Vieira de Melo. |
| 6. | Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014. Orientador: Marcelo Finger. |
| 7. | Bruno Klava. Redução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Nina Sumiko Tomita Hirata. |
| 8. | Danilo Aleixo Gomes de Souza. Criação de testes para um software embarcado critico espacial. (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Ana Cristina Vieira de Melo. |
| 9. | David Macedo da Conceição. Avaliação de medidas de similaridade entre tensores aplicada a imagens do tensor de difusão por ressonância magnética. 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. 2014. Orientador: Marcel Parolin Jackowski. |
| 10. | Diogo Ferreira da Costa Patrão. DESENVOLVIMENTO E AVALIAÇÃO DE FERRAMENTAS COMPUTACIONAIS PARA TRIAGEM AUTOMÁTICA DE SUJEITOS DE PESQUISA. Tese (Doutorado em Doutorado) - Fundação Antônio Prudente, . 2014. Supervisor: Renata Wassermann. |
| 11. | Edênis Freindofer Azevedo. Método primal-dual para o problema de Steiner com coleta de prêmios. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2014. Orientador: Cristina Gomes Fernandes. |
| 12. | Emílio de Camargo Francesquini. Dealing with actor runtime environments on hierarchical shared memory multi-core platforms. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014. Orientador: Alfredo Goldman vel Lejbman. |
| 13. | Eric Ossami Endo. Aproximação da norma de corte via a desigualdade de Grothendieck. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Yoshiharu Kohayakawa. |
| 14. | Felipe Breve Siola. Transformações Hit-or-miss para imagens tons de cinza. 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. 2014. Orientador: Nina Sumiko Tomita Hirata. |
| 15. | Filipe Morgado Simões de Campos. Espelho virtual interativo para simulação de maquiagem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014. Orientador: Carlos Hitoshi Morimoto. |
| 16. | Fillipe Manoel Xavier Resina. Revisão de Crenças em Lógicas de Descrição - Um Plug-In para o Protégé. 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. 2014. Orientador: Renata Wassermann. |
| 17. | Gabriel A. von Winckler. Proposta de arquitetura para federações de nuvens computacionais acadêmicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014. Orientador: Marco Dimas Gubitoso. |
| 18. | Gabriel Preti. Ferramentas estatísticas e computacionais na análise de fraudes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014. Orientador: Roberto Hirata Junior. |
| 19. | Gabriel Rezende Nahas. Busca de Genes Impactantes na Estabilidade de Redes Booleanas. (Graduando em Abi - Engenharia) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Ronaldo Fumio Hashimoto. |
| 20. | Guilherme de Maio Nogueira. Improving fault tolerance support in wireless sensor network macroprogramming. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Comissão Europeia. 2014. Orientador: Marco Aurélio Gerosa. |
| 21. | Guilherme Feulo do Espírito Santo. Processamento Sonoro em Tempo Real. (Graduando em Matemática) - Universidade de São Paulo, . 2014. Orientador: Marcelo Gomes de Queiroz. |
| 22. | Henrique Cabral de Souza Rodrigues. CHD7 expression and glioblastoma multiforme life expectancy. (Graduação em Matemática Aplicada Com Habilitação em Ciências Biológicas) - Universidade de São Paulo, . 2014. Orientador: André Fujita. |
| 23. | Jackson José de Souza. Identificação de alertas de segurança virtual veiculados em redes sociais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014. Orientador: Daniel Macêdo Batista. |
| 24. | John Lenon Gardenghi. Um método de pontos interiores primal-dual viável para minimização com restrições lineares. 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. 2014. Orientador: Ernesto Julián Goldberg Birgin. |
| 25. | Jorge J. Gomes Leandro. Análise de formas usando wavelets em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014. Orientador: Roberto Marcondes Cesar Junior. |
| 26. | José David Curado. Tipicalidade em Lógicas de Descrição. 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. 2014. Orientador: Renata Wassermann. |
| 27. | José Roberto Alves Rodriguesim. iQuiz - Ambiente de autoria para Avaliação do Aprendizado no Moodle. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2014. Orientador: Leônidas de Oliveira Brandão. |
| 28. | Leonardo Alexandre Ferreira Leite. Implantação automatizada de composições de serviços web de grande escala. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Comissão Europeia. 2014. Orientador: Marco Aurélio Gerosa. |
| 29. | Maciel Calebe Vidal. Análise da estrutura de clusterização das redes de conectividade funcional do cérebro para investigar as bases das desordens do espectro autista. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: André Fujita. |
| 30. | Maison Melotti. CREAMA: Uma Arquitetura de Referência para o Desenvolvimento de Aplicações Colaborativas Móveis Baseados em Componentes. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2014. Supervisor: Marco Aurélio Gerosa. |
| 31. | Marcel Kenji de Carli Silva. . Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Supervisor: Yoshiko Wakabayashi. |
| 32. | Marcelo Matheus Gauy. Erdős-Ko-Rado em famílias aleatórias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Yoshiharu Kohayakawa. |
| 33. | Marcelo Valentim de Oliveira. Um estudo empírico sobre classificação de símbolos matemáticos manuscritos. 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. 2014. Orientador: Nina Sumiko Tomita Hirata. |
| 34. | Maria Viviane de Menezes. Mudanças em Problemas de Planejamento sem Solução. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de ciências Matemáticas e de Computação da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Leliane Nunes de Barros. |
| 35. | Mauricio Garcia Franco do Nascimento. iRepositório - Repositório Interativo de Conteúdos Digitais para cursos baseados na Internet. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2014. Orientador: Leônidas de Oliveira Brandão. |
| 36. | Max Rosan dos Santos Junior. Mecanismos para consolidação de servidores. 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. 2014. Orientador: Daniel Macêdo Batista. |
| 37. | Patricia Araujo de Oliveira. Seleção de Serviços Web em Coreografias. 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. 2014. Orientador: Daniel Macêdo Batista. |
| 38. | Paulo Victor Teixeira Eufrásio. Pares Ramsey infinitos. 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. 2014. Orientador: Yoshiharu Kohayakawa. |
| 39. | Pedro Henrique Rocha Bruel. Interfaces em Sistemas Multiagentes Musicais. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Marcelo Gomes de Queiroz. |
| 40. | Pedro Losco Takecian. Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2014. Orientador: João Eduardo Ferreira. |
| 41. | Pedro Lucinio. a ser definido. (Ensino Médio) - Colégio Joana D'Arc, . 2014. Orientador: André Fujita. |
| 42. | Rafael Crivellari Saliba Schouery. Problemas de alocação e precificação de itens. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Cristina Gomes Fernandes. |
| 43. | Rafael Freitas Schmid. Documentação e testes da biblioteca de álgebra linear Klein. Dissertação (Mestrado em Ciencia da computacao) - IME-USP (Instituto de matemática e estatística, USP), . 2014. Orientador: Walter Figueiredo Mascarenhas. |
| 44. | Raphael Mendes Cóbe. Integração entre múltiplas ontologias: reúso e gerência de conflitos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Renata Wassermann. |
| 45. | Rebeca Cohen. a ser definido. (Ensino Médio) - Colégio Joana D'Arc, . 2014. Orientador: André Fujita. |
| 46. | Renato Scaroni. Desenvolvimento de um protocolo de rede local P2P e de um plugin para o motor de jogos Unity 3D. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014. Orientador: Daniel Macêdo Batista. |
| 47. | Renzo Gonzalo Gomez Diaz. Empacotamento de árvores em grafos completos. 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. 2014. Orientador: Yoshiko Wakabayashi. |
| 48. | Ricardo Boccoli Gallego. Inferência de Redes Booleanas com Estrutura de Atratores Prescrita como Problema da Satisfação de Restrições. (Graduando em Abi - Engenharia) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Ronaldo Fumio Hashimoto. |
| 49. | Rodrigo Duarte Louro. Jogo para a plataforma android usando web services. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2014. Orientador: Marco Dimas Gubitoso. |
| 50. | Rogério Chaves. Um estudo sistemático sobre identificação e gerenciamento de Dívida Técnica em uma empresa de tecnologia com desenvolvimento baseado em Scrum. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2014. Orientador: Alfredo Goldman vel Lejbman. |
| 51. | Ruan de Menezes Costa. Análise de redes de parentesco dos Enawene-Nauê. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014. Orientador: Carlos Eduardo Ferreira. |
| 52. | Stefano Tommasini. Programação Dinâmica. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014. Orientador: Carlos Eduardo Ferreira. |
| 53. | Steven Tsukamoto. Algoritmo Multin ́ıvel de Deteção de Comunidades em Redes Complexas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014. Orientador: Marcelo Finger. |
| 54. | Susanna Figueiredo de Rezende. Caminhos mais longos em grafos. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Yoshiko Wakabayashi. |
| 55. | Victor David Santos. Aracabouço para Jogos e Jogo Educacional em Ruby. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2014. Orientador: Marco Dimas Gubitoso. |
| 56. | Vinicius Rafael Neris dos Santos. Detecção e Classificação Automática de Interferências no Subsolo com GPR Utilizando Redes Neurais Artificiais (RNAs): Estudo no SCGR do IAG/USP. Tese (Doutorado em Geologia Geral e Aplicacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Supervisor: Nina Sumiko Tomita Hirata. |
| 57. | Vinícius Gama Pinheiro. The management of multiple submissions in parallel systems: the fair scheduling approach. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014. Orientador: Alfredo Goldman vel Lejbman. |
| 1. | Alander Pereira dos Santos. Definição de novas abordagens de análise de eficiência de suites de teste (FAPESP: 2013/27112-3). Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Ana Cristina Vieira de Melo. |
| 2. | Alberto Bueno Júnior. neteVolve: Algoritmo e Simulador para Evolução de Redes Complexas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013. Orientador: Daniel Macêdo Batista. |
| 3. | Alexandre Locci Martins. Geração de requisitos de teste para sistemas espaciais (FAPESP: 2013/25309-4). Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Ana Cristina Vieira de Melo. |
| 4. | Alexandre Yukio Harano. Uma nova abordagem para as operações de Transformada de Erosão e Transformada de Dilatação através da união da decomposição de elementos estruturantes. 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. 2013. Orientador: Ronaldo Fumio Hashimoto. |
| 5. | Aline Andrade. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Supervisor: Renata Wassermann. |
| 6. | Alvaro Junio Pereira Franco. Algoritmos para junções em grafos dirigidos acíclicos e uma aplicação em Antropologia. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Orientador: Carlos Eduardo Ferreira. |
| 7. | Anderson Fraiha Machado. Conversão de Voz Inter-Linguística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Orientador: Marcelo Gomes de Queiroz. |
| 8. | André Jucovsky Bianchi. Processamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custo. 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. 2013. Orientador: Marcelo Gomes de Queiroz. |
| 9. | Arnaldo Câmara Lara. Descritor de bordas e quantização espacial flexível aplicados a categorização de objetos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Roberto Hirata Junior. |
| 10. | Beraldo Costa Leal. Uma arquitetura hierárquica baseada em sistema de arquivos para monitoramento de pacotes de rede no sistema operacional GNU/Linux. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Marco Dimas Gubitoso. |
| 11. | Caio Cesar Moreira. Software para Treinamento de Regência em Canto Coral. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Ronaldo Fumio Hashimoto. |
| 12. | Carlos Augusto Prete Junior. Reconhecimento de Padrões por Floresta de Caminhos em Grafos com Funções de Conexidade Não Suaves. (Graduando em Engenharia Elétrica - Ênfase em Sistemas Eletrônicos) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Paulo André Vechiatto de Miranda. |
| 13. | Carlos Leonardo Herrera Muñoz. Componentes para interoperabilidade entre redes sociais na Web 2.0. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Marco Aurélio Gerosa. |
| 14. | Carlos Morais de Oliveira Filho. Kalibro: Interpretação de métricas de código-fonte. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Fabio Kon. |
| 15. | Claudia de Oliveira Melo. Productivity of Agile Teams: An Empirical Evaluation of Factors and Monitoring Processes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Fabio Kon. |
| 16. | Cleber Silva Ferreira da Luz. Implementações de algoritmos paralelos da subsequência máxima e da submatriz máxima. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Orientador: Siang Wun Song. |
| 17. | César Israel Hernández Vélez. Problemas topológicos e estruturais em teoria dos grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Supervisor: Cristina Gomes Fernandes. |
| 18. | Daniel Javier Casani Delgado. Planejamento Probabilístico como busca no espaço de transições de estados. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2013. Orientador: Leliane Nunes de Barros. |
| 19. | Daniel Mendes Azerêdo. Pesquisas sob amostragem informativa utilizando o FBST. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Julio Michael Stern. |
| 20. | Daniel Mendes Azerêdo. Pesquisas sob amostragem informativa utilizando o FBST. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Julio Michael Stern. |
| 21. | Daniele Yumi Sunaga de Oliveira. Biologia Computacional aplicada para a análise de dados em larga escala. Tese (Doutorado em Ciências Biológicas (Genética)) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Supervisor: Ronaldo Fumio Hashimoto. |
| 22. | Danilo de Jesus da Silva Bellini. AudioLazy: Processamento Digital de Sinais Expressivo e 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. 2013. Orientador: Marcelo Gomes de Queiroz. |
| 23. | Denis Lacerda. Aprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de venda. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2013. Orientador: Leliane Nunes de Barros. |
| 24. | Du lio Henrique Haroldo Elias. An álise do Impacto dos Fluxos de Dados no Desempenho de Workflows Cientí ficos. (Graduando em Ciência da Computação) - Universidade de São Paulo, Reitoria da Universidade de São Paulo. 2013. Orientador: Kelly Rosa Braghetto. |
| 25. | Débora Atanes Buss. a ser definido. (Ensino Médio) - Colégio Joana D´Arc, . 2013. Orientador: André Fujita. |
| 26. | Eduardo Galego. Extração e consulta de informações do currículo Lattes baseadas em ontologias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Renata Wassermann. |
| 27. | Eduardo Hideo Kuroda. Análise de Desempenho de Interfaces de Rede Virtualizadas com NAPI. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2013. Orientador: Daniel Macêdo Batista. |
| 28. | Ewerton Rodrigues Andrade. Protocolo de identificação baseado em polinômios multivariáveis quadráticos. 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. 2013. Orientador: Routo Terada. |
| 29. | Fabiano Ferreira Luz. Consulta a ontologias em língua portuguesa através do português controlado. 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. 2013. Orientador: Renata Wassermann. |
| 30. | Felipe Carvalho Perestrelo. Sistema Recomendador para Comércio Eletrônico. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013. Orientador: Kelly Rosa Braghetto. |
| 31. | Felipe Martins dos Santos. Bissimulação Estocástica para Solução de Problemas de Planejamento Probabilístico. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Leliane Nunes de Barros. |
| 32. | Fernando Omar Aluani. Projeto Ouroboros. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2013. Orientador: Marco Dimas Gubitoso. |
| 33. | Flávio Luiz Schiavoni. Medusa: Um Ambiente Musical Distribuído. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Marcelo Gomes de Queiroz. |
| 34. | Guilherme Camilo Amantea. Análise comparativa de duas formulações de programação linear para o roteamento em redes tolerantes a atrasos. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2013. Orientador: Alfredo Goldman vel Lejbman. |
| 35. | Guilherme Oliveira Mota. Dois resultados em combinatória contemporânea. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Yoshiharu Kohayakawa. |
| 36. | Gustavo Teixeira da Cunha Coelho. GeraçãoAleatória de Ambientes para Jogos Eletrônicos. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2013. Orientador: Marco Dimas Gubitoso. |
| 37. | Henrique Gemignani Passos Lima. Etherclan -- Rede peer-to-peer descentralizada para localização de outros usuários. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013. Orientador: Daniel Macêdo Batista. |
| 38. | Igor Bonadio. Desenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionais". Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, . 2013. Orientador: Alan Mitchell Durham. |
| 39. | Jandisson Soares de Jesus. Um método para a implementação de regras de negócio à partir da semântica SBVR. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Ana Cristina Vieira de Melo. |
| 40. | Joel Edu Sanchez Castro. Decomposição sequencial a partir da sup-representação de W-Operadores. 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. 2013. Orientador: Ronaldo Fumio Hashimoto. |
| 41. | José Eurípides Ferreira de Jesus Filho. Método Beam Search aplicado ao Flexible Job Shop Scheduling problem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Ernesto Julián Goldberg Birgin. |
| 42. | Karina Suemi Awoki. a ser definido. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2013. Orientador: André Fujita. |
| 43. | Leandro Aono. Desenvolvimento de um simulador de jogo de estratégia em tempo real. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013. Orientador: Paulo André Vechiatto de Miranda. |
| 44. | Leonardo Nagami Coregliano. Técnicas Modernas em Combinatória. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2013. Orientador: Yoshiharu Kohayakawa. |
| 45. | Liliane Santana de Oliveira. PATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, . 2013. Orientador: Alan Mitchell Durham. |
| 46. | Lucas Crisafulli. a ser definido. (Ensino Médio) - Colégio Joana D´Arc, . 2013. Orientador: André Fujita. |
| 47. | Lucas Magno. Uma Ferramenta de Software para a Predição de Desempenho de Workflows Cient íficos. (Graduando em Física) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Kelly Rosa Braghetto. |
| 48. | Luiz Fernando Oliveira Corte Real. Codificação e compressão iterativa de sinais biomédicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Marcel Parolin Jackowski. |
| 49. | Marcela Ortega. Implementação do arcabouço WED-flow para controle de processos transacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2013. Orientador: João Eduardo Ferreira. |
| 50. | Marcelo da Siva Reis. . Instituto de Matemática e Estatística da USP, . 2013. Supervisor: Junior Barrera. |
| 51. | Marcio Masaki Tomiyoshi. Performances Musicais Distribuídas Através de Internet Residencial. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Marcelo Gomes de Queiroz. |
| 52. | Mauricio José de Oliveira de Diana. Desempenho de sistemas com dados georeplicados com consistência em momento indeterminado e na linha do tempo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Rede Nacional de Ensino e Pesquisa. 2013. Orientador: Marco Aurélio Gerosa. |
| 53. | Michel Oleynik. Extração de Informações de Narrativas Clínicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Marcelo Finger. |
| 54. | Mijail Gamarra Holguin. Planejamento probabilístico usando programação dinâmica assíncrona e fatorada. 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. 2013. Orientador: Leliane Nunes de Barros. |
| 55. | Paulo Carlos Ferreira dos Santos. Modelo de desempenho para GPGPUs. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Marco Dimas Gubitoso. |
| 56. | Paulo Roberto Miranda de Meirelles. Monitoramento de métricas de código-fonte em projetos de software livre. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Fabio Kon. |
| 57. | Paulo Salem da Silva. Estudo comparativo entre modelos de teste e verificação (FAPESP: 2013/19814-8). (Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Ana Cristina Vieira de Melo. |
| 58. | Pedro P. de S. B. da Silva. Uma abordagem transacional para o tratamento de exceções em processos de negócio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: João Eduardo Ferreira. |
| 59. | Pedro Parik Americano. Estudo comparativo dos algoritmos para desenho de grafos. (Graduando em Engenharia Mecatrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: André Fujita. |
| 60. | Pedro Paulo Vezzá Campos. Algoritmos de Escalonamento para Redução do Consumo de Energia em Computação em Nuvem. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013. Orientador: Daniel Macêdo Batista. |
| 61. | Phablo Fernando Soares Moura. Recoloração convexa de grafos: algoritmos e poliedros. 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. 2013. Orientador: Yoshiko Wakabayashi. |
| 62. | Rafael Will Macedo de Araujo. Autenticação e comunicação segura em dispositivos móveis de poder computacional restrito. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Routo Terada. |
| 63. | Renato Callado Borges. Simulador de Imagens de Ressonância Magnética de Difusão. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Marcel Parolin Jackowski. |
| 64. | Renato Urquiza Lundberg. Análise Empírica de Algoritmos de Revisão sobre Bases de Crenças. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Renata Wassermann. |
| 65. | Reynaldo Cáceres Villena. Reconstrução da Chave Secreta do RSA Multi-primo. 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. 2013. Orientador: Routo Terada. |
| 66. | Sylvio Ximenez de Azevedo Neto. Cifra multicanal para maior segurança em redes TCP/IP. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Routo Terada. |
| 67. | Thiago Tatsuo Nagaoka. Desenvolvimentode um jogo interativo para a plataforma web integrado à rede social facebook. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2013. Orientador: Marco Dimas Gubitoso. |
| 68. | Thársis Tuani Pinto. Simulações financeiras em GPUs. Dissertação (Mestrado em Ciencia da computacao) - IME-USP (Instituto de matemática e estatística, USP), . 2013. Orientador: Walter Figueiredo Mascarenhas. |
| 69. | Tássio Naia dos Santos. Grafos aleatórios exponenciais. 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. 2013. Orientador: Yoshiharu Kohayakawa. |
| 70. | Victoriano Alfonso Phocco Diaz. Detecção de violações de SLA em coreografias de serviços Web. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2013. Orientador: Daniel Macêdo Batista. |
| 71. | Vinicius Kiwi Daros. Piloto Baseado em Aprendizagem por Reforço para o Simulador de Corridas TORCS. 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. 2013. Orientador: Flavio Soares Correa da Silva. |
| 72. | Viviane Teles de Lucca Maranhão. Estudo de técnicas de paralelização de métodos computacionais de fatoração de matrizes esparsas aplicados à redes bayesianas e redes credais. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Julio Michael Stern. |
| 73. | William Daniel Colen de Moura Silva. Aprimorando o Corretor Gramatical CoGrOO. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Marcelo Finger. |
| 74. | William Lira Ferreira. Análise da Dinâmica de Redes de Regulação Gênica Utilizando GPUs: Uma Ferramenta para o Auxílio no Problema de Inferência de Redes Booleanas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013. Orientador: Ronaldo Fumio Hashimoto. |
| 75. | Willian Yukio Honda. Rotulação de símbolos matemáticos manuscritos via casamento de expressões. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Nina Sumiko Tomita Hirata. |
| 76. | Wilson Kazuo Mizutani. Projeto Ouroboros. (Graduação em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2013. Orientador: Marco Dimas Gubitoso. |
| 77. | Yanik Ngoko. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Supervisor: Alfredo Goldman vel Lejbman. |
| 1. | Alexandre Albano. Reticulados de Conceitos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2012. Orientador: Alair Pereira do Lago. |
| 2. | Alexandre da Silva Freire. Empacotamento de bicliques em grafos bipartidos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Carlos Eduardo Ferreira. |
| 3. | Alexandre Rossi Paschoal. BIOINFORMÁTICA APLICADA EM RNomics: ESTRATÉGIAS COMPUTACIONAIS PARA CARACTERIZAÇÃO DE RNAS NÃO-CODIFICADORES. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Alan Mitchell Durham. |
| 4. | Alexandre Torres Porres. Modelos Psicoacústicos de Dissonância para Eletrônica ao Vivo. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Marcelo Gomes de Queiroz. |
| 5. | Allan Valin. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012. Orientador: André Fujita. |
| 6. | Ana Beatriz Vicentim Graciano. Casamento de grafos em estruturas 3D. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Roberto Marcondes Cesar Junior. |
| 7. | Ana Paula Oliveira dos Santos. Aplicação de práticas de usabilidade ágil em software livre. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, European Commission. 2012. Orientador: Fabio Kon. |
| 8. | Anderson de Araújo. Satisfatibilidade Quantica. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2012. Supervisor: Marcelo Finger. |
| 9. | Andrea Patricia Jiménez Ramírez. Embeddings of graphs on surfaces and the Ising model. Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Yoshiko Wakabayashi. |
| 10. | André Yoshiaki Kashiwabara. MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Alan Mitchell Durham. |
| 11. | Ariel Martini. Ferramenta para correção automática de exercícios de programação em ambientes de aprendizagem, com plugin para Moodle. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Carlos Hitoshi Morimoto. |
| 12. | Arthur Piza Mosterio Tofani. Uma ferramenta para notação musical em braille. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Gomes de Queiroz. |
| 13. | Atol Fortin Oliveira. Leilões para publicidade na Internet. 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. 2012. Orientador: Cristina Gomes Fernandes. |
| 14. | Bernardo Caraponale Magri. Assinatura digital Rabin-Williams -- sem randomização e com prova eficiente de segurança. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2012. Orientador: Routo Terada. |
| 15. | Boris Chullo Llaves. Aplicação do método do Gradiente Espectral Projetado ao problema de Compressive Sensing. 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. 2012. Orientador: Ernesto Julián Goldberg Birgin. |
| 16. | Caio Valente. Smart Audio City Guide. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Marco Aurélio Gerosa. |
| 17. | Camila Fernandez Achutti. Um Estudo do Uso do Java Pathfinder na Verificação e Validação de Softwares Espaciais (FAPESP: 2012/16913-2). (Graduando em Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Ana Cristina Vieira de Melo. |
| 18. | Carlos Eduardo Atencio Torres. Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias.. 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. 2012. Orientador: Renata Wassermann. |
| 19. | Carlos Henrique Aguena Higa. Inferência de Redes de Regulação Gênica Utilizando o Paradigma de Crescimento de Sementes. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Ronaldo Fumio Hashimoto. |
| 20. | Carolina Kasuga. a ser definido. (Ensino Médio) - Colégio Joana D'Arc, . 2012. Orientador: André Fujita. |
| 21. | Damian J. Matuszewski. Análise de imagens em oceanografia. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Roberto Marcondes Cesar Junior. |
| 22. | Daniel Stein. Encenação de coreografias em nuvens Open Stack. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2012. Orientador: Fabio Kon. |
| 23. | Danilo Leite Dalmon. Uma Linha de Produto de Software para Módulos de Aprendizagem Interativa. 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. 2012. Orientador: Leônidas de Oliveira Brandão. |
| 24. | David da Silva Pires. Estimação de movimento a partir de imagens RGBD usando homomorfismo entre grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Roberto Marcondes Cesar Junior. |
| 25. | Edith Zaida Sonco Mamani. Cálculo de Reputação em Redes Sociais a partir da Colaboração entre os Participantes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Rede Nacional de Ensino e Pesquisa. 2012. Orientador: Marco Aurélio Gerosa. |
| 26. | Eduardo Menezes de Morais. Answer Set Programming probabilístico. 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. 2012. Orientador: Marcelo Finger. |
| 27. | Edwin Delgado Huaynalaya. Detecção de ovos de S. mansoni a partir da detecção de seus contornos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Nina Sumiko Tomita Hirata. |
| 28. | Fabio de Oliveira Franco. Jogos Markovianos Alternados sob Incerteza. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Leliane Nunes de Barros. |
| 29. | Felipe Besson. Rehearsal: Um arcabouço para teste automatizado de coreografias de serviços web. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, European Commission. 2012. Orientador: Fabio Kon. |
| 30. | Fernanda Nascimento Almeida. Descrição da proveniência de dados para extração de conhecimento em sistemas de informação de hemoterapia. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Supervisor: João Eduardo Ferreira. |
| 31. | Francisco Elói Soares de Araújo. Alinhamentos e comparação de sequências. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Jose Augusto Ramos Soares. |
| 32. | Francisco Zigmund Sokol. MetricMiner: uma ferramenta web de apoio à mineração de repositórios de software. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Marco Aurélio Gerosa. |
| 33. | Fábio de Salles Monteiro. Protocolo de identificação baseado em polinômios multivariáveis quadráticos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2012. Orientador: Routo Terada. |
| 34. | Gabriel Reganati. Smart Audio City Guide. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Marco Aurélio Gerosa. |
| 35. | Geiser Chalco Challco. Planejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquico. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Marco Aurélio Gerosa. |
| 36. | Giseli de Araujo Ramos. Detecção e rastreamento de lábios em dispositivos móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Financiadora de Estudos e Projetos. 2012. Orientador: Roberto Marcondes Cesar Junior. |
| 37. | Guilherme Puglia Assunção. Representações retangulares de grafos planares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Carlos Eduardo Ferreira. |
| 38. | Gustavo Luiz Duarte. Metadados para reconciliação de transações em bancos de dados autônomos. 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. 2012. Orientador: João Eduardo Ferreira. |
| 39. | Helves Humberto Domingues. . Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2012. Supervisor: João Eduardo Ferreira. |
| 40. | Jefferson Serafim Ascaneo. Segmentação de imagens com Passeios Aleatórios. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Paulo André Vechiatto de Miranda. |
| 41. | Jessé Américo Gomes de Lima. Otimização em Meteorologia: cálculo de perturbações condicionais não lineares ótimas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Ernesto Julián Goldberg Birgin. |
| 42. | Joel Silva Uchoa. Caminhos mínimos com recursos limitados. 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. 2012. Orientador: Carlos Eduardo Ferreira. |
| 43. | João Paulo dos Santos Mota. Plataforma de colaboração para auxílio às administrações municipais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Roberto Hirata Junior. |
| 44. | Juan Gutierrez Alva. O Problema do Multicorte Dirigido Mínimo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Paulo Feofiloff. |
| 45. | Leissi Margarita Castañeda León. Detecção de objetos em vídeos usando misturas de modelos baseados em partes deformáveis obtidas de um conjunto 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. 2012. Orientador: Roberto Hirata Junior. |
| 46. | Leonardo Lamas Leandro Ribeiro. Modelagem estratégico-tática em esportes coletivos de invasão: aplicação ao basquetebol. Tese (Doutorado em Educação Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Junior Barrera. |
| 47. | Lucy Choque Mansilla. Transformada Imagem-Floresta com Funções de Conexidade Não Suaves: Pesos Adaptativos, Polaridade de Borda, e Restrições de Forma. 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. 2012. Orientador: Paulo André Vechiatto de Miranda. |
| 48. | Luis Felipe Bueno. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Ernesto Julián Goldberg Birgin. |
| 49. | Luis Henrique Bustamante. Métodos estocásticos de otimização global para empacotar círculos em elipses. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Ernesto Julián Goldberg Birgin. |
| 50. | Luiz Felipe Franco Belussi. Detecção de códigos QR em imagens com enquadramento arbitrário. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Nina Sumiko Tomita Hirata. |
| 51. | Marcela Terakato. Caracterização de Estruturas Secundárias de miRNAs utilizando Grafos. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Alan Mitchell Durham. |
| 52. | Marcelo da Silva Reis. Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicações. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Junior Barrera. |
| 53. | Marcelo Hashimoto. Detecção de objetos por reconhecimento de grafos-chave. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Roberto Marcondes Cesar Junior. |
| 54. | Mariana Elisa Benassi-Werke. Familiaridade, Supressão Articulatória e Comprimento do Estímulo: Influências na Memória de Curto Prazo e Memória Operacional para Tons e Melodias. Tese (Doutorado em Psicobiologia) - Universidade Federal de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Marcelo Gomes de Queiroz. |
| 55. | Mario Leston Rey. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Yoshiko Wakabayashi. |
| 56. | Marta Ruiz Costa-jussà. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Renata Wassermann. |
| 57. | Mauricio Chui Rodrigues. Tratamento de Eventos Aplicado à Composição de Serviços We. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: João Eduardo Ferreira. |
| 58. | Mauricio Finavaro Aniche. Como a prática de TDD influencia o projeto de classes em sistemas orientados a objetos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marco Aurélio Gerosa. |
| 59. | Maysa Malfiza Garcia Macedo. Detecção e caracterização de redes vasculares usando a transformada de Hough em imagens angiográficas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Marcel Parolin Jackowski. |
| 60. | Melline Fontes Noronha. Dinâmica da Fermentação Alcoólica: Aplicação de Redes Booleanas Probabilísticas Sensíveis a Contextona Dinâmica da Expressão Gênica na Linhagem Industrial PE-2 da Saccharomyces cerevisiae durante o Processo Fermentativo. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Ronaldo Fumio Hashimoto. |
| 61. | Miguel Angel Galarreta Valverde. Geração de redes vasculares sintéticas tridimensionais utilizando sistemas de Lindenmayer estocásticos e parametrizados. 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. 2012. Orientador: Marcel Parolin Jackowski. |
| 62. | Mikail de Freitas. Resolvedores SAT. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Finger. |
| 63. | Paulo Henrique Floriano. Grafos evolutivos na modelagem e análise de redes dinâmicas. 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. 2012. Orientador: Alfredo Goldman vel Lejbman. |
| 64. | Pierre Yves Andrews. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Flavio Soares Correa da Silva. |
| 65. | Poliana Magalhães Reis. Análise da distribuição do número de operações de resolvedores SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Finger. |
| 66. | Rafael Reggiani Manzo e Giancarlo Rigo. Integração de campos vetoriais com auxílio de hardware: Aplicação de OpenCL em VTK. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcel Parolin Jackowski. |
| 67. | Rafael Sampaio. Métodos de esteganografia em imagens médicas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcel Parolin Jackowski. |
| 68. | Renan de Melo. Espaço de trabalho informativo e o acompanhamento em equipes ágeis de desenvolvimento de software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Alfredo Goldman vel Lejbman. |
| 69. | Renato Avila dos Santos. Uma biblioteca para comunicação ciente de localização geográfica entre dispositivos móveis. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Daniel Macêdo Batista. |
| 70. | Renato Cordeiro Ferreira. Anotação de genomas. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Alan Mitchell Durham. |
| 71. | Ricardo de Cillo. Aplicação de análise morfológica para segmentação de páginas em imagens de documentos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Nina Sumiko Tomita Hirata. |
| 72. | Ricardo Luiz Andrade Abrantes. Problemas de corte com sobras aproveitáveis e eliminação de simetrias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Ernesto Julián Goldberg Birgin. |
| 73. | Rodrigo Zaccara. Anotação e classificação automática de entidades nomeadas em notícias esportivas em Português Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Finger. |
| 74. | Rosario Alejandra Medina Rodriguez. Aspectos Teóricos e Práticos do Classificador Baseado em Segmentos de Retas em Problemas de Multiclassificaçã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. 2012. Orientador: Ronaldo Fumio Hashimoto. |
| 75. | Samuel Plaça de Paula. Algoritmos de aproximação para problemas de clustering. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Cristina Gomes Fernandes. |
| 76. | Santiago Davila Benavides. Raciocínio de agentes musicais: composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Gomes de Queiroz. |
| 77. | Straus Michalsky Martins. Componentes de software no desenvolvimento de aplicações colaborativas para Web: Evolução da plataforma Groupware Workbench. 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. 2012. Orientador: Marco Aurélio Gerosa. |
| 78. | Stéphannye Menato. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012. Orientador: André Fujita. |
| 79. | Suzana de Siqueira Santos. Estudo comparativo de medidas de dependência e aplicações em dados de expressão gênica. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: André Fujita. |
| 80. | Tales Pinheiro de Andrade. Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Ronaldo Fumio Hashimoto. |
| 81. | Talita Perciano Costa Leite. Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientadores: Roberto Hirata Junior, Roberto Marcondes Cesar Junior. |
| 82. | Thiago Nunes. Marching cubes usando CUDA e OpenCL: Uma avaliação de desempenho. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcel Parolin Jackowski. |
| 83. | Thiago Serra Azevedo Silva. Programação por restrições e escalonamento baseado em restrições: um estudo de caso na programação de recursos para o desenvolvimento de poços de petróleo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Yoshiko Wakabayashi. |
| 84. | Tonny Costa Cordeiro. Uma biblioteca para comunicação ciente de localização geográfica entre dispositivos móveis. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Daniel Macêdo Batista. |
| 85. | Ubiratan Augusto Lima. Análise de uma Rede Genética Probabilística que representa o controle do ciclo celular. Dissertação (Mestrado em Mestrado em Bioinformática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Junior Barrera. |
| 86. | Vitor Onuchic. Inovações em técnicas de alinhamentos múltiplos e predições de genes. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Alan Mitchell Durham. |
| 87. | Viviane Almeida Santos. Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Alfredo Goldman vel Lejbman. |
| 88. | Wesley Sidel. Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Finger. |
| 1. | Adèle Helena Ribeiro. Análise de Sinais de um Sensor Piroelétrico. (Graduação em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2011. Orientador: Roberto Hirata Junior. |
| 2. | Alex Pires de Camargo. Análise e disposição de recursos de rede em grades computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Alfredo Goldman vel Lejbman. |
| 3. | Alexandre Morimitsu. Operadores Conexos Aplicados a Localização de Textos em Imagens. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Ronaldo Fumio Hashimoto. |
| 4. | Alvaro Henry Mamani Aliaga. Estudo Comparativo de Técnicas de Escalonamento de Tarefas Dependentes para 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. 2011. Orientador: Alfredo Goldman vel Lejbman. |
| 5. | Ana Luiza Domingues Fernandez Basalo. CATA - Collaborative Academic Text Advisor: Um sistema de verificação de estilo para textos acadêmicos de Computação. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2011. Orientador: Marco Aurélio Gerosa. |
| 6. | Andrew Toshiaki Nakayama Kurauchi e Victor Harada. Pandora's Box Graphics Engine: Uma Engine Gráfica com Aplicação em Visualização Científica. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: Marcel Parolin Jackowski. |
| 7. | André Salim Pires. Metodos de Segmentação Musical Baseados em Descritores Sonoros. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Marcelo Gomes de Queiroz. |
| 8. | Andréa Britto Mattos. Animação de faces tridimensionais baseada em registro estrutural. 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. 2011. Orientador: Roberto Marcondes Cesar Junior. |
| 9. | Augusto Bordignon. Introdução á probabilidade. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
| 10. | Bhalchandra D. Thatte. Tree-graphs and incidence matrices: theory and applications. Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Supervisor: Yoshiko Wakabayashi. |
| 11. | Bruno César Spósito. Orquestração e Coreografia de Serviços em uma Abordagem Prática de Jogo de Negócios Distribuído. (Graduação em Matemática Aplicada e Computacional Com Habilitação em Sistemas e Controle) - Universidade de São Paulo, . 2011. Orientador: Marco Dimas Gubitoso. |
| 12. | Charles Iury Oliveira Martins. Segmentação estrutural de imagens a partir do aprendizado de modelos de grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Roberto Marcondes Cesar Junior. |
| 13. | Claudivan Ribeiro. bigLib: sistema Web de compartilhamento de livros. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: André Fujita. |
| 14. | Cleber Morio Okida. Protocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveis. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: Routo Terada. |
| 15. | Denis Takeshita Ikeda. Seleção Não-Supervisionada de Métodos de Binarização para Documentos Históricos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: Ronaldo Fumio Hashimoto. |
| 16. | Denise H Goya. Criptografia de chave pública sem certificado. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: Routo Terada. |
| 17. | Dionathan Nakamura. Segurança do bit menos significativo no RSA e em curvas elípticas. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011. Orientador: Routo Terada. |
| 18. | Edson Miyahara. Genealogia Lattes. (Graduação em Computação) - Universidade de São Paulo, . 2011. Orientador: Roberto Marcondes Cesar Junior. |
| 19. | Eduardo Teruo Katayama. A indústria da manufatura e sua relação com métodos ágeis de desenvolvimento de software: histórico, apanhado sistemático e situação atual. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Alfredo Goldman vel Lejbman. |
| 20. | Edwin Miguel Triana Gómez. Reconhecimento de fala para navegação em aplicativos móveis para português brasileiro. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011. Orientador: Fabio Kon. |
| 21. | Emílio Serafim. Introdução à probabilidade. (Graduando em Matemática Aplicada e Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
| 22. | Eric Ossami Endo. Conjectura e Prova: Uma Introdução ao Espírito da Matemática. (Graduando em Bacharelado Em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiharu Kohayakawa. |
| 23. | Esdras Bispo Jr. Mapeamento de ontologias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Renata Wassermann. |
| 24. | Evaldo Araújo de Oliveira Filho. . Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Roberto Marcondes Cesar Junior. |
| 25. | Fabrício Martins Lopes. Redes complexas de expressão gênica: síntese, identificação, análise e aplicações. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2011. Orientador: Roberto Marcondes Cesar Junior. |
| 26. | Flávio Luis Coutinho. Métodos para rastreamento de olhar tolerantes a movimentos de cabeça baseados na razão cruzada. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011. Orientador: Carlos Hitoshi Morimoto. |
| 27. | Francisco Santana. Mineração de repositórios. (Graduando em Computação) - Universidade Federal do Pará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Marco Aurélio Gerosa. |
| 28. | Francisco Werther Silva de Santana Júnior. XFlow: Uma ferramenta extensível para a compreensão da evolução de sistemas de software. (Graduação em Ciência da Computação) - Universidade Federal do Pará, . 2011. Orientador: Marco Aurélio Gerosa. |
| 29. | Giulia Satiko Maesaka. Otimização Combinatória e Complexidade. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2011. Orientador: Yoshiharu Kohayakawa. |
| 30. | Glauber de Bona. Satisfatibilidade Probabilística. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Marcelo Finger. |
| 31. | Gustavo Akio Tominaga Sacomoto. Árvores de Ukkonen: Caracterização Combinatória e Aplicações. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, . 2011. Orientador: Alair Pereira do Lago. |
| 32. | Gustavo Ansaldi Oliva. Identificação e visualização de dependências em sistemas de software orientados a objetos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, HP/Comissão Européioa. 2011. Orientador: Marco Aurélio Gerosa. |
| 33. | Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011. Orientador: Fabio Kon. |
| 34. | Henrique Morimitsu. Uma abordagem estrutural para detecção de placas em ambientes internos por dispositivos móveis. 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. 2011. Orientador: Roberto Marcondes Cesar Junior. |
| 35. | Hiep Han. Hipergrafos quase-aleatórios e imersão de subhipergrafos geradores. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Yoshiharu Kohayakawa. |
| 36. | Hugo Corbucci. Métodos ágeis e software livre: um estudo da relação entre estas duas comunidades. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Alfredo Goldman vel Lejbman. |
| 37. | Igor Shigueo Kawasaki Nakabayashi. Geração de consulta SPARQL a partir de texto. (Graduação em Bacharelado em Matemática Aplicada Computacional) - Universidade de São Paulo, . 2011. Orientador: Renata Wassermann. |
| 38. | Jesús Pascual Mena Chalco. . Universidade de São Paulo, . 2011. Supervisor: Roberto Marcondes Cesar Junior. |
| 39. | Jihan Zoghbi. Segmentação de Tumores Cerebrais em Imagens de Ressonância Magnética. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Marcel Parolin Jackowski. |
| 40. | João Batista Marinho Silva. Computação científica em GPUs. (Graduando em Engenharia Elétrica) - Poli (Escola politécnica da USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
| 41. | Julia Boettcher. Problemas de imersão e empacotamento em teoria extremal dos grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Yoshiharu Kohayakawa. |
| 42. | Karla Roberta Pereira do Nascimento. Recoloração Convexa de Caminhos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiko Wakabayashi. |
| 43. | Kelly Rosa Braghetto. Técnicas de Modelagem para a Análise de Desempenho de Processos de Negócio. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: João Eduardo Ferreira. |
| 44. | Leandro Ferrari Thomaz. Ensemble: Um arcabouço para construção de sistemas multi-agentes musicais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011. Orientador: Marcelo Gomes de Queiroz. |
| 45. | Lucas Alves dos Santos. Computação científica em GPUs. (Graduando em Engenharia Elétrica) - Poli (Escola politécnica da USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
| 46. | Lucas Colucci Cavalcante de Souza. Teoria Combinatória dos Números. (Graduando em Matemática) - Universidade de São Paulo, . 2011. Orientador: Yoshiharu Kohayakawa. |
| 47. | Lucas Ikeda França. Tema Identificador de plágio para o Adessowiki.. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: Roberto Hirata Junior. |
| 48. | Luis Roberto P. Paula. Segmentação de imagens SPECT/Gated-SPECT do miocárdio e geração de um mapa polar. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2011. Orientador: Roberto Hirata Junior. |
| 49. | Marcelo Matheus Gauy. Problemas extremais probabilísticos. (Graduando em Bacharelado Em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: Yoshiharu Kohayakawa. |
| 50. | Mariana Vivian Bravo. Abordagens para o ensino de práticas de programação extrema. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Alfredo Goldman vel Lejbman. |
| 51. | Mauro Romano Trajber. Monitoração de eventos relacionados à memória transacional. Dissertação (Mestrado em Informática) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2011. Orientador: Marco Dimas Gubitoso. |
| 52. | Miguel Mendes Ruiz. Técnicas de Simulação Acústica Geométrica. (Graduando em Física) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Marcelo Gomes de Queiroz. |
| 53. | Mirtha Lina Fernández Venero. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Flavio Soares Correa da Silva. |
| 54. | Monica Guimarães Campiteli. . Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Roberto Marcondes Cesar Junior. |
| 55. | Murilo Santos de Lima. Aproximação de métricas arbitrárias por métricas arbóreas e aplicações. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Cristina Gomes Fernandes. |
| 56. | Pablo César Calcina Ccori. Avaliação de desempenho do sistema de memória transacional de Clojure como biblioteca de sincronização na linguagem Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Marco Dimas Gubitoso. |
| 57. | Patricia Alves Rodrigues. iTarefa: componente Moodle para incorporar Módulos de Aprendizagem Interativa em cursos Web. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2011. Orientador: Leônidas de Oliveira Brandão. |
| 58. | Patrícia Akemi Ikeda. Um estudo do uso eficiente de programas em placas gráficas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Alfredo Goldman vel Lejbman. |
| 59. | Paulo Cheque Bernardo. Padrões de Testes Automatizados. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011. Orientador: Fabio Kon. |
| 60. | Paulo César Siécola. VoIPFix: Uma ferramenta para análise e detecção de falhas em sistemas de telefonia IP. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011. Orientador: Fabio Kon. |
| 61. | Paulo Roberto de Araújo França Nunes. Serviços Web: Avaliação de confiabilidade através de padrões transacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Ana Cristina Vieira de Melo. |
| 62. | Paulo Salem da Silva. Multi-Agent Systems Verification by means of Simulation Analyis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Ana Cristina Vieira de Melo. |
| 63. | Pedro Henrique Simões de Oliveira. Planejamento de produção através do dimensionamento de lotes de itens únicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Carlos Eduardo Ferreira. |
| 64. | Peter David Allen. Problemas Estruturais, Probabilísticos e de Imersão em Teoria Extremal dos Grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Yoshiharu Kohayakawa. |
| 65. | Phillipe Rodrigues Sampaio. Teoria, métodos e aplicações de otimização multiobjetivo. 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. 2011. Orientador: Ernesto Julián Goldberg Birgin. |
| 66. | Rafael da Ponte Barbosa. Algoritmos para o problema da cobertura por sensores. 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. 2011. Orientador: Yoshiko Wakabayashi. |
| 67. | Rafael José Peres Correia. Borboleta: um sistema de telessaúde para auxílio à atenção primária domiciliar. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011. Orientador: Fabio Kon. |
| 68. | Rafael Nakanish. Computação Científica em GPUs. (Graduando em Engenharia Elétrica) - Poli (Escola politécnica da USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
| 69. | Roberto Freitas Parente. Quantidade de orientações de grafos livres de circuitos direcionados cíclicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiharu Kohayakawa. |
| 70. | Rodrigo Bernardo Pimentel. Localização em dispositivos móveis utilizando sinais de redes Wi-Fi. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Roberto Hirata Junior. |
| 71. | Susanna de Figueiredo Rezende. Tópicos em combinatória e teoria dos grafos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiko Wakabayashi. |
| 72. | Tiago Nicolosi Bomventi. bigLib: sistema Web de compartilhamento de livros. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: André Fujita. |
| 73. | Tiago Oliveira Beraldi. Máquinas de suporte vetorial e o método do Gradiente Espectral Projetado. (Graduando em Bacharelado em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2011. Orientador: Ernesto Julián Goldberg Birgin. |
| 74. | Tássio Naia dos Santos. Tópicos em combinatória. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiharu Kohayakawa. |
| 75. | Valdson da Silva Cleto. MD6 e a competição para escolha do SHA-3. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2011. Orientador: Routo Terada. |
| 76. | Vanessa Cristina Sabino. Um estudo sistemático de licenças de software livre. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011. Orientador: Fabio Kon. |
| 77. | Vitor Hugo Louzada Patricio. Canalização: Fenótipos Robustos como Consequência de Características da Rede de Regulaçào Gênica. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: Ronaldo Fumio Hashimoto. |
| 78. | Walter Pereira Rodrigues de Souza. Soluções Eficientes para o Cubo Mágico. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2011. Orientador: Nina Sumiko Tomita Hirata. |
| 79. | Yanik Ngoko. A model for web services choreographies. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Alfredo Goldman vel Lejbman. |
| 80. | Yuri Gomes de Abreu. A ser definido. Iniciação Científica - Escola Politécnica, Pró-reitoria de pesquisa da Universidade de São Paulo. 2011. Orientador: André Fujita. |
| 1. | Alexandre Noma. Casamento de grafos, MRF e propagação de crenças. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Roberto Marcondes Cesar Junior. |
| 2. | Alexandre Ouno Atoji. Implementação de uma grade BOINC no CEC com aplicações para codificação de vídeos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Roberto Hirata Junior. |
| 3. | Ander Conselvan de Oliveira. Comparação entre uma solução combinatória e um método de planos-de-cortes para o problema do emparelhamento de peso máximo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Carlos Eduardo Ferreira. |
| 4. | Ary Fagundes Bressane Neto. Uma arquitetura para agentes inteligentes com personalidade e emoção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Flavio Soares Correa da Silva. |
| 5. | Carlos da Silva dos Santos. Construção de atributos binários baseada em análise de interações. Tese (Doutorado 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. |
| 6. | Carlos Denner dos Santos Jr. Estudo Longitudinal Empírico da Atratividade de Projetos de Software Livre. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Supervisor: Fabio Kon. |
| 7. | Carlos Hoppen. A análise de estruturas discretas de grandes proporções. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Supervisor: Yoshiharu Kohayakawa. |
| 8. | Caroline Rizzi Raymundo. AulaNet - Integração do Ambiente de Ensino-Aprendizagem Aulanet para TV Digital. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo, . 2010. Orientador: Marco Aurélio Gerosa. |
| 9. | Christian Tjandraamadja. O problema da Subseqüência Comum máxima sem Repetições. 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: Carlos Eduardo Ferreira. |
| 10. | Daniel de Oliveira Dantas. Segmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráfica. Tese (Doutorado 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: Junior Barrera. |
| 11. | Daniel Ribeiro. Emparelhamentos hiperelípticos em criptografia. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2010. Orientador: Routo Terada. |
| 12. | Diego Mira David. Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Flavio Soares Correa da Silva. |
| 13. | Douglas Reis. Negociação eletrônica de ativos financeiros. (Graduação em Ciencias da computação) - IME-USP (Instituto de matemática e estatística, USP). 2010. Orientador: Walter Figueiredo Mascarenhas. |
| 14. | Elisa Pereira Kameda. Redução de dimensionalidade em modelos de bancos de dados multidimensionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: João Eduardo Ferreira. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | Fábio Zendhi Nagao. Modelagem matemática em Inteligência Coletiva: Um estudo dos processos de recomendação e classificação automática em tags para sistemas de comércio eletrônico. (Graduação em Bacharelado em Matemática Aplicada) - Universidade de São Paulo, . 2010. Orientador: Marco Aurélio Gerosa. |
| 22. | Gustavo Di Giovanni Bernardo. Uma abordagem do (FBST) em testes de simetria em tabelas de contingência. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Julio Michael Stern. |
| 23. | 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. |
| 24. | Hugo Hiroshi Kondo e Otávio J. M. Santana. MIPRenderer: Uma ferramenta para realizar projeções MIP de angiogramas utilizando VTK e Qt. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Marcel Parolin Jackowski. |
| 25. | 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. |
| 26. | 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 homogra as 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. |
| 27. | 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. |
| 28. | José David Curado. Geração de metadados. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2010. Orientador: Renata Wassermann. |
| 29. | João Machini de Miranda. 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. |
| 30. | Juliana Bueno. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2010. Supervisor: Marcelo Finger. |
| 31. | 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. |
| 32. | 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. |
| 33. | Lucas Santos de Oliveira. Funcionalidades colaborativas no compartilhamento de conteúdo em redes sociais na Web 2.0: Uma engenharia de domínio baseada no modelo 3C de colaboração. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Marco Aurélio Gerosa. |
| 34. | 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. |
| 35. | 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. |
| 36. | Marcel Santos Claro. Rotulação e extração de contornos de estruturas rami cadas. 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. |
| 37. | 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. |
| 38. | 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. |
| 39. | 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. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | 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. |
| 44. | 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. |
| 45. | 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. |
| 46. | Pedro Matiello. A π-Calculus Internal Domain-Specific Language for Scala. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Ana Cristina Vieira de Melo. |
| 47. | 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. |
| 48. | 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. |
| 49. | Rafael de O. L. Gonçalves. A importância dos atributos de cores em PDI e CBIR. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Roberto Hirata Junior. |
| 50. | Rafael Inhasz. Programação genética: operadores de crossover, blocos construtivos e emergência semântica. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, . 2010. Orientador: Julio Michael Stern. |
| 51. | 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. |
| 52. | 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. |
| 53. | 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. |
| 54. | 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. |
| 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. | 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. |
| 62. | 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. |
| 63. | 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. |
| 64. | 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. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | Caroline Rizzi Raymundo. Desenvolvimento de uma aplicação interativa educacional para TV digital (coorientação). (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2009. Orientador: Marco Aurélio Gerosa. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | Daniel Ferreira Santos e Eduardo B. Mascarenhas Apolinário. Reconstrução e Síntese de Cenários Tridimensionais a partir de Imagens Estereoscópicas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcel Parolin Jackowski. |
| 22. | 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. |
| 23. | 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. |
| 24. | Erika Guetti Suca. Interoperabilidade de documentos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. 2009. Orientador: Flavio Soares Correa da Silva. |
| 25. | Fernando Antonio Marques Filho. Estudos de Integração do Ambiente AulaNet com o Middleware Ginga. (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo, . 2009. Orientador: Marco Aurélio Gerosa. |
| 26. | Fernando Antonio Marques Fillho. Estudos de Integração do Ambiente AulaNet com o Middleware Ginga (coorientação). (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo. 2009. Orientador: Marco Aurélio Gerosa. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | Juliana Sato Yamashita. Visualização de tags para explicar e filtrar recomendações de músicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: Flavio Soares Correa da Silva. |
| 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. | Luiz Fernando Corte Real. Simulação do Movimento Browniano em 3D em Tempo Real. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcel Parolin Jackowski. |
| 38. | 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. |
| 39. | Marcos Bonci. Medsquare: Plataforma Modular Para Exploração de Imagens Tomográficas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcel Parolin Jackowski. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | 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. |
| 44. | Melissa Cheau Chen Liang. Desafios ao portar uma Aplicação Web para TV Digital: um estudo de caso com o ambiente Moodle. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marco Aurélio Gerosa. |
| 45. | Omar Mahmoud Abou e Otavio Moura do Nascimento. Criação de portais renderizados em mundos 3D. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcel Parolin Jackowski. |
| 46. | 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. |
| 47. | 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. |
| 48. | Pedro Luis Furio Raphael. O Problema do Multicorte Dirigido Mínimo. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Paulo Feofiloff. |
| 49. | 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. |
| 50. | 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. |
| 51. | Renato Callado Borges. Criação de Imagens Sintéticas de Ressonância Magnética de Difusão. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Marcel Parolin Jackowski. |
| 52. | Renato Coelho. Algoritmos Fatorados de Planejamento sob incerteza. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2009. Orientador: Leliane Nunes de Barros. |
| 53. | 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. |
| 54. | 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. |
| 55. | 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. |
| 56. | 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. |
| 57. | Rogério Papetti. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcelo Finger. |
| 58. | 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. |
| 59. | 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. |
| 60. | 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. |
| 61. | 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. |
| 62. | 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. |
| 63. | 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. |
| 64. | 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 especifi caçõ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. | Choukri Mekkaoui. Visualização e Representação de Campos Tensoriais de Difusão. Martinos Center for Biomedical Imaging, . 2008. Supervisor: Marcel Parolin Jackowski. |
| 10. | Claudia Josimar Abrao de Araujo. Um Modelo para a Interoperabilidade entre Instituições Heterogêneas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Flavio Soares Correa da Silva. |
| 11. | 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. |
| 12. | 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. |
| 13. | Cristiano Malanga Breuel. Seletores de Pontos de Junção: Um Mecanismo de Extenão Para Linguagens e Arcabouços Orientados a Aspectos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, . 2008. Orientador: Francisco Carlos da Rocha Reverbel. |
| 14. | 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. |
| 15. | Daniele Vieira Fiorot. GetProject: Gerenciador Online de Projetos de Software. (Graduação em Ciência da Computação) - Universidade Vila Velha, . 2008. Orientador: Marco Aurélio Gerosa. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | Domingos Soares Neto. Filtros para a busca e extração de padrões aproximados em cadeias biológicas. 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: Jose Augusto Ramos Soares. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | Filipe Bosi Guaitolini. Ensino-aprendizagem através da TV Digital. (Graduando em Ciência da Computação) - Universidade Vila Velha, Fundação de Amparo à Pesquisa do Espírito Santo. 2008. Orientador: Marco Aurélio Gerosa. |
| 25. | 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. |
| 26. | Flavia Rainone. Combinação Dinâmica de Aspectos: Uma Abordagem Eficiente. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, JBoss Research Grant. 2008. Orientador: Francisco Carlos da Rocha Reverbel. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 36. | Jaqueline Rodrigues. Sokoban. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Leliane Nunes de Barros. |
| 37. | 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. |
| 38. | 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. |
| 39. | 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. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | Luiz Carlos Rozante. Modelos para Especialização Celular. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2008. Orientador: Marco Dimas Gubitoso. |
| 44. | Luiz Henrique Rorato Decaro. Foundation: facilitando a implementacao de operacoes do tipo CRUD em aplicacoes JavaEE.. Dissertação (Mestrado em Pro- grama de Mestrado Profissional em Engen- ha) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2008. Orientador: Alan Mitchell Durham. |
| 45. | 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. |
| 46. | 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. |
| 47. | Marcio Alves Diniz. Um Teste Preciso para Raízes Unitárias e Co-Integração. Tese (Doutorado em Estatística) - Universidade de São Paulo, . 2008. Orientador: Julio Michael Stern. |
| 48. | 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. |
| 49. | 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. |
| 50. | 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. |
| 51. | 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. |
| 52. | 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. |
| 53. | 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. |
| 54. | 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. |
| 55. | 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. |
| 56. | 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. |
| 57. | 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. |
| 58. | Pedro Matiello. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Finger. |
| 59. | 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. |
| 60. | Raphael Yokoingawa de Camargo. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Supervisor: Fabio Kon. |
| 61. | 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. |
| 62. | 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. |
| 63. | 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. |
| 64. | 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. |
| 65. | 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. |
| 66. | 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. |
| 67. | Stefan Neusatz Guilhen. Um Serviço de Autorização Java EE Baseado em Certificados de Atributos X.509. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, JBoss Research Grant. 2008. Orientador: Francisco Carlos da Rocha Reverbel. |
| 68. | Suzane Mayumi Massato. Proposição de uma estratégia de inspeção de software. Dissertação (Mestrado em Informática) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2008. Orientador: Marco Dimas Gubitoso. |
| 69. | 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. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | Crhistian Noriega. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: Flavio Soares Correa da Silva. |
| 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. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | Emílio de Camargo Francesquini. Hermes: Um Arcabouço para a Programação de Aplicações P2P. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, . 2007. Orientador: Francisco Carlos da Rocha Reverbel. |
| 24. | Ernesto Coutinho Colla. Aplicação de Técnicas de Fatoração de Matrizes Esparsas para Inferência em Redes Bayesianas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Julio Michael Stern. |
| 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. | Fernando Valvano Cerezetti. Seleção de Modelos Econométricos não Aninhados: J-teste e FBST. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, . 2007. Orientador: Julio Michael Stern. |
| 29. | Francisco Martins Moreira. Teste de credibilidade para a determinação da região em que as caudas de distribuições são aproximadas por funções Pareto, com aplicações em análise de risco. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 2007. Orientador: Julio Michael Stern. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | Ivan Bittencourt de Araújo e Silva Neto. Um Serviço de Transações Atômicas para Web Services. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Francisco Carlos da Rocha Reverbel. |
| 36. | 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. |
| 37. | 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. |
| 38. | 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. |
| 39. | 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. |
| 40. | Marcelo de Souza Lauretto. Selecao de Modelos Atraves de um Teste de Hipotese Genuinamente Bayesiano. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Julio Michael Stern. |
| 41. | 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. |
| 42. | 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. |
| 43. | 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. |
| 44. | 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. |
| 45. | 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. |
| 46. | 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. |
| 47. | 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. |
| 48. | 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. |
| 49. | 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. |
| 50. | 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. |
| 51. | 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. |
| 52. | 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. |
| 53. | 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. |
| 54. | 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. |
| 55. | 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. |
| 56. | 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. |
| 57. | 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. |
| 58. | 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. |
| 59. | 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. |
| 60. | 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. |
| 61. | Tássio Naia dos Santos. Torres de Hanói. (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: Jose Augusto Ramos Soares. |
| 62. | 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. |
| 63. | É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. | Evelyn Cristina Pinto. Repensando os "Commons" da Comunicação Científica. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2006. Orientador: Imre Simon. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 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. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | 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. |
| 44. | 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. |
| 45. | 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. |
| 46. | Silvio Rodrigues de Faria Junior. Um ambiente computacional para um teste de significância bayesiano. Dissertação (Mestrado em Estatística) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006. Orientador: Julio Michael Stern. |
| 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. | Wilson César Machado da Rocha. Ferramenta de rede para processamento distribuído/paralelo. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2006. Orientador: Marco Dimas Gubitoso. |
| 50. | 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. | Alfredo Roberto Júnior. Criação de núcleos específicos para determinados problemas de classificação usando maquinas de suporte vetorial. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Marco Dimas Gubitoso. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | Ben Thomson. Segmentation of Vasculature from CT images. Orientação de outra natureza - Yale University - School of Medicine, . 2005. Orientador: Marcel Parolin Jackowski. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | Luiz Gustavo Martins. Uma ferramenta interativa para análise de padrões baseada em entropia.. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2005. Orientador: Marco Dimas Gubitoso. |
| 25. | 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. |
| 26. | Marco Antonio Oliveira da Silva. Simulação da dinâmica de um quimiostato via autômato-celular.. (Graduando em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Marco Dimas Gubitoso. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 36. | 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. |
| 37. | 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. |
| 38. | 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. |
| 39. | 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. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | 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. |
| 44. | 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. |
| 45. | 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. |
| 46. | 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. |
| 47. | 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 Lidonês Borges. VideoXou: Um Sistema de Catalogação de Vídeos. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2004. Orientador: Marco Aurélio Gerosa. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | Cristiano Garcia Costa. FatorLex - Compilador para a Linguagem FatorRW/H. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2004. Orientador: Marco Dimas Gubitoso. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | Daniela de Moraes e Silva Granja. Modelo de Inferência Não Linear para Alocação de Carteira. Dissertação (Mestrado em Modelagem Matemática Em Finanças) - Universidade de São Paulo, . 2004. Orientador: Julio Michael Stern. |
| 19. | Danielle Oliveira Estrella. Aprender Brincando e Conhecendo: Uma proposta para o desenvolvimento infantil. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2004. Orientador: Marco Aurélio Gerosa. |
| 20. | 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. |
| 21. | Diogo Gonçalves Villa Real. Aprender Brincando e Conhecendo: Uma proposta para o desenvolvimento infantil. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2004. Orientador: Marco Aurélio Gerosa. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | Fernando da Conceição Lourenço. Dimensionamento e Alocação de Linhas em Portfólios de Crédito. Dissertação (Mestrado em Modelagem Matemática Em Finanças) - Universidade de São Paulo, . 2004. Orientador: Julio Michael Stern. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | Fábio Henrique Viduani Martinez. Aproximações para restrições do problema de Steiner 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. 2004. Orientador: Jose Augusto Ramos Soares. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 36. | 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. |
| 37. | 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. |
| 38. | 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. |
| 39. | 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. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | Leonardo T. Passos. Webconsultório. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2004. Orientador: Marco Aurélio Gerosa. |
| 44. | 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. |
| 45. | 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. |
| 46. | 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. |
| 47. | 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. |
| 48. | 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. |
| 49. | 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. |
| 50. | 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. |
| 51. | 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. |
| 52. | 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. |
| 53. | Mauro Kendi Noda. Sistema de Monitoração de Temperatura em Laboratório. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2004. Orientador: Marco Dimas Gubitoso. |
| 54. | 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. |
| 55. | 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. |
| 56. | 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. |
| 57. | 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. |
| 58. | 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. |
| 59. | 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. |
| 60. | 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. |
| 61. | 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. |
| 62. | 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. |
| 63. | Quele Rose Aragão de Jesus. Aprender Brincando e Conhecendo: Uma proposta para o desenvolvimento infantil. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2004. Orientador: Marco Aurélio Gerosa. |
| 64. | 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. |
| 65. | Renato Senda. Ambientes interativos tridimensionais. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2004. Orientador: Carlos Hitoshi Morimoto. |
| 66. | Ricardo Nishikido Pereira. BlastPhen - agrupamento por similaridade com genomas completos.. (Graduando em Bioinformática) - Universidade de São Paulo, . 2004. Orientador: Marco Dimas Gubitoso. |
| 67. | Robson Araújo de Oliveira. Aprender Brincando e Conhecendo: Uma proposta para o desenvolvimento infantil. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2004. Orientador: Marco Aurélio Gerosa. |
| 68. | 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. |
| 69. | 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. |
| 70. | 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. |
| 71. | 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. |
| 72. | Rogerio Kakehashi. Legolog e Java. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, . 2004. Orientador: Renata Wassermann. |
| 73. | 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. |
| 74. | Sergio Luiz Machado. VideoXou: Um Sistema de Catalogação de Vídeos. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2004. Orientador: Marco Aurélio Gerosa. |
| 75. | Tamar Rudnick. Neuropathological Abnormalities of the Corpus Callosum in Bipolar Disorder: A Diffusion Tensor Imaging Study. (Graduação em Bachelor in Psychology) - Yale University, . 2004. Orientador: Marcel Parolin Jackowski. |
| 76. | Thaís B. Cannavale. Webconsultório. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2004. Orientador: Marco Aurélio Gerosa. |
| 77. | 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. |
| 78. | Vitor Michele Ziruolo. Modelagem de Passivo de Fundos de Pensão. Dissertação (Mestrado em Modelagem Matemática Em Finanças) - Universidade de São Paulo, . 2004. Orientador: Julio Michael Stern. |
| 79. | 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. |
| 80. | É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. | Alexander da Silva Paulo. Sistema de Controle Administrativo do Professor. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003. Orientador: Marco Aurélio Gerosa. |
| 6. | Alexander dos Santos Mello. E-learning rumo ao aperfeiçoamento do corpo docente, através de técnicas pedagógicas de instrução. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2003. Orientador: Marco Aurélio Gerosa. |
| 7. | 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: Cristina Gomes Fernandes, José Coelho de Pina Junior. |
| 8. | Alexandre Ricardo Nardi. Componentes CORBA. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Francisco Carlos da Rocha Reverbel. |
| 9. | 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. |
| 10. | Andrew Yuan. Ontologias e a Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Renata Wassermann. |
| 11. | 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. |
| 12. | André Luiz Perpétuo da Costa. CAP (Carlos Auto Peças): Sistema de Oficina Elétrica. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003. Orientador: Marco Aurélio Gerosa. |
| 13. | 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. |
| 14. | 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. |
| 15. | Bruno Klava. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
| 16. | 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. |
| 17. | Bárbara Zírpoli Duarte de Lima. CAP (Carlos Auto Peças): Sistema de Oficina Elétrica. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003. Orientador: Marco Aurélio Gerosa. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | Christian Fornos Klein. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
| 22. | Cláudio Oliveira da Silva. Sistema de Controle Administrativo do Professor. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003. Orientador: Marco Aurélio Gerosa. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 36. | 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. |
| 37. | Juliana Barby Simão. IDE para Prolog. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM. 2003. Orientador: Renata Wassermann. |
| 38. | 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. |
| 39. | 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. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | Marco Aurelio Stefanes. Algoritmos Paralelos de Granularidade Grossa em Grafos Bipartidos Convexos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Jose Augusto Ramos Soares. |
| 44. | 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. |
| 45. | 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. |
| 46. | 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. |
| 47. | 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. |
| 48. | Maurício Rapchan Andretta. Circuitos negativos em grafos não-orientados. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Paulo Feofiloff. |
| 49. | Rinaldo Ferreira Marinho. E-learning rumo ao aperfeiçoamento do corpo docente, através de técnicas pedagógicas de instrução. (Graduação em Ciência da Computação) - Centro Universitário Unicarioca, . 2003. Orientador: Marco Aurélio Gerosa. |
| 50. | 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. |
| 51. | 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. |
| 52. | 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. |
| 53. | Rogerio Theodoro de Brito. Alinhamento de Múltiplas Seqüências. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Jose Augusto Ramos Soares. |
| 54. | Rusley Ribeiro dos Santos. Sistema de Controle Administrativo do Professor. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2003. Orientador: Marco Aurélio Gerosa. |
| 55. | Terence Augusto Guimarães. Implementação do Método de Distribuição de Perdas para Risco Operacional. Dissertação (Mestrado em Modelagem Matemática Em Finanças) - Universidade de São Paulo, . 2003. Orientador: Julio Michael Stern. |
| 56. | Victor Yuji Maehira. Estágio na empresa Serasa S/A - MAC-499 Trabalho de Formatura Supervisionado. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Marco Dimas Gubitoso. |
| 57. | 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. |
| 58. | 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. |
| 59. | 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. | Alexandre Magno. Professor Virtual. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2002. Orientador: Marco Aurélio Gerosa. |
| 3. | 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. |
| 4. | André Jacques Villas Boas Gares. Siscomer - Sistema de Controle Comercial. (Graduação em Sistemas de Informação) - Centro Universitário Unicarioca, . 2002. Orientador: Marco Aurélio Gerosa. |
| 5. | Antônio Carlos dos Santos. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | Danilo Conde. Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2002. Orientador: Renata Wassermann. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | Eduardo Tengan. Automorfismos de grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Arnaldo Mandel. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | Luiz Carlos Rozante. Algoritmos para Predição da Estrutura Secundária do RNA. 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: Jose Augusto Ramos Soares. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002. Supervisor: Yoshiharu Kohayakawa. |
| 35. | 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. |
| 36. | Myrthes Cavalcante de Aguiar. Arquiteturas de Componentização de Servidores como Integradoras de Bancos de Dados Distribuídos. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2002. Orientador: Francisco Carlos da Rocha Reverbel. |
| 37. | 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. |
| 38. | 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. |
| 39. | 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. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | 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. |
| 44. | 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. |
| 45. | 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. |
| 46. | 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. |
| 47. | 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. | Gordana Manic. Colorações restritas de grafos. 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. 2001. Orientador: Paulo Feofiloff. |
| 14. | Gustavo Scalco Isquierdo. Integração do Serviço de Diretório LDAP com o Serviço de Nomes CORBA. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2001. Orientador: Francisco Carlos da Rocha Reverbel. |
| 15. | Helves Humberto Domingues. Uma Infra-Estrutura para Migração de Objetos CORBA Implementados em Java. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2001. Orientador: Francisco Carlos da Rocha Reverbel. |
| 16. | José Eugênio de Assis Gonçalves. Comparação de Desempenho entre Linux e Windows NT. 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: Marco Dimas Gubitoso. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | Luciano da Costa Silva. Alocação Ótima de Ativos e Derivativos em Fundos de Pensão via Programação Estocástica. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Julio Michael Stern. |
| 22. | Marcelo Gomes Queiroz. Três Problemas em Complementariedade e Programação Matemática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Carlos Humes Jr. |
| 23. | 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. |
| 24. | Marina Andretta. SGEN (Simulator for Gene Expression Networks).. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2001. Orientador: Marco Dimas Gubitoso. |
| 25. | 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. |
| 26. | 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. |
| 27. | Renata Wassermann. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001. Supervisor: Marcelo Finger. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | Paulo José Silva e Silva. Tópicos em métodos de ponto proximal. Tese (Doutorado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Carlos Humes Jr. |
| 15. | Roberto A. G. Motta. Projeto GANNSO ? Um Jogo de Computador. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2000. Orientador: Marco Dimas Gubitoso. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | É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. |
| 1. | Alexandre Scalzitti. Convergência em grafos aleatórios. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1999. Orientador: Yoshiharu Kohayakawa. |
| 2. | Ariane Machado Lima de Oliveira. Um Banco de dados para manutenção de informações acadêmicas. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparao à USP. 1999. Orientador: Alan Mitchell Durham. |
| 3. | Carlos Daniel Chacur Alves. Etiquetagem de Textos em PortuguêsBaseada em Corpus. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 1999. Orientador: Marcelo Finger. |
| 4. | Edesio Raimundo Sibrão. Escalonamento em sistemas de produção: um estudo de caso. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1999. Orientador: Carlos Eduardo Ferreira. |
| 5. | Fábio Nakano. Algoritmos de Alto Desempenho para Soluções RBAF. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1999. Orientador: Julio Michael Stern. |
| 6. | Fábio Pará d´Incecco. Reconhecimento de faces. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1999. Orientador: Roberto Marcondes Cesar Junior. |
| 7. | Gisele Busichia. Construção de Sistemas Modulares com Integração pelo Gerenciador de Dados. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1999. Orientador: João Eduardo Ferreira. |
| 8. | Jefferson Zanutto. Sistemas de Re-Escritas de Termos: Teoria e Uma Aplicação. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1999. Orientador: Flavio Soares Correa da Silva. |
| 9. | Leonidas O Brandão. Contribuições ao Estudo SMF e Otimalidade de Políticas de Cones. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, . 1999. Orientador: Carlos Humes Jr. |
| 10. | Luis Antonio Brasil Kowada. Introdução a criptossistemas quânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1999. Orientador: Routo Terada. |
| 11. | Mabelly de Oliveira Furtado. Projeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de Decisão. 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. 1999. Orientador: Marcelo Finger. |
| 12. | Mario Leston. T-junções, T-cortes e Funções Conservativas. 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. 1999. Orientador: Paulo Feofiloff. |
| 13. | Orlando Lee. Cobertura por Circuitos em Grafos Mistos. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1999. Orientador: Yoshiko Wakabayashi. |
| 14. | Rodrigo Nonamor Pereira Mariano de Souza. Algoritmos Combinatórios para Árvores Filogenéticas. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1999. Orientador: Carlos Eduardo Ferreira. |
| 15. | ROGÉRIO DE CARLO. Classificação e Seleção de Componentes Concorrentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1999. Orientador: Ana Cristina Vieira de Melo. |
| 16. | Thiago Teixeira Santos. Algoritmos Combinatórios para Rearranjo de Seqüências de DNA. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1999. Orientador: Carlos Eduardo Ferreira. |
| 1. | Alair Pereira do Lago. Grupos Maximais em Semigrupos de Burnside Livres. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 1998. Orientador: Imre Simon. |
| 2. | Armando Ramos Gouveia. Demonstracoes Holograficas de Tamanho Quase-Linear. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1998. Orientador: Yoshiharu Kohayakawa. |
| 3. | Cao Ji Kan. Um Estudo Comparativo Entre Os Métodos Gts e Rd Para Encolhimento de Ciclo. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1998. Orientador: Siang Wun Song. |
| 4. | Carla Yayoi Takemoto. Algoritmos de Imersão de Redes de Interconexão Em Hipercubos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1998. Orientador: Siang Wun Song. |
| 5. | Cassio Polpo de Campos. Geometria Computacional: Algoritmos e Aplicações. (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. 1998. Orientador: Carlos Eduardo Ferreira. |
| 6. | Celma de Oliveira Ribeiro. Um Modelo de Previsão Hierárquico com Indicadores Técnicos. Tese (Doutorado em Engenharia (Engenharia de Produção)) - Universidade de São Paulo, . 1998. Orientador: Julio Michael Stern. |
| 7. | Cibele Dunder. Portfolios Eficientes Incluindo Opções. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1998. Orientador: Julio Michael Stern. |
| 8. | Dan Faccio. Algoritmos Combinatórios para Rearranjo de Seqüências de DNA. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1998. Orientador: Carlos Eduardo Ferreira. |
| 9. | Eduardo Garcia de Freitas. Geometria Computacional: Algoritmos e Aplicações. (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. 1998. Orientador: Carlos Eduardo Ferreira. |
| 10. | EDUARDO JOSE SOLER MESQUITA. Projeto de Dados Em Bancos de Dados Distribuidos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 1998. Orientador: Marcelo Finger. |
| 11. | EINAR LUCIANO GATTONI SAUKAS. Algoritmos de Seleção Para Máquinas Paralelas Com Memória Distribuída. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1998. Orientador: Siang Wun Song. |
| 12. | Francisco Elói Soares de Araujo. Rearranjo de Genomas por Reversões. 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. 1998. Orientador: Jose Augusto Ramos Soares. |
| 13. | Glauber Ferreira Cintra. Algoritmos Hibridos para Problemas de Corte Unidimensional. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1998. Orientador: Yoshiko Wakabayashi. |
| 14. | Leonardo A. T. Montavani. Modelagem de dados multidimensionais. (Graduando em Bacharelado em Ciências da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1998. Orientador: João Eduardo Ferreira. |
| 15. | Loreley Zavattiero. Implementação de um Fragmento TSQL2 para Banco de Dados de Tempo de Validade.. 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. 1998. Orientador: Marcelo Finger. |
| 16. | Magda A.S. Duro. Análise Orientada a Entidade-Objeto. Dissertação (Mestrado em Informatica) - Universidade Presbiteriana Mackenzie, . 1998. Orientador: Valdemar Waingort Setzer. |
| 17. | Marco Aurélio Stefanes. Algoritmos e Implementações Paralelas para Florestas Geradoras Mínimas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1998. Orientador: Jose Augusto Ramos Soares. |
| 18. | Rodrigo de Salvo Braz. Alto Nível Em Redes Neurais. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1998. Orientador: Flavio Soares Correa da Silva. |
| 19. | Sergio Gabriel Tavares. Heurísticas para o Problema de Decomposição de Matrizes. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1998. Orientador: Carlos Eduardo Ferreira. |
| 1. | André Luis Munhos Matos. Controle de transações assíncronas. (Graduando em Bacharelado em Ciências da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1997. Orientador: João Eduardo Ferreira. |
| 2. | Cassio Polpo de Campos. Geometria computacional. Iniciação Científica - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1997. Orientador: José Coelho de Pina Junior. |
| 3. | Eugênio A. Nassu. Bancos de Dados Orientados a Objetos e uma Proposta para um Modelo Conceitual. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 1997. Orientador: Valdemar Waingort Setzer. |
| 4. | FABIANA SOARES SANTANA. Algoritmos Probablilísticos de List Ranking Para Máquinas Paralelas Com Memória Distribuída. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1997. Orientador: Siang Wun Song. |
| 5. | Flávio Keidi Miyazawa. Algoritmos de Aproximação para Problemas de Empacotamento. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1997. Orientador: Yoshiko Wakabayashi. |
| 6. | Francisco A Zampirolli. Desenvolvimento de um sistema de analise morfologica de imagens baseado em grafos de vizinhanca. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1997. Orientador: Junior Barrera. |
| 7. | Luciano Micheletti Hespanhol. Compressão de textos. Iniciação Científica - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1997. Orientador: José Coelho de Pina Junior. |
| 8. | Marcelo G Queiróz. Otimização Global eo Problema de Designação de Fluxos e Capacidades. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1997. Orientador: Carlos Humes Jr. |
| 9. | Paulo Eduardo Santos. Equivalência Entre A Semântica da Lógica de Transações e A Semântica de Sua Implementação Prolog. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 1997. Orientador: Flavio Soares Correa da Silva. |
| 10. | Paulo José Silva e Silva. Método de Ponto Proximal e Separadores. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1997. Orientador: Carlos Humes Jr. |
Data de processamento: 31/03/2016 13:54:45