| 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. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 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. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 36. | 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. |
| 37. | 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. |
| 38. | 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. |
| 39. | 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. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | 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. |
| 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. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 36. | 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. |
| 37. | 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. |
| 38. | 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. |
| 39. | 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. |
| 40. | 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. |
| 41. | 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. |
| 42. | 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. |
| 43. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | É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. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | Vladimir Moreira Rocha. Protocolos P2P para Interligação de Aglomerados em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Fabio Kon. |
| 1. | Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Marcelo Finger. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | 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. |
| 36. | 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. |
| 37. | 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. |
| 38. | 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. |
| 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. | 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. |
| 5. | 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. |
| 6. | Ana Lúcia Lima Marreiros. Algoritmos Primal-duais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: José Coelho de Pina Junior. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | Eduardo Tengan. Automorfismos de grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Arnaldo Mandel. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002. Supervisor: Yoshiharu Kohayakawa. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | É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. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | Magda A.S. Duro. Análise Orientada a Entidade-Objeto. Dissertação (Mestrado em Informatica) - Universidade Presbiteriana Mackenzie, . 1998. Orientador: Valdemar Waingort Setzer. |
| 11. | 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. |
| 12. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | Roberto Hirata Jr. Segmentacao de imagens por tecnicas da morfologia matematica. 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. |
| 8. | Sérgio Borger. Introdução às redes IP, sua gerencia e análise de desempenho usando Coordenadas Paralelas. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 1997. Orientador: Valdemar Waingort Setzer. |
| 1. | CESAR ALBERTO BRAVO PARIENTE. Um Metodo Probabilistico Em Combinatoria. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1996. Orientador: Yoshiharu Kohayakawa. |
| 2. | Daniela Vasconcelos Carbogim. Lógicas Anotadas: Teoria e Aplicações. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1996. Orientador: Flavio Soares Correa da Silva. |
| 3. | FABIO HENRIQUE VIDUANI MARTINEZ. Algoritmos Paralelos Para Construção da Árvore dos Sufixos e Suas Aplicações. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1996. Orientador: Siang Wun Song. |
| 4. | Guillermo P Salas. Operacoes sobre colecoes de intervalos e suas aplicacoes a programacao automatica de maquinas morfologicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1996. Orientador: Junior Barrera. |
| 5. | JAIR DONADELLI JUNIOR. Arranjos de Subespacos, Colapso de Complexos Simpliciais e Complexidade Computacional. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1996. Orientador: Yoshiharu Kohayakawa. |
| 6. | Jorge Nakahara Jr. Criptanálise diferencial-linear aplicada às cifras FEAL-N e FEAL-NX. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1996. Orientador: Routo Terada. |
| 7. | Marcelo de Souza Lauretto. Árvores de Classificação para Escolha de Estratégias de Operação em Mercados de Capitais.. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1996. Orientador: Julio Michael Stern. |
| 8. | Marcelo Ris. Métodos adaptativos de compressão de palvras. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1996. Orientador: Imre Simon. |
| 9. | MARIA APARECIDA MARTINS DE PAULA. Implementações Sistólicas de Redes Neurais Artificiais. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1996. Orientador: Siang Wun Song. |
| 10. | Marko Loparic. Uma aplicação do Método Branch and Cut a um Problema de Roteamento de Veículos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1996. Orientador: Carlos Eduardo Ferreira. |
| 11. | Nina S T Tomita. Programacao automatica de maquinas morfologicas binarias baseada em aprendizado PAC. 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. 1996. Orientador: Junior Barrera. |
| 1. | Henrique Mongelli. Algoritmos paralelos para sistemas lineares. Dissertação (Mestrado em Ciências dos Alimentos) - Universidade de São Paulo, . 1995. Orientador: Routo Terada. |
| 2. | Renata Wasserman. A Lógica de Estruturas de Features e Suas Aplicações. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1995. Orientador: Flavio Soares Correa da Silva. |
| 3. | Roberto Cássio de Araújo. Desenvolvimento de programas orientado a objeto. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1995. Orientador: Routo Terada. |
| 1. | ALFREDO GOLDMAN VEL LEJBMAN. Novas Estruturas de Interconexão À Base de Barramentos e Algoritmos de Comunicação: Uma Contribuição À Computacao Maciçamente Paralela. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1994. Orientador: Siang Wun Song. |
| 2. | F. KON. Sistemas de Arquivos Distribuídos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1994. Orientador: Arnaldo Mandel. |
| 3. | Fabio H Carvalheiro. Construção de Algoritmos Eficientes para Problemas NP-difíceis em Grafos. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 1994. Orientador: Paulo Feofiloff. |
| 4. | Leonidas O Brandão. Políticas Hipercone para Sistemas de Manufatura Flexíveis. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1994. Orientador: Carlos Humes Jr. |
| 5. | Orlando Lee. Passeios e Conexidade Em Grafos Mistos: Algoritmos E Complexidade Computacional. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1994. Orientador: Yoshiko Wakabayashi. |
| 6. | Paulo G. Pinheiro. Fortalecimento da família de cifras FEAL. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo, . 1994. Orientador: Routo Terada. |
| 7. | Renato José da Silva Carmo. O Problema do Subgrafo Planar Ótimo. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1994. Orientador: Yoshiko Wakabayashi. |
| 8. | Ronaldo Fumio Hashimoto. Circuitos e Caminhos Pares/Ímpares Em Grafos e Digrafos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1994. Orientador: Yoshiko Wakabayashi. |
| 1. | Andréa Zisman. Árvores-B e uma Proposta de Implementação. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 1993. Orientador: Valdemar Waingort Setzer. |
| 2. | Flávio Keidi Miyazawa. Algoritmos de Empacotamento Tridimensional: Novas Estratégias e Análises de Desempenho. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1993. Orientador: Yoshiko Wakabayashi. |
| 3. | Haroldo Gonçalves Benatti. Homeomorfismo Em Grafos: Algoritmos e Complexidade Computacional. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1993. Orientador: Yoshiko Wakabayashi. |
| 4. | José Carlos Fontoura Guimarães. Proposta de fortalecimento do sistema criptográfico DES. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1993. Orientador: Routo Terada. |
| 5. | Maristella Ribas Biazzi. Valores Nulos e o Modelo Relacional com Incerteza. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 1993. Orientador: Valdemar Waingort Setzer. |
| 6. | Ricardo Ueda Karpischek. O autômato dos sufixos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1993. Orientador: Imre Simon. |
| 1. | CARLOS ALBERTO ALONSO SANCHES. Novos Algoritmos Simd Para Multiplicação de Matrizes No Hipercubo. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1992. Orientador: Siang Wun Song. |
| 2. | Cristina Gomes Fernandes. Problemas Circulatórios em Grafos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1992. Orientador: Paulo Feofiloff. |
| 3. | EDSON TADASHI MIYAMOTO. Complexidade Aleatoria de Problemas Computacionais. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1992. Orientador: Yoshiharu Kohayakawa. |
| 4. | Fabrício Bandeira Cabral. Uma contribuição à análise de sistemas com servidores lentos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1992. Orientador: Carlos Humes Jr. |
| 5. | Hae Yong Kim. Síntese de imagens e rastreamento de raio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1992. Orientador: Routo Terada. |
| 6. | Karina Marcus. Clutters e Poliedros Bloqueadores e Antibloqueadores. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 1992. Orientador: Yoshiko Wakabayashi. |
| 7. | Lúcia Rosana Moura. Linearizações externas pontos interiores em programação convexa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1992. Orientador: Carlos Humes Jr. |
| 8. | Paulo Régis Zanjacomo. Implementação eficiente de Programação Dinâmica: análise teórica e aplicação à designação de capacidades. 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. 1992. Orientador: Carlos Humes Jr. |
| 9. | Roberto C. Mayer. Sistemas para o desenvolvimento de interfaces de usuário. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 1992. Orientador: Valdemar Waingort Setzer. |
| 10. | Roberto Duó. Fluxos Máximos Em Redes: Algoritmos e Estrutura de Dados. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1992. Orientador: Yoshiko Wakabayashi. |
| 11. | Roderick Mclean. Testing and Extending the Incidence Calculus. Dissertação - University of Edinburgh, . 1992. Supervisor: Flavio Soares Correa da Silva. |
| 12. | Stephen W Kassner. Algoritmos Paralelos em Grafos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1992. Orientador: Paulo Feofiloff. |
| 13. | Tito Manlio Homem de Mello. Uma contribuição ao estudo de estabilidade em Sistemas de manufatura. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1992. Orientador: Carlos Humes Jr. |
| 1. | Alair Pereira do Lago. Sobre os semigrupos de Burnside x{n}=x{n+m}. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1991. Orientador: Imre Simon. |
| 2. | Panario Rodriguez, Daniel N. Complexidade de Problemas Multilineares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1991. Orientador: Arnaldo Mandel. |
| 3. | Satoshi Nagayama. Tabelas de Decisão e Implementação do Gerador I-M-E. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, Banco do Brasil. 1991. Orientador: Valdemar Waingort Setzer. |
| 1. | DILMA MENEZES DA SILVA. Programacao Por Objetos: Conceitos, Linguagens e Uma Experiencia.. Dissertação - Universidade de São Paulo, . 1990. Orientador: Arnaldo Mandel. |
| 2. | JOSE COELHO DE PINA JUNIOR. Estrutura Grafica de Matrizes. Dissertação - Universidade de São Paulo, . 1990. Orientador: Arnaldo Mandel. |
| 1. | Carlos Eduardo Ferreira. O Problema de Steiner Em Grafos: Uma Abordagem Poliédrica. Dissertação (Mestrado em Matemática Aplicada) , . 1989. Orientador: Yoshiko Wakabayashi. |
| 2. | CLAUDIO SANTOS PINHANEZ. Algoritmos Para Arvores de Jogos. Dissertação (Mestrado em Ciências dos Alimentos) - Universidade de São Paulo, . 1989. Orientador: Routo Terada. |
| 3. | ELISA NISHIMURA. Linguagens de Animacao. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1989. Orientador: Routo Terada. |
| 4. | KUNIO OKUDA. Desenvolvimento Formal de Algoritmos Paralelos Sistolicos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1989. Orientador: Siang Wun Song. |
| 5. | Rosalina de Carvalho Fabri. Otimização em sistemas distribuidos com partição de servidores. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1989. Orientador: Carlos Humes Jr. |
| 1. | Celma de Oliveira Ribeiro. métodos de incremento e busca em grafos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, IBM do Brasil. 1988. Orientador: Carlos Humes Jr. |
| 2. | Duarte Lopes de Oliveira. Aspectos Teóricos do Modelo Relacional de Dados e Projeto de Relações. Dissertação (Mestrado em Ciência da Computação) - Instituto Tecnológico de Aeronática, . 1988. Orientador: Valdemar Waingort Setzer. |
| 3. | Isabel Helena Coelho Soares. Métodos de Hashing Externo. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 1988. Orientador: Valdemar Waingort Setzer. |
| 4. | MARCELO CARVALHO. Uma Introducao A Complexidade de Algoritmos Paralelos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 1988. Orientador: Routo Terada. |
| 1. | Alan Mitchell Durham. Análise Sintática e Recuperação de Erros em Linguagens Determinísticas. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 1987. Orientador: Valdemar Waingort Setzer. |
| 2. | ALCEU SANTUCCI BRAVO. Analise Hierarquica de Circuitos Vlsi: Projeto de Um Pre-Processador. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1987. Orientador: Siang Wun Song. |
| 3. | DENISE SAKAI. Compatibilidade de Extensoes de Matroides.. Dissertação - Universidade de São Paulo, . 1987. Orientador: Arnaldo Mandel. |
| 4. | Jose Augusto Ramos Soares. Circuitos disjuntos em grafos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1987. Orientador: Paulo Feofiloff. |
| 1. | AFONSO GALVAO FERREIRA. O Problema do Dobramento Optimal de Pla'S. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 1986. Orientador: Siang Wun Song. |
| 2. | YOSHIHARU KOHAYAKAWA. Uma Aplicacao da Topologia Algebrica A Teoria dos Grafos.. Dissertação - Universidade de São Paulo, . 1986. Orientador: Arnaldo Mandel. |
| 1. | José Roberto Melhado Bezerra. Sôbre problemas de otimização em rêdes de computadores. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1984. Orientador: Carlos Humes Jr. |
| 1. | Nami Kobayashi. Propriedades de conjuntos-igualdade de códigos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1983. Orientador: Imre Simon. |
| 1. | Wagner Tunis Martins. Palavras infinitas sem repetições. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 1980. Orientador: Imre Simon. |
| 1. | Décio Teixeira. Decomposição de programas lineares hierárquicos através do algoritmo primal dual. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1978. Orientador: Carlos Humes Jr. |
| 2. | Maria Angela Melo de Campos Gurgel. Um teorema mini-max para conjuntos parcialmente ordenados finitos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1978. Orientador: Imre Simon. |
| 1. | José Marcílio Sanches. Portabilidade de programas. Dissertação (Mestrado em Matemática Aplicada) - Instituto de Matemática e Estatistica da USP, . 1977. Orientador: Valdemar Waingort Setzer. |
| 2. | Maria Elisabete Bruno Vivian. Eliminação de recursão em programas. Dissertação (Mestrado em Matemática Aplicada) - Instituto de Matemática e Estatistica da USP, . 1977. Orientador: Valdemar Waingort Setzer. |
| 3. | Rená Lapyda. O modelo conceitual de bancos de dados. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica da USP, . 1977. Orientador: Valdemar Waingort Setzer. |
| 4. | Yoshiko Wakabayashi. Sobre Grafos Hamiltonianos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1977. Orientador: Imre Simon. |
| 1. | Arnaldo Mandel. K-subconjuntos limitados de um monóide livre. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1976. Orientador: Imre Simon. |
| 2. | Maria Lúcia U. de Oliveira Braga. Certas Numerações de Grafos. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1976. Orientador: Imre Simon. |
| 1. | Routo Terada. Linguagens Determinísticas. Dissertação (Mestrado em Matemática Aplicada) - Instituto de Matemática e Estatistica da USP, . 1975. Orientador: Valdemar Waingort Setzer. |
| 2. | Siang Wun Song. LISP 1.5 e uma implementacao no sistema B-6700. Dissertação (Mestrado em Matemática Aplicada) - Instituto de Matemática e Estatistica da USP, . 1975. Orientador: Valdemar Waingort Setzer. |
| 1. | Paulo Feofiloff. Sobre os Números de Ramsey. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, . 1974. Orientador: Imre Simon. |
| 1. | Istvan Simon. Sistemas de programação (?). Dissertação (Mestrado em Matemática Aplicada) - Instituto de Matemática e Estatistica da USP, . 1972. Orientador: Valdemar Waingort Setzer. |
Data de processamento: 31/03/2016 13:54:45