Departamento de Ciência da Computação

Total de orientações concluídas


Número total de itens: 1519
Página: 1  2  

2023

1.   Adauton Heringer. End-to-end learning for autonomous vehicles - a narrow approach. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
2.   Alexandre Garcia de Oliveira. ?Programming with Monoidal Profunctors and Semiarrows.. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
3.   Alexandre Morimitsu. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Supervisor: Nina Sumiko Tomita Hirata.
4.   Ana Lucia Lima Marreiros Maia. Uma abordagem baseada em Aprendizagem de Máquina e Grafos para Segmentação de Páginas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2023.
Orientador: Nina Sumiko Tomita Hirata.
5.   André Massashiro Shimaoka. Agilidade em projetos de ciência de dados: Um estudo sobre a adoção do método ágil XP com modelo do processo CRISP-DM. Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2023.
Orientador: Alfredo Goldman vel Lejbman.
6.   Artur André Almeida de Macedo Oliveira. Overcoming Challenging Urban Images - Deep Learning and Data Integration Methods for Detecting Trees Entangled with Power Lines. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Roberto Hirata Junior.
7.   Caio de Moraes Braz. Graph-Based Image Segmentation With Shape Priors and Local Band Constraints. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Paulo André Vechiatto de Miranda.
8.   Caio L. Martinelli. Node concordance: a local homophily prediction task in graphs. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Denis Deratani Mauá.
9.   Caio Truzzi Lente. The Role of Feedback Loops in Recommender System Bias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Roberto Hirata Junior.
10.   Carlos Eduardo Leão Elmadjian. Cognição aumentada em computação vestível. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Carlos Hitoshi Morimoto.
11.   Cristiane Borges Patroclo. Preditores prognósticos em pacientes adulto com lesão traumática de plexo braquial. Tese (Doutorado em Ciências Biológicas (Fisiologia)) - Universidade Federal do Rio de Janeiro, . 2023.
Supervisor: Kelly Rosa Braghetto.
12.   Daniel Santa Cruz Damineli. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Supervisor: Roberto Marcondes Cesar Junior.
13.   Diego Cardozo Sandrim. A influência das métricas de código no número de desenvolvedores em projetos de código-fonte aberto. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
14.   Diogo de Jesus Pina. Technical Debt Prioritization Methods, Techniques, and a Large Exploratory Study. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Alfredo Goldman vel Lejbman.
15.   Eduardo Bobrow Falbel. Previsão de fluxos urbanos de bicicletas: métodos tradicionais vs. aprendizado de máquina explicável. Iniciação Científica - Instituto de Matemática e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Fabio Kon.
16.   Fernando Lemes da Silva. Kubeowl - Um arcabouço para detecção de anomalias em requisições HTTP Monitorando microsserviços em um ambiente de produção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Alfredo Goldman vel Lejbman.
17.   Gianluca T. Ciccarelli. Um estudo de geração de quadros intermediários usando redes generativas para auxiliar artistas de animações tradicionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Roberto Hirata Junior.
18.   Giovana Martinelli. Análise da distribuição geográfica de doenças causadoras de óbitos na cidade de São Paulo utilizando aprendizado de máquina. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2023.
Orientador: Fabio Kon.
19.   Hans Harley Ccacyahuillca Bejar. Segmentação Não Supervisionada de Imagens via Transformada Imagem-Floresta Orientada sujeita a Restrições de Alto Nível. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Paulo André Vechiatto de Miranda.
20.   Herez Moise Kattan. Mob Programming para escrever código com alta complexidade e trabalho remoto. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
21.   Hugo Neves. . Universidade Brasil, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Supervisor: Roberto Marcondes Cesar Junior.
22.   José Luiz Pimenta. Rede Especialista em Segmentação Automática da Fossa Craniana Posterior na População Pediátrica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Roberto Marcondes Cesar Junior.
23.   João Marcos de Mattos Barguil. Análise de viés em um sistema de crowdsourcing de acessibilidade utilizando jogos sérios. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2023.
Orientadores: Fabio Kon, Flavio Soares Correa da Silva.
24.   Julian Igor Alves de Sousa. IDENTIFICAC ?AO DE FALHAS DECORRENTES DO USO DE TECNOLOGIAS DE INTELIGENCIA ARTIFICIAL NO ? DESENVOLVIMENTO DE VIDEOGAMES. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
25.   Julissa Giuliana Villanueva Llerena. Qualitative Global Sensitivity Analysis for Probabilistic Circuits. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023.
Orientador: Denis Deratani Mauá.
26.   Lilian Nogueira de Faria. Redes neurais de segmentação semântica de plantas daninhas usando mosaico de imagens de alta resolução espacial de um veículo aéreo não tripulado. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Roberto Hirata Junior.
27.   Lorenzo Bertin Salvador. Metrificação e análise de carreiras de jogadores de futebol por meio de um sistema computacional. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2023.
Orientador: Kelly Rosa Braghetto.
28.   Lucas de Carvalho Dias. Text recognition for urban informatics. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Roberto Marcondes Cesar Junior.
29.   Luis Gustavo Araujo Rodriguez. Mechanisms to Improve Fuzz Testing for Message Brokers. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Daniel Macêdo Batista.
30.   Murilo Borges Ribeiro. Uma plataforma para integração de dados para cidades inteligentes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Kelly Rosa Braghetto.
31.   Nayereh Hamidishad. Two-Phase Methods to Segment Man-made Objects Around Reservoirs. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Roberto Marcondes Cesar Junior.
32.   Paula Cristina Rohr Ertel. Uma abordagem contínua para o problema do caixeiro viajante. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023.
Orientador: Ernesto Julián Goldberg Birgin.
33.   Rafael Kazuhiro Miyazaki. Arithmetic progressions in sumsets of random sets. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, . 2023.
Orientador: Yoshiharu Kohayakawa.
34.   Roberto Almeida Shimizu. Creditworthiness using social capital. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Flavio Soares Correa da Silva.
35.   Rodrigo Aparecido Enju. Uma conjectura de Erd?s e Hajnal. 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. 2023.
Orientador: Yoshiharu Kohayakawa.
36.   Rodrigo Ehrlich Stevaux. A Formalization of a Startup Finance Transaction Model using Alloy. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Ana Cristina Vieira de Melo.
37.   Thatiane de Oliveira Rosa. CharM ? A Model for Characterizing the Architecture of Service-based Systems. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Alfredo Goldman vel Lejbman.
38.   Thiago Peres Casagrande. Um Estudo sobre Algoritmos para Aprendizado Estrutural de Circuitos Probabilísticos. (Graduando em Matemática Aplicada e Computacional Com Habilitação em Estatística Econômic) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2023.
Orientador: Denis Deratani Mauá.
39.   Tiago Madeira. Finding Maxima of Gaussian Sum-Product Networks. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023.
Orientador: Denis Deratani Mauá.
40.   Vanessa Uriondo Cortez. Construindo um Data Warehouse: Analisando dados de despesas e receitas a partir da abordagem de Sistemas de Informação Executiva (EIS). (Graduação em Matemática Aplicada e Computacional Com Habilitação em Estatística Econômic) - Universidade de São Paulo, . 2023.
Orientador: Kelly Rosa Braghetto.

2022

1.   Alex Torquato Souza Carneiro. Estimação de contexto do usuário a partir de informações do olhar. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2022.
Orientador: Carlos Hitoshi Morimoto.
2.   Aline Conquista de Almeida Ferreira. Briefly Planning Poker: Ferramenta para estimativas de desenvolvimento de software para equipes remotas. (Graduação em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
3.   Ana Yoon Faria de Lima. Análise do Impacto da Pandemia no uso de bicicletas compartilhadas em São Paulo. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Fabio Kon.
4.   André Nogueira Ribeiro. Computação e Internet Quântica. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Fabio Kon.
5.   Antonio José Homsi Goulart. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Supervisor: Nina Sumiko Tomita Hirata.
6.   Antônio Carlos Santos de Lima. Adaptação para a Língua Portuguesa de Ferramentas Text-to-SQL. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2022.
Orientador: Kelly Rosa Braghetto.
7.   Arthur Gabriel Santana. Cobertura com círculos de raio mínimo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2022.
Orientador: Ernesto Julián Goldberg Birgin.
8.   Carybé Gonçalves Silva. Segurança de CAPTCHAs além da obscuridade. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Ronaldo Fumio Hashimoto.
9.   Christyan Ossamu Namikuchi. Implementação de algoritmos eficientes para estatística de redes. (Graduando em Matemática Aplicada e Computacional Com Habilitação em Estatística Econômic) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: André Fujita.
10.   Davi de Menezes Pereira. Um honeypot-cluster baseado em SDN e Raspberry Pi contra ameaças de segurança. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Daniel Macêdo Batista.
11.   Diogo Eduardo Lima Alves. Funções Limiares para Propriedades anti-Ramsey. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Orientador: Guilherme Oliveira Mota.
12.   Everaldo de Avila Gomes Junior. Um Estudo sobre o Impacto de Anotações de Código na Evolução de Software. (Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Paulo Roberto Miranda Meirelles.
13.   Felix Yowtang Liu. Uma análise espectral do grafo com clique plantada. 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. 2022.
Orientador: Yoshiharu Kohayakawa.
14.   Florence Alyssa Sakuma Shibata. Remote sensing for urban informatics. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2022.
Orientador: Roberto Marcondes Cesar Junior.
15.   Gabriely Rangel Pereira. Análise e Visualização do Processo de Regionalização do Sistema Único de Saúde no Brasil: Uma Perspectiva em Sistemas Complexos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Fabio Kon.
16.   Giovanne Marcelo dos Santos. Empacotamento e imersão de árvores. 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. 2022.
Orientador: Cristina Gomes Fernandes.
17.   Giulia C de Nardi. O PESADELO DE FLUFFY - Desenvolvimento de jogo puzzle 3D. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Paulo André Vechiatto de Miranda.
18.   Ian Nicolas Magatti da Silva. Re_programar: fundamentos de computação, software livre e colaboração em rede para alunos do ensino médio de escolas públicas. (Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
19.   Jared León Malpartida. A generalization of the block decomposition for $k$-connected 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. 2022.
Orientador: Yoshiharu Kohayakawa.
20.   Jonas Rodrigues Lima Gonçalves. Circuitos Probabilísticos: uma estrutura unificada para modelagem probabilística tratável. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Denis Deratani Mauá.
21.   José Lucas Silva Mayer. Projeto Apoio ao Bacharelado em Ciência da Computação. (Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP. 2022.
Orientador: Daniel Macêdo Batista.
22.   João Francisco Lino Daniel. "Detecção automática de Padrões em Arquiteturas baseadas em Microsserviços". Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Orientador: Alfredo Goldman vel Lejbman.
23.   Julia Melo Teixeira dos Santos. Projeto Apoio ao Bacharelado em Ciência da Computação. (Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP. 2022.
Orientador: Daniel Macêdo Batista.
24.   Juliana Orro Marquez. Heurísticas de Usabilidade para Mapas Interativos na Web. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Supervisor: Paulo Roberto Miranda Meirelles.
25.   Juliane Kristine de Lima. Cobertura de grafos aleatórios por componentes monocromáticas. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Guilherme Oliveira Mota.
26.   Karlson Tellicio Bezerra. Simulação de redes de sensores sem fio para o monitoramento de deslizamentos de terra. 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. 2022.
Supervisor: Kelly Rosa Braghetto.
27.   Karlson Tellicio Bezerra de Lima. Simulação de redes de sensores sem fio para o monitoramento de deslizamentos de terra. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Fabio Kon.
28.   Kelly Silva Jesus. Como começar a contribuir com o desenvolvimento do Kernel Linux?. (Graduando em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
29.   Larissa de Oliveira Penteado. Model learning for structural MRI segmentation. 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. 2022.
Orientador: Roberto Marcondes Cesar Junior.
30.   Leonardo Alexandre Ferreira Leite. A grounded theory of organizational structures for development and infrastructure professionals in software-producing organizations. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2022.
Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon.
31.   Lucas Colucci Cavalcante de Souza. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Supervisor: Yoshiharu Kohayakawa.
32.   Lucas Santana Santos. As Metodologias Ágeis de desenvolvimento de software e o modelo de desenvolvimento de Software Livre: atualização do mapeamento dos valores e práticas compartilhadas. (Graduando em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
33.   Lucas Silva Arenstein. An introduction to quantum: computing, communication complexity protocols, nonlocality and graph parameters. 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. 2022.
Orientador: Yoshiharu Kohayakawa.
34.   Lucca Segantim Jacomassi. Briefly Planning Poker: Ferramenta para estimativas de desenvolvimento de software para equipes remotas. (Graduação em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
35.   Luísa Menezes da Costa. Projeto Apoio ao Bacharelado em Ciência da Computação. (Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP. 2022.
Orientador: Daniel Macêdo Batista.
36.   Magali Lemes do Sacramento. Implementing unit testing in the Linux kernel: A participant observation in the AMD display driver. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
37.   Marcelo Schmitt. Automated tests on Linux kernel device drivers: How are device drivers being tested?. 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. 2022.
Orientador: Paulo Roberto Miranda Meirelles.
38.   Mariana Gregorio Candido. Testes automatizados em aplicações client-side em JavaScript: uma análise compreensiva. (Graduação em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
39.   Matheus Tavares Bernardino. Parallelizing Git Checkout: a Case Study of I/O Parallelism on Desktop Applications. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2022.
Orientador: Alfredo Goldman vel Lejbman.
40.   Milena Correa da Silva. Análise visual de fluxos de mobilidade de pedestres com bundling. (Graduando em Ciência da Computação) - Universidade de São Paulo, Universidade de São Paulo. 2022.
Orientador: Fabio Kon.
41.   Mirelle Alves de Freitas. Re_programar: fundamentos de computação, software livre e colaboração em rede para alunos do ensino médio de escolas públicas. (Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
42.   Mosab Hamdan Adam Mohamed Alhassan. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Supervisor: Fabio Kon.
43.   Pedro Bloss Braga. Máquinas de vetores de suporte: Classificação, Regressão, Kernels e Otimização. (Graduação em Matemática Aplicada e Computacional Com Habilitação em Estatística Econômic) - Universidade de São Paulo, . 2022.
Orientador: Nina Sumiko Tomita Hirata.
44.   Rafael da Silva Tomaz. Dropout Dashboard: uma Aplicação Web para Predição do Risco de Evasão em Cursos do Ensino Superior. (Graduação em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
45.   Rafael Zuolo Coppini Lima. Dimension reduction in projective clustering. 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. 2022.
Orientador: Yoshiharu Kohayakawa.
46.   Renato Lui Geh. Scalable learning of probabilistic circuits. 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. 2022.
Orientador: Denis Deratani Mauá.
47.   Renê Eduardo Pereira Cardozo. Tackling Business Complexity in Enterprise Application's Development. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Daniel Macêdo Batista.
48.   Ricardo Geraldes Tolesano. Extensão de navegador para visualização de abas. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2022.
Orientador: Kelly Rosa Braghetto.
49.   Robson Pereira Aleixo. Predição de surtos de dengue e diagnóstico de Sífilis Congênita utilizando Aprendizado de Máquina. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022.
Supervisor: Fabio Kon.
50.   Rodrigo Carvalho Borges. Sistemas de Recomendação de Música Baseados em Áudio. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2022.
Orientador: Marcelo Gomes de Queiroz.
51.   Sérgio Abilio Pereira Pires Junior. Annotation Visualizer Plugin: Evolution of the Annotation Sniffer ecosystem for evaluating code annotations. (Graduação em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
52.   Thiago Pena. BikeScienceWeb. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2022.
Orientador: Fabio Kon.
53.   Thilo Koch. Processamento flexível de sinais de áudio em tempo real. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Orientador: Marcelo Gomes de Queiroz.
54.   Tiago da Costa Menezes. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Supervisor: Ernesto Julián Goldberg Birgin.
55.   Uriel Salazar Martinez. Funçõees limiares para propriedades anti-Ramsey. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2022.
Orientador: Guilherme Oliveira Mota.
56.   Vinicius Lacerda Gonsalez. Medindo o uso de metadados em código C#: Evolução da ferramenta Attribute Sniffer. (Graduação em Ciência da Computação) - Universidade Federal do ABC, . 2022.
Orientador: Paulo Roberto Miranda Meirelles.
57.   Ângelo Lovatto. Model-based policy gradients: an empirical study on linear quadratic environments. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022.
Orientador: Leliane Nunes de Barros.

2021

1.   Alex Torquato Souza Carneiro. Interação por perseguição dos olhos: algoritmos e aplicações.. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Carlos Hitoshi Morimoto.
2.   Alexandre Cesar Pessoa. Integração de bases de dados com uso 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. 2021.
Orientador: Renata Wassermann.
3.   Alexandre Morimitsu. Algoritmos e Estruturas de Dados para Hiperárvores de Componentes de Imagens em Níveis de Cinza. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Ronaldo Fumio Hashimoto.
4.   Alexandre Morimitsu. Suporte técnico para o projeto 'World Wide Web of Plankton Image Curation (WWW.PIC)'. Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Nina Sumiko Tomita Hirata.
5.   Ana Carolina Rodrigues Cavalcante Martinazzo. A self-supervised learning approach for astronomical images. 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. 2021.
Orientador: Nina Sumiko Tomita Hirata.
6.   André Yuji Hisatsuga. Partições monocromáticas de grafos completos. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Guilherme Oliveira Mota.
7.   Bruno Almeida Carneiro da Cunha. LoRaNet: Implementation of a LoRa Mesh Network. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2021.
Orientador: Daniel Macêdo Batista.
8.   Bruno Leme. Classificação automática de documentos de características econômicas de defesa jurídica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Marcelo Finger.
9.   Caio Lopes Demario. Métodos híbridos via energias quadráticas em grafos direcionados para segmentação de imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Paulo André Vechiatto de Miranda.
10.   Carlos Enrique Paucar Farfán. Classificação dos estados cognitivos orientados pelo sujeito baseada na variabilidade da frequência cardíaca. 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. 2021.
Orientador: André Fujita.
11.   Daniel Angelo Esteves Lawand. Problemas dinâmicos em grafos. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Cristina Gomes Fernandes.
12.   Daniela Gonzales Favero. Segmentação de imagens de ressonância pediátricas. (Graduando em Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Roberto Marcondes Cesar Junior.
13.   Davi de Menezes Pereira. Processamento paralelo com plataformas de computação de baixo custo para análise de grandes volumes de dados de segurança. (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. 2021.
Orientador: Daniel Macêdo Batista.
14.   Diego Ignacio Zurita Rojas. Classificação de requisições HTTP maliciosas por meio de aprendizagem de máquina. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2021.
Orientador: Daniel Macêdo Batista.
15.   Eduardo Dias Filho. Compiladores para as Linguagens da Abordagem WED-flow. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: João Eduardo Ferreira.
16.   Eduardo Ribeiro Silva de Oliveira. Utilização de Animações para Comparação de Hashes em Votação Eletrônica via Internet. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Daniel Macêdo Batista.
17.   Felipe Pereira Ramos Barboza. Algoritmos em grafos. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Cristina Gomes Fernandes.
18.   Felipe Ribas Serras. Algoritmos baseados em atenção neural para a automação da classificação multirrótulo de acórdãos jurídicos. 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. 2021.
Orientador: Marcelo Finger.
19.   Fernando Freire Scattone. Processamento de eventos complexos nativo de nuvem para cidades inteligentes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Kelly Rosa Braghetto.
20.   Fillipe Manoel Xavier Resina. Revisão Múltipla de Ontologias. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Renata Wassermann.
21.   Gabriel Pinheiro Stirni Piedade. Phenotypic Neutral Space Analysis for Yeast Cell cycle Boolean Network. (Graduando em Ciências Biológicas - Ênfase em Biologia Evolutiva) - Universidade de São Paulo, . 2021.
Orientador: Ronaldo Fumio Hashimoto.
22.   Gervásio Protásio dos Santos Neto. The Theory and Computation of Solid Angles. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, . 2021.
Orientador: Sinai Robins.
23.   Gilvane da Silva Sousa. Projeto Apoio ao Bacharelado em Ciência da Computação. (Ciência da Computação) - Universidade de São Paulo, USP. 2021.
Orientador: Daniel Macêdo Batista.
24.   Giuliano Belinassi. Paralelizando um Compilador: Um estudo com o GCC. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Alfredo Goldman vel Lejbman.
25.   Grover Enrique Castro Guzman. Métodos estatístico-computacionais baseados na densidade espectral de grafos e suas aplicações. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: André Fujita.
26.   Gustavo de Medeiros Carlos. Monitoramento e visualização geoespacial da saúde pública nas cidades brasileiras. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Fabio Kon.
27.   Gustavo Perez Katague. Uma abordagem de reformulação à Programação Linear Inteira Mista para a Inferência Máxima a Posteriori em Redes Soma-Produto. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Denis Deratani Mauá.
28.   Hamed Yazdanpanah. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Supervisor: Roberto Marcondes Cesar Junior.
29.   Heitor Reis Ribeiro. Anytime Maximum A Posteriori Inference in Sum-Product Networks. 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. 2021.
Orientador: Denis Deratani Mauá.
30.   Henrique Araújo de Carvalho. Comparação de Hashes Criptográficos com Animações. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Daniel Macêdo Batista.
31.   Higor Mendes Garcia. a ser definido. (Graduando em Estatística) - Universidade de São Paulo, Pró-Reitoria de Pesquisa da USP. 2021.
Orientador: André Fujita.
32.   Jainor Nestor Cardenas Choque. Optimal Communication Spanning Tree. 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. 2021.
Orientador: Yoshiko Wakabayashi.
33.   Jessica Yumi Nakano Sato. Utilização de Animações para Comparação de Hashes em Votação Eletrônica via Internet. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Daniel Macêdo Batista.
34.   João Felipe Lobo Pevidor. a ser definido. (Graduando em Ciência da Computação) - Universidade de São Paulo, Pró-Reitoria de Pesquisa da USP. 2021.
Orientador: André Fujita.
35.   Jônatas de Souza Nascimento. Visualização em tarefas de classificação de imagens baseada em aprendizado profundo. (Graduando em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Nina Sumiko Tomita Hirata.
36.   Lucas Pires Stankus. Testing Linux Drivers with Device Emulation Aid. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2021.
Orientador: Paulo Roberto Miranda Meirelles.
37.   Lucas Pires Stankus. Visualização de Dados de Saúde. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Fabio Kon.
38.   Luciano Walenty Xavier Cejnog. A framework for hand gesture analysis and tracking: the case for hands with unusual shapes and movements. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Roberto Marcondes Cesar Junior.
39.   Luis Gustavo Moneda dos Santos. Generalização de domínio, invariância e a floresta temporal. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Denis Deratani Mauá.
40.   Luiz Gustavo Pina de Sales. Projeto Apoio ao Bacharelado em Ciência da Computação. (Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP. 2021.
Orientador: Daniel Macêdo Batista.
41.   Magali Lemes do Sacramento. Análise dos modelos de desenvolvimento de projetos de Software Livre e das interações entre os integrantes de suas comunidades. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2021.
Orientador: Paulo Roberto Miranda Meirelles.
42.   Mario Muramatsu Junior. Análise de desempenho de algoritmos de clusterização para Big Data. (Graduação em Ciências da Computação) - Universidade Estadual Paulista Júlio de Mesquita Filho, . 2021.
Orientador: André Fujita.
43.   Marlo Souza. . Universidade de São Paulo, . 2021.
Supervisor: Renata Wassermann.
44.   Mateus Espadoto. Learning Multidimensional Projections with Neural Networks. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Nina Sumiko Tomita Hirata.
45.   Mayara dos Santos Nascimento. a ser definido. Iniciação Científica - Universidade de São Paulo, Pró-Reitoria de Pesquisa da USP. 2021.
Orientador: André Fujita.
46.   Melissa Shihfan Ribeiro Wen. What Happens When The Bazaar Grows: A comprehensive study on the contemporary Linux kernel development model. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon.
47.   Nathan Benedetto Proença. Combinatorial and Geometric Dualities in Graph Homomorphism Optimization Problems. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Marcel Kenji de Carli Silva.
48.   Pamela Rosy Revuelta Quintanilla. Comparing vector document representation methods for authorship identification. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Flavio Soares Correa da Silva.
49.   Paula Kintschev Santana de Moraes. Ensino de Inteligência Artificial com uso de Robôs Móveis. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Leliane Nunes de Barros.
50.   Pedro Bruel. Toward Transparent and Parsimonious Methods for Automatic Performance Tuning. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Alfredo Goldman vel Lejbman.
51.   Pedro Gigeck Freire. Índice de ciclabilidade baseado em dados. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2021.
Orientador: Fabio Kon.
52.   Phyllipe Lima. Assessing Code Annotations Usage in Software Projects. Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Supervisor: Paulo Roberto Miranda Meirelles.
53.   Rafael Massambone de Oliveira. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Supervisor: Ernesto Julián Goldberg Birgin.
54.   Rafael Zanuto Bianchi. Explorações em Deep Q-Learning. (Graduação em Matemática Bacharelado) - Universidade de São Paulo, . 2021.
Orientador: Nina Sumiko Tomita Hirata.
55.   Rafaela Barcelos Polesel. a ser definido. (Graduando em Estatística) - Universidade de São Paulo, Pró-Reitoria de Pesquisa da USP. 2021.
Orientador: André Fujita.
56.   Rafaella Ferreira Nunes. Implementação e análise de protocolos para criptografia e autenticação na plataforma InterSCity. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Daniel Macêdo Batista.
57.   Raphael Ribeiro da Costa e Silva. Projeto Apoio ao Bacharelado em Ciência da Computação. (Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP. 2021.
Orientador: Daniel Macêdo Batista.
58.   Roberto Piassi Passos Bodo. Music Similarity Models applied to Cover Song Identification and Classification. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Marcelo Gomes de Queiroz.
59.   Rubens Gomes Neto. Simplificando o processo de contribuição para o kernel Linux: A Evolução da ferramenta KernelWorkflow. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2021.
Orientador: Paulo Roberto Miranda Meirelles.
60.   Rubens Gomes Neto. O que observar enquanto um desenvolvedor contribui com o Kernel Linux?. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Paulo Roberto Miranda Meirelles.
61.   Rômulo Damasclin Chaves dos Santos. . Universidade de São Paulo, Pró-Reitoria de Pesquisa da USP. 2021.
Supervisor: André Fujita.
62.   Sandro Márcio da Silva Preto. Semantics Modulo Satisfiability with Applications: Function Representation, Probabilities and Game Theory. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Marcelo Finger.
63.   Sergio Yuji Hayashi. Leitura de planilhas de xadrez manuscritas usando redes neurais com mecanismos de atenção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2021.
Orientador: Nina Sumiko Tomita Hirata.
64.   Taiane Coelho Ramos. Técnicas de clusterização e estratificação de indivíduos para estudo de redes funcionais cerebrais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: André Fujita.
65.   Tallys Gustavo Martins. Visualização de Fluxos de Mobilidade Urbana com Bundling. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021.
Orientador: Fabio Kon.
66.   Thiago Cunha Ferreira. Problemas e dificuldades na migração de sistemas monolíticos para microsserviços. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2021.
Orientador: Ana Cristina Vieira de Melo.
67.   Thiago Lima Oliveira. Spectral Sparsification of Graphs. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2021.
Orientador: Marcel Kenji de Carli Silva.
68.   Thiago Pereira Bueno. Planejamento em Grafos de Computação Estocástica: Resolvendo Problemas Estocásticos Não-Lineares com Retropropagação de Erro. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientadores: Denis Deratani Mauá, Leliane Nunes de Barros.
69.   Tiago Nicolosi Bomventi. (Treinamento técnico) Suporte técnico ao projeto. Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Nina Sumiko Tomita Hirata.
70.   Vinicius Ferraris Pignataro Mazzei Albert. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Supervisor: Roberto Marcondes Cesar Junior.
71.   Vinícius Bitencourt Matos. Revisão de Crenças em Lógicas de Descrição. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021.
Orientador: Renata Wassermann.
72.   Wilson Kazuo Mizutani. The Unlimited Rulebook: architecting the economy mechanics of games. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2021.
Orientador: Fabio Kon.
73.   Ísis Ardisson Logullo. Projeto Apoio ao Bacharelado em Ciência da Computação. (Ciência da Computação) - Universidade de São Paulo, USP. 2021.
Orientador: Daniel Macêdo Batista.

2020

1.   Alex Sander Alves dos Santos. Metodologia para garantia de segurança em aplicações de cidades inteligentes. (Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Daniel Macêdo Batista.
2.   Allan Amancio Rocha. Wordstorming. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2020.
Orientador: Carlos Eduardo Ferreira.
3.   Augusto César Monteiro Silva. Comparative Analysis of Image-to-Image Transformation Learning Approaches. 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. 2020.
Orientador: Nina Sumiko Tomita Hirata.
4.   Ayrton Amaral Alves Vitor. Extracting Urban Features from Street Level Images. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Roberto Hirata Junior.
5.   Bruna Meneguzzi. Sistema de integração e de recomendação de itens de acervos de bibliotecas brasilianas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2020.
Orientador: Kelly Rosa Braghetto.
6.   Bruno Almeida Carneiro da Cunha. Integração e análise de desempenho do protocolo MQTT na plataforma InterSCity. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2020.
Orientador: Daniel Macêdo Batista.
7.   Bruno Pasqualotto Cavalar. Sunflower theorems in monotone circuit complexity. 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. 2020.
Orientador: Yoshiharu Kohayakawa.
8.   Carlos Eduardo Martins Relvas. Agrupamento baseado em modelos de mistura de gaussianas com covariáveis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2020.
Orientador: André Fujita.
9.   Cândido Matos Junior. Aprendizado de Máquina em Geociências para Classificação de Fácies. (Graduação em Geociências e Educação Ambiental) - Universidade de São Paulo, . 2020.
Orientador: Roberto Hirata Junior.
10.   Daniel Cunha Oliveira. a ser definido. Dissertação (Mestrado em Economia) - Fundação Getúlio Vargas, . 2020.
Supervisor: André Fujita.
11.   Diaulas Murize Santana Vieira Marcondes. Completamento de matrizes de distâncias Euclidianas. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2020.
Orientador: Ernesto Julián Goldberg Birgin.
12.   Diego Pereira Alvarez. Iniciando no desenvolvimento de emuladores com CHIP-8. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2020.
Orientador: Siang Wun Song.
13.   Diogo Ricardo da Costa. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Supervisor: André Fujita.
14.   Fatemeh Mosaiyebzadeh. Energy-Efficient Virtual Network Function Placement Based on Metaheuristic Approaches. 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. 2020.
Orientador: Daniel Macêdo Batista.
15.   Felipe Castro de Noronha. Projeto Apoio ao Bacharelado em Ciência da Computação. (Ciência da Computação) - Universidade de São Paulo, USP. 2020.
Orientador: Daniel Macêdo Batista.
16.   Felipe de Souza Salvatore. Analysing Natural Language Inference from a Rigorous Point of View. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Supervisor: Roberto Hirata Junior.
17.   Felipe Salvatore. Analysing Natural Language Inference from a Rigorous Point of View. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Marcelo Finger.
18.   Fernanda de Camargo Magano. Dataflows de tempo real como abstração para ferramentas de processamento de Big Data. 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. 2020.
Orientador: Kelly Rosa Braghetto.
19.   Francisco Caio Maia Rodrigues. Visual Analytics for Machine Learning: Computing and Leveraging Decision Boudary Maps. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Roberto Hirata Junior.
20.   Gabriel Cosme Barbosa. Geometria computacional. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2020.
Orientador: Cristina Gomes Fernandes.
21.   Gabriel Fernandes de Oliveira. O problema do carteiro chinês. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2020.
Orientador: Carlos Eduardo Ferreira.
22.   Gabriel Miranda de Araújo. Manipulation of hierarchical segmentation of images based on saliency maps. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2020.
Orientador: Paulo André Vechiatto de Miranda.
23.   Gabrielle Sayuri Komatsu Minohara. Benefits and Challenges of Open-Source Health informatics Systems: A Systematic Search of Projects and Literature Review. (Graduação em Informática e Saúde (Experimental)) - Universidade Federal de São Paulo, . 2020.
Orientador: Paulo Roberto Miranda Meirelles.
24.   Germano Hüning Neuenfeld. Approximation Algorithms and the Spanning Tree Polytope. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2020.
Orientador: Marcel Kenji de Carli Silva.
25.   Guilherme Jun Yoshimura. Processamento de fala para triagem de distúrbios fonológicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Marcelo Gomes de Queiroz.
26.   Guilherme Werneck de Oliveira. Mitigação de Ataques DDoS na IoT por meio de Aprendizado de Máquina e Virtualização de Funções de Rede. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2020.
Orientador: Daniel Macêdo Batista.
27.   Gustavo de Medeiros Carlos. Monitoramento e Visualização Geoespacial da Saúde Pública nas Cidades Brasileiras. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Paulo Roberto Miranda Meirelles.
28.   Henrique Stagni. Property testing and parameter estimation. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Yoshiharu Kohayakawa.
29.   Isabella Basso do Amaral. Tópicos clássicos e contemporâneos em Combinatória Extremal. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2020.
Orientador: Guilherme Oliveira Mota.
30.   Jandson Santos Ribeiro. Belief Change Without Compactness. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Renata Wassermann.
31.   Jiang Zhi. Facilitando o ensino da computação a distância através do uso de Livros Interativos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2020.
Orientador: Carlos Hitoshi Morimoto.
32.   Joelma Cristina Costa e Silva. Análise baseada em contexto do movimento de pedestres em terminais de transporte. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Flavio Soares Correa da Silva.
33.   Karina Suemi Awoki. Árvores entrelaçadoras de polinômios e grafos de Ramanujan. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Marcel Kenji de Carli Silva.
34.   Larissa Goto Sala. Facilitando o ensino da computação a distância através do uso de Livros Interativos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2020.
Orientador: Carlos Hitoshi Morimoto.
35.   Leonardo Blanger. An Analysis of Sample Synthesis for Deep Learning based Object Detection. 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. 2020.
Orientador: Nina Sumiko Tomita Hirata.
36.   Lucas Marques Gasparino. Identificação de interação entre sujeitos via frequência cardíaca. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2020.
Orientador: André Fujita.
37.   Lucas Pires Stankus. Mobilidade e Internações Hospitalares: uma análise integrada. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon.
38.   Maciel Calebe Vidal. Identificação de causalidade de Granger em dados longitudinais com aplicações em neuroimagem.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: André Fujita.
39.   Marcelo Moura Amorim. Itens de teste colaborativo em 6 camadas:perspectivas para avaliação formativa assitida por computadores em ambientes virtuais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Ana Cristina Vieira de Melo.
40.   Marcos Siolin Martins. Problemas cinéticos em geometria computacional. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2020.
Orientador: Cristina Gomes Fernandes.
41.   Milton Condori. Maximum Goal Probability in Probabilistic Planning. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: Leliane Nunes de Barros.
42.   Nathalia Orlandi Borin. Jogos de Ritmo: geração automática de beatmaps e alternativas de jogabilidade. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2020.
Orientador: Marcelo Gomes de Queiroz.
43.   Nicolas Silverio Figueiredo. Efficient adaptive multiresolution representation of music signals. 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. 2020.
Orientador: Marcelo Gomes de Queiroz.
44.   Nicolle Floriani Paust. a ser definido. (Graduando em Engenharia de Minas) - Universidade de São Paulo, . 2020.
Orientador: André Fujita.
45.   Pablo Cesar Ccori. A framework for device interaction in a network of things. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2020.
Orientador: Flavio Soares Correa da Silva.
46.   Pedro Henrique Barbosa de Almeida. Segmentação de imagens com redes neurais totalmente convolucionais. (Graduando em Ciência daComputação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Nina Sumiko Tomita Hirata.
47.   Pedro Leyton Pereira. Extração de características associadas à respiração a partir de um sinal de áudio de voz. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2020.
Orientador: Marcelo Gomes de Queiroz.
48.   Ravi do Valle Luz. Estudo de imagens de ressonância magnética funcional de pacientes esquizofrênicos. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: André Fujita.
49.   Renata Biaggi Biazzi. a ser definido. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020.
Orientador: André Fujita.
50.   Renato Cordeiro Ferreira. Uma Implementação Integrada de Modelos Probabilísticos Gráficos. 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. 2020.
Orientador: Alan Mitchell Durham.
51.   Renê Eduardo Pereira Cardozo. Simulação de protocolos da camada de transporte na Internet das Coisas. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Daniel Macêdo Batista.
52.   Ricardo Ferreira Guimarães. Modularity in Belief Change of Description Logic Bases. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: Renata Wassermann.
53.   Shayenne da Luz Moura. Deteção de Voz Cantada em SInais de Áudio Polifônicos. 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. 2020.
Orientador: Marcelo Gomes de Queiroz.
54.   Suzana de Siqueira Santos. Estimadores de parâmetro consistentes para modelos de grafo aleatório e estudo sobre a relação entre a rede modo padrão do cérebro e o volume do corpo caloso.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020.
Orientador: André Fujita.
55.   Thiago Ildeu Albuquerque Lira. Modelos Neurais para Regressão em Séries Temporais. 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. 2020.
Orientador: Marcelo Finger.

2019

1.   Andre Akira Hayashi. Um Modelo de Banco de Dados Analítico para Dados de Saúde Pública. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Paulo Roberto Miranda Meirelles.
2.   Andreiwid Sheffer Correa. . Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Supervisor: Flavio Soares Correa da Silva.
3.   Ariel Serranoni Soares da Silva. Relative Entropy Optimization and Applications in Statistical Learning. (Graduando em Bacharelado em Matemática Aplicada) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2019.
Orientador: Marcel Kenji de Carli Silva.
4.   Artur Henrique Allen Santos. Propriedades anti-Ramsey: encontrando cópias multicoloridas. (Graduando em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Guilherme Oliveira Mota.
5.   Aurea Maria Emiko Hariki. Projeto Apoio ao Bacharelado em Ciência da Computação. (Ciência da Computação) - Universidade de São Paulo, USP. 2019.
Orientador: Daniel Macêdo Batista.
6.   Bruno T. da S. Lopes. Predição de genes ab initio combinada com informações de alinhamento. 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. 2019.
Orientador: Alan Mitchell Durham.
7.   Bárbara de Castro Fernandes. How to contribute to the Linux kernel project: the case of the FLUSP group. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Paulo Roberto Miranda Meirelles.
8.   Camila Naomi Kodaira. StarFLOSS: An observatory of Free Software Communities. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Paulo Roberto Miranda Meirelles.
9.   Diogo Eduardo Lima Alves. Extremal and probabilistic combinatorics. (Graduação em Ciência da Computação) - Universidade Federal do ABC, . 2019.
Orientador: Guilherme Oliveira Mota.
10.   Débora Lina Ciriaco. Integração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São Paulo. 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. 2019.
Orientador: Renata Wassermann.
11.   Eduardo Felipe Zambom Santana. InterSCSimulator: a scalable, open source, smart city simulator. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatistica, . 2019.
Orientador: Fabio Kon.
12.   Eric Keiji Tokuda. Deep learning fracamente supervisionado para detecção de faces e atributos de pessoas. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Roberto Marcondes Cesar Junior.
13.   Evelyn Perez Cervantes. Análise morfológica de estruturas neurais 3D usando bigdata. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Roberto Marcondes Cesar Junior.
14.   Fabiano Ferreira Luz. Deep Neural Semantic Parsing: Translating from Natural Language into SPARQL. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Marcelo Finger.
15.   Fabio Luis Arruda Fernandes. Comparação de métodos de detecção de motifs em redes biológicas. (Graduando em Ciência da Computação) - Universidade Federal do ABC, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Guilherme Oliveira Mota.
16.   Felipe Caetano Silva. StarFLOSS: An observatory of Free Software Communities. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Paulo Roberto Miranda Meirelles.
17.   Felipe Ferreira Laskoski. Personalização da Experiência em Museus: Aplicação Real de um Sistema de Recomendação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2019.
Orientador: Alfredo Goldman vel Lejbman.
18.   Fábio Goródscy. Estratégias de alinhamento para consulta cantarolada. 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. 2019.
Orientador: Marcelo Gomes de Queiroz.
19.   Gabriel Fernandes de Oliveira. O problema do carteiro chinês. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Carlos Eduardo Ferreira.
20.   Gabriel Morete de Azevedo. Otimização Combinatória: aspectos teóricos, formulação e aplicações. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Carlos Eduardo Ferreira.
21.   Gabriely Rangel Pereira. A Brazilian Public Health Geospatial Surveillance Platform: a development case study. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Paulo Roberto Miranda Meirelles.
22.   Gabriely Rangel Pereira. Projeto e implementação de uma arquitetura baseada em serviços e suas aplicações para visualização de dados de saúde georreferenciados. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Fabio Kon.
23.   Guilherme Duarte Laurindo de Souza. a ser definido. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Pró-Reitoria de Pesquisa da USP. 2019.
Orientador: André Fujita.
24.   Gustavo Mota Bastos. Projeto Apoio ao Bacharelado em Ciência da Computação. (Ciência da Computação) - Universidade de São Paulo, USP. 2019.
Orientador: Daniel Macêdo Batista.
25.   Iago Breno Araújo. Urban object detection under rainy images. 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. 2019.
Orientador: Roberto Marcondes Cesar Junior.
26.   Irina Lerner. Estruturação de um modelo evolutivo baseado no indivíduo. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Carlos Eduardo Ferreira.
27.   Isabela Blucher. Filtragem de ruído telúrico em sinais astronômicos. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2019.
Orientador: Marcelo Gomes de Queiroz.
28.   Jandisson Soares de Jesus. Um modelo baseado em dados históricos para a estimação dos juros da dívida técnica. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Ana Cristina Vieira de Melo.
29.   João Gabriel Bási. Criação de um jogo com dificuldade dinâmica e aprendizagem por reforço. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Roberto Hirata Junior.
30.   Juliano Garcia de Oliveira. A study on Gradient Boosting classifiers. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Roberto Hirata Junior.
31.   Leissi Margarita Castañeda Leon. An Efficient Hierarchical Layered Graph Approach for Multi-Region Segmentation. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Paulo André Vechiatto de Miranda.
32.   Liliane Santana Oliveira Kashiwabara. Uma abordagem integrada para a construção e utilização de HMMs de perfil para análises genômicas e metagenômicas. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Supervisor: Alan Mitchell Durham.
33.   Lucas Dario. Estudo Sobre Redes Definidas por Software Aplicado em Jogos Digitais. 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. 2019.
Orientador: Daniel Macêdo Batista.
34.   Lucas Henrique Morais. Adding Native Support for Task Scheduling to a Linux-capable RISC-V Multicore System.. 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. 2019.
Orientador: Alfredo Goldman vel Lejbman.
35.   Lucas Kanashiro Duarte. Experimentação baseada em simulação em sistemas para cidades inteligentes. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Fabio Kon.
36.   Lucas Seiki Oshiro. Análise de Desempenho de Computadores de Baixo Custo em um Sistema de Detecção de Intrusão. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Daniel Macêdo Batista.
37.   Lucas Seiki Oshiro. Detecção de incidentes de segurança contra redes de computadores por meio do processamento paralelo de grandes volumes de logs. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Daniel Macêdo Batista.
38.   Marcelo Schmitt. Linux Device Driver Development: a report from the trenches. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Paulo Roberto Miranda Meirelles.
39.   Marcelo Schmitt. Desenvolvimento de drivers para concepção de uma infraestrutura para integração contínua em sistemas de IoT. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Paulo Roberto Miranda Meirelles.
40.   Marcos Vinicius do Carmo Sousa. Um Processo de Extração, Transformação e Carga para Integração de Dados de Saúde Pública. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2019.
Orientador: Kelly Rosa Braghetto.
41.   Mariane Valerio Gonzales. A Importância da Análise Detalhada dos Erros na Classificação de Imagens de Planktons. 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. 2019.
Orientador: Roberto Hirata Junior.
42.   Mateus Barros Rodrigues. Single Source Shortest Paths in Simple Polygons. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2019.
Orientador: Carlos Eduardo Ferreira.
43.   Matheus Tavares Bernardino. Improving Parallelism in git-grep. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Alfredo Goldman vel Lejbman.
44.   MINA CINTHO OZAHATA. Mineração de dados de anemia falciforme e priapismo. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: João Eduardo Ferreira.
45.   Pedro Vítor Bortolli Santos. Ancestral comum mais próximo entre dois vértices de uma árvore. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2019.
Orientador: Carlos Eduardo Ferreira.
46.   Rafael Will Macêdo de Araujo. A Bag of Features Approach for Human Attribute Analysis on Face Images. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2019.
Orientador: Roberto Hirata Junior.
47.   Rafael Zuolo Coppini Lima. Algoritmos e imersões métricas. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Yoshiharu Kohayakawa.
48.   Raphael dos Reis Gusmão. LaserHarp - Harpa Laser Open-source. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Roberto Hirata Junior.
49.   Raíza Tamae Sarkis Hanada. . Universidade de São Paulo, . 2019.
Supervisor: Carlos Hitoshi Morimoto.
50.   Renzo Gonzalo Gómez Díaz. Covering a graph bu nontrivial paths. 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. 2019.
Orientador: Yoshiko Wakabayashi.
51.   René Veira Santin. Tese. Dissertação (Mestrado em Ciencia da computacao) - IME-USP (Instituto de matemática e estatística, USP), . 2019.
Orientador: Walter Figueiredo Mascarenhas.
52.   Rodrigo Izidoro Tinini. Alocação de Recursos em uma Arquitetura Óptica Cloud-Fog RAN para o Suporte da Internet 5G. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019.
Orientador: Daniel Macêdo Batista.
53.   Rodrigo Müller de Carvalho. Monitoramento do ambiente de execução de processos WED-Flow. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2019.
Orientador: João Eduardo Ferreira.
54.   Rodrigo Siqueira Jordão. Uma visão sobre a próxima geração de abstrações de processos em sistemas operacionais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Fabio Kon.
55.   Thiago Estrela Montenegro. Emparelhamentos estáveis em grafos de preferência. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2019.
Orientador: Carlos Eduardo Ferreira.
56.   Thiago Lima Oliveira. O problema do caminho mínimo e suas variantes.. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Orientador: Carlos Eduardo Ferreira.
57.   Tássio Naia dos Santos. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2019.
Supervisor: Yoshiharu Kohayakawa.
58.   Victor Andreas Sprengel. Detecção de Incidentes de Segurança em Redes por meio de uma Arquitetura para Análise de Grandes Volumes de Dados. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Daniel Macêdo Batista.
59.   Victor Oreliana Fernandes Faria. Detecção de fraudes pós-fato em operações cambiais baseada em análises de grafos. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2019.
Orientador: Kelly Rosa Braghetto.
60.   Victor Sanches Portella. Online Convex Optimization: Algorithms, Learning, and Duality. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019.
Orientador: Marcel Kenji de Carli Silva.
61.   Vinicius Perche de Toledo Agostini. O problema do ancestral de nível: uma comparação entre implementações. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2019.
Orientador: Carlos Eduardo Ferreira.
62.   Vinícius Jorge Vendramini. Transpilers with maintainable outputs as a dependency-free approach to cross-platform app development: a case study with Swift. 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. 2019.
Orientador: Alfredo Goldman vel Lejbman.
63.   Yan Soares Couto. Estruturas de dados persistentes. 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. 2019.
Orientador: Cristina Gomes Fernandes.
64.   Yannick Thomas Messias. Ferramenta de Gestão de Selos de Acessibilidade na WEB. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2019.
Orientador: Carlos Hitoshi Morimoto.

2018

1.   Abner Cardoso Rodrigues Neto. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Supervisor: André Fujita.
2.   Adèle Helena Ribeiro. Identification of causality in genetics and neuroscience. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.
3.   Ana Elisa Ribeiro Orsi. Determinação da Filogenia Tumoral e Análise de Expressão Gênica Diferenciada em Melanoma. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2018.
Orientador: Ronaldo Fumio Hashimoto.
4.   Anderson Andrei Silva. Transmissão de vídeo em ambientes 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. 2018.
Orientador: Alfredo Goldman vel Lejbman.
5.   Andrew Toshiaki Nakayama Kurauchi. EyeSwipe: Entrada de Texto Usando Gestos do Olhar. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Carlos Hitoshi Morimoto.
6.   André Anderson de Jesus Oliveira. Tópicos em combinatória contemporânea. (Graduando em Matemática) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Guilherme Oliveira Mota.
7.   Antonio Abello. Two Studies on Convolutional Neural Network?s Sensibility to Resolution. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Roberto Hirata Junior.
8.   Antonio Diaz Tula. . Universidade de São Paulo, . 2018.
Supervisor: Carlos Hitoshi Morimoto.
9.   Arthur de Moura Del Esposte. A scalable microservice-based open source platform for smart cities. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Fabio Kon.
10.   Arthur Gabriel de Santana. Introdução à geração de tesselações. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, . 2018.
Orientador: Ernesto Julián Goldberg Birgin.
11.   Artur André Almeida de Macedo Oliveira. Cidades inteligentes, visão computacional, vegetação urbana, Google Street View. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Roberto Hirata Junior.
12.   Athos Coimbra Ribeiro. Ranking Source Code Static Analysis Warnings for Continuous Monitoring of Free/Libre/Open Source Software Repositories. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon.
13.   Atílio Gomes Luiz. . Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Supervisor: Yoshiko Wakabayashi.
14.   Bruno Padilha. WED-SQL: uma linguagem declarativa intermediáriacom apoio transacional para a modelagem e implementação de Sistemas de Informação Cientes de Processos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, National Institutes of Health. 2018.
Orientador: João Eduardo Ferreira.
15.   Bruno Rafael Arico. LIDARO: LIDAR Open-source. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Roberto Hirata Junior.
16.   Caio Henrique Bos Loureiro. Análise da modernização de sistemas monolíticos legados para micro-serviços à luz da dívida técnica: um estudo de caso corporativo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Ana Cristina Vieira de Melo.
17.   Caio Truzzi Lente. Extending the ddR Package. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
18.   Camila Naomi Kodaira. Projeto e Implementação de uma Arquitetura de Informação e Desing Centrado no Usuário para aplicações de visualização de dados de saúde georreferenciados.. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
19.   Carine Naomi Imasato. Classificação binária com Segmentos de Retas baseada em Redes Neurais. (Graduação em Matemática Aplicada e Computacional Com Habilitação em Métodos Matemáticos) - Universidade de São Paulo, . 2018.
Orientador: Ronaldo Fumio Hashimoto.
20.   Caíque Quaresma Silva. Redes neurais aplicadas no reconhecimento de símbolos matemáticos manuscritos online. (Graduação em Abi - Matemática Aplicada) - Universidade de São Paulo, . 2018.
Orientador: Nina Sumiko Tomita Hirata.
21.   Claudio de Jesus Silva. Benefícios da Integração entre PACS e RIS para o Diagnóstico por Imagem. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
22.   Diego de A. M. Camarinha. Análise de desempenho do nsQUIC: um Módulo para Simulação do Protocolo QUIC. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Daniel Macêdo Batista.
23.   Diogo Haruki Kykuta. Comparação de Algoritmos para o problema dos K menores caminhos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Carlos Eduardo Ferreira.
24.   Douglas Luan de Souza. Aprendizagem de Máquina baseado em Segmentos de Reta com estimação de parâmetros pelo método da máxima verossimilhança. (Graduando em Engenharia Elétrica - Ênfase em Computação) - Universidade de São Paulo, . 2018.
Orientador: Ronaldo Fumio Hashimoto.
25.   Eduardo Gonçalves Pinheiro. Um serviço para o desenvolvimento de aplicações de visualização de dados de saúde georreferenciados. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
26.   Eduardo Gonçalves Pinheiro. Desenvolvimento de aplicações para visualização espacial de dados de saúde da cidade de São Paulo. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Paulo Roberto Miranda Meirelles.
27.   Eduardo Menezes de Morais. Independência parcial no problema da satisfazibilidade probabilística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Marcelo Finger.
28.   Eduardo Rocha Laurentino. a ser definido. (Graduando em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.
29.   Fabiana Guerra Pimenta. Técnicas de abordagem de aprendizagem de máquina aplicadas à identificação de sepse. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
30.   Fabio Henrique Kiyoiti dos Santos Tanaka. Inteligência artificial para o jogo de Hex. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2018.
Orientador: Denis Deratani Mauá.
31.   Felipe César Silveira de Assis. Proposta de Guia Comparativo para Desenvolvimento de Aplicativos Móveis. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
32.   Felipe de Oliveira Campos Moreira. Processamento de sinais com sensores em dispositivos móveis. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marcelo Gomes de Queiroz.
33.   Fábio Martiniano Nascimento. Mitigando os obstáculos da implantação do prontuário eletrônico do paciente. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
34.   Gabriel Capella. Reimplementing SMART: a Practical Remote Attestation Example for Embedded Devices. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
35.   Gabriel Fernandes. Decomposição de grafos em caminhos. (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Guilherme Oliveira Mota.
36.   Gabriel Ogawa Cruz. Previsão da volatilidade do índice IBOVESPA por redes neurais artificiais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Roberto Hirata Junior.
37.   Gabriela Eleutério Soares. Testes estatísticos semi-paramétricos para discriminação e grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.
38.   Gabrielle Sayuri Komatsu Minohara. Caracterização de Sistemas de Informação da área da Saúde disponibilizados sob uma licença de Software Livre. (Graduando em Tecnologia em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
39.   Gabriely Rangel Pereira. Projeto e Implementação de uma arquitetura baseada em serviço e suas aplicações para visualização de dados de saúde georreferenciados. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
40.   Giulia Satiko Maesaka. Grafos e hipergrafos com cintura e nu?mero croma?tico grandes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Yoshiharu Kohayakawa.
41.   Graziela Simone Tonin. Technical Debt Management in the Context of Agile Methods in Software Development. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Alfredo Goldman vel Lejbman.
42.   Gustavo Spelzon Caparica. Bugs em jogos e suas aplicações em speedruns. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
43.   Higor Amario de Souza. Assessment of Spectrum-based Fault Localization for Practical Use. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2018.
Orientador: Fabio Kon.
44.   Hugo Vinícius Vaz Braga. Algoritmos exatos para problemas de spanners em grafos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Yoshiko Wakabayashi.
45.   Hélio Hideki Assakura Moreira. Lungy - monitoramento da qualidade do ar para praticantes de atividades físicas. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
46.   Ignasi Andres. Planejamento Contingente e Planejamento Probabilístico com Ajuda Externa. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Leliane Nunes de Barros.
47.   Igor Cataneo Silveira. Resolvendo Vestibular Utilizando Recuperação de Informação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Denis Deratani Mauá.
48.   Isabella Carolina Ferreira Mendonça. Redes neurais convolucionais gerando arte: aplicação em obras de Jê américo. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
49.   Jie Han. Circuitos Hamiltonianos e problemas de ladrilhamento em hipergrafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Supervisor: Yoshiharu Kohayakawa.
50.   Joel Edu Sanchez Castro. Seleção de Modelos para o Aprendizado de Hipóteses Booleanas. 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. 2018.
Orientadores: Junior Barrera, Ronaldo Fumio Hashimoto.
51.   Jose Euripedes Ferreira de Jesus Filho. Método beam search aplicado a problemas de programação da produção. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Ernesto Julián Goldberg Birgin.
52.   José Roberto da Silva. Aplicação de pesquisa NPS para pacientes da saúde pública. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
53.   João Henrique Luciano. Avaliação de desempenho de algoritmos desenvolvidos via síntese de alto nível para FPGAs. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
54.   Juan Gabriel Gutiérrez Alva. Transversais em grafos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Cristina Gomes Fernandes.
55.   Laís Salvador. . Universidade de São Paulo, . 2018.
Supervisor: Renata Wassermann.
56.   Leonardo de Carvalho Freitas Padilha Aguilar. Análise do uso de SDN para balanceamento de carga. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Daniel Macêdo Batista.
57.   Leonardo de Carvalho Freitas Padilha Aguilar. Balanceamento de Carga via SDN. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Daniel Macêdo Batista.
58.   Lucas Helfstein Rocha dos Santos. Mineração de Opiniões Políticas em Textos da Web. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2018.
Orientador: Kelly Rosa Braghetto.
59.   Lucas Stefan Abe. Arquitetura e escalabilidade das criptomoedas baseadas em blockchain. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Daniel Macêdo Batista.
60.   Lucca Castro Zuttin. Uma interface gráfica para o arcabouço probabilístico TOPS. (Graduando em Ciência da Computação) - Centro Universitário das Faculdades Metropolitanas Unidas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Alan Mitchell Durham.
61.   Luciana de Melo e Abud. Modelos computacionais prognósticos de lesões traumáticas do plexo braquial em adultos. 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. 2018.
Orientador: Kelly Rosa Braghetto.
62.   Luciano Antônio Siqueira. Paralelização em GPU de uma Rede Neural de Regressão Geral. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
63.   Luciano Santos da Silva Tamanqueira. Representação do conhecimento e da informação na saúde: como preparar colaboradores para o uso da informática?. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
64.   Lucy Choque Mansilla. Segmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de Conexidade. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Paulo André Vechiatto de Miranda.
65.   Ludmila Ferreira Vicente e Silva. Inovação de Gênero: detecção de padrões de viés de gênero em textos de websites. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
66.   Luis Eduardo Zambrano Fernandéz. Densidade local em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Yoshiharu Kohayakawa.
67.   Luiz Paulo Medina de Lima. Identificação de Sistemas Dinâmicos em dados de estoque imobiliário. Dissertação (Mestrado em Ciência da Computaçao) - Instituto de Matemática e Estatística da USP, . 2018.
Orientador: Junior Barrera.
68.   Marcelo Soares Campos. Um panorama sucinto da matema?tica com e?nfase em combinato?ria. (Graduando em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Yoshiharu Kohayakawa.
69.   Marcelo Tadeu de Sá Oliveira Sales. Extremal and probabilistic problems for order types. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Yoshiharu Kohayakawa.
70.   Marcos Amarís Gonzáles. Performance Prediction of Applications Executed on GPUs using a Simple Analytical Model and Machine Learning Techniques. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Alfredo Goldman vel Lejbman.
71.   Maricy Caregnato. Regressão logística multinomial: um modelo a partir do comportamento do usuário em rede social para a predição de traços depressivos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Flavio Soares Correa da Silva.
72.   Mateus Riva. A structural method for pediatric MRI segmentation. 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. 2018.
Orientador: Roberto Marcondes Cesar Junior.
73.   Mauro de Medeiros Oliveira. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Supervisor: Alan Mitchell Durham.
74.   Mauro de Medeiros Oliveria. Transcriptoma, sítios de ligação para fatores de transcrição e região promotora de cana-de-açúcar. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Supervisor: Alan Mitchell Durham.
75.   Maycon Sambinelli. . Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Supervisor: Yoshiko Wakabayashi.
76.   Michael Mateus de Lima. Aplicação de técnicas ágeis em projetos ERP de larga escala: Um Estudo de Caso. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
77.   Noeli Aparecida Lopes de Sousa. Uma revisão das ações educativas aplicadas no processo de ensino-aprendizado de informática em saúde. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
78.   Nury Yuleny Arosquipa. Um Estudo Comparativo de Métodos de Segmentação de Documentos Antigos. 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. 2018.
Orientador: Roberto Hirata Junior.
79.   Patrick Abrahão Menani. Transmissão de vídeo em VANETs Utilizando a técnica DASH. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Alfredo Goldman vel Lejbman.
80.   Paulo Roberto Branco Lins. Desenvolvimento de uma abordagem quantitativa para o estudo de recorrências de módulos topológicos em redes biológicas. Dissertação (Mestrado em Bioinformática) - Universidade Federal do Rio Grande do Norte, . 2018.
Orientador: Junior Barrera.
81.   Paulo Roberto Miranda Meirelles. . Universidade de São Paulo, . 2018.
Supervisor: Fabio Kon.
82.   Pedro Henrique Barbosa de Almeida. Aprendizado de transformações de imagens via classificação de microrregiões. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientador: Nina Sumiko Tomita Hirata.
83.   Pedro Marcondes. Algoritmos de otimização em problemas de processamento de sinais digitais: Design de filtros. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marcelo Gomes de Queiroz.
84.   Pedro Nachtigall. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Supervisor: Alan Mitchell Durham.
85.   Rafael Aquino de Carvalho. Uma análise comparativa de ambientes para Big Data: Apache Spark e HPAT. 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. 2018.
Orientador: Alfredo Goldman vel Lejbman.
86.   Rafael Sousa da Silva. Internet das Coisas e mHealth Transformando Assistência na Cadeia de Saúde. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
87.   Rafael Tartaglias Partelli. Uso do PEP na Rede Hospitalar e a Interação com as Redes de Atenção a Saúde. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
88.   Rayssa Küllian Martins. A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do Aprendizado de Máquina para português. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018.
Orientador: Marcelo Finger.
89.   Renan Rodrigo Barbosa. Migração de redes tradicionais para SDN. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Daniel Macêdo Batista.
90.   Renato Lui Geh. Mobile Robot Self-Driving Through Image Classication Using Discriminative Learning of Sum-Product Networks. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2018.
Orientador: Denis Deratani Mauá.
91.   Renato Lui Geh. Aprendizagem autom ?atica de redes soma-produto. (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Denis Deratani Mauá.
92.   Richard Raphael. Método da regularidade. (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, . 2018.
Orientador: Guilherme Oliveira Mota.
93.   Roberta de Fátima da Nóbrega Souza. Um estudo do aporte das tecnologias da informação para melhoria da qualidade dos serviços em saúde. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
94.   Rodrigo Augusto Dias Faria. Segmentação de pele humana usando regras de correlação baseadas em agrupamento dinâmico de cores. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Roberto Hirata Junior.
95.   Taís Aparecida Pereira Pinheiro. Tutoria inteligente usando sistemas de recomendação. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2018.
Orientador: Kelly Rosa Braghetto.
96.   Thelma Santos Pereira Caricati. A utilização de sistemas de informação para apoio ao diagnóstico precoce da Sepse. (Aperfeiçoamento/Especialização em Especialização em Informática em Saúde) - Universidade Federal de São Paulo, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
97.   Tiago Royer. Ehrhart theory for real dilates of polytopes. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Sinai Robins.
98.   Victor Aliende da Matta. Jogando RTS com Aprendizado de Reforço Profundo. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2018.
Orientador: Denis Deratani Mauá.
99.   Victor Henrique Magalhães Fernandes. Um estudo empírico sobre métricas de código fonte do Android API Framework. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2018.
Orientador: Paulo Roberto Miranda Meirelles.
100.   Victor Seiji Hariki. IoTrees. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: Alfredo Goldman vel Lejbman.
101.   Vinicius Jardim Carvalho. a ser definido. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Orientador: André Fujita.
102.   Vinicius Jardim Carvalho. BioNetStat: Uma ferramenta para análise diferencial de redes biológicas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018.
Supervisor: André Fujita.
103.   Viviane Bonadio dos Santos. Planejamento baseado em Verificação Simbólica de Modelos. Dissertação (Mestrado em Ciência da Computação) - Instituto de ciências Matemáticas e de Computação da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018.
Orientador: Leliane Nunes de Barros.
104.   Vítor Kei Taira Tamada. Estudo de caso de Deep Q-Learning. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2018.
Orientador: Denis Deratani Mauá.
105.   Yurick Yussuke Honda. Projeto e Implementação de uma Arquitetura de Referência para aplicações de visualização de dados de saúde georreferenciados. (Graduando em Ciência da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018.
Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon.
106.   Ângelo Gregório Lovatto. Reinforcement Learning Baseb on Policy Gradient. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, . 2018.
Orientador: Leliane Nunes de Barros.

2017

1.   Adalberto Bosco Pereira. Uso de jogos digitais no desenvolvimento de competências curriculares da matemá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. 2017.
Orientador: Flavio Soares Correa da Silva.
2.   Aline de Fátima Soares Borges. SelfMakeup: um sistema de realidade aumentada para auto-aplicação de maquiagem virtual. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Carlos Hitoshi Morimoto.
3.   Anderson Carlos Moreira Tavares. Interactive 3D Segmentation Repair with Image-Foresting Transform, Supervoxels and Seed Robustness. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Paulo André Vechiatto de Miranda.
4.   Anderson Meirelles Freitas. TSS e TSB: Novos descritores de forma baseados em Tensor Scale. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Paulo André Vechiatto de Miranda.
5.   Andreiwid Sheffer Correa. Uma arquitetura de referência colaborativa para estruturação de dados abertos governamentais. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo, . 2017.
Supervisor: Flavio Soares Correa da Silva.
6.   André Vinícius Lopes. Redes Neurais Convolucionais Aplicadas ao Projeto de Operadores de Imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Roberto Hirata Junior.
7.   Antonio Deusany de Carvalho Jr. Mobile Technologies for Music Interaction. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Marcelo Gomes de Queiroz.
8.   Antônio Augusto Abello. Uso de Redes Neurais Mistas Para Classificação de Plâncton. (Graduando em Ciências de Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Roberto Hirata Junior.
9.   Augusto César Monteiro Silva. Aprendizado de operadores de imagens baseado em características locais. (Graduando em Bacharelado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Nina Sumiko Tomita Hirata.
10.   Barbara Tieko Agena. Acesso a dados baseado em ontologias com NoSQL. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Renata Wassermann.
11.   Bruno Pasqualotto Cavalar. Pontes em matemática e computação. Iniciação Científica - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Yoshiharu Kohayakawa.
12.   Bruno Vercelino da Hora. Revisão de crenças no fragmento universal da CTL usando verificação de modelos limitada. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Finger.
13.   Camila Fernandez Achutti. Tree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Ana Cristina Vieira de Melo.
14.   Carlos Augusto Motta de Lima. Reconhecimento Automatizado de Acordes em Sinais de Áudio. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Gomes de Queiroz.
15.   Daison Manuel Yancy Caballero. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Supervisor: João Eduardo Ferreira.
16.   Daniel Cukier. Software startup ecosystems evolution: a maturity model. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Fabio Kon.
17.   Danilo Aleixo Gomes de Souza. Teaching Kids Financial Education: The Digital Way. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
18.   David Carlos de Araújo Silva. Kiskadee: Sistema de monitoramento e análise contínua de código fonte. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2017.
Orientador: Paulo Roberto Miranda Meirelles.
19.   Dennis José da Silva. Contagem incremental de padrões locais em árvores de componentes para cálculo de atributos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Ronaldo Fumio Hashimoto.
20.   Diana E. N. Pomalaya. A directional multipole light transport model for rendering multilayer translucent materialsmaterials. 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. 2017.
Supervisor: Nina Sumiko Tomita Hirata.
21.   Dylan Jefferson Maurício Guimarães Guedes. Processamento de dados em uma plataforma de cidades inteligentes. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2017.
Orientador: Paulo Roberto Miranda Meirelles.
22.   Eduardo Barreto Alexandre. IFT-SLIC: Geração de Superpixels com Base em Agrupamento Iterativo Linear Simples e Transformada Imagem-Floresta. 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. 2017.
Orientador: Paulo André Vechiatto de Miranda.
23.   Eduardo de Oliveira Castro. Ecossistema de Startups do Distrito Federal e sua maturidade. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2017.
Orientador: Paulo Roberto Miranda Meirelles.
24.   Elaine Naomi Watanabe. Um método para paralelização automática de workflows intensivos em dados. 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. 2017.
Orientador: Kelly Rosa Braghetto.
25.   Emilie Trindade de Morais. Implementação de uma Interface de Programação e uma Arquitetura de Plugins para a plataforma de participação social ?Empurrando Juntos?. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2017.
Orientador: Paulo Roberto Miranda Meirelles.
26.   Ester Risério Matos Bertoldi. Modelagem e implementação de banco de dados para identificação de marcadores moleculares no câncer de pâncreas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Supervisor: João Eduardo Ferreira.
27.   Ester Risério Matos Bertoldi. Modelagem e implementação de banco de dados clínicos e moleculares de pacientes com câncer e seu uso para identificação de marcadores em câncer de pâncreas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Supervisor: João Eduardo Ferreira.
28.   Fabio Moreira Costa. . Universidade de São Paulo, Fundação de Amparo a Pesquisa do Estado de Goiás. 2017.
Supervisor: Fabio Kon.
29.   Felipe Brigalante, Hugo Mitsumori, Mateus Rocha Mazzari. Paratii. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
30.   Felipe de Oliveira Campos Moreira. Sensors2Music: Contrabaixo aumentado utilizando dispositivos Android. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Gomes de Queiroz.
31.   Felipe Pontes Guimarães. IMPROV: Uma arquitetura para a execução confiável de composições de serviços dinâmicas. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2017.
Orientador: Daniel Macêdo Batista.
32.   Felipe Silva Felix. Classificação Automática de Espécies de Pássaros a Partir de Seus Cantos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Gomes de Queiroz.
33.   Fernando Cipriano Andrade Oliveira. Genetic Architecture of genes coding for RNA-binding proteins. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: André Fujita.
34.   Fernando Omar Aluani. Avaliação de Desempenho de Algoritmos de Estimação do Olhar para Interação com Computadores Vestí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. 2017.
Orientador: Carlos Hitoshi Morimoto.
35.   Gabriel de Morais Coutinho. Aplicações de teoria algébrica de grafos à teoria quântica da informação e à combinatória extremal, e relações com programação semidefinida. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Supervisor: Yoshiharu Kohayakawa.
36.   Gabriel dos Santos Silva. Implementation of federation protocol for social networks. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2017.
Orientador: Paulo Roberto Miranda Meirelles.
37.   Gianluca Takara Ciccarelli. Geração automática de quadros para animações utilizando Visão Computacional e Processamento de Imagens. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Roberto Hirata Junior.
38.   Giovana Gomes Delfino. Emparelhamento em grafos: Algoritmos e implementações. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Carlos Eduardo Ferreira.
39.   Giuliano Augusto Belinassi. Paralelização de código em GPU. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Alfredo Goldman vel Lejbman.
40.   Giuliano Augusto Faulin Belinassi. Optimizing a Boundary Elements Method for Stationary Elastodynamic Problems Implementation with GPUs. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
41.   Guilherme Fernades Otranto. A formal model for strategic planning in cooperative and competitive environments case study: design and implementation of a basketball simulator. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2017.
Orientador: Junior Barrera.
42.   Guilherme Feulo do Espírito Santo. Controle em Interfaces Cérebro-Computador de Baixo Custo para Aplicações Musicais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Gomes de Queiroz.
43.   Guilherme Oliveira Mota. Combinatória extremal e probabilística. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Supervisor: Yoshiharu Kohayakawa.
44.   Guilherme Souto Schützer. Inteligência Artificial em Magic: The Gathering. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2017.
Orientador: Denis Deratani Mauá.
45.   Gustavo Pinto Vilela. Causalidade de Granger entre grafos no domínio da frequência. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: André Fujita.
46.   Ian Carvalho. A CASE STUDY IN MUSIC STYLE?S SIMILARITY MEASUREMENT USING DEEP LEARNING. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
47.   Ian Carvalho. Algoritmos de Aprendizado de Máquina em GPU. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Alfredo Goldman vel Lejbman.
48.   Igor dos Santos Montagner. W -operator learning using linear models for both gray-level and binary inputs. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientadores: Nina Sumiko Tomita Hirata, Roberto Hirata Junior.
49.   Jaqueline Yu Ting Wang. Determinação pré-natal não invasiva de paternidade utilizando micro-haplótipos. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, GENOMIC. 2017.
Supervisor: André Fujita.
50.   Jefferson Serafim Ascaneo. Um estudo de algoritmos de reconstrução, focalização e segmentação de imagens de holografia digital para o aprimoramento da classificação de organismos planctônicos. 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. 2017.
Orientador: Roberto Hirata Junior.
51.   Jessica Katherine De Sousa Fernandes. Estudo de algoritmos de otimização estocástica aplicados em aprendizado de máquina. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
52.   Joenio Marques da Costa. Sustentabilidade Técnica de Software Acadêmico no Domínio de Ferramentas de Análise Estática de Código-Fonte. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . 2017.
Supervisor: Paulo Roberto Miranda Meirelles.
53.   John Lenon Gardenghi. Complexidade em programação não linear. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
54.   Jorge Augusto Melegati Golçalves. Requirements Engineering in Software Startups: a Qualitative Investigation. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
55.   Julio Cesar Delgado Vasquez. Programação de tarefas em um ambiente flow shop com m máquinas para a minimização do desvio absoluto total de uma data de entrega comum. 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. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
56.   Julissa Giuliana Villanueva Llerena. Classificadores multirrótulo baseados em redes soma-produto. 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. 2017.
Orientador: Denis Deratani Mauá.
57.   Lucas Romão Silva. Análise de Sentimentos Aplicada à Política. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Roberto Hirata Junior.
58.   Luiz Carlos Vieira. Assessment of fun from the analysis of facial images. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Flavio Soares Correa da Silva.
59.   Luiz Gustavo Moura Santos. Métodos de busca em coordenada. 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. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
60.   Marcelo Rabello Rossi. Experimentos com linguagens, paralelismo e alto consumo de CPU. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
61.   Marcos Ademir Tejada Condori. Extensão da Transformada Imagem-Floresta Diferencial para funções de conexidade com aumentos baseados na raiz e sua aplicação para geração de superpixels. 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. 2017.
Orientador: Paulo André Vechiatto de Miranda.
62.   Mariela Atausinchi Fernandez. Classificação de imagens de plâncton usando múltiplas segmentações. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Nina Sumiko Tomita Hirata.
63.   Marino Hilario Catarino. Integrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: João Eduardo Ferreira.
64.   Nathan Benedetto Proença. Sampling Spanning Trees: Theory and Algorithms. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2017.
Orientador: Marcel Kenji de Carli Silva.
65.   Nicolas Silverio Figueiredo. Técnicas de filtragem em gravações de cantos de pássaros. (Graduando em Engenharia Mecatrônica) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Gomes de Queiroz.
66.   Oberlan Christo Romão. O problema de corte não guilhotinado multiperíodo com sobras aproveitáveis. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Ernesto Julián Goldberg Birgin.
67.   Paulo Bittencourt Moura. Dynamic resource allocation for elastic systems based on scalability modeling. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2017.
Orientador: Fabio Kon.
68.   Pedro Marcondes. Contrabaixo aumentado com uso de sensores para controle de efeitos sonoros. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Marcelo Gomes de Queiroz.
69.   Phablo Fernando Soares Moura. Graph colorings and digraph subdivisions. Tese (Doutorado em Ciencia da Computacao) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2017.
Orientador: Yoshiko Wakabayashi.
70.   Rafael Brito de Oliveira. Utilização de ontologias para busca em base de dados de acórdãos do STF. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: Renata Wassermann.
71.   Rafael Germano Rossi. Análise de Componentes Principais em Data Warehouses. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017.
Orientador: João Eduardo Ferreira.
72.   Rafael Santos Coelho. The k-hop connected dominating set problem: approximation algorithms and hardness results. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Yoshiko Wakabayashi.
73.   Rafael Wilton Barboza Coracini. Análise de Terreno para Inteligências Artificiais de Jogos de Estratégia em Tempo Real via Transformada Imagem-Floresta (IFT). (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Paulo André Vechiatto de Miranda.
74.   Rodrigo Alves Lima. Modeling of Time WED-flow. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: João Eduardo Ferreira.
75.   Samuel Martins B. Neto. Análise de dados de comportamento social. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2017.
Orientador: Roberto Marcondes Cesar Junior.
76.   Taiane Coelho Ramos. Identificação de alterações em conectividades funcionais córtico-cerebelares no transtorno do espectro autista. 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. 2017.
Orientador: André Fujita.
77.   Tallys Gustavo Martins. Clusterização de dados para identificação de grupos de opinião em uma ferramenta de participação social. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2017.
Orientador: Paulo Roberto Miranda Meirelles.
78.   Thales Areco Bandiera Paiva. Melhorando o ataque de reação contra o QC-MDPC McEliece. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2017.
Orientador: Routo Terada.
79.   Thayná Gonçalves da Silveira. Teoria de Grafos e Técnicas Combinatórias. (Graduando em Ciência e Tecnologia) - Universidade Federal do ABC, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Guilherme Oliveira Mota.
80.   Thiago Dias Simão. Planejamento Probabilístico com Dead-ends. 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. 2017.
Orientador: Leliane Nunes de Barros.
81.   Thomas Ryu Samashima. A Study on How to Improve Android Permissions to the IoT Context. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
82.   Tomás Marcondes Bezerra Paim. Inteligência Artificial em Magic: The Gathering. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2017.
Orientador: Denis Deratani Mauá.
83.   Vinicius Nascimento Silva. Percepção coletiva da comunidade de desenvolvimento em relação ao dbunit. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2017.
Orientador: Alfredo Goldman vel Lejbman.
84.   Waldir Edison Farfan Caro. Análise preditiva de desempenho de workflows usando Teoria do Campo Médio. 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. 2017.
Orientador: Kelly Rosa Braghetto.
85.   Wilson Kazuo Mizutani. VORPAL: a middleware for real-time soundtracks in digital games. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2017.
Orientador: Fabio Kon.
86.   Wonder Alexandre Luz Alves. . Universidade de São Paulo, . 2017.
Supervisor: Ronaldo Fumio Hashimoto.
87.   Ítalo Paiva Batista. Implementação de uma Interface de Programação e uma Arquitetura de Plugins para a plataforma de participação social ?Empurrando Juntos?. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2017.
Orientador: Paulo Roberto Miranda Meirelles.

2016

1.   Abner Cardoso Rofrigues Neto. Caracterização e análise da atividade eletrofisiológica em pacientes com epilepsia. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Supervisor: André Fujita.
2.   Adnan Yulji Degaki. O uso de navegadores com rastreadores de olhar. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Carlos Hitoshi Morimoto.
3.   Alessandro Caetano Beltrão. Aplicação de Software Analytics e o Algoritmo de Ranqueamento de Páginas Para Apoiar Decisões de Planejamento de Sprint. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
4.   Amanda Sayuri Guimaraes. Um algoritmo para simplificar sistemas de equações diferenciais que descrevem a cinética de reações químicas. Dissertação (Mestrado em Ciência da Computaçao) - Instituto de Matemática e Estatística da USP, . 2016.
Orientador: Junior Barrera.
5.   Ana Carolina Rodrigues. Análise de dados em linguagem natural extraídos do Twitter utilizando técnicas de aprendizado de máquina. (Graduando em Letras) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Roberto Hirata Junior.
6.   André Casimiro. Principais variáveis na ordenação de anúncios. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: João Eduardo Ferreira.
7.   André Luis Schwerz. Sistemas de informação cientes de processos, robustos e confiáveis. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: João Eduardo Ferreira.
8.   André Luiz Kawamoto. Utilização de sensores de profundidade de baixo custo para prover qualidade de vida em idosos. Tese (Doutorado em Ciências da Comunicação) - Universidade de São Paulo, . 2016.
Orientador: Flavio Soares Correa da Silva.
9.   Antonio Josefran de Oliveira Bastos. Circuitos Hamiltonianos em hipergrafos e densidades de subpermutações. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Guilherme Oliveira Mota.
10.   Antonio José Homsi Goulart. Efeitos de áudio baseados em decomposição AM/FM. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marcelo Gomes de Queiroz.
11.   Beatriz Rezener Dourado Matos. Estudo comparativo entre o desenvolvimento de aplicativos móveis utilizando abordagem nativa e multiplataforma. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
12.   Bruno Vinícius de Souza Reis, Renato Massao Maeda da Silva. Desenvolvimento de um aplicativo organizador de estudos para plataforma móvel usando a metodologia Lean UX. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Alfredo Goldman vel Lejbman.
13.   Caio de Moraes Braz. Segmentação de Imagens pela Transformada Imagem-Floresta com Faixa de Restrição Geodésica. 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. 2016.
Orientador: Paulo André Vechiatto de Miranda.
14.   Caio T. da Quinta, Eugenio A. Jimenes, Leonardo Scheffer. Desenvolvimento de uma Plataforma web para divulgação e centralização de eventos na Cidade Universitária aplicando conceitos de Métodos Ágeis e Lean Startup. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Alfredo Goldman vel Lejbman.
15.   Camila Ferreira Pereira Silva. Estudo de barreiras para contribuir com projetos de software público brasileiro. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
16.   Cesar Giovanni Chaves Arroyave. Escalonamento de Aplicações com Requisitos de Software em Grades e Nuvens Privadas. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . 2016.
Supervisor: Daniel Macêdo Batista.
17.   Davi Toshio Inada. Análise do metaboloma da cana-de-açúcar ao longo do ciclo de maturação da planta.. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Supervisor: André Fujita.
18.   Diogo de Jesus Pina. Gerenciando dívida técnica: estado atual e novas propostas em métodos de medida. 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. 2016.
Orientador: Alfredo Goldman vel Lejbman.
19.   Eber Saj Porcacchia. Redes neurais multicamadas e convolucionais aplicadas à segmentação de vasos sanguíneos. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Nina Sumiko Tomita Hirata.
20.   Eduardo Almeida Feijó. Proteção dos direitos autorais de imagem estática utilizando criptografia visual e marca d'água. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2016.
Orientador: Routo Terada.
21.   Eduardo Cotrin Teixeira. Informações de suporte ao escalonamento de workflows científicos para a execução em plataformas de computação em nuvem. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Kelly Rosa Braghetto.
22.   Felipe de Oliveira Campos Moreira. Técnicas para síntese expressiva. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Marcelo Gomes de Queiroz.
23.   Felipe Silva Felix. Audio thumbnailing. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Marcelo Gomes de Queiroz.
24.   Fernanda de Camargo Magano. Descoberta de Conhecimento em Redes Sociais e Bases de Dados Públicas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Kelly Rosa Braghetto.
25.   Frank Dennis Julca Aguilar. . Universidade de São Paulo, . 2016.
Supervisor: Nina Sumiko Tomita Hirata.
26.   Frank Dennis Julca Aguilar. Recognition of Online Handwritten Mathematical Expressions using Contextual Information. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Nina Sumiko Tomita Hirata.
27.   Frank Helbert Borsato. Rastreador ocular de baixo custo e alto desempenho. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Carlos Hitoshi Morimoto.
28.   Fábio Happ Botler. Decomposição de grafos em caminhos. Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Yoshiko Wakabayashi.
29.   Gabriel Baptista. Aprendizado por Reforço em Lote para a construção de um Sistema de Cobranças. (Graduação em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística da Universidade de São Paulo, . 2016.
Orientador: Leliane Nunes de Barros.
30.   Gabriel Torres Gomes Pato. Um estudo empírico de composições de serviço: efeitos da variação de redundância e confiabilidade dos papéis. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Daniel Macêdo Batista.
31.   Glauber De Bona. Medindo inconsistência em bases de conhecimento probabilístico. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Marcelo Finger.
32.   Grover Enrique Castro Guzman. Identificação de alterações na estrutura de clusterização das redes funcionais do cérebro associadas com o neurodesenvolvimento.. 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. 2016.
Orientador: André Fujita.
33.   Ivan Eiji Yamauchi Simurra. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Supervisor: Marcelo Gomes de Queiroz.
34.   Ivanilton Polato. Economia de energia e aumento de desempenho usando SSDs no Hadoop Distributed File System. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2016.
Orientador: Fabio Kon.
35.   João Gabriel de Britto e Silva. Estudo comparativo entre o desenvolvimento de aplicativos móveis utilizando abordagem nativa e multiplataforma. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
36.   João Marcelo Borovina Josko. João Marcelo Borovina Josko. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: João Eduardo Ferreira.
37.   Juan Manuel Vidal. Estudo comparativo de duas estratégias utilizadas na busca de relações funcionais entre genes. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: André Fujita.
38.   Larissa Cristina Moraes. Representação de variabilidade estrutural de dados por meio de famílias de esquemas de banco de dados. 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. 2016.
Orientador: Kelly Rosa Braghetto.
39.   Laécio Freitas Chaves. Alinhamento mu?ltiplo de genomas e seque?ncias de protei?nas com repetic?o?es e rearranjos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Alan Mitchell Durham.
40.   Lucas Albuquerque Medeiros de Moura. Estratégia de contexto temporal em recomendação de pacotes GNU/Linux. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
41.   Luciano Kelvin da Silva. Utilização de mineração de especificação na identificação de fluxos inválidos em softwares. 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. 2016.
Orientador: Ana Cristina Vieira de Melo.
42.   Luciano Prestes Cavalcanti. Estratégia de contexto temporal em recomendação de pacotes GNU/Linux. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
43.   Luiz Arthur Feitosa dos Santos. Uma abordagem autonômica para mitigar ciberataques em redes de computadores. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Daniel Macêdo Batista.
44.   Marcela Terakado. Computação de Alto Desempenho. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Alfredo Goldman vel Lejbman.
45.   Marcela Terakado e Marcos Kazuya Yamazaki. Gerenciamento e análise de métricas alternativas de impacto de revistas científicas da USP. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Kelly Rosa Braghetto.
46.   Marcelo Ris. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Supervisor: João Eduardo Ferreira.
47.   Marcos Silvano de Almeida. Design de jogos baseado em componentes. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Flavio Soares Correa da Silva.
48.   Marisol Solis. Utilização de Ontologias para Busca em um Sistema Colaborativo de Imagens Arquitetônicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Renata Wassermann.
49.   Mateus Barros Rodrigues. Implementação de algoritmos para consultas de segmentos em janelas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Carlos Eduardo Ferreira.
50.   Maxwell Almeida Santos. Um Estudo da Interferência Entre Máquinas Virtuais em seus Desempenhos. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
51.   Patricia Alves Pereira. iMPaCTS: Um modelo de colaboração por pares para aprendizagem. 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. 2016.
Orientador: Leônidas de Oliveira Brandão.
52.   Paulo de Tarso Guerra Oliveira. Revisão de crenças temporais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Renata Wassermann.
53.   Paulo Moises Raduan Alexandrino. Reconstrução da rede metabólica em escala genômica da bactéria Burkholderia sacchari. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: André Fujita.
54.   Pedro Ferreira Alexandre. Segmentação de imagens pela Transformada Imagem-Floresta em grafos de superpixels. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Paulo André Vechiatto de Miranda.
55.   Pedro Vinícius Zanini Guimarães. Um relato de experiência de melhoria de processo aplicando ciclo PDCA em uma pequena empresa. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
56.   Rafael Liberato Roberto. Aumentando a migração de instâncias não complacentes em sistemas de informação cientes de processos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: João Eduardo Ferreira.
57.   Rafael Reis da Silva. Combinação de operadores heurísticos de imagens. Iniciação Científica - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Nina Sumiko Tomita Hirata.
58.   Rafael Wilton Barboza Coracini. Descritores de formas baseados no Esqueleto Multiescala via Transformada Imagem-Floresta (IFT). (Graduando em Engenharia Mecatrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Paulo André Vechiatto de Miranda.
59.   Ricardo Juliano Mesquita Silva Oda. Provisionamento Dinâmico de Recursos para Execução de Workflows Científicos em Nuvens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Kelly Rosa Braghetto.
60.   Ricardo Luiz de Andrade Abrantes. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Supervisor: Roberto Marcondes Cesar Junior.
61.   Ricardo Moura Sekeff Budaruiche. Uso de ontologias para classificação de pacientes portadores da Síndrome de Li-Fraumeni: Estudo de caso no A.C. Camargo Cancer Center. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2016.
Orientador: Renata Wassermann.
62.   Rodrigo Campiolo. Análise e extração de alertas antecipados sobre ameaças e incidentes de segurança em sistemas computacionais usando fontes de dados não estruturados. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Daniel Macêdo Batista.
63.   Rodrigo Guerrero Zerbini. Complex Network Spectrum Signature - Um estudo sobre um descritor de formas via análise espectral de grafos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Paulo André Vechiatto de Miranda.
64.   Rogério Aparecido Gonçalves. A runtime for code offloading on modern heterogeneous platforms. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Alfredo Goldman vel Lejbman.
65.   Samuel Plaça de Paula. Problema dos k-Centros e Variantes. 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. 2016.
Orientador: Cristina Gomes Fernandes.
66.   Santiago Valdes Ravelo. Problema da árvore geradora de comunicação ótima: variantes, complexidade e aproximação. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2016.
Orientador: Carlos Eduardo Ferreira.
67.   Shayenne da Luz Moura. Separação de sinais de áudio em melodia e acompanhamento. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Marcelo Gomes de Queiroz.
68.   Thais Lima de Sousa. Técnica de segmentação hierárquica de imagem baseada em grafos com pesos. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2016.
Orientador: Ronaldo Fumio Hashimoto.
69.   Thiago de Souza Fonseca Ribeiro. Implantação automatizada de aplicações web em ambientes Debian GNU/Linux. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.
70.   Thiago Kenji Okada. Avaliação do impacto da comunicação intra e entre-nós em nuvems computacionais para aplicações de alto desempenho. 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. 2016.
Orientador: Alfredo Goldman vel Lejbman.
71.   Victor Sanches Portella. Algoritmos quase lineares para fluxos em grafos. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2016.
Orientador: Marcel Kenji de Carli Silva.
72.   Vitor Samora. Efeitos digitais de áudio em tempo real. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Marcelo Gomes de Queiroz.
73.   Walter Perez Urcia. Learning Bayesian Networks for Large Domains. 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. 2016.
Orientador: Denis Deratani Mauá.
74.   Wellington D. Previero. Estratégias de resolução para o problema do job-shop flexível. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2016.
Orientador: Carlos Eduardo Ferreira.
75.   Yan Soares Couto. Algoritmos em sequências. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2016.
Orientador: Cristina Gomes Fernandes.
76.   Yuri David Santos. Pseudo-Contractions in Belief Revision. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2016.
Orientador: Renata Wassermann.
77.   Álvaro Fernando Matos de Souza. Análise Exploratória do Projeto Mezuro: uma Proposta de Evolução da Apresentação das Métricas de Código-fonte. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2016.
Orientador: Paulo Roberto Miranda Meirelles.

2015

1.   Ademar Lacerda. Álgebra Linear Numérica em GPUS. Dissertação (Mestrado em Ciencia da computacao) - IME-USP (Instituto de matemática e estatística, USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Walter Figueiredo Mascarenhas.
2.   Albert De La Fuente. Energy-Eficient Virtual Machines Placement. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Daniel Macêdo Batista.
3.   Alessandro Caetano Beltrão. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
4.   Alexandre Martins Ferreira de Sousa. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Carlos Hitoshi Morimoto.
5.   Alexandre Morimitsu. Computação Incremental e Eficiente de Sequências de Árvores de Componentes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Ronaldo Fumio Hashimoto.
6.   Anderson Conceição de Almeida. O método do gradiente espectral projetado aplicado ao problema de image impainting usando regularização L1. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Ernesto Julián Goldberg Birgin.
7.   André Bernardes Soares Guedes. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
8.   André Pestana. AdaptSuite - Ferramenta para Seleção Automática de Testes. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
9.   André Pierro de Camargo. Estabilidade numérica de fórmulas de interpolação baricêntrica. Tese (Doutorado em matemática aplicada) - IME-USP (Instituto de matemática e estatística, USP), Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Walter Figueiredo Mascarenhas.
10.   Antonio Diaz Tula. Contribuições para interação pelo olhar com teclados virtuais. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Carlos Hitoshi Morimoto.
11.   Antonio Roberto de Campos Junior. Teoria dos Números e Computação: Uma abordagem utilizando problemas de competições de programação.. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Carlos Eduardo Ferreira.
12.   António Augusto Tavares Martins Miranda. Simulador de temperaturas baseado em. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2015.
Orientador: Ana Cristina Vieira de Melo.
13.   Aritanan Borges Garcia Gruber. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Supervisor: Carlos Eduardo Ferreira.
14.   Arthur Jahn Sturzbecher. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
15.   Bruna Nayara Moreira Lima. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
16.   Caio Truzzi Lente. Empreendedorismo: uma abordagem orientada por dados. (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Fabio Kon.
17.   Carlos Eduardo Leão Elmadjian. Detecção de padrões de leitura com baixa taxa de amostragem. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Carlos Hitoshi Morimoto.
18.   Carlos Henrique Ferreira Oliveira. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
19.   Carolina Barros Ramalho. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
20.   Charles Daniel de Oliveira. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
21.   Daniel de Angelis Cordeiro. Aplicações de Teoria de Escalonamento em Computação em Nuvem. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Supervisor: Alfredo Goldman vel Lejbman.
22.   Daniel Jorge Renjiffo. Computação de Alto Desempenho. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Alfredo Goldman vel Lejbman.
23.   Daniel Quadros de Miranda. Um Servidor HTTP/2 Reativo em Scala. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Daniel Macêdo Batista.
24.   Davi Souto Grangeiro. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015.
Orientador: Nina Sumiko Tomita Hirata.
25.   Diego Martin Mancini. Estudo de comparação do descritor de imagens coloridas BIC empregando diferentes abordagens de classificação de detecção de bordas: Canny e Operador Laplaciano. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2015.
Orientador: Paulo André Vechiatto de Miranda.
26.   Dylan Jefferson Maurício Guimarães Guedes. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
27.   Eduardo Cocca Padovani. Caracterização da Estrutura e Dinâmica das Redes Funcionais Neurais Durante um Processo de Indução Anestésica. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: André Fujita.
28.   Estefhan D. Wandekokem.. Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Supervisor: Roberto Marcondes Cesar Junior.
29.   Estefhan D. Wandekokem. Um método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chave.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Roberto Marcondes Cesar Junior.
30.   Evelyn Perez Cervantes. Análise de redes de colaboração científica: Uma abordagem baseada em grafos relacionais com atributos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Roberto Marcondes Cesar Junior.
31.   Fabrício Vasconcellos Puppi. Implementações funcionais de algoritmos em grafos. (Graduação em Bacharelado em Matemática) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2015.
Orientador: Marcel Kenji de Carli Silva.
32.   Felipe Tulio Pereira da Cruz. Code quality in agile methods. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
33.   Frederico Sousa Oliveira. Gerenciamento da Dívida Técnica em projetos de software utilizando Scrum: Uma pesquisa-ação. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
34.   Gabriel Augusto Bianchi Azevedo Ferreira. Olhando para a cidade: Big Data e visão computacional para análise de ambientes urbanos. (Graduando em Engenharia Mecânica - Ênfase em Mecatrônica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Roberto Marcondes Cesar Junior.
35.   Gabriel dos Santos Silva. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
36.   Gabriel Ferreira Guilhoto. Avaliação de sistemas NoSQL para o gerenciamento de dados em workflows científicos. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Kelly Rosa Braghetto.
37.   Gustavo Rodrigues Coelho. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
38.   Hans Harley Ccacyahuillca Bejar. Conexidade Fuzzy Relativa em Grafos Dirigidos e sua Aplicação em um Método Híbrido para Segmentação Interativa de Imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Paulo André Vechiatto de Miranda.
39.   Hebert Dougles de Almeida Santos. Evoluindo uma plataforma de rede de colaboração social para um ambiente de aprendizagem virtual. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2015.
Orientador: Paulo Roberto Miranda Meirelles.
40.   Henrique Morimitsu. . Universidade de São Paulo, . 2015.
Supervisor: Roberto Marcondes Cesar Junior.
41.   Henrique Morimitsu. A graph-based approach for online multi-object tracking in structured videos with an application to action recognition. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Roberto Marcondes Cesar Junior.
42.   Henrique Stagni. Teste de propriedades em torneios. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Yoshiharu Kohayakawa.
43.   Jorge Luis Guevara Dias. Modelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidade. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Roberto Hirata Junior.
44.   Jéssica Yumi Kojima. Bancos de dados de imagens: uma aplicação em Neurociência. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Kelly Rosa Braghetto.
45.   Karina Suemi Awoki. Algoritmos para bissecção em árvores. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Cristina Gomes Fernandes.
46.   Leandro de Araujo Lima. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, . 2015.
Supervisor: Ronaldo Fumio Hashimoto.
47.   Leandro Ticlia de La Cruz. Quantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinha. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Nina Sumiko Tomita Hirata.
48.   Lehilton Lelis Chaves Pedrosa. Algoritmos de Aproximação para Problemas de Projeto de Rede com Restrições. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Supervisor: Cristina Gomes Fernandes.
49.   Leonardo Nagami Coregliano. Flag algebras and tournaments. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Yoshiharu Kohayakawa.
50.   Liliane Santana Oliveira. Caracterização de Sequências Virais em Metagenomas. Tese (Doutorado em Interunidades em Bioinformática) - Universidade de São Paulo, . 2015.
Supervisor: Alan Mitchell Durham.
51.   Luan Guimarães Lacerda. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
52.   Lucas Albuquerque Medeiros de Moura. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
53.   Lucas Dário. ODA : Open Dynamic Audio - Middleware para manipulação de trilhas sonoras dinâmicas em jogos digitais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marcelo Gomes de Queiroz.
54.   Lucas Kanashiro Duarte. Modelos de Predição para Monitoramento de Métricas de Ameaças de Vulnerabilidade de Código Fonte. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2015.
Orientador: Paulo Roberto Miranda Meirelles.
55.   Lucas Severo Alves. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
56.   Luis Gustavo Rocha Vianna. Programação Dinâmica, Assíncrona e Aproximada para HMDPs. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Leliane Nunes de Barros.
57.   Luiz Fernando Gomes de Oliveira. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
58.   Lukas Takeshi Rodrigues Palma, Márcio Sakamoto Shibao. Suricato: Um sistema para facilitar reuniões de melhoria contínua. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
59.   Lulu Wu. Um método para modificar vias de sinalização molecular por meio de análise de banco de dados de interatomas. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Junior Barrera.
60.   Luís F. S. X. da Silveira. Algoritmos para união de círculos e polígonos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Cristina Gomes Fernandes.
61.   Marcio Takashi Oshiro. Clustering de trajetórias. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Cristina Gomes Fernandes.
62.   Marcos E. B. Broinizi. Ordenação evolutiva de anúncios em publicidade computacional.. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: João Eduardo Ferreira.
63.   Marcos Ronaldo Pereira Júnior. Estudo da correlação entre métricas de código fonte do sistema Android e seus aplicativos. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2015.
Orientador: Paulo Roberto Miranda Meirelles.
64.   Marcos Ronaldo Pereira Júnior. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
65.   Maria José Guimarães de Souza. MOOC de Geometria: discussões e proposta de um modelo para a educação básica. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2015.
Orientador: Leônidas de Oliveira Brandão.
66.   Marta Magda Dornelles. Construção e seleção de janelas na combinação de W-operadores. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Nina Sumiko Tomita Hirata.
67.   Matheus Souza Fernandes. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
68.   Maxwell Almeida Santos. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
69.   Mayara Cassia de Melo. Análise Computacional das Decisões de Tribunais Superiores Brasileiros. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marcelo Finger.
70.   Milton Y. Nishiyama Jr. Desenvolvimento da Plataforma CaneRegNet para Anotação Funcional e Análise do Transcriptoma da Cana-de-Açucar. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Supervisor: João Eduardo Ferreira.
71.   Monna Cleide F. R. dos Santos. O ecossistema de startups de software da cidade de São Paulo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Fabio Kon.
72.   Márcia Roberta dos Santos Pires da Silva. iComb: Estudo e Projeto Participativo para Redefinição de um Sistema para Ensino-Aprendizagem de Combinatória. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2015.
Orientador: Leônidas de Oliveira Brandão.
73.   Mário César San Felice. . Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Supervisor: Cristina Gomes Fernandes.
74.   Paulo Henrique Tada Ferreira Santos. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
75.   Pedro Alves de Medeiros Scocco, Wagner Ferreira Alves. Aplicando Técnicas de Lean Startup em Desenvolvimento de Software. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
76.   Pedro de Lyra Pereira. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
77.   Pedro Ivo Siqueira Nepomuceno. a ser definido. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: André Fujita.
78.   Rafael Durbano Lobato. Empacotamento de elipsoides. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: Ernesto Julián Goldberg Birgin.
79.   Rafael Mathias Ferreira. Arcabouço probabilístico para análise de sequências de RNA. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Alan Mitchell Durham.
80.   Rafael Mota Gregorut. Mining Test Cases to generate properties. (Graduação em Ciências de Computação) - Universidade de São Paulo, . 2015.
Orientador: Ana Cristina Vieira de Melo.
81.   Rafael Perazzo Barbosa Mota. Mecanismos para a Melhoria do Desempenho de Sistemas RFID Passivos. Tese (Doutorado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Daniel Macêdo Batista.
82.   Rafael Veiga Pocai. Problemas Computacionais em Teoria Topológica de Grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Carlos Eduardo Ferreira.
83.   Reginaldo do Prado. iPlan - Uma Linha de Produto de Software baseada em Padrões Pedagógicos para Gerar Planos de Aulas em Ambientes Aprendizagem via Web. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Leônidas de Oliveira Brandão.
84.   Renan Teruo Carneiro, Vitor Cerqueira Santos. Aplicando o Arcabouço OpenTuner a Jogos Digitais. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Alfredo Goldman vel Lejbman.
85.   Roberto Piassi Passos Bodo. Técnicas determinísticas para acompanhamento musical automatizado. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2015.
Orientador: Marcelo Gomes de Queiroz.
86.   Romenig da Silva Ribeiro. Construção e uso de ambiente visual para o ensino de programação introdutória. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Leônidas de Oliveira Brandão.
87.   Shayenne da Luz Moura. Timbre e percepção de consonância. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015.
Orientador: Marcelo Gomes de Queiroz.
88.   Silvia Cristina Dias Pinto. Aprendizado estrutural e wavelets. Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Supervisor: Roberto Marcondes Cesar Junior.
89.   Simião Correia Lima de Carvalho. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
90.   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. 2015.
Orientador: Ana Cristina Vieira de Melo.
91.   Suzana de Siqueira Santos. Análise de redes biológicas: estudo comparativo de medidas de dependência e uma ferramenta computacional para discriminar grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2015.
Orientador: André Fujita.
92.   Sérgio Nery Simões. Uma abordagem integrativa usando dados de interação proteína-proteína e estudos genéticos para priorizar genes e funções biológicas em transtorno de déficit de atenção e hiperatividade. Tese (Doutorado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Ronaldo Fumio Hashimoto.
93.   Tallys Gustavo Martins. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
94.   Thiago de Souza Fonseca Ribeiro. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
95.   Thiago Furtado de Mendonça. Um middleware para coreografias de serviços web escaláveis em ambientes de computação em nuvem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015.
Orientador: Fabio Kon.
96.   Tiago Montanher. Estimação de Modelos de Markov Ocultos Usando Aritmética Intervalar. Tese (Doutorado em matemática aplicada) - IME-USP (Instituto de matemática e estatística, USP), Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Walter Figueiredo Mascarenhas.
97.   Tomáz Felipe Rodrigues martins. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.
98.   Vinicius Kiwi Daros. Piloto Baseado em Aprendizagem por Reforço para o Simulador de Corridas TORCS. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015.
Orientador: Flavio Soares Correa da Silva.
99.   Wonder Alexandre Luz Alves. Últimos Levelings: Conceitos, propriedades, algoritmos e aplicações em Processamento e Análise de Imagens. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . 2015.
Orientador: Ronaldo Fumio Hashimoto.
100.   Yan Soares Couto. Árvores geradoras aleatórias. (Graduando em Bacharelado em Ciência da Computação) - Instituto de Matemática e Estatística - Universidade de São Paulo, . 2015.
Orientador: Marcel Kenji de Carli Silva.
101.   Álvaro Fernando Matos de Souza. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2015.
Orientador: Paulo Roberto Miranda Meirelles.

2014

1.   Adèle Helena Ribeiro. Análise de expressõ es gênicas com erros de medida e aplicação em dados reais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Roberto Hirata Junior.
2.   Alessandro Calò. Extração de informações jurídicas públicas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
3.   Alex de Souza Campelo Lima. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
4.   Alex Takata. Ferramenta de acessibilidade adaptável aos daltônicos e às redes móveis. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
5.   Alexandre Almeida Barbosa. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
6.   Alexandre Camargo Guarnieri Suetholz. Simulação de Surdinas em Trompetes Através de Filtros Digitais. (Graduando em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Marcelo Gomes de Queiroz.
7.   Alexandre Locci Martins. Teste e verificação formal do comportamento excepcional de programas Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Ana Cristina Vieira de Melo.
8.   Alexandre Matos Arruda. Abdução Clássica e Abdução Probabilística: a busca pela explicação de dados reais. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
9.   Arthur de Moura Del Esposte. Cenário de Decisões Baseado em Métricas de Software: Definição e Implementação de Cenários a partir de Métricas de Produto e de Vulnerabilidade para Tomada de Decisão. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
10.   Arthur Del Esposte. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
11.   Athos Coimbra Ribeiro. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
12.   Bruno Klava. Redução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacional. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Nina Sumiko Tomita Hirata.
13.   Bárbara A. de Castro e Silva, Leonardo Santana Oliveira. Projeto Tiktak. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
14.   Camila Ferreira Pereira Silva. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
15.   Carlos Filipe Lima Bezerra. Cenário de Decisões Baseado em Métricas de Software: Definição e Implementação de Cenários a partir de Métricas de Produto e de Vulnerabilidade para Tomada de Decisão. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
16.   Daniel Costa Bucher. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
17.   Danilo Aleixo Gomes de Souza. Criação de testes para um software embarcado critico espacial. (Graduando em Ciências de Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Ana Cristina Vieira de Melo.
18.   David Carlos de Araújo Silva. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
19.   Diego Martos Buoro. QASP - Estimativa da qualidade do ar na cidade de São Paulo 2014. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
20.   Diogo Ferreira da Costa Patrão. DESENVOLVIMENTO E AVALIAÇÃO DE FERRAMENTAS COMPUTACIONAIS PARA TRIAGEM AUTOMÁTICA DE SUJEITOS DE PESQUISA. Tese (Doutorado em Doutorado) - Fundação Antônio Prudente, . 2014.
Supervisor: Renata Wassermann.
21.   Duílio Henrique Haroldo Elias. Análise do Impacto dos Fluxos de Dados no Desempenho de Workflows Científicos. (Graduando em Ciência da Computação) - Universidade de São Paulo, Reitoria da Universidade de São Paulo. 2014.
Orientador: Kelly Rosa Braghetto.
22.   Edênis Freindofer Azevedo. Método primal-dual para o problema de Steiner com coleta de prêmios. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Cristina Gomes Fernandes.
23.   Emílio de Camargo Francesquini. Dealing with actor runtime environments on hierarchical shared memory multi-core platforms. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alfredo Goldman vel Lejbman.
24.   Eric Ossami Endo. Aproximação da norma de corte via a desigualdade de Grothendieck. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Yoshiharu Kohayakawa.
25.   Fabio Tisovec. Problema de Intervenção em Redes Gênicas Modelado como um Processo de Decisão Markoviano Fatorado. 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. 2014.
Orientador: Leliane Nunes de Barros.
26.   Felipe Breve Siola. Transformações Hit-or-miss para imagens tons de cinza. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Nina Sumiko Tomita Hirata.
27.   Filipe Morgado Simões de Campos. Espelho virtual interativo para simulação de maquiagem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Carlos Hitoshi Morimoto.
28.   Fillipe Manoel Xavier Resina. Revisão de Crenças em Lógicas de Descrição - Um Plug-In para o Protégé. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Renata Wassermann.
29.   Fábio Teixeira. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
30.   Gabriel Preti. Ferramentas estatísticas e computacionais na análise de fraudes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Roberto Hirata Junior.
31.   Gabriel Rezende Nahas. Busca de Genes Impactantes na Estabilidade de Redes Booleanas. (Graduando em Abi - Engenharia) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Ronaldo Fumio Hashimoto.
32.   Gabriela Matias Navarro. Gabriela Matias Navarro. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
33.   Guilherme Feulo do Espírito Santo. Processamento Sonoro em Tempo Real. (Graduando em Matemática) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Gomes de Queiroz.
34.   Gustavo Jaruga Cruz. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
35.   Henrique Cabral de Souza Rodrigues. CHD7 expression and glioblastoma multiforme life expectancy. (Graduação em Matemática Aplicada Com Habilitação em Ciências Biológicas) - Universidade de São Paulo, . 2014.
Orientador: André Fujita.
36.   Igor Bonadio. Predição de Genes Utilizando Modelos de Covariância. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alan Mitchell Durham.
37.   Igor Guimarães Dias. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
38.   Jackson José de Souza. Identificação de alertas de segurança virtual veiculados em redes sociais. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Daniel Macêdo Batista.
39.   John Lenon Gardenghi. Um método de pontos interiores primal-dual viável para minimização com restrições lineares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Ernesto Julián Goldberg Birgin.
40.   Jorge J. Gomes Leandro. Análise de formas usando wavelets em grafos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, . 2014.
Orientador: Roberto Marcondes Cesar Junior.
41.   José David Curado. Tipicalidade em Lógicas de Descrição. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Renata Wassermann.
42.   José Pedro de Santana Neto. Solução Computacional para Reconhecimento de Harmonias Musicais. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
43.   José Roberto Alves Rodrigues. iQuiz - Ambiente de autoria para Avaliação do Aprendizado no Moodle. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2014.
Orientador: Leônidas de Oliveira Brandão.
44.   Jônatas Medeiros de Mendonça. Técnicas de usabilidade e testes automatizados em processos de desenvolvimento de software empírico. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
45.   Lilianne Mariko Izuti Nakazono. Separação de estrelas e quasares em imagens multiespectrais. (Graduando em Astronomia) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Nina Sumiko Tomita Hirata.
46.   Lucas Kanashiro Duarte. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
47.   Lucas Magno. Uma Ferramenta de Software para a Predição de Desempenho de Workflows Científicos. (Graduando em Física) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Kelly Rosa Braghetto.
48.   Luciano Kenji Sugiura. Beerspot - vivendo uma startup. (Graduando em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Fabio Kon.
49.   Luciano Prestes Cavalcanti. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
50.   Ludmila Ferreira Vicente da Silva. Verificação e Validação de Software Embarcado. (Graduando em Bacharelado Em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Ana Cristina Vieira de Melo.
51.   Luiz Fernando de Freitas Matos. Conversão de metadados Dublincore para RDF: Integração para bibliotecas de Participação Social. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
52.   Luiz Fernando de Freitas Matos. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
53.   Maciel Calebe Vidal. Análise da estrutura de clusterização das redes de conectividade funcional do cérebro para investigar as bases das desordens do espectro autista. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: André Fujita.
54.   Macártur de Sousa Carvalho. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
55.   Marcel Kenji de Carli Silva. . Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Yoshiko Wakabayashi.
56.   Marcelo Matheus Gauy. Erd?s-Ko-Rado em famílias aleatórias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Yoshiharu Kohayakawa.
57.   Marcelo Valentim de Oliveira. Um estudo empírico sobre classificação de símbolos matemáticos manuscritos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Nina Sumiko Tomita Hirata.
58.   Marcos Masanobu Takahashi. Estudo comparativo de algoritmos de recomendação. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Roberto Hirata Junior.
59.   Maria Viviane de Menezes. Mudanças em Problemas de Planejamento sem Solução. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de ciências Matemáticas e de Computação da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Leliane Nunes de Barros.
60.   Matheus de Sousa Faria. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
61.   Mauricio Garcia Franco do Nascimento. iRepositório - Repositório Interativo de Conteúdos Digitais para cursos baseados na Internet. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2014.
Orientador: Leônidas de Oliveira Brandão.
62.   Max Rosan dos Santos Junior. Mecanismos para consolidação de servidores. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Daniel Macêdo Batista.
63.   Mirtha Lina Fernández Venero. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Flavio Soares Correa da Silva.
64.   Parley Pacheco Martins. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
65.   Patricia Araujo de Oliveira. Seleção de Serviços Web em Coreografias. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Daniel Macêdo Batista.
66.   Paulo Victor Teixeira Eufrásio. Pares Ramsey infinitos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Yoshiharu Kohayakawa.
67.   Pedro Henrique Rocha Bruel. Interfaces em Sistemas Multiagentes Musicais. (Graduando em Ciências Moleculares) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Marcelo Gomes de Queiroz.
68.   Pedro Losco Takecian. Diretrizes metodológicas e validação estatística de dados para a construção de data warehouses. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2014.
Orientador: João Eduardo Ferreira.
69.   Pedro Lucinio. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2014.
Orientador: André Fujita.
70.   Pierre Yves Andrews. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Flavio Soares Correa da Silva.
71.   Rafael Crivellari Saliba Schouery. Problemas de alocação e precificação de itens. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Cristina Gomes Fernandes.
72.   Rafael Freitas Schmid. Documentação e testes da biblioteca de álgebra linear Klein. Dissertação (Mestrado em Ciencia da computacao) - IME-USP (Instituto de matemática e estatística, USP), . 2014.
Orientador: Walter Figueiredo Mascarenhas.
73.   Raphael Mendes Cóbe. Integração entre múltiplas ontologias: reúso e gerência de conflitos. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Renata Wassermann.
74.   Rebeca Cohen. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2014.
Orientador: André Fujita.
75.   Renan Costa Filgueiras. Mezuro, Evolução de Software Livre: Da Arquitetura à Experiência do Usuário.. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
76.   Renato Scaroni. Desenvolvimento de um protocolo de rede local P2P e de um plugin para o motor de jogos Unity 3D. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Daniel Macêdo Batista.
77.   Renzo Gonzalo Gomez Diaz. Cobertura de grafos por caminhos não triviais. 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. 2014.
Orientador: Yoshiko Wakabayashi.
78.   Renzo Gonzalo Gomez Diaz. Empacotamento de árvores em grafos completos. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Yoshiko Wakabayashi.
79.   Ricardo Boccoli Gallego. Inferência de Redes Booleanas com Estrutura de Atratores Prescrita como Problema da Satisfação de Restrições. (Graduando em Abi - Engenharia) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Ronaldo Fumio Hashimoto.
80.   Rodrigo Medeiros Soares da Silva. Técnicas de usabilidade e testes automatizados em processos de desenvolvimento de software empírico. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
81.   Rodrigo Siqueira de Melo. Evolução do Portal do Software Público Brasileiro: pesquisa e desenvolvimento para uma nova geração integrada de plataformas abertas e colaborativas. (Graduando em Engenharia de Software) - Universidade de Brasília, Centro de Apoio ao Desenvolvimento Tecnológico da Universidade de Brasília. 2014.
Orientador: Paulo Roberto Miranda Meirelles.
82.   Rogério Chaves. Um estudo sistemático sobre identificação e gerenciamento de Dívida Técnica em uma empresa de tecnologia com desenvolvimento baseado em Scrum. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
83.   Ruan de Menezes Costa. Análise de redes de parentesco dos Enawene-Nauê. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Carlos Eduardo Ferreira.
84.   Stefano Tommasini. Programação Dinâmica. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Carlos Eduardo Ferreira.
85.   Steven Tsukamoto. Algoritmo Multin ??vel de Deteção de Comunidades em Redes Complexas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Marcelo Finger.
86.   Susanna Figueiredo de Rezende. Caminhos mais longos em grafos. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Orientador: Yoshiko Wakabayashi.
87.   Thales Areco Bandiera Paiva. Computação Verde na Camada de Aplicação. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2014.
Orientador: Alfredo Goldman vel Lejbman.
88.   Vinicius Rafael Neris dos Santos. Detecção e Classificação Automática de Interferências no Subsolo com GPR Utilizando Redes Neurais Artificiais (RNAs): Estudo no SCGR do IAG/USP. Tese (Doutorado em Geologia Geral e Aplicacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014.
Supervisor: Nina Sumiko Tomita Hirata.
89.   Vinícius Gama Pinheiro. The management of multiple submissions in parallel systems: the fair scheduling approach. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014.
Orientador: Alfredo Goldman vel Lejbman.
90.   Vinícius Vieira Meneses. Mezuro, Evolução de Software Livre: Da Arquitetura à Experiência do Usuário.. (Graduação em Engenharia de Software) - Universidade de Brasília, . 2014.
Orientador: Paulo Roberto Miranda Meirelles.
91.   Wagner Fernando Barongello Santos. Novas Técnicas de Processamento e Análise de Imagens usando Grafos e suas Implementações em uma Ferramenta Online para Processamento 2D e 3D de Imagens Médicas e Naturais. (Graduando em Estatística) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2014.
Orientador: Paulo André Vechiatto de Miranda.
92.   Yuri Gomes de Abreu. Identificação de variáveis associadas a doenças cardiovasculares utilizando técnicas estatístico-computacionais. Iniciação Científica - Escola Politécnica, Pró-reitoria de pesquisa da Universidade de São Paulo. 2014.
Orientador: André Fujita.

2013

1.   Alander Pereira dos Santos. Definição de novas abordagens de análise de eficiência de suites de teste (FAPESP: 2013/27112-3). Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Ana Cristina Vieira de Melo.
2.   Alberto Bueno Júnior. neteVolve: Algoritmo e Simulador para Evolução de Redes Complexas. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Daniel Macêdo Batista.
3.   Alex Takata. Ferramenta de acessibilidade adaptável aos daltônicos e às redes móveis. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
4.   Alexandre Locci Martins. Geração de requisitos de teste para sistemas espaciais (FAPESP: 2013/25309-4). Orientação de outra natureza - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Ana Cristina Vieira de Melo.
5.   Alexandre Yukio Harano. Uma nova abordagem para as operações de Transformada de Erosão e Transformada de Dilatação através da união da decomposição de elementos estruturantes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Ronaldo Fumio Hashimoto.
6.   Aline Andrade. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Renata Wassermann.
7.   Almir Alves Pereira. CandyTex - editor LaTeX On-line. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
8.   Alvaro Junio Pereira Franco. Algoritmos para junções em grafos dirigidos acíclicos e uma aplicação em Antropologia. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Carlos Eduardo Ferreira.
9.   Anderson Fraiha Machado. Conversão de Voz Inter-Linguística. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Marcelo Gomes de Queiroz.
10.   André Jucovsky Bianchi. Processamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Marcelo Gomes de Queiroz.
11.   André Spanguero Kanayama. Distribuição de carga em execução de scripts no sistema VisionDataset. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
12.   Arnaldo Câmara Lara. Descritor de bordas e quantização espacial flexível aplicados a categorização de objetos. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Roberto Hirata Junior.
13.   Caio Cesar Moreira. Software para Treinamento de Regência em Canto Coral. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Ronaldo Fumio Hashimoto.
14.   Carlos Augusto Prete Junior. Reconhecimento de Padrões por Floresta de Caminhos em Grafos com Funções de Conexidade Não Suaves. (Graduando em Engenharia Elétrica - Ênfase em Sistemas Eletrônicos) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Paulo André Vechiatto de Miranda.
15.   Carlos Morais de Oliveira Filho. Kalibro: Interpretação de métricas de código-fonte. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientadores: Paulo Roberto Miranda Meirelles, Fabio Kon.
16.   Claudia de Oliveira Melo. Productivity of Agile Teams: An Empirical Evaluation of Factors and Monitoring Processes. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Fabio Kon.
17.   Cleber Silva Ferreira da Luz. Implementações de algoritmos paralelos da subsequência máxima e da submatriz máxima. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Siang Wun Song.
18.   César Israel Hernández Vélez. Problemas topológicos e estruturais em teoria dos grafos. Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Cristina Gomes Fernandes.
19.   Daniel Costa Bucher. Redes de colaboração social para as universidades brasileiras: um estudo de caso de implantação e desenvolvimento distribuído de uma plataforma livre na Universidade de Brasília. (Graduação em Engenharia de Software) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Paulo Roberto Miranda Meirelles.
20.   Daniel Javier Casani Delgado. Planejamento Probabilístico como busca no espaço de transições de estados. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Leliane Nunes de Barros.
21.   Daniele Yumi Sunaga de Oliveira. Biologia Computacional aplicada para a análise de dados em larga escala. Tese (Doutorado em Ciências Biológicas (Genética)) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Ronaldo Fumio Hashimoto.
22.   Danilo de Jesus da Silva Bellini. AudioLazy: Processamento Digital de Sinais Expressivo e em Tempo Real. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Marcelo Gomes de Queiroz.
23.   Denis Lacerda. Aprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de venda. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Leliane Nunes de Barros.
24.   Diogo de Jesus Pina. Dívida Técnica. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
25.   Débora Atanes Buss. Introdução a programação. (Ensino Médio) - Colégio Joana D´Arc, . 2013.
Orientador: André Fujita.
26.   Eduardo Galego. Extração e consulta de informações do currículo Lattes baseadas em ontologias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Renata Wassermann.
27.   Eduardo Hideo Kuroda. Ana?lise de Desempenho de Interfaces de Rede Virtualizadas com NAPI. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2013.
Orientador: Daniel Macêdo Batista.
28.   Ewerton Rodrigues Andrade. Protocolo de identificação baseado em polinômios multivariáveis quadráticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Routo Terada.
29.   Fabiano Ferreira Luz. Consulta a ontologias em língua portuguesa através do português controlado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Renata Wassermann.
30.   Felipe Carvalho Perestrelo. Sistema Recomendador para Comércio Eletrônico. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Kelly Rosa Braghetto.
31.   Felipe Martins dos Santos. Bissimulação Estocástica para Solução de Problemas de Planejamento Probabilístico. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Leliane Nunes de Barros.
32.   Flávio Luiz Schiavoni. Medusa: Um Ambiente Musical Distribuído. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Gomes de Queiroz.
33.   Guilherme Camilo Amantea. Análise comparativa de duas formulações de programação linear para o roteamento em redes tolerantes a atrasos. Dissertação (Mestrado em Engenharia da Computacao) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
34.   Guilherme Oliveira Mota. Dois resultados em combinatória contemporânea. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Yoshiharu Kohayakawa.
35.   Henrique Gemignani Passos Lima. Etherclan -- Rede peer-to-peer descentralizada para localizac?a?o de outros usua?rios. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Daniel Macêdo Batista.
36.   Hilder Vitor Lima Pereira. Um sistema de criptografia de broadcast para navegadores de internet. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
37.   Igor Bonadio. Desenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionais". Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, . 2013.
Orientador: Alan Mitchell Durham.
38.   Jandisson Soares de Jesus. Um método para a implementação de regras de negócio à partir da semântica SBVR. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Ana Cristina Vieira de Melo.
39.   Joel Edu Sanchez Castro. Decomposição sequencial a partir da sup-representação de W-Operadores. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Ronaldo Fumio Hashimoto.
40.   José Eurípides Ferreira de Jesus Filho. Método Beam Search aplicado ao Flexible Job Shop Scheduling problem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Ernesto Julián Goldberg Birgin.
41.   Juliana Sato Yamashita. Visualização de tags para explicar e filtrar recomendações de músicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Flavio Soares Correa da Silva.
42.   Leandro Aono. Desenvolvimento de um simulador de jogo de estratégia em tempo real. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Paulo André Vechiatto de Miranda.
43.   Leonardo Nagami Coregliano. Técnicas Modernas em Combinatória. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2013.
Orientador: Yoshiharu Kohayakawa.
44.   Leticia Gindri. Autômatos Sincronizados e a Conjectura de Cerny. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Arnaldo Mandel.
45.   Liliane Santana de Oliveira. PATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, . 2013.
Orientador: Alan Mitchell Durham.
46.   Lucas Crisafulli. Introdução a programação. (Ensino Médio) - Colégio Joana D´Arc, . 2013.
Orientador: André Fujita.
47.   Marcela Ortega. Implementação do arcabouço WED-?ow para controle de processos transacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2013.
Orientador: João Eduardo Ferreira.
48.   Marcelo da Siva Reis. . Instituto de Matemática e Estatística da USP, . 2013.
Supervisor: Junior Barrera.
49.   Marcio Masaki Tomiyoshi. Performances Musicais Distribuídas Através de Internet Residencial. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Gomes de Queiroz.
50.   Michel Oleynik. Extração de Informações de Narrativas Clínicas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Finger.
51.   Mijail Gamarra Holguin. Planejamento probabilístico usando programação dinâmica assíncrona e fatorada. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Leliane Nunes de Barros.
52.   Pan Ying. The rational eigenfunctions of the Hecke Operators. Dissertação (Mestrado em Mathematics) - Nanyang Technological University, . 2013.
Orientador: Sinai Robins.
53.   Paulo Roberto Miranda de Meirelles. Monitoramento de métricas de código-fonte em projetos de software livre. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Fabio Kon.
54.   Paulo Salem da Silva. Estudo comparativo entre modelos de teste e verificação (FAPESP: 2013/19814-8). (Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Orientador: Ana Cristina Vieira de Melo.
55.   Pedro P. de S. B. da Silva. Uma abordagem transacional para o tratamento de exceções em processos de negócio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: João Eduardo Ferreira.
56.   Pedro Parik Americano. Estudo comparativo dos algoritmos para desenho de grafos. (Graduando em Engenharia Mecatrônica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: André Fujita.
57.   Pedro Paulo Vezzá Campos. Algoritmos de Escalonamento para Redução do Consumo de Energia em Computação em Nuvem. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Daniel Macêdo Batista.
58.   Phablo Fernando Soares Moura. Recoloração convexa de grafos: algoritmos e poliedros. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Yoshiko Wakabayashi.
59.   Rafael de O. L. Gonçalves. A importância dos atributos de cores em PDI e CBIR. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
60.   Rafael Will Macedo de Araujo. Autenticação e comunicação segura em dispositivos móveis de poder computacional restrito. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Routo Terada.
61.   Renato Augusto Vieira Nishimori. Ferramenta de acessibilidade para deficientes visuais de cores. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
62.   Renato Urquiza Lundberg. Análise Empírica de Algoritmos de Revisão sobre Bases de Crenças. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Renata Wassermann.
63.   Reynaldo Cáceres Villena. Reconstrução da Chave Secreta do RSA Multi-primo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Routo Terada.
64.   Rodrigo Alves Lima. API de navegação no Google Street View e análise de imagens da paisagem urbana. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
65.   Sylvio Ximenez de Azevedo Neto. Cifra multicanal para maior segurança em redes TCP/IP. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Routo Terada.
66.   Thársis Tuani Pinto. Simulações financeiras em GPUs. Dissertação (Mestrado em Ciencia da computacao) - IME-USP (Instituto de matemática e estatística, USP), . 2013.
Orientador: Walter Figueiredo Mascarenhas.
67.   Tássio Naia dos Santos. Grafos aleatórios exponenciais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013.
Orientador: Yoshiharu Kohayakawa.
68.   Victoriano Alfonso Phocco Diaz. Detecção de violações de SLA em coreografias de serviços Web. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2013.
Orientador: Daniel Macêdo Batista.
69.   Vinicius Vendramini, Mateus Barros Rodrigues e Lucas Dário. Amplificação através de mudança de frequência para aumentar a visibilidade.. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Alfredo Goldman vel Lejbman.
70.   Wallace Faveron de Almeida. API de navegação no Google Street View e análise de imagens da paisagem urbana. (Graduação em Ciência da Computação) - Universidade de São Paulo, . 2013.
Orientador: Roberto Hirata Junior.
71.   William Daniel Colen de Moura Silva. Aprimorando o Corretor Gramatical CoGrOO. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013.
Orientador: Marcelo Finger.
72.   William Lira Ferreira. Análise da Dinâmica de Redes de Regulação Gênica Utilizando GPUs: Uma Ferramenta para o Auxílio no Problema de Inferência de Redes Booleanas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2013.
Orientador: Ronaldo Fumio Hashimoto.
73.   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.
74.   Yanik Ngoko. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013.
Supervisor: Alfredo Goldman vel Lejbman.

2012

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.   Bernardo Caraponale Magri. Assinatura digital Rabin-Williams -- sem randomização e com prova eficiente de segurança. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2012.
Orientador: Routo Terada.
16.   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.
17.   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.
18.   Camila Fernandez Achutti. Um Estudo do Uso do Java Pathfinder na Verificação e Validação de Softwares Espaciais (FAPESP: 2012/16913-2). (Graduando em Ciências de Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Ana Cristina Vieira de Melo.
19.   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.
20.   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.
21.   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.
22.   Carolina Kasuga. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012.
Orientador: André Fujita.
23.   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.
24.   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.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.
31.   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.
32.   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.
33.   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.
34.   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.
35.   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.
36.   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.
37.   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.
38.   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.
39.   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.
40.   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.
41.   Fábio de Salles Monteiro. Protocolo de identificação baseado em polinômios multivariáveis quadráticos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2012.
Orientador: Routo Terada.
42.   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.
43.   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.
44.   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.
45.   Helves Humberto Domingues. . Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2012.
Supervisor: João Eduardo Ferreira.
46.   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.
47.   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.
48.   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.
49.   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.
50.   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.
51.   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.
52.   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.
53.   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.
54.   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.
55.   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.
56.   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.
57.   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.
58.   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.
59.   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.
60.   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.
61.   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.
62.   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.
63.   Marta Ruiz Costa-jussà. . Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Supervisor: Renata Wassermann.
64.   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.
65.   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.
66.   Mikail de Freitas. Resolvedores SAT. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
67.   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.
68.   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.
69.   Renan de Melo. Espaço de trabalho informativo e o acompanhamento em equipes ágeis de desenvolvimento de software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Alfredo Goldman vel Lejbman.
70.   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.
71.   Renato Cordeiro Ferreira. Anotação de genomas. (Graduando em Ciências de Computação) - Universidade de São Paulo, . 2012.
Orientador: Alan Mitchell Durham.
72.   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.
73.   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.
74.   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.
75.   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.
76.   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.
77.   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.
78.   Stéphannye Menato. Introdução a programação. (Ensino Médio) - Colégio Joana D'Arc, . 2012.
Orientador: André Fujita.
79.   Suzana de Siqueira Santos. Estudo comparativo de medidas de dependência e aplicações em dados de expressão gênica. (Graduando em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientador: André Fujita.
80.   Tales Pinheiro de Andrade. Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Ronaldo Fumio Hashimoto.
81.   Talita Perciano Costa Leite. Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012.
Orientadores: Roberto Hirata Junior, Roberto Marcondes Cesar Junior.
82.   Thiago 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.
83.   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.
84.   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.
85.   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.
86.   Viviane Almeida Santos. Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012.
Orientador: Alfredo Goldman vel Lejbman.
87.   Wang Xinli. Discrete-geometric functions associated to polyhedral cones and point sets. Tese (Doutorado em Mathematics) - Nanyang Technological University, . 2012.
Orientador: Sinai Robins.
88.   Wesley Sidel. Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012.
Orientador: Marcelo Finger.
89.   Yudistira Mulyadi. Abel summation by parts, in higher dimensions. Dissertação (Mestrado em Mathematics) - Nanyang Technological University, . 2012.
Orientador: Sinai Robins.

2011

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.   Cleber Morio Okida. Protocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveis. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: Routo Terada.
12.   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.
13.   Denise H Goya. Criptografia de chave pública sem certificado. Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011.
Orientador: Routo Terada.
14.   Dionathan Nakamura. Segurança do bit menos signi?cativo no RSA e em curvas elípticas. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011.
Orientador: Routo Terada.
15.   Edson Miyahara. Genealogia Lattes. (Graduação em Computação) - Universidade de São Paulo, . 2011.
Orientador: Roberto Marcondes Cesar Junior.
16.   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.
17.   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.
18.   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.
19.   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.
20.   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.
21.   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.
22.   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.
23.   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.
24.   Giulia Satiko Maesaka. Otimização Combinatória e Complexidade. (Graduando em Ciências Moleculares) - Universidade de São Paulo, . 2011.
Orientador: Yoshiharu Kohayakawa.
25.   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.
26.   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.
27.   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.
28.   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.
29.   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.
30.   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.
31.   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.
32.   Jesús Pascual Mena Chalco. . Universidade de São Paulo, . 2011.
Supervisor: Roberto Marcondes Cesar Junior.
33.   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.
34.   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.
35.   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.
36.   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.
37.   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.
38.   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.
39.   Lucas Colucci Cavalcante de Souza. Teoria Combinatória dos Números. (Graduando em Matemática) - Universidade de São Paulo, . 2011.
Orientador: Yoshiharu Kohayakawa.
40.   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.
41.   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.
42.   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.
43.   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.
44.   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.
45.   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.
46.   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.
47.   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.
48.   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.
49.   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.
50.   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.
51.   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.
52.   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.
53.   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.
54.   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.
55.   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.
56.   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.
57.   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.
58.   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.
59.   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.
60.   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.
61.   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.
62.   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.
63.   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.
64.   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.
65.   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.
66.   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.
67.   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.
68.   Valdson da Silva Cleto. MD6 e a competição para escolha do SHA-3. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2011.
Orientador: Routo Terada.
69.   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.
70.   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.
71.   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.
72.   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.

2010

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.   Daniel Ribeiro. Emparelhamentos hiperelípticos em criptografia. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, . 2010.
Orientador: Routo Terada.
12.   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.
13.   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.


(*) Relatório criado com produções desde 2000 até 2024
Data de processamento: 10/04/2024 19:37:07