66. | 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. |
67. | Yanik Ngoko. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Supervisor: Alfredo Goldman vel Lejbman. |
1. | Alessandro Wagner Palmeira. Monitoramento de métricas de código-fonte de projetos de software livre. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Paulo Roberto Miranda Meirelles. |
2. | 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. |
3. | Alexandre da Silva Freire. Empacotamento de bicliques em grafos bipartidos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Carlos Eduardo Ferreira. |
4. | Alexandre Rossi Paschoal. BIOINFORMÁTICA APLICADA EM RNomics: ESTRATÉGIAS COMPUTACIONAIS PARA CARACTERIZAÇÃO DE RNAS NÃO-CODIFICADORES. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Alan Mitchell Durham. |
5. | Alexandre Torres Porres. Modelos Psicoacústicos de Dissonância para Eletrônica ao Vivo. Tese (Doutorado em Música) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Marcelo Gomes de Queiroz. |
6. | Allan Valin. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012. Orientador: André Fujita. |
7. | Ana Beatriz Vicentim Graciano. Casamento de grafos em estruturas 3D. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Roberto Marcondes Cesar Junior. |
8. | 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. |
9. | Anderson de Araújo. Satisfatibilidade Quantica. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2012. Supervisor: Marcelo Finger. |
10. | Andrea Patricia Jiménez Ramírez. Embeddings of graphs on surfaces and the Ising model. Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Yoshiko Wakabayashi. |
11. | André Yoshiaki Kashiwabara. MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Alan Mitchell Durham. |
12. | 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. |
13. | 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. |
14. | 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. |
15. | Boris Chullo Llaves. Aplicação do método do Gradiente Espectral Projetado ao problema de Compressive Sensing. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Ernesto Julián Goldberg Birgin. |
16. | Caio de Freitas Valente, Gabriel Henrique Orso Reganati. Smart Audio City Guide. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Alfredo Goldman vel Lejbman. |
17. | Camila Mari Matsubara. Algoritmos para o problema da árvore de Steiner com coleta de prêmios. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2012. Orientador: José Coelho de Pina Junior. |
18. | Carlos Eduardo Atencio Torres. Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Renata Wassermann. |
19. | Carlos Henrique Aguena Higa. Inferência de Redes de Regulação Gênica Utilizando o Paradigma de Crescimento de Sementes. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Ronaldo Fumio Hashimoto. |
20. | Carolina Kasuga. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012. Orientador: André Fujita. |
21. | Claudia Josimar Abrao de Araujo. Um Modelo para a Interoperabilidade entre Instituições Heterogêneas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Flavio Soares Correa da Silva. |
22. | Crhistian Noriega. Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2012. Orientador: Flavio Soares Correa da Silva. |
23. | César Gamboa Machado. Jogos de Steiner. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: José Coelho de Pina Junior. |
24. | 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. |
25. | Daniel Augusto Cortez, Lucas R. Colucci, Renato Lerac C. Sá. Otimização de Viagens em Companhias Aéreas Brasileiras. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Alfredo Goldman vel Lejbman. |
26. | Daniel Stein. Encenação de coreografias em nuvens Open Stack. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2012. Orientador: Fabio Kon. |
27. | 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. |
28. | David da Silva Pires. Estimação de movimento a partir de imagens RGBD usando homomorfismo entre grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Orientador: Roberto Marcondes Cesar Junior. |
29. | Diego de Araújo Martinez Camarinha. Monitoramento de métricas de código-fonte de projetos de software livre. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Paulo Roberto Miranda Meirelles. |
30. | 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, . 2012. Orientador: Flavio Soares Correa da Silva. |
31. | 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. |
32. | 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. |
33. | Erika Guetti Suca. Interoperabilidade de documentos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. 2012. Orientador: Flavio Soares Correa da Silva. |
34. | Everton Topan da Silva. ACHUSP Serviço de achados e perdidos para a Universidade de São Paulo. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Alfredo Goldman vel Lejbman. |
35. | 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. |
36. | 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. |
37. | Felipe de Godoi Torres, Geraldo Castro Zampoli. Statim: Um Otimizador de Rotas. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Alfredo Goldman vel Lejbman. |
38. | Fernanda Nascimento Almeida. Descrição da proveniência de dados para extração de conhecimento em sistemas de informação de hemoterapia. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2012. Supervisor: João Eduardo Ferreira. |
39. | 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. |
40. | 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. |
41. | 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. |
42. | Helves Humberto Domingues. . Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2012. Supervisor: João Eduardo Ferreira. |
43. | Jefferson Serafim Ascaneo. Segmentação de imagens com Passeios Aleatórios. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Paulo André Vechiatto de Miranda. |
44. | 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. |
45. | 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. |
46. | João Marco Maciel da Silva. Monitoramento de métricas de código-fonte de projetos de software livre. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Paulo Roberto Miranda Meirelles. |
47. | João Paulo dos Santos Mota. Plataforma de colaboração para auxílio às administrações municipais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Roberto Hirata Junior. |
48. | 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. |
49. | Leonardo Lamas Leandro Ribeiro. Modelagem estratégico-tática em esportes coletivos de invasão: aplicação ao basquetebol. Tese (Doutorado em Educação Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Junior Barrera. |
50. | 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. |
51. | 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. |
52. | 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. |
53. | Luís Felipe Cesar da Rocha Bueno. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Ernesto Julián Goldberg Birgin. |
54. | Lévêque Christophe. Système automatisé d'évaluation de projets basé sur l'étude des réseaux sociaux pour développeurs logiciels. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Alfredo Goldman vel Lejbman. |
55. | Marcela Terakato. Caracterização de Estruturas Secundárias de miRNAs utilizando Grafos. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Alan Mitchell Durham. |
56. | Marcelo da Silva Reis. Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicações. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Junior Barrera. |
57. | Marcelo Hashimoto. Detecção de objetos por reconhecimento de grafos-chave. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Roberto Marcondes Cesar Junior. |
58. | Mariana Elisa Benassi-Werke. Familiaridade, Supressão Articulatória e Comprimento do Estímulo: Influências na Memória de Curto Prazo e Memória Operacional para Tons e Melodias. Tese (Doutorado em Psicobiologia) - Universidade Federal de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Marcelo Gomes de Queiroz. |
59. | Mario Leston Rey. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Yoshiko Wakabayashi. |
60. | Marta Ruiz Costa-jussà. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Supervisor: Renata Wassermann. |
61. | 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. |
62. | 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. |
63. | Mikail de Freitas. Resolvedores SAT. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Finger. |
64. | 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. |
65. | Poliana Magalhães Reis. Análise da distribuição do número de operações de resolvedores SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Finger. |
66. | Renan de Melo Oliveira. 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. |
67. | Renato Avila dos Santos. Uma biblioteca para comunicação ciente de localização geográfica entre dispositivos móveis. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Daniel Macêdo Batista. |
68. | Renato Cordeiro Ferreira. Anotação de genomas. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Alan Mitchell Durham. |
69. | Ricardo de Cillo. Aplicação de análise morfológica para segmentação de páginas em imagens de documentos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Nina Sumiko Tomita Hirata. |
70. | Ricardo Luiz Andrade Abrantes. Problemas de corte com sobras aproveitáveis e eliminação de simetrias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Ernesto Julián Goldberg Birgin. |
71. | 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. |
72. | 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. |
73. | Samuel Plaça de Paula. Algoritmos de aproximação para problemas de clustering. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012. Orientador: Cristina Gomes Fernandes. |
74. | 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. |
75. | Stéphannye Menato. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012. Orientador: André Fujita. |
76. | Suzana de Siqueira Santos. Estudo comparativo de medidas de dependência e aplicações em dados de expressão gênica. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: André Fujita. |
77. | 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. |
78. | Talita Perciano Costa Leite. Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientadores: Roberto Hirata Junior, Roberto Marcondes Cesar Junior. |
79. | 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. |
80. | Tonny Costa Cordeiro. Uma biblioteca para comunicação ciente de localização geográfica entre dispositivos móveis. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2012. Orientador: Daniel Macêdo Batista. |
81. | 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. |
82. | 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. |
83. | Viviane Almeida dos Santos. Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Alfredo Goldman vel Lejbman. |
84. | Wang Xinli. Discrete-geometric functions associated to polyhedral cones and point sets. Tese (Doutorado em Mathematics) - Nanyang Technological University, . 2012. Orientador: Sinai Robins. |
85. | 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. |
86. | Yudistira Mulyadi. Abel summation by parts, in higher dimensions. Dissertação (Mestrado em Mathematics) - Nanyang Technological University, . 2012. Orientador: Sinai Robins. |
1. | Adèle Helena Ribeiro. Análise de Sinais de um Sensor Piroelétrico. (Graduação em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2011. Orientador: Roberto Hirata Junior. |
2. | Alex Pires de Camargo. Análise e disposição de recursos de rede em grades computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Alfredo Goldman vel Lejbman. |
3. | Alexandre Morimitsu. Operadores Conexos Aplicados a Localização de Textos em Imagens. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Ronaldo Fumio Hashimoto. |
4. | Alvaro Henry Mamani Aliaga. Estudo Comparativo de Técnicas de Escalonamento de Tarefas Dependentes para Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Alfredo Goldman vel Lejbman. |
5. | 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. |
6. | 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. |
7. | Augusto Bordignon. Introdução á probabilidade. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
8. | Bhalchandra D. Thatte. Tree-graphs and incidence matrices: theory and applications. Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Supervisor: Yoshiko Wakabayashi. |
9. | 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. |
10. | Claudivan Ribeiro. bigLib: sistema Web de compartilhamento de livros. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: André Fujita. |
11. | Denis Takeshita Ikeda. Seleção Não-Supervisionada de Métodos de Binarização para Documentos Históricos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: Ronaldo Fumio Hashimoto. |
12. | Edson Miyahara. Genealogia Lattes. (Graduação em Computação) - Universidade de São Paulo, . 2011. Orientador: Roberto Marcondes Cesar Junior. |
13. | 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. |
14. | 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. |
15. | Emílio Serafim. Introdução à probabilidade. (Graduando em Matemática Aplicada e Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
16. | Eric Ossami Endo. Conjectura e Prova: Uma Introdução ao Espírito da Matemática. (Graduando em Bacharelado Em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiharu Kohayakawa. |
17. | 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. |
18. | Evaldo Araújo de Oliveira Filho. . Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Roberto Marcondes Cesar Junior. |
19. | Fabrício Martins Lopes. Redes complexas de expressão gênica: síntese, identificação, análise e aplicações. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2011. Orientador: Roberto Marcondes Cesar Junior. |
20. | Flávio Luis Coutinho. Métodos para rastreamento de olhar tolerantes a movimentos de cabeça baseados na razão cruzada. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011. Orientador: Carlos Hitoshi Morimoto. |
21. | Giulia Satiko Maesaka. Otimização Combinatória e Complexidade. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2011. Orientador: Yoshiharu Kohayakawa. |
22. | 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. |
23. | 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. |
24. | Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2011. Orientador: Fabio Kon. |
25. | 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. |
26. | Hiep Han. Hipergrafos quase-aleatórios e imersão de subhipergrafos geradores. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Yoshiharu Kohayakawa. |
27. | 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. |
28. | Igor Shigueo Kawasaki Nakabayashi. Geração de consulta SPARQL a partir de texto. (Graduação em Bacharelado em Matemática Aplicada Computacional) - Universidade de São Paulo, . 2011. Orientador: Renata Wassermann. |
29. | Jesús Pascual Mena Chalco. . Universidade de São Paulo, . 2011. Supervisor: Roberto Marcondes Cesar Junior. |
30. | João Batista Marinho Silva. Computação científica em GPUs. (Graduando em Engenharia Elétrica) - Poli (Escola politécnica da USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
31. | Julia Boettcher. Problemas de imersão e empacotamento em teoria extremal dos grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Yoshiharu Kohayakawa. |
32. | Karla Roberta Pereira do Nascimento. Recoloração Convexa de Caminhos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiko Wakabayashi. |
33. | Kelly Rosa Braghetto. Técnicas de Modelagem para a Análise de Desempenho de Processos de Negócio. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: João Eduardo Ferreira. |
34. | Leandro Ferrari Thomaz. Ensemble: Um arcabouço para construção de sistemas multi-agentes musicais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011. Orientador: Marcelo Gomes de Queiroz. |
35. | Lucas Alves dos Santos. Computação científica em GPUs. (Graduando em Engenharia Elétrica) - Poli (Escola politécnica da USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
36. | Lucas Colucci Cavalcante de Souza. Teoria Combinatória dos Números. (Graduando em Matemática) - Universidade de São Paulo, . 2011. Orientador: Yoshiharu Kohayakawa. |
37. | Lucas Ikeda. Trabalho de Formatura SupervisionadoIdentificador de plágio para o Adessowiki. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: Roberto Hirata Junior. |
38. | Lucas Ikeda França. Tema Identificador de plágio para o Adessowiki.. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: Roberto Hirata Junior. |
39. | 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. |
40. | Marcelo Matheus Gauy. Problemas extremais probabilísticos. (Graduando em Bacharelado Em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: Yoshiharu Kohayakawa. |
41. | 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. |
42. | Miguel Mendes Ruiz. Técnicas de Simulação Acústica Geométrica. (Graduando em Física) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Marcelo Gomes de Queiroz. |
43. | Monica Guimarães Campiteli. . Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Roberto Marcondes Cesar Junior. |
44. | 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. |
45. | Nilo Cesar Teixeira. Estudo e modelagem de soluções de otimização discreta para grades horárias. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: Alfredo Goldman vel Lejbman. |
46. | 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. |
47. | 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. |
48. | 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. |
49. | 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. |
50. | 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. |
51. | Paulo Salem da Silva. Multi-Agent Systems Verification by means of Simulation Analyis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Ana Cristina Vieira de Melo. |
52. | 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. |
53. | Peter David Allen. Problemas Estruturais, Probabilísticos e de Imersão em Teoria Extremal dos Grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Yoshiharu Kohayakawa. |
54. | 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. |
55. | 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. |
56. | 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. |
57. | Rafael Nakanish. Computação Científica em GPUs. (Graduando em Engenharia Elétrica) - Poli (Escola politécnica da USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Walter Figueiredo Mascarenhas. |
58. | 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. |
59. | 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. |
60. | Rodrigo Zerbini. Um estudo de ambientes BSP distribuídos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: Alfredo Goldman vel Lejbman. |
61. | Susanna de Figueiredo Rezende. Tópicos em combinatória e teoria dos grafos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiko Wakabayashi. |
62. | Tiago Nicolosi Bomventi. bigLib: sistema Web de compartilhamento de livros. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2011. Orientador: André Fujita. |
63. | Tiago Oliveira Beraldi. Máquinas de suporte vetorial e o método do Gradiente Espectral Projetado. (Graduando em Bacharelado em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2011. Orientador: Ernesto Julián Goldberg Birgin. |
64. | Tássio Naia dos Santos. Tópicos em combinatória. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Yoshiharu Kohayakawa. |
65. | 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. |
66. | 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. |
67. | Walter Pereira Rodrigues de Souza. Soluções Eficientes para o Cubo Mágico. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2011. Orientador: Nina Sumiko Tomita Hirata. |
68. | Yanik Ngoko. A model for web services choreographies. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Supervisor: Alfredo Goldman vel Lejbman. |
1. | Alexandre Noma. Casamento de grafos, MRF e propagação de crenças. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Roberto Marcondes Cesar Junior. |
2. | Alexandre Ouno Atoji. Implementação de uma grade BOINC no CEC com aplicações para codificação de vídeos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Roberto Hirata Junior. |
3. | Ander Conselvan de Oliveira. Comparação entre uma solução combinatória e um método de planos-de-cortes para o problema do emparelhamento de peso máximo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Carlos Eduardo Ferreira. |
4. | Ary Fagundes Bressane Neto. Uma arquitetura para agentes inteligentes com personalidade e emoção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Flavio Soares Correa da Silva. |
5. | Carlos da Silva dos Santos. Construção de atributos binários baseada em análise de interações. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Roberto Hirata Junior. |
6. | Carlos Denner dos Santos Jr. Estudo Longitudinal Empírico da Atratividade de Projetos de Software Livre. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Supervisor: Fabio Kon. |
7. | Carlos Hoppen. A análise de estruturas discretas de grandes proporções. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Supervisor: Yoshiharu Kohayakawa. |
8. | Carlos Morais. Initial integration between Analizo and Kalibro tools and the Qualipso tool set. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientador: Paulo Roberto Miranda Meirelles. |
9. | Christian Tjandraamadja. O problema da Subseqüência Comum máxima sem Repetições. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Carlos Eduardo Ferreira. |
10. | Daniel de Oliveira Dantas. Segmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráfica. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística Usp, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Junior Barrera. |
11. | Douglas Reis. Negociação eletrônica de ativos financeiros. (Graduação em Ciencias da computação) - IME-USP (Instituto de matemática e estatística, USP). 2010. Orientador: Walter Figueiredo Mascarenhas. |
12. | 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. |
13. | Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Marcelo Finger. |
14. | Felipe Amado. Predicao de Genes e Bioinfomatica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Alan Mitchell Durham. |
15. | 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. |
16. | Filipe Morgado Simões de Campos. Criação automática de índices visuais para aplicação em hipervídeo. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Carlos Hitoshi Morimoto. |
17. | Fillipe Manoel Xavier Resina. Revisor de ontologias. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Renata Wassermann. |
18. | Fillipe Manoel Xavier Resina. Implementação de um revisor de ontologias. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Renata Wassermann. |
19. | 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. |
20. | Helves Humberto Domingues. Replicação assíncrona em bancos de dados evolutivos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Supervisor: João Eduardo Ferreira. |
21. | 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. |
22. | Jeferson Rodrigues da Silva. Renderização interativa de câmeras virtuais a partir da integração de múltiplas câmeras esparsas por meio de homograas e decomposições planares da cena. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Carlos Hitoshi Morimoto. |
23. | Jesus pascual Mena Chalco. Reconstrução de faces 3D através de espaços de componentes principais. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Roberto Marcondes Cesar Junior. |
24. | José David Curado. Geração de metadados. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2010. Orientador: Renata Wassermann. |
25. | João Machini de Miranda. Código Limpo e seu Mapeamento para Métricas de Código-fonte. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Paulo Roberto Miranda Meirelles. |
26. | João Machini de Miranda. Automatic Quality Evaluation of Source-Code: Extending evaluation to other languages for Qualipso Project. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon. |
27. | Juliana Bueno. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2010. Supervisor: Marcelo Finger. |
28. | Karina Valdivia Delgado. Processos Markovianos de Decisão com Probabilidades Imprecisas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Leliane Nunes de Barros. |
29. | 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. |
30. | Lucianna Almeida. A Model of Source Code Quality for FLOSS Projects (Qualipso Project). (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientador: Paulo Roberto Miranda Meirelles. |
31. | Lucianna Thomaz Almeida. Código Limpo e seu Mapeamento para Métricas de Código-fonte. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Paulo Roberto Miranda Meirelles. |
32. | Lucianna Thomaz Almeida. Código limpo e seu mapeamento em métricas de código-fonte. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientador: Fabio Kon. |
33. | 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. |
34. | Marcel Santos Claro. Rotulação e extração de contornos de estruturas ramicadas. Iniciação Científica - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Roberto Marcondes Cesar Junior. |
35. | Marcio Rocha dos Santos. Grand Central Dispatch. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Alfredo Goldman vel Lejbman. |
36. | Marcio Takashi Iura Oshiro. k-árvores de custo mínimo. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: José Coelho de Pina Junior. |
37. | Mauricio Simões Camilo Hernandes. Multiplicadores Algébricos de Validade Lógica. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Marcelo Finger. |
38. | Mina Cintho. Framework para classificação das mutações de HIV. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: João Eduardo Ferreira. |
39. | Mina Cintho. Classificação das mutações de vírus HIV. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2010. Orientador: João Eduardo Ferreira. |
40. | Márcio Moretto Ribeiro. Revisão de Crenças em Lógicas de Descrição e Outras Lógicas não Clássicas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Renata Wassermann. |
41. | Paulo de Tarso Guerra Oliveira. Revisão de Modelos CTL. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Renata Wassermann. |
42. | Paulo Kikuchi Negrão. Geração automática de código a partir de Esquemas Z. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Ana Cristina Vieira de Melo. |
43. | Pavlos Bahia Konstadinidis. A conjectura KLR e 1-afirmações para propriedades anti-Ramsey. Tese (Doutorado em Matemática) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Yoshiharu Kohayakawa. |
44. | Pedro Ivo Gomes de Faria. Bioinformatica. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Alan Mitchell Durham. |
45. | Pedro Leal. Testes Automatizados de Coreografias de Serviços Web. (Graduando em Ciência da Computação) - Universidade de São Paulo, HP Brasil Ltda.. 2010. Orientador: Fabio Kon. |
46. | Pedro Matiello. A π-Calculus Internal Domain-Specific Language for Scala. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Ana Cristina Vieira de Melo. |
47. | 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. |
48. | 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. |
49. | 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. |
50. | Renato Ciani. Métodos computacionais de otimização. (Graduando em Bacharelado em Matemática Aplicada e Computacional) - Universidade de São Paulo, . 2010. Orientador: Ernesto Julián Goldberg Birgin. |
51. | 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. |
52. | Rodolpho Iemini Atoji. Bluetooth e NFC: estudo de caso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Alfredo Goldman vel Lejbman. |
53. | 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. |
54. | Simone Hanazumi. Geração de propriedades sobre programas Java a partir de objetivos de teste. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Ana Cristina Vieira de Melo. |
55. | 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. |
56. | Thiago Colucci. Escalabilidade de Coreografias em Ambientes de Computação em Nuvem. (Graduando em Ciência da Computação) - Universidade de São Paulo, HP Brasil Ltda.. 2010. Orientador: Fabio Kon. |
57. | Thiago da Silva Pinheiro. Tópicos em combinatória. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Yoshiharu Kohayakawa. |
58. | 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. |
59. | Vinícius Daros. Support to integration between Analizo and Kalibro tools and Qualipso tool set. (Graduando em Ciência da Computação) - Universidade de São Paulo, European Commission. 2010. Orientador: Paulo Roberto Miranda Meirelles. |
60. | 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. |
61. | 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. |
62. | 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. |
63. | Yanik Ngoko. L?Approche du portfolio d?algorithmes pour la construction des algorithmes robustes et adaptatifs. Tese (Doutorado em Informatique et Systèmes) - Institut National Polythecnique De Grenoble, . 2010. Supervisor: Alfredo Goldman vel Lejbman. |
1. | Adriano Tabarelli. Redes veiculares e DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Alfredo Goldman vel Lejbman. |
2. | Adriano Tabarelli, Caio Cestari Silva. Redes Tolerantes a Atrasos, Protocolos de Disseminação e Aplicações. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
3. | Alex Massao Morinaga, Hugo Posca de Vasconcelos. Distribuição de tarefas em computação distribuída Estudo de caso: BOINC. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
4. | Alexandre Luís Kundrát Eisenmann. iComb: Um sistema para o ensino e aprendizagem de Combinatória em ambiente Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: Leônidas de Oliveira Brandão. |
5. | Alexandre Ricardo Nardi. Uma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em grades. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2009. Orientador: João Eduardo Ferreira. |
6. | Alvaro Junio Pereira Franco. Consultas de segmentos em janelas: algoritmos e estruturas de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Carlos Eduardo Ferreira. |
7. | Anauê Pereira da Costa e Fabio Sendoda Yamate. Semantic Lattes: uma ferramenta de consulta baseada em ontologias. (Graduação em Engenharia de Computação) - Escola Politécnica, . 2009. Orientador: Renata Wassermann. |
8. | André Shoji Asato e Rafael de O. Lopes Gonçalves. Acessibilidade para deficientes visuais para cores. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Roberto Hirata Junior. |
9. | Atol Fortin Oliveira. Otimização combinatória e teoria dos jogos algorítmica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Cristina Gomes Fernandes. |
10. | Beatriz Stransky. Modelagem multi-resolução de tecidos. Instituto de Matemática e Estatística da USP, Fundação de Apoio à Pesquisa do Estado da Paraíba. 2009. Supervisor: Junior Barrera. |
11. | Bruno Klava. Segmentação Interativa de Imagens via Transformação Watershed. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
12. | Bruno Milan Perfetto. Binarização de imagens digitais. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
13. | Bruno Vercelino da Hora. Verificação de Modelos e Revisão de Crenças. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Marcelo Finger. |
14. | Bruno Yoiti Ozahata. Análise estrutural de expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
15. | Caio Cestari Silva. Redes veiculares e DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Alfredo Goldman vel Lejbman. |
16. | Camila Matsubara. Verificação de Modelos e Geração Automática de Testes. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Marcelo Finger. |
17. | Carlos Eduardo Moreira dos Santos. Gerenciamento de Recursos para Grades Computacionais - Node Control Center. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Fabio Kon. |
18. | Carlos Morais. Kalibro: uma ferramenta de configuração e interpretação de métricas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Paulo Roberto Miranda Meirelles. |
19. | Carlos Morais de Oliveira Filho. Kalibro: Uma ferramenta de configuração e interpretação de métricas de código-fonte. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Fabio Kon. |
20. | Cassia Garcia Ferreira. Compromisso entre algoritmos de roteamento em redes tolerantes a atrasos e desconexões. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
21. | Caue Haucke Porta Guerra, Cecilia Fernandes, Lucas Cavalcant. Calopsita: Um sistema gerenciador de projetos que utilizam metodologias ágeis. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
22. | Cesar Gamboa Machado, Paulo Henrique Floriano. Grafos Evolutivos e Redes Tolerantes a Atrasos. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
23. | Cássia Garcia. Compromissos em DTNs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Alfredo Goldman vel Lejbman. |
24. | César Gamboa Machado. Jornadas em redes tolerantes a atrasos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Apoio ao IPT. 2009. Orientador: Alfredo Goldman vel Lejbman. |
25. | Daniel Cukier. Padrões para Introduzir Novas Ideias na Indústria de Software. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Fabio Kon. |
26. | Edson Kenji Ninomiya e José Antonio Cardoso Marum Jr. Visualizador de Múltiplos Vídeos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Roberto Hirata Junior. |
27. | Fernando Raganhan Barbosa. Redução de Ruído em Áudio Digital. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcelo Gomes de Queiroz. |
28. | Fábio Firmo. Previsão do consumo de recursos computacionais por programas em Grades. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Marcelo Finger. |
29. | Fábio Pisaruk. k-menores caminhos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, . 2009. Orientador: José Coelho de Pina Junior. |
30. | Guilherme Tozo de Carvalho. Aplicação de práticas ágeis na construção de data warehouse evolutivo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: João Eduardo Ferreira. |
31. | Joao Henrique Burckas Ribeiro. Aprendizado Computacional Baseado em Distância a Segmentos de Reta. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009. Orientador: Ronaldo Fumio Hashimoto. |
32. | Juliana Barby Simão. Minimização de funções submodulares. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009. Orientador: José Coelho de Pina Junior. |
33. | 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. |
34. | Leonardo Marchetti. Método dual-fitting para análise de algoritmos de aproximação. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Cristina Gomes Fernandes. |
35. | Luis Fernando Ragognette. Teoria aditiva dos números. Iniciação Científica - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Yoshiharu Kohayakawa. |
36. | Marcela Ortega. Indexação de Dados Semi-estruturados para o Sistema de Informação CEGH. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2009. Orientador: João Eduardo Ferreira. |
37. | Martin Fabichak. Scrum em empresas de jogo digital. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
38. | Martin Moguillansky. Argumentation Dynamics. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidad Nacional del Sur, Consejo Nacional de Investigaciones Científicas y Técnicas. 2009. Supervisor: Renata Wassermann. |
39. | 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. |
40. | Maurício Egidio Cantão. Abordagem algébrica para seleção de clones ótimos em projetos genomas e metagenomas. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Supervisor: João Eduardo Ferreira. |
41. | 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. |
42. | Paulo Henrique Floriano. Jornadas em redes tolerantes a atrasos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Alfredo Goldman vel Lejbman. |
43. | Pedro Paulo de Souza Bento da Silva. Atualização Incremental de Data Warehouses. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2009. Orientador: João Eduardo Ferreira. |
44. | Peter Ngugi Nyumu. Analysis of Scheduling Algorithms on a Parallel Programming Context. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
45. | 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. |
46. | Renato Coelho. Algoritmos Fatorados de Planejamento sob incerteza. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2009. Orientador: Leliane Nunes de Barros. |
47. | Ricardo Alexandre Bastos. Reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
48. | Roberto Piassi Passos Bodo. Sistema de Acompanhamento Musical Automatizado. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcelo Gomes de Queiroz. |
49. | 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. |
50. | Rodrigo Luiz Marques Flores. BOINC + R: Executando rotinas de bioinformática em grades oportunistas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Roberto Hirata Junior. |
51. | Rogério Papetti. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Marcelo Finger. |
52. | Thiago Coraini. Integração de um escalonador de grades com um módulo de análise de padrões de uso. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. 2009. Orientador: Marcelo Finger. |
53. | Thiago Teixeira Santos. Detecção e rastreamento de múltiplos objetos em condição de oclusão severa por meio de integração de suporte sob restrição homográfica. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2009. Orientador: Carlos Hitoshi Morimoto. |
54. | 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. |
55. | 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. |
56. | 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 especificações formais Z. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ana Cristina Vieira de Melo. |
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. | Breno Flesch Franco. Aperfeiçoamento de um software para reconhecimento de expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Nina Sumiko Tomita Hirata. |
7. | Celina Maki Takemura. Análise de posição relativa de objetos usando formas. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Roberto Marcondes Cesar Junior. |
8. | 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. |
9. | 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. |
10. | Cristiano Perez Garcia. Uma abordagem hierárquica para o reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Nina Sumiko Tomita Hirata. |
11. | 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. |
12. | David Corrêa Martins Junior. Seleção de características e predição intrinsecamente multivariada em identificação de redes de regulação gênica. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Orientadores: Junior Barrera, Roberto Marcondes Cesar Junior. |
13. | 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. |
14. | Diego Mira David. Casamento de formas com o descritor shape context. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Ronaldo Fumio Hashimoto. |
15. | 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. |
16. | Fabrício de Souza Nascimento. Implantaçãoo de aplicações em larga escala. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Alfredo Goldman vel Lejbman. |
17. | 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. |
18. | 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. |
19. | 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. |
20. | 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. |
21. | 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. |
22. | Guilherme Otranto e Thomaz Rodrigues Gomes. Projeto e desenvolvimento de um simulador para jogos de futebol. (Graduação em CIência da Computação) - Instituto de Matemática e Estatística Usp, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Junior Barrera. |
23. | 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. |
24. | 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. |
25. | Helio Matayoshi. Simulaçao de sistema Imunologico usandoVerificaçao de Modelos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Finger. |
26. | Henrique Stagni. Modelando Ciclo Celular usando Redes Booleanas Probabilísticas Contextuais. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ronaldo Fumio Hashimoto. |
27. | 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. |
28. | Jaqueline Rodrigues. Sokoban. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Leliane Nunes de Barros. |
29. | Jose de Ribamar Braga Pinheiro Junior. Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Fabio Kon. |
30. | 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. |
31. | Lucas Cavalcante. Algoritmos para SAT Probabilístico. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Marcelo Finger. |
32. | Lucas Piva Rocha Correa. Algoritmos de triangularização: estudo e implementações. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Carlos Eduardo Ferreira. |
33. | 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. |
34. | Luciano Vieira de Araújo. Sistema colaborativo para armazenamento e análise de dados de HIV. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008. Orientador: João Eduardo Ferreira. |
35. | 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. |
36. | 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. |
37. | Marcelo Ris. Representação de sistemas biológicos a partir de sistemas dinâmicos: controle da transcrição a partir do estrógeno. Tese (Doutorado em Doutorado em Bioinformática) - Departamento de Ciência da Computação Bioinfo Usp, . 2008. Orientador: Junior Barrera. |
38. | 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. |
39. | Marina Andretta. Tópicos em otimização com restrições lineares. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ernesto Julián Goldberg Birgin. |
40. | Maya Jakobine Stein. Problemas finitos e infinitos da teoria dos grafos e hipergrafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Supervisor: Yoshiharu Kohayakawa. |
41. | Márcio Katsumi Oikawa. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2008. Orientador: João Eduardo Ferreira. |
42. | Márcio Vinicius dos Santos. Uso de Virtualização em Grades Computacionais. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Fabio Kon. |
43. | 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. |
44. | Natan Costa Lima. Algoritmos e estruturas de dados para problemas de deslocamento no plano. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Carlos Eduardo Ferreira. |
45. | Nestor Walter Trepode. . Faculdade de Flosofia Ciências e Letras da USP de Ribeirão Preto, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Supervisor: Junior Barrera. |
46. | 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. |
47. | 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. |
48. | Pedro Matiello. Provadores de Teoremas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Finger. |
49. | Rafael Crivellari Saliba Schouery. Algoritmos de aproximação e problemas com sequências. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Cristina Gomes Fernandes. |
50. | Raphael Yokoingawa de Camargo. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Supervisor: Fabio Kon. |
51. | 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. |
52. | 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. |
53. | 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. |
54. | Ricardo Sider. Análise Estrutural de Expressões Matemáticas Manuscritas. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Nina Sumiko Tomita Hirata. |
55. | Rodolpho Iemini Atoji. Bluetooth e NFC: estudo de caso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Alfredo Goldman vel Lejbman. |
56. | Rudini Menezes Sampaio. Limites de seqüências de permutações de inteiros. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Yoshiharu Kohayakawa. |
57. | Vitor Onuchic. Caracterização de Estruturas Secundárias de RNAs utilizando Grafos. (Graduando em Bacharelado em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Alan Mitchell Durham. |
1. | A. Mello, E. Y. Komatsu, F. Okuda e L. Hing. Math-Picasso: Segmentação e reconhecimento de caracteres em expressões matemáticas manuscritas. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2007. Orientador: Nina Sumiko Tomita Hirata. |
2. | Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Marcelo Finger. |
3. | Alexandre Freire da Silva. Reflexões sobre o Ensino de Metodologias Ágeis na Academia, na Indústria e no Governo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Fabio Kon. |
4. | Alexandre Oki Takinami, Carlos Eduardo Manssur. Tail A Java Technical Analysis Library. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
5. | Ana Beatriz Vicentim Graciano. Rastreamento de objetos baseado em reconhecimento estrutural de padrões. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Roberto Marcondes Cesar Junior. |
6. | Andre de M. Folli e Bruno H. Yoshimura e Gustavo A. Nery. Adequabilidade do Kepler para pacotes de Bioinformática do R. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Roberto Hirata Junior. |
7. | Andreia Cristina G. Machion. Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2007. Orientador: Leliane Nunes de Barros. |
8. | Andreza Silva de Oliveira. Acompanhamento (tracking) de projetos de desenvolvimento de software com métodos ágeis. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: Fabio Kon. |
9. | André Fujita. Análise de dados de expressão gênica: normalização de microarrays e modelagem de redes regulatórias. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Carlos Eduardo Ferreira. |
10. | André Gustavo de Andrade. Integração de Verificadores Formais para Agentes Móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Ana Cristina Vieira de Melo. |
11. | André Yoshiaki Kashiwabara. MYOP: Um ar cabouço para a predição de genes ab-initio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Alan Mitchell Durham. |
12. | Arnaldo Câmara Lara. Segmentação de Movimento Usando Morfologia Matemática. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Roberto Hirata Junior. |
13. | Augusto Fernandez Vellozo. Alinhamentos com Rearranjos. em Matematica Aplicada/Ciencia da Computacao) - Instituto de Matematica e estatistica da Universidade de Sao Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Alair Pereira do Lago. |
14. | Christian Tjandraamadja. Subseqüência Comum mais Longa sem Repetições e Variantes. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Carlos Eduardo Ferreira. |
15. | Christiane Neme Campos. Aspectos teóricos, estruturais e de otimização de alguns problemas em grafo. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Supervisor: Yoshiko Wakabayashi. |
16. | Crhistian Noriega. Um Modelo para Ambientes Inteligentes Baseado em Serviços Web Semânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Flavio Soares Correa da Silva. |
17. | Danielle Tiemy Paulo. MOOFS - Mobile Objects Oriented File System. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
18. | Danilo Toshiaki Sato. Uso eficaz de métricas em métodos ágeis de desenvolvimento de software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
19. | David da Silva Pires. Rastreamento de componentes conexas em vídeo 4D. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Roberto Marcondes Cesar Junior. |
20. | David Desario. Polyhedral theta functions and their applications to combinatorial geometry. Tese (Doutorado em Mathematics) - Temple University, . 2007. Orientador: Sinai Robins. |
21. | David Paulo Pereira. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Ana Cristina Vieira de Melo. |
22. | Domingos Dellamonica Junior. Extração de aleatoriedade a partir de fontes defeituosas. Dissertação (Mestrado em Ciencia da Computacao) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Yoshiharu Kohayakawa. |
23. | Eduardo Leal Guerra. InGride: um ambiente integrado e extensível de desenvolvimento para computação em grades. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
24. | 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. |
25. | Fernando Castor Filho. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Supervisor: Fabio Kon. |
26. | 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. |
27. | Gerardo Valdisio Rodrigues Vianna. Técnicas para construção de árvores filogenéticas. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, . 2007. Supervisor: Carlos Eduardo Ferreira. |
28. | 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. |
29. | 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. |
30. | Helton Massato Kishi. Planejamento Probabilístico. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Leliane Nunes de Barros. |
31. | 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. |
32. | Jan Marcel Gentil. Sistemas de equações não-lineares e problemas de empacotamento.. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Ernesto Julián Goldberg Birgin. |
33. | 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. |
34. | 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. |
35. | 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. |
36. | 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. |
37. | Mauricio Chui Rodrigues. Encapsulando a NavigationPlanTool como Serviços Web. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: João Eduardo Ferreira. |
38. | Maurício Simões Camilo Henandes. Fundamentos Lógicos da Linguística Computacional. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. 2007. Orientador: Marcelo Finger. |
39. | Nestor Walter Trepode. Modelagem do controle gênico do ciclo celular por redes genéticas probabilísticas. Tese (Doutorado em Bioinformática) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Junior Barrera. |
40. | Paulo Cheque Bernardo. Testes Automatizados em Métodos Ágeis de Desenvolvimento de Software. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: Fabio Kon. |
41. | 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. |
42. | 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. |
43. | Raphael Yokoingawa de Camargo. Armazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Fabio Kon. |
44. | 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. |
45. | Renato Lundberg. Desenvolvimento de portal Web para submissão e controle em grades computacionais. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Fabio Kon. |
46. | Rodrigo Della Vittoria Duarte. Estudo e desenvolvimento de novas funcionalidades do Java Pathfinder. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Ana Cristina Vieira de Melo. |
47. | Rodrigo Marques Flores. R-GeneCliques. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Roberto Hirata Junior. |
48. | 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. |
49. | Rodrigo Rueda. Simulação Computacional de Células do Sistema Imunológico Humano. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2007. Orientadores: Nina Sumiko Tomita Hirata, Marcelo Finger. |
50. | Silvio do Lago Pereira. Planejamento sob incertezas para metas de alcançabilidade estendidas. Tese (Doutorado em Doutor em Ciências) - Instituto de Matemática e Estatística, . 2007. Orientador: Leliane Nunes de Barros. |
51. | Simone Hanazumi. Projeto de Iniciação Científica Ferramenta para Análise do Tratamento Excepcional de Objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Ana Cristina Vieira de Melo. |
52. | 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. |
53. | Thiago Coraini. Implementação de um escalonador para grades. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Marcelo Finger. |
54. | 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. |
55. | Tiago Garcia. Simulação Computacional de Células do Sistema Imunológico Humano. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Marcelo Finger. |
56. | Yossi Zana. Análise de faces em coordenadas polares. Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Supervisor: Roberto Marcondes Cesar Junior. |
57. | É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. | Ana Paula dos Santos Mota. Borboleta: sistema móvel para atendimento domiciliar de saúde. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: Fabio Kon. |
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. | Arlindo Flávio da Conceição. Voz e vídeo sobre redes sem fio IEEE 802.11. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: Fabio Kon. |
6. | Bruno Klava. Ferramenta interativa para segmentação de imagens digitais. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006. Orientador: Nina Sumiko Tomita Hirata. |
7. | 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. |
8. | 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. |
9. | 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. |
10. | 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. |
11. | 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. |
12. | 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. |
13. | Deise Harumi Aoki. Origami computacional: construção de bases. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: José Coelho de Pina Junior. |
14. | 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. |
15. | Eduardo Menezes de Morais. Implementação de um resolvedor SAT para lógica $n$-valentes baseado em Álgebras Booleanas.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006. Orientador: Marcelo Finger. |
16. | Eduardo Pires, Pedro Oliveira e Ricky Chow. Sistema Titanium de Reconhecimento de Escrita Online - SisTREO. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006. Orientador: Nina Sumiko Tomita Hirata. |
17. | Eloiza Sonoda. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006. Supervisor: Fabio Kon. |
18. | Fabio Alexandre Campos Tisovec. Implementação de um resolvedor SAT para lógica clássica e modal baseado em Álgebras Booleanas.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2006. Orientador: Marcelo Finger. |
19. | 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. |
20. | 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. |
21. | 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. |
22. | Francisco Sobreira Netto. Medição de desempenho do gerenciamento de processos de negócio -BPM no PNAFE: uma proposta de modelo. Tese (Doutorado em Administração) - Universidade de São Paulo, . 2006. Supervisor: João Eduardo Ferreira. |
23. | Frédéric Chataigner (procedente da Université Paris 7). Approximation algorithms, complexity, and non-approximability results for graph problems. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Supervisor: Yoshiko Wakabayashi. |
24. | Fábio Mazete Reaes. Reconhecimento de faces em imagens: projeto Beholder. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2006. Orientador: Nina Sumiko Tomita Hirata. |
25. | 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. |
26. | Gordana Manic. Empacotamento de subgrafos em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006. Orientador: Yoshiko Wakabayashi. |
27. | Gustavo Henrique Montesião Sousa. Técnicas em Síntese Digital e Composição Algorítmica. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: Marcelo Gomes de Queiroz. |
28. | Jessica Cuomo. Laplacians of some planar graphs and their eigenvalues. Dissertação (Mestrado em Mathematics) - Temple University, . 2006. Orientador: Sinai Robins. |
29. | Jozef Skokan. Aplicações de quase-aleatoriedade em combinatória. Instituto de Matemática e Estatística, National Science Foundation. 2006. Supervisor: Yoshiharu Kohayakawa. |
30. | 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. |
31. | 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. |
32. | Kelly Rosa Braghetto. Identificação Não-Supervisionada de Padrões de Fluxos em Workflow Científicos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Supervisor: Roberto Marcondes Cesar Junior. |
33. | 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. |
34. | Luciana Maria Gregolin Dias. Projeto Acústico Ótimo de Salas de Escuta. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Marcelo Gomes de Queiroz. |
35. | 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. |
36. | Neil Weikel. Linear programming and its applications to the real estate market. Dissertação (Mestrado em Mathematics) - Temple University, . 2006. Orientador: Sinai Robins. |
37. | Rafael Antonio Cosentino. Origami computacional: dobrar e cortar. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: José Coelho de Pina Junior. |
38. | Rafael Durbano Lobato. Algoritmos de programação dinâmica para o problema de carregamento do palete do produtor. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Ernesto Julián Goldberg Birgin. |
39. | 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. |
40. | 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. |
41. | 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. |
42. | 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. |
1. | Adolpho da Costa Pacheco e Camila Pacheco Marques. Combinação de Classificadores. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2005. Orientador: Nina Sumiko Tomita Hirata. |
2. | Adriano Brito Mitre. Técnicas de Transcrição Automática em Computação Musical. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2005. Orientador: Marcelo Gomes de Queiroz. |
3. | Ana Mota. Desenvolvimento de um plugin Eclipse para o ensino de programação baseada em Padrões Elementares. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, IBM. 2005. Orientador: Leliane Nunes de Barros. |
4. | Anderson Sanches. Construção e estudos sobre ontologias de bioquímica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Renata Wassermann. |
5. | 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. |
6. | 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. |
7. | 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. |
8. | 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. |
9. | Francisco Nogueira Calmon Sobral. Empacotamento usando ferramentas de programacao nao linear. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Ernesto Julián Goldberg Birgin. |
10. | 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. |
11. | George Henrique Silva. Construção de agentes inteligentes para a Web Semântica. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Leliane Nunes de Barros. |
12. | 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. |
13. | Hugo Corbucci. Ontologia de orientação a objetos. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Renata Wassermann. |
14. | 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. |
15. | Jefferson Schoenfeld. Bagging e Boosting Aplicados ao Projeto de Operadores Morfológicos de Imagens. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2005. Orientador: Nina Sumiko Tomita Hirata. |
16. | 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. |
17. | 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. |
18. | 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. |
19. | 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. |
20. | 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. |
21. | Marcos Yoshinori Nakashima. CV Lattes e Web-semântica. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Renata Wassermann. |
22. | 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. |
23. | Patricia Megumi Matsumoto. Parser para geração de um modelo de componentes e conexões a partir de um programa em C. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, IBM. 2005. Orientador: Leliane Nunes de Barros. |
24. | 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. |
25. | Rafael Crivellari Saliba Schouery. Computador Hipo. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Roberto Hirata Junior. |
26. | Renato José da Silva Carmo. Dois Problemas de Busca. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Yoshiharu Kohayakawa. |
27. | 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. |
28. | Ricardo Yamamoto Abe. Editores de Configuração e softwares de implementação de pipelines. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2005. Orientador: Alan Mitchell Durham. |
29. | 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. |
30. | 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. |
31. | Roger Ricardo Flores de Araujo. Algoritmos para Emparelhamentos. Iniciação Científica - Instituto de Matemática e Estatística, . 2005. Orientador: José Coelho de Pina Junior. |
32. | 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. |
33. | Said Sadique Adi. Identificação de genes por comparação de seqüências. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Orientador: Carlos Eduardo Ferreira. |
34. | 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. |
35. | Sergio Drumond Ventura. Tecnicas de otimizacao para estimacao de parametros de filmes finos. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Supervisor: Ernesto Julián Goldberg Birgin. |
36. | Silvia Cristina Dias Pinto. Análise de formas 3D usando wavelets 1D, 2D e 3D. Tese (Doutorado em IFSC-USP - São Carlos) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Roberto Marcondes Cesar Junior. |
37. | 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. |
38. | Vladimir Moreira Rocha. Protocolos P2P para Interligação de Aglomerados em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Fabio Kon. |
1. | Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Marcelo Finger. |
2. | Alvaro Heiji Miyazawa. Uma Modelo Formal de Agentes Móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2004. Orientador: Ana Cristina Vieira de Melo. |
3. | Andrei Goldchleger. InteGrade: Um Sistema de Middleware para Computação em Grade Oportunista. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Fabio Kon. |
4. | André Yoshiaki Kashiwabara. Scarsdb um banco de dados de marcadores genéticos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Alan Mitchell Durham. |
5. | Bianca Bacci Fernandes. Design Patterns for DIP. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
6. | Bruno Fernandes Cerqueira Leite. Versões Probabilísticas de Resultados da Teoria Combinatória dos Números. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Yoshiharu Kohayakawa. |
7. | Caetano Giminez Carezato. Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Junior Barrera. |
8. | Camila Garcia Nunes. Traffic analysis with image processing. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
9. | Carlos Eduardo Calabrez. Uma comparação entre diversas tecnologias de comunicação de objetos distribuídos em Java. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
10. | Carlos Henrique Cardonha. Computação Quântica: Complexidade e Algoritmos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Cristina Gomes Fernandes. |
11. | Celso Oviedo da Silva Lopes. - VideoChat - Uma Ferramenta de Videoconferência Pessoal. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
12. | César Passoni. Traffic analysis with image processing. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
13. | Daniel André Vaquero. Projeto Multirresolução de Operadores Morfológicos a Partir de Exemplos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Supervisor: Roberto Hirata Junior. |
14. | Daniel O. Dantas. Uma técnica automática para medida de sinal de imagens de cDNA. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Junior Barrera. |
15. | Daniel Vieira. Geração de Classificadores de Seqüências Genéticas Utilizando Inferência de Linguagens Regulares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Alan Mitchell Durham. |
16. | David Corrêa Martins Junior. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Roberto Marcondes Cesar Junior. |
17. | Eric Rodrigo Ramos. Design Patterns for DIP. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
18. | Felipe Werndl Trevizan. Robótica Cognitiva. (Graduando em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Leliane Nunes de Barros. |
19. | Flavio Protasio Ribeiro. Uma Interface para o OpenCyc. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Renata Wassermann. |
20. | 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. |
21. | 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. |
22. | Glauber Ferreira Cintra. Algoritmos para Problemas de Corte de Guilhotina Bidimensional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Yoshiko Wakabayashi. |
23. | 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. |
24. | 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. |
25. | 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. |
26. | Jae Nam Choi. Montagem da via da proteina MT. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: André Fujita. |
27. | 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. |
28. | Juliana Barby Simão. Fluxos em Redes. Iniciação Científica - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: José Coelho de Pina Junior. |
29. | Leandro Bororo. Empacotamento de retangulos. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Ernesto Julián Goldberg Birgin. |
30. | 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. |
31. | 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. |
32. | Liliane Rose Benning Salgado. Algoritmos de Aproximação para Partições Conexas em Grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Yoshiko Wakabayashi. |
33. | Lourival Paulino da Silva. Um Modelo Formal para a Quinta Disciplina. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Flavio Soares Correa da Silva. |
34. | Marcel K. de Carli Silva. Computação Quântica: Complexidade e Algoritmos. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Cristina Gomes Fernandes. |
35. | Marcelo Hashimoto. Fluxos em Redes. Iniciação Científica - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: José Coelho de Pina Junior. |
36. | 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. |
37. | 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. |
38. | 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. |
39. | 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. |
40. | Márcio Moretto Ribeiro. Revisão em lógica de descrições. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Renata Wassermann. |
41. | 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. |
42. | Nelson Guedes Paulo Junior. Animações para algoritmos em grafos. Iniciação Científica - Instituto de Matemática e Estatística, . 2004. Orientador: José Coelho de Pina Junior. |
43. | 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. |
44. | Paula Akemi Nishimoto. A dotNet Grid Computer. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
45. | Paulo Roberto de Araújo França Nunes. Grafo de Controle de fluxo de objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Ana Cristina Vieira de Melo. |
46. | Paulo Roberto de Araújo França Nunes. Fluxo de Objetos. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Ana Cristina Vieira de Melo. |
47. | Paulo Salem da Silva. Framework para cooperação entre ferramentas de verificação. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2004. Orientador: Ana Cristina Vieira de Melo. |
48. | Renato David Puga. Construção do transcriptoma de prostata. Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: André Fujita. |
49. | Renato Senda. Ambientes interativos tridimensionais. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2004. Orientador: Carlos Hitoshi Morimoto. |
50. | 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. |
51. | Rodrigo Assirati Dias. A dotNet Grid Computer. (Graduação em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, . 2004. Orientador: Roberto Hirata Junior. |
52. | Rodrigo Bernardo Pimentel. Implementação de um algoritmo SAT paralelizado sobre Grades de Computadores. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2004. Orientador: Marcelo Finger. |
53. | Rogerio Kakehashi. Legolog e Java. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, . 2004. Orientador: Renata Wassermann. |
54. | 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. |
55. | 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. |
56. | 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. |
57. | Élcio Koiti Nakashima. Reconhecimento Automático de Placas de Veículos. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2004. Orientador: Nina Sumiko Tomita Hirata. |
1. | Adilson de Jesus Sanchez. Uso de Redes Bayesianas no Gerenciamento de Manutenção de Software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
2. | Aldebaran Perseke. Tolopologia de Espaços de Estados em Planejamento com Variáveis Numéricas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Leliane Nunes de Barros. |
3. | Alessandro Santiago dos Santos. Estratégias de Hand-off com balanceamento de carga para computação móvel. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Alfredo Goldman vel Lejbman. |
4. | Alex Minoru Kusano. Projeto de Classificadores Lineares para Reconhecimento de Padrões em Amostras Pequenas. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Ronaldo Fumio Hashimoto. |
5. | Alexandre Noma. Análise Experimental de Algoritmos de Planaridade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientadores: José Coelho de Pina Junior, Cristina Gomes Fernandes. |
6. | Ana Lúcia Lima Marreiros. Algoritmos Primal-duais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: José Coelho de Pina Junior. |
7. | Andrew Yuan. Ontologias e a Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Renata Wassermann. |
8. | André Gustavo de Andrade. Integração de Verificadores de agentes móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: Ana Cristina Vieira de Melo. |
9. | Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
10. | Ariane Machado-Lima. Predição Computacional de Genes de RNA. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003. Orientador: Alan Mitchell Durham. |
11. | Bruno Klava. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
12. | Bruno Pera. Interfaces baseadas em visão computacional. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Carlos Hitoshi Morimoto. |
13. | Carlos Kobayashi. Editor de Cabeçalhos para Textos do Corpus Lacio-Web. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
14. | Celina Maki Takemura. Análise de formas representadas por marcos utilizando características mono e multiescala. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003. Orientador: Roberto Marcondes Cesar Junior. |
15. | Christian Fornos Klein. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
16. | Daniel de Angelis Cordeiro. Suporte para Aplicações com Conhecimento da Rede através de Pesquisa por Pacotes. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: Alfredo Goldman vel Lejbman. |
17. | Daniela Akizuki. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
18. | 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. |
19. | 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. |
20. | Estela Maris Rodrigues. Algoritmos para Comparação de Árvores Filogenéticas e o Problema dos Pontos de Recombinação. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: Yoshiko Wakabayashi. |
21. | Eugênio Akihiro Nassu. Consultas envolvendo. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
22. | 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. |
23. | Fabio Henrique Nishihara. Um modelo continuo para o carregamento de paletes do produtor. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Ernesto Julián Goldberg Birgin. |
24. | 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. |
25. | Fernando Mario de Oliveira Filho. Estratégias de Solução de Problemas de Otimização Combinatória. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Carlos Eduardo Ferreira. |
26. | Francisco José da Silva e Silva. Adaptação Dinâmica de Sistemas Distribuídos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003. Supervisor: Fabio Kon. |
27. | Fábio Murilo Ikeda. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
28. | 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. |
29. | João Vitor Baldini Soares. Segmentação de imagens de retina usando wavelets. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Roberto Marcondes Cesar Junior. |
30. | Juliana Barby Simão. IDE para Prolog. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, IBM. 2003. Orientador: Renata Wassermann. |
31. | Leonardo Marques Alves de 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. |
32. | Luiz Henrique Mariano de Araújo. Ferramenta Interativa de Desenho de Redes de Regulação Gênica. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2003. Orientador: Nina Sumiko Tomita Hirata. |
33. | 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. |
34. | 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. |
35. | 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. |
36. | Marcos Eduardo Bolelli Broinzi. Genflow: um ambiente para integração de dados e processos em aplicações de bioinformática. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2003. Orientador: João Eduardo Ferreira. |
37. | Marcus Machado Sampaio Moyses. Teclado baseado no olhar. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2003. Orientador: Carlos Hitoshi Morimoto. |
38. | 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. |
39. | 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. |
40. | Roberto Soares Caldas. Animação de objetos rígidos baseado em modelos físicos.. (Graduando em Engenharia Elétronica Digital) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Carlos Hitoshi Morimoto. |
41. | Rodrigo Assirati Dias. Análise de dados de microarrays. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2003. Orientador: Roberto Hirata Junior. |
42. | 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. |
43. | Wendel Scardua. Interface Didática de um Sistema Tutor de Programação. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, IBM. 2003. Orientador: Leliane Nunes de Barros. |
44. | Weslley Emmanuel Martins Lima. Uma biblioteca para simulação de protocolos de entrega de mensagens em redes móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Alan Mitchell Durham. |
1. | A B V Graciano. Rastreamento em Vídeo Baseado em Contornos. (Graduando em Computação) - Universidade de São Paulo, . 2002. Orientador: Roberto Marcondes Cesar Junior. |
2. | André Gustavo de Andrade. Ambiente amigável para especificação e verificação de agentes móveis. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Ana Cristina Vieira de Melo. |
3. | Antônio Carlos dos Santos. Tutoria. Orientação de outra natureza - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
4. | Ariane Machado Lima de Oliveira. Laboratorio de geracao de classificadores de sequencias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Alan Mitchell Durham. |
5. | Bianka M. M. Teixeira Goncalves. Alternativas para propagacao das atualizacoes de um banco de dados operacional para um data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: João Eduardo Ferreira. |
6. | Christian Asmussen. Programação eXtrema. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2002. Orientador: Fabio Kon. |
7. | Christian Rivolta Bernauer. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
8. | 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. |
9. | Danilo Conde. Biblioteca Virtual. (Graduação em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2002. Orientador: Renata Wassermann. |
10. | Danilo Eiji Seki. Extensões do Magic Pointing. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2002. Orientador: Carlos Hitoshi Morimoto. |
11. | 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. |
12. | 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. |
13. | 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. |
14. | 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. |
15. | Emerson L N Tozette. Métodos de extração de esqueletos de vasos da retina. (Graduando em Computação) - Universidade de São Paulo, . 2002. Orientador: Roberto Marcondes Cesar Junior. |
16. | 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. |
17. | Flávia Rainone. E-gene um editor genérico para configuração. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Alan Mitchell Durham. |
18. | 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. |
19. | Jair Donadelli Júnior. Resultados de Ramsey e de Densidade para Grafos Pseudo-aleatórios Esparsos. Tese (Doutorado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Yoshiharu Kohayakawa. |
20. | 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. |
21. | 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. |
22. | Luiz Henrique Mariano de Araujo. Ferramenta Interativa de Desenho de Redes de Regulação Gênica. (Graduando em Bacharelado em Ciencia da Computacao) - Instituto de Matemática e Estatística, . 2002. Orientador: Nina Sumiko Tomita Hirata. |
23. | Marcel Brun. Projetos de operadores morfológicos multi-escala por otimização estatística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Junior Barrera. |
24. | 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. |
25. | Marlon Gripp Chermont. Laboratório Virtual de Ensino de Inteligência Artificial. (Graduando em Engenharia da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Leliane Nunes de Barros. |
26. | Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002. Supervisor: Yoshiharu Kohayakawa. |
27. | Michel Koji Mizusaka. Uma aplicação de aprendizado não-supervisionado para desembaralhar imagens. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002. Orientador: Roberto Hirata Junior. |
28. | 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. |
29. | Paula Akemi Nishimoto. O uso do Mathcad para o auxílio no ensino de programação. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002. Orientador: Roberto Hirata Junior. |
30. | Paulo Eduardo Silveira. Panda - sistema de acompanhamento didático. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2002. Orientador: Carlos Hitoshi Morimoto. |
31. | Rodrigo Assirati Dias. Análise de dados de microarrays. (Graduando em Bacharelado Em Ciência da Computação) - Faculdade SENAC de Ciências Exatas e Tecnologia, Serviço de Ensino e Aprendizagem do Comércio. 2002. Orientador: Roberto Hirata Junior. |
32. | Rodrigo Vieira Couto. Estágio Supervisionado. (Graduação em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
33. | Rogério Fajardo. Lógicas Modais. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Marcelo Finger. |
34. | 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. |
35. | 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. |
36. | Tiago Schumacher Barcelos. Interfaces baseadas em visão computacional. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Carlos Hitoshi Morimoto. |
37. | 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. |
38. | Yang Yili. AcMus - Software para cálculo de parâmetros acústicos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Fabio Kon. |
1. | Alexandre Freire da Silva. XPUSP um sistema para atribuição didática. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Alfredo Goldman vel Lejbman. |
2. | Anselmo H Kumazawa. Algoritmos genéticos para segmentação de imagens multiespectrais. (Graduando em Computação) - Universidade de São Paulo, . 2001. Orientador: Roberto Marcondes Cesar Junior. |
3. | Aritanan Borges Garcia Gruber. Algoritmos e Estruturas de Dados para Manutenção de Árvores Geradoras Mínimas em Grafos Dinâmicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Carlos Eduardo Ferreira. |
4. | Bruno M Moutinho. Composição de fluxos de Controle de framworks Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001. Orientador: Ana Cristina Vieira de Melo. |
5. | CARLOS HENRIQUE MAIA BRAGA. Meta Modelo para Controle Corporativo de Estratégia de Replicação de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: João Eduardo Ferreira. |
6. | D da S Pires. Segmentação de imagens baseada em casamento de grafos. (Graduando em Computação) - Universidade de São Paulo, . 2001. Orientador: Roberto Marcondes Cesar Junior. |
7. | Fabio Silva Dias. Programação Quadrática aplicada à Teoria Moderna de Finanças. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2001. Orientador: Ernesto Julián Goldberg Birgin. |
8. | Fernando Correa de Lima. Interface para programas de linguistica computacional. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001. Orientador: Marcelo Finger. |
9. | Flavio Protasio Ribeiro. Revisão de Crenças e Manutenção de Consistência. (Graduando em Engenharia - Ciclo Básico) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Renata Wassermann. |
10. | 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. |
11. | Gláucio S Lé. Métodos de clustering em bioinformática. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Roberto Marcondes Cesar Junior. |
12. | 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. |
13. | 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. |
14. | 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. |
15. | 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. |
16. | Martha Ximena Torres Delgado. . Instituto de Matemática e Estatística Usp, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Supervisor: Junior Barrera. |
17. | Raphael Gustavo D'Almeida Vilamiu. Técnicas de Inteligência Artificial para Jogos - Sokoban. (Graduando em Bacharelado em Física) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Leliane Nunes de Barros. |
18. | Renata Wassermann. . Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2001. Supervisor: Marcelo Finger. |
19. | Roberto Hirata Jr. Projeto de operadores morfológicos para imagens e sinais: abordagem de reticulados finitos. Tese - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Junior Barrera. |
20. | 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. |
21. | 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. |
22. | 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. |
23. | Thiago Carvalho de Sousa. Revisão de Crenças e Banco de Dados. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2001. Orientador: Renata Wassermann. |
1. | André Casado Castanho. Desenvolvimento de um toolbox HTML para o Matlab. (Graduando em Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Roberto Marcondes Cesar Junior. |
2. | Carlos Ramon Pantaleon Dionisio. Geometria Computacional de Pontos em Movimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000. Orientador: José Coelho de Pina Junior. |
3. | Cassio Polpo de Campos. Problemas Dinâmicos em Geometria Computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Carlos Eduardo Ferreira. |
4. | Eduardo Garcia de Freitas. Problemas Cinéticos em Geometria Computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Carlos Eduardo Ferreira. |
5. | Franklin Cesar Flores. Segmentação de vídeo digital por morfologia matemática. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Junior Barrera. |
6. | J. J. G. Leandro. Análise de formas de estruturas de ramificação. (Graduando em Computação) - Universidade de São Paulo, . 2000. Orientador: Roberto Marcondes Cesar Junior. |
7. | 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. |
8. | Marcus Vinicius Tolentino dos Santos. Specifying, Executing, and Reasoning About Actions and Plans Using Transaction Logic. Tese (Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2000. Supervisor: Flavio Soares Correa da Silva. |
9. | 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. |
10. | Matthias Beck. Arithmetic properties of rational polytopes. Tese (Doutorado em Mathematics) - Temple University, . 2000. Orientador: Sinai Robins. |
11. | Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Flavio Soares Correa da Silva. |
12. | Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Marcelo Finger. |
13. | Nina S. T. Hirata. Projeto automático de operadores explorando conhecimento a priori. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Junior Barrera. |
14. | Roberto Cassio de Araujo. Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento. Tese - Universidade de São Paulo, . 2000. Orientador: Flavio Soares Correa da Silva. |
15. | Ronaldo Fumio Hashimoto. Mudança de estrutura de representação de operadores em morfologia matemática. Tese - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2000. Orientador: Junior Barrera. |
16. | 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. |
17. | Valdinei Freire da Silva. Simulador Gráfico de Expressões Faciais para Interação Homem Computador. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2000. Orientador: Carlos Hitoshi Morimoto. |
18. | Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Marcelo Finger. |
(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 18/02/2025 11:57:44