| 1. | Aline Rodrigues Nunes. Codificação preditiva da frequência cardíaca em interação social verbal. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: André Fujita. |
| 2. | André Barbosa. Correção Automatizada de Redações em Português Brasileiro: Evidências da Avaliação CrossPrompts em Redações do ENEM. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Denis Deratani Mauá. |
| 3. | Augusto César de Camargo Neto. Avaliação da robustez de biomarcadores vocais baseados em IA contra ruídos do mundo real. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Marcelo Finger. |
| 4. | Calebe Macena Rezende. Tupi Antigo: desenvolvimento de ferramentas computacionais para tradução e preservação cultural. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Marcelo Finger. |
| 5. | Dayanne Cristina Pereira Gomes. Efeito de pares de gênero na escolha de curso superior: Uma abordagem de ciência de dados. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2025. Orientador: Fabio Kon. |
| 6. | Fabio Rogerio Lins Pereira de Souza. Análise Preditiva de Sucesso de Vendas de Jogos Digitais do Gênero Indie com dados da Plataforma Steam. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Flavio Soares Correa da Silva. |
| 7. | Felipe de Lima Peressim. Aprendizado de máquina para a previsão da resistência à compressão do cimento aos 28 dias. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, . 2025. Orientador: Marcelo Finger. |
| 8. | Fernando H. L. Buzato. The Impacts of Microservice Grouping into Containers An Experimental Analysis of the Benefits and Limits of this Approach. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Alfredo Goldman vel Lejbman. |
| 9. | Guilherme Y. Thomaz. Recomendação de próxima cesta aplicada à previsão de portfólio de fundos de investimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Denis Deratani Mauá. |
| 10. | Isabela Blucher. Mapeamentos geométricos em espectroscopia astronômica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Marcelo Gomes de Queiroz. |
| 11. | Jiang Zhi. A Study on Overcommitment Cloud Providers. 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. 2025. Orientador: Alfredo Goldman vel Lejbman. |
| 12. | Jonas R. L. Gonçalves. Compilação de conhecimento não-incremental de programas de conjuntos de respostas probabilísticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Denis Deratani Mauá. |
| 13. | João Gabriel Loureiro de Lima Lembo. Implementando técnicas de redução de cold-start no Globus Compute. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Alfredo Goldman vel Lejbman. |
| 14. | Juan Sebastian Castano Franco. Tailored design of centroidal Voronoi tessellations. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2025. Orientador: Ernesto Julián Goldberg Birgin. |
| 15. | Julio Cesar dos Santos Vieira. Aplicando Lean para superar desafios em um time ágil que utiliza Scrum: Um estudo de caso. Dissertação (Mestrado em Computação Aplicada) - Universidade de São Paulo, . 2025. Orientador: Alfredo Goldman vel Lejbman. |
| 16. | Júlia Demori Guizardi. Solving the Metric Nearness Problem: Methods and Results. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2025. Orientador: Ernesto Julián Goldberg Birgin. |
| 17. | Liang Shen. Classificação de imagens de CT de tórax no contexto da COVID-19. 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. 2025. Orientador: Nina Sumiko Tomita Hirata. |
| 18. | Lucas Pires Stankus. Abordando ambiguidade: visualizando e controlando erros gerados por agrupamento de trajetórias. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2025. Orientador: Fabio Kon. |
| 19. | Lucas Seiki Oshiro. Simulação Reprodutível de Protocolos de Comunicação para Smart Grids. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2025. Orientador: Daniel Macêdo Batista. |
| 20. | Luciana da Costa Marques. Cost efficient function execution in the cloud: a comparison between an academic and a commercial solutions. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Alfredo Goldman vel Lejbman. |
| 21. | Mateus Tormes Gervazioni. Teste de Software para Sistemas de Reconstrução 3D baseada em Imagens. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2025. Supervisor: Pedro Henrique Dias Valle. |
| 22. | Otavio Felipe dos Santos Frezato. Avaliação de Usabilidade de Aplicação Móvel de Apoio à Cultura da Soja. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2025. Supervisor: Pedro Henrique Dias Valle. |
| 23. | Pedro Henrique Barbosa de Almeida. Efficiently segmenting images with Vision Transformers -- A case study on Swin-UNet. Dissertação (Mestrado em Ciência da Computação (33002010176P0)) - Universidade de São Paulo, . 2025. Orientador: Nina Sumiko Tomita Hirata. |
| 24. | Pedro Ivo Siqueira Nepomuceno. Managing semantic evolution in databases: from theory to implementation. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Kelly Rosa Braghetto. |
| 25. | Ramon Alves Oliveira. ADVANCED TECHNIQUES FOR RESOURCE ALLOCATION AND ROUTING IN SDM-EONS. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Pará, . 2025. Orientador: Helder May Nunes da Silva Oliveira. |
| 26. | Ricardo Saraiva Grava. Um método de avaliação automática para a tarefa de perguntas e respostas. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Fundação Universidade de São Paulo. 2025. Orientador: Anarosa Alves Franco Brandão. |
| 27. | Rodrigo Pereira do Nascimento. Stealth Metrics: A less intrusive I/O tracer for application I/O characterization. Dissertação (Mestrado em Computação Aplicada) - Universidade de São Paulo, . 2025. Orientador: Alfredo Goldman vel Lejbman. |
| 28. | Rui Aldé Lopes. IMMERSIONS OF CLIQUES IN GRAPHS WITH INDEPENDENCE NUMBER 2 AND MAXIMUM DEGREE AT MOST 19N/29. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2025. Orientador: Fábio Happ Botler. |
| 29. | Rômulo Antônio Garcia da Rosa do Valle. Uma Análise Sobre As Soft Skills Relevantes Para Profissionais De Requisitos em Projetos De Software. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2025. Orientador: Pedro Henrique Dias Valle. |
| 30. | Samuel Gales Guimaraes. Reprodutibilidade e compartilhamento de dados priva- dos no aprendizado supervisionado: Um estudo de caso para o reconhecimento de placas veiculares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Denis Deratani Mauá. |
| 31. | Suayder Milhomem Costa. Recorte de vídeo em smartphones. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Roberto Marcondes Cesar Junior. |
| 32. | Vinicius de Araujo Barboza. Processamento de voz para detecção de insuficiência respiratória. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Marcelo Gomes de Queiroz. |
| 33. | Vinicius Sanches Carriel. Modelos de Aprendizado de Maquina com Saídas Intermediárias em Dispositivos de Recursos limitados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Roberto Hirata Junior. |
| 34. | Vivian Magri Alcaldi Soares. Ontology extraction and evaluation for the Blue Amazon: an experiment with large language models. 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. 2025. Orientador: Renata Wassermann. |
| 35. | Welberth Douglas Pereira do Nascimento. A deep learning model for detection of low surface brightness galaxies from S-PLUS images. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2025. Orientador: Nina Sumiko Tomita Hirata. |
| 1. | Antônio Kaique Barroso Fernandes. Decomposition and Separation Problems in 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. 2024. Orientador: Guilherme Oliveira Mota. |
| 2. | Ariel Serranoni. Nonlinear symmetric cone programming: a geometric perspective. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2024. Orientador: Gabriel Haeser. |
| 3. | Arthur Henrique Dias Rodrigues. Algoritmos para conexidade em grafos dinâmicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024. Orientador: Cristina Gomes Fernandes. |
| 4. | Bruno Vianna Bitelli. Extração de informações numéricas em textos jurídicos usando Grandes Modelos de Língua (LLMs). Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024. Orientador: Marcelo Finger. |
| 5. | Críscilla Maia Costa Rezende. Mod-REAPC: Um Modelo Conceitual para o Desenvolvimento de Sistemas de Recomendação de Recursos Educacionais Abertos para o Pensamento Computacional. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2024. Orientador: Pedro Henrique Dias Valle. |
| 6. | César Augusto dos Santos Bispo. Problemas de densidade relacionados a uma conjectura de Erdős. 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. 2024. Orientador: Guilherme Oliveira Mota. |
| 7. | Davy Alves de Souza. Optimal repair and pseudo contraction. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024. Orientador: Renata Wassermann. |
| 8. | Diego Andrés Méndez. Um modelo leve de filtragem da língua portuguesa do Brasil treinado utilizando aprendizado ativo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024. Orientador: Marcelo Finger. |
| 9. | Diego Mauricio Mansilla Mallqui. Separation of plankton images from non-plankton images based on deep learning. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2024. Orientador: Nina Sumiko Tomita Hirata. |
| 10. | Diego Santana Sarafim. Abordagem baseada em aprendizado de máquina para detecção de code smells em JavaScript. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2024. Orientador: Karina Valdivia Delgado. |
| 11. | Ednilza Evangelista da Silva Nardi. Caracterização e delimitação do aprendizado retrospectivo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Tribunal de Justiça de São Paulo. 2024. Orientador: João Eduardo Ferreira. |
| 12. | Eduardo Pinheiro. Group maintainership model in the Linux Kernel development. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2024. Orientador: Paulo Roberto Miranda Meirelles. |
| 13. | Francisco Bráulio Silva de Oliveira. Emotional Responses to COVID-19 News on Twitter: A Comparative Analysis of Brazilian and English-Speaking Media Audiences. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2024. Orientador: Jaime Simão Sichman. |
| 14. | Gabriel Alves dos Santos. Tesutā: Um guia para apoiar a condução de testes metamórficos em chatbots. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2024. Orientador: Pedro Henrique Dias Valle. |
| 15. | Gabriel Morete de Azevedo. On rounding algorithms for the 2-edge-connected spanning subgraph problem. 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. 2024. Orientador: Yoshiko Wakabayashi. |
| 16. | Gabriel Pinheiro Strini Piedade. Neutral space analysis of the yeast cell cycle using threshold Boolean networks. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024. Orientador: Ronaldo Fumio Hashimoto. |
| 17. | Girolamo Santoro. O PROBLEMA SNAKE-IN-THE-BOX: ORIGEM, DESAFIOS E TÉCNICAS DE SOLUÇÃO. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, . 2024. Orientador: Fábio Happ Botler. |
| 18. | Hector Montenegro Terceros. Word Sense Disambiguation by Reapplication of Dictionaries. 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. 2024. Orientador: Ronaldo Fumio Hashimoto. |
| 19. | José Augusto Oliveira da Costa Moreira. ScrumBGC: Um Jogo De Tabuleiro Para Apoiar O Ensino De Scrum. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná, . 2024. Orientador: Pedro Henrique Dias Valle. |
| 20. | Kecia Souza Santana Santos. Dealing with the diversity of interoperability types: a conceptual model. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Bahia, . 2024. Supervisor: Pedro Henrique Dias Valle. |
| 21. | Kétly Gonçalves Machado. Detecção de ataques DDoS no tráfego da IoT utilizando métodos ensemble para classificação de fluxos contínuos de dados. 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. 2024. Orientador: Daniel Macêdo Batista. |
| 22. | Larissa Mangolim Amaral. Metamodelo unificado de linguagens de requisitos. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2024. Supervisor: Anarosa Alves Franco Brandão. |
| 23. | Luan C. da S. Casagrande. Combining UAV and Multi-Source Satellite Data for Sub-Pixel Classification of Forest Vegetation in Riparian Zones. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024. Orientador: Roberto Hirata Junior. |
| 24. | Lucas Sampaio da Rocha. Decomposições Localmente Irregulares. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, . 2024. Supervisor: Guilherme Oliveira Mota. |
| 25. | Marcos Gabriel Gelorme Silveira. Processo analítico para aprimoramento educacional (PAAE): extraindo informação relevante para o aprendizado utilizando inteligência artificial e mineração de dados. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2024. Orientador: Anarosa Alves Franco Brandão. |
| 26. | Mariana Batista Oliveira. Information Security Risk Assessments AnalysisA way of guiding investments in Information Security. Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2024. Orientador: Alfredo Goldman vel Lejbman. |
| 27. | Mario Muramatsu Junior. Predição de escolhas de baixa capacidade cognitiva baseada na variabilidade da frequência cardíaca. 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. 2024. Orientador: André Fujita. |
| 28. | Pedro de Moraes Ligabue. Building knowledge graphs in a domain with limited resources. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2024. Orientador: Anarosa Alves Franco Brandão. |
| 29. | Renan Cesar Jacomassi. An investigation on Deep Active Learning. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024. Orientador: Nina Sumiko Tomita Hirata. |
| 30. | Renato de Souza Garcia. CoderBot: um assistente virtual para apoiar a aprendizagem de programação por meio de worked examples. Dissertação (Mestrado em ENGENHARIA DE SOFTWARE) - Universidade Federal do Pampa, . 2024. Supervisor: Pedro Henrique Dias Valle. |
| 31. | Ricardo Saraiva Grava. Um Método de Avaliação Automática para a tarefa de Perguntas e Respostas. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2024. Orientador: Anarosa Alves Franco Brandão. |
| 32. | Rodrigo Lima da Costa. Uma combinação perfeita?: Examinando as semelhanças atuais entre o desenvolvimento de software livre e programação extrema (XP). Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2024. Orientador: Paulo Roberto Miranda Meirelles. |
| 33. | Samara Beatriz Naka de Vasconcellos. Métodos físicos e computacionais para análises de alterações em pinturas do patrimônio histórico-cultural. Dissertação (Mestrado em Física) - Universidade de São Paulo, . 2024. Supervisor: Nina Sumiko Tomita Hirata. |
| 34. | Victor Chavauty Villela. Statistical Methods for Directed Graphs Basead on the Graph Spectrum. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2024. Orientador: André Fujita. |
| 35. | Victor Foscarini Almeida. Variação sazonal da mortalidade no Brasil. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2024. Orientador: Fabio Kon. |
| 36. | Victor Luiz Gonçalves Serra. Análise Espacial da Violência: Estudo de Concentrações de Crimes para a Região Metropolitana de São Paulo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2024. Orientador: Fabio Kon. |
| 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. | Alan Barzilay. Utilizando técnicas de processamento de linguagem natural para refatoração automática de código. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2023. Orientador: Marcelo Finger. |
| 3. | Andre Massahiro Shimaoka. Agilidade em projetos de ciências de dados: Um estudo sobre a adoção do método ágil XP com modelo de 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. |
| 4. | 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á. |
| 5. | 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. |
| 6. | 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. |
| 7. | Douglas A. de Oliveira. BASWE: Balanced Accuracy-based Sliding Window Ensemble para classificação em fluxos de dados desbalanceados e com concept drift. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2023. Orientador: Karina Valdivia Delgado. |
| 8. | Edson Adriel Freitas Rodrigues. Redes Ópticas Elásticas Assistidas por Aprendizado de Máquina para Alocação Inteligente de Recursos. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Pará, . 2023. Orientador: Helder May Nunes da Silva Oliveira. |
| 9. | Eduardo Lopes P. Neto. Sensibilidade ao Risco com Funções Exponenciais em Aprendizado por Reforço: Uma Análise Empírica.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023. Orientador: Karina Valdivia Delgado. |
| 10. | Fabio Avigo de Castro Pinto. Design Thinking para a Engenharia de Requisitos: problemas e oportunidades em requisitos não-funcionais. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2023. Supervisor: Anarosa Alves Franco Brandão. |
| 11. | 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. |
| 12. | Gabriel Nunes Crispino. Compromissos arbitrários entre custo e probabilidade à meta e algoritmo de busca heurística em planejamento probabilístico sob o critério GUBS. 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: Karina Valdivia Delgado. |
| 13. | Gabriel Torres Gomes Pato. Análises computacionais para identificação de RNAs longos não codificadores com relevância clínica e biológica no adenocarcinoma de pâncreas. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023. Orientador: João Eduardo Ferreira. |
| 14. | 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. |
| 15. | 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. |
| 16. | Giovana Morais. Características rítmicas em sinais de áudio musicais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023. Orientador: Marcelo Gomes de Queiroz. |
| 17. | Jackson José de Sousa. Classificação de decisões do Supremo Tribunal Federal: um estudo da robustez da rede de decisões e identificação de leading cases. 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: Marcelo Finger. |
| 18. | 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. |
| 19. | Luan Ícaro Pinto Arcanjo. An approach for detecting and mitigating code duplication in the Linux Kernel. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2023. Orientador: Paulo Roberto Miranda Meirelles. |
| 20. | 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. |
| 21. | Lucas Mendonça de Souza. VCAT: An automatic assessment model for visual programming languages. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023. Orientador: Anarosa Alves Franco Brandão. |
| 22. | Lucas Motta Freire. Condições de qualificação para otimização semidefinida. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2023. Orientador: Gabriel Haeser. |
| 23. | Luiz Fernando Braz. Personalify: A framework for implementing MBTI agents. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2023. Orientador: Jaime Simão Sichman. |
| 24. | Lyang Higa Cano. Decoding Ubiquitination in the Fight Against Malaria: A Network-Based Exploration of E1-E2-E3 Triples in Plasmodium falciparum. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2023. Orientador: Ronaldo Fumio Hashimoto. |
| 25. | Marcelo Santos do Nascimento. Caracterização arquitetural de um sistema do mercado financeiro. Dissertação (Mestrado em Computação Aplicada) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2023. Orientador: Alfredo Goldman vel Lejbman. |
| 26. | Matheus Pereira de Almeida. Checagem de conformidade baseada em alinhamento para uma rede de Petri estocástica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2023. Orientador: Karina Valdivia Delgado. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | Rafael Molinari Cheang. A Centralized Norm Synthesis And Norm Enforcement Framework For Governing Mixed-Motive Multiagent Reinforcement Learning Environments. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2023. Orientador: Jaime Simão Sichman. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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á. |
| 35. | Victor Gomes de Oliveira Martins Nicola. kNN multirrótulo autoajustável robusto ao desbalanceamento para classificação em fluxo de dados. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2023. Orientador: Karina Valdivia Delgado. |
| 1. | 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. |
| 2. | Bruno Ramos Lima Netto. TWO PROBLEMS IN COMBINATORICS: ROLLER COASTER PERMUTATIONS & THE ERDŐS-SÓS CONJECTURE. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022. Orientador: Fábio Happ Botler. |
| 3. | Derian Fernando Alves de Alencar. Dynamic allocation of microservices for virtual reality content delivery to provide quality of experience support in a fog computing architecture. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Pará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022. Supervisor: Helder May Nunes da Silva Oliveira. |
| 4. | 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. |
| 5. | Eduardo Gabriel Lima da Silva. Resource Allocation for Long Range Wide- Area Network. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Pará, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2022. Orientador: Helder May Nunes da Silva Oliveira. |
| 6. | 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. |
| 7. | 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. |
| 8. | Gabriel Mariano de Castro Silva. Enhancing impersonation fraud detection on smart buildings physical access control systems: an anomaly-based approach using social groups trajectories data. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2022. Orientador: Jaime Simão Sichman. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | Rafael Almeida da Costa Schneider. ESTRUTURAS ESPECIAIS EM DIGRAFOS COM GRAU DE SAÍDA MÍNIMO PRESCRITO: FLORESTAS DE CICLOS E FEEDBACK ARC SETS. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2022. Orientador: Fábio Happ Botler. |
| 22. | 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. |
| 23. | 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á. |
| 24. | 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. |
| 25. | Thaynara Cristina Maia dos Santos. Ensino de Robótica Educacional utilizando metodologias lúdicas e ativas para o desenvolvimento do pensamento computacional. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, . 2022. Orientador: Paulo Roberto Miranda Meirelles. |
| 26. | 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. |
| 27. | Â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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | Fabio Neves Rocha. Geração de transições curtas de animações humanas 3D. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2021. Orientador: Karina Valdivia Delgado. |
| 8. | 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. |
| 9. | 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. |
| 10. | Giuliano Augusto Faulin 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. |
| 11. | 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á. |
| 12. | 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á. |
| 13. | Henrique Dias Pastor. Algoritmos para o problema de Caminho mais Curto Estocástico Sensível a Risco usando função de transformação linear por partes. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2021. Orientador: Karina Valdivia Delgado. |
| 14. | 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. |
| 15. | Juan Daniel Copacondo Mamani. Dependência Linear Local e Condições de Otimalidade em Otimização não Convexa. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2021. Orientador: Gabriel Haeser. |
| 16. | 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á. |
| 17. | 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: Fabio Kon, Paulo Roberto Miranda Meirelles. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | Wanderson Douglas Lomenha Pereira. Decomposições irregulares de grafos. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2021. Orientador: Fábio Happ Botler. |
| 1. | 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. |
| 2. | 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. |
| 3. | Daniel Cunha Oliveira. a ser definido. Dissertação (Mestrado em Economia) - Fundação Getúlio Vargas, . 2020. Supervisor: André Fujita. |
| 4. | 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. |
| 5. | Douglas Lima Dantas. SToIC: Portabilidade e interoperabilidade na camada de aplicação de plataformas de Internet das Coisas. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2020. Orientador: Anarosa Alves Franco Brandão. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | Luiz Felipe F. Dias. A model for the classification of documentation for newcomers to open source software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2020. Orientador: Marco Aurélio Gerosa. |
| 13. | Luiz Henrique Silva Hoffmann. Decomposition of (2k+1)-regular graphs containing special spanning 2k-regular Cayley graphs into paths of length 2k+1. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2020. Orientador: Fábio Happ Botler. |
| 14. | Marcelo de Rezende Martins. A Convolutional Neural Network approach to code retrieval. Dissertação (Mestrado em Computação) - INSTITUTO DE PESQUISAS TECNOLÓGICAS E CIENTÍFICAS, . 2020. Orientador: Marco Aurélio Gerosa. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 1. | Angélica María Narváez Vivas. Otimização Aplicada ao Planejamento de Dosagem Radioterápica para o Tratamento do Câncer. Dissertação (Mestrado em Matemática Aplicada) - Universidade Federal de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2019. Supervisor: Gabriel Haeser. |
| 2. | 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. |
| 3. | 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. |
| 4. | Dênis Benevolo Pais. Abordagens eficientes e aproximadas com políticas estacionárias para CVaR MDP. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2019. Orientador: Karina Valdivia Delgado. |
| 5. | Everton Rodrigues Reis. PROFTS: A Multi-Agent Automated Trading System. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2019. Orientador: Jaime Simão Sichman. |
| 6. | 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. |
| 7. | 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. |
| 8. | Henrique Donancio Nunes Rodrigues. Avaliação de Escalabilidade e Desempenho da Camada de Transporte de Mensagens em Plataformas Multiagente. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2019. Orientador: Anarosa Alves Franco Brandão. |
| 9. | 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. |
| 10. | Igor Conrado Alves de Lima. GAVEL: A Sanction-Based Regulation Mechanism for Normative Multiagent Systems. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Orientador: Jaime Simão Sichman. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | Luis Gustavo Ludescher. Efeitos de estratégias de distribuição de recursos e perfis de perseverança na dinâmica de coalizões baseadas em agentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Orientador: Jaime Simão Sichman. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | Willy Arthur Silva Reis. Algoritmos Assíncronos de Iteração de Política para Processos de Decisão Markovianos com Probabilidades Intervalares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2019. Orientador: Karina Valdivia Delgado. |
| 21. | 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. |
| 1. | André Domingues da Silva Jalbut. Avaliação do impacto da confiança em cadeias de suprimento através de simulação baseada em agentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2018. Orientador: Jaime Simão Sichman. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | Artur Vidal Maia. Autonomia de planejamento no modelo organizacional MOISE. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2018. Orientador: Jaime Simão Sichman. |
| 6. | 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: Fabio Kon, Paulo Roberto Miranda Meirelles. |
| 7. | 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. |
| 8. | 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. |
| 9. | Charles Mendes de Macedo. Aplicação de algoritmos de agrupamento para descoberta de padrões de defeito em software JavaScript. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2018. Orientador: Karina Valdivia Delgado. |
| 10. | Daniel Augusto de Melo Moreira. Algoritmos Eficientes para o Problema do Orçamento Mínimo em Processos de Decisão Markovianos Sensíveis ao Risco. 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: Karina Valdivia Delgado. |
| 11. | 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. |
| 12. | Elthon Manhas de Freitas. Planejamento probabilístico sensível a risco com ILAO* e função utilidade exponencial. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Karina Valdivia Delgado. |
| 13. | Giulia Satiko Maesaka. Grafos e hipergrafos com cintura e número cromático grandes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018. Orientador: Yoshiharu Kohayakawa. |
| 14. | Hardy José Santos de Miranda. Análise de métodos para reconstrução de artefatos voltados à paleontologia virtual em museus. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2018. Orientador: Ricardo Nakamura. |
| 15. | 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á. |
| 16. | Igor Oliveira Borges. Estratégias para otimização do algoritmo de Iteração de Valor Sensível a Risco. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Karina Valdivia Delgado. |
| 17. | Jessica Leite Pituba. Jogos educativos adaptativos utilizando estilos de aprendizagem Felder-Silverman. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2018. Orientador: Ricardo Nakamura. |
| 18. | Leonardo Makoto Mito. O problema de cobertura via geometria algébrica convexa. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2018. Orientador: Gabriel Haeser. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | Pedro Yuri Araujo Lima Alves. Problema de estoque e roteirização com demanda estocástica e janelas de tempo: uma abordagem utilizando relaxação lagrangeana. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, . 2018. Orientador: Karina Valdivia Delgado. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | Suelen Goularte Carvalho. Code anomalies in the presentation layer of Android Applications. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2018. Orientador: Marco Aurélio Gerosa. |
| 30. | Victor M. Gonçalves Jatobá. Uma abordagem personalizada no processo de seleção de itens em Testes Adaptativos Computadorizados. Dissertação (Mestrado em SISTEMAS DE INFORMAÇÃO) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2018. Orientador: Karina Valdivia Delgado. |
| 31. | 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. |
| 32. | 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. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | 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. |
| 13. | Felipe Lombardi Pierin. IntegraWeb: uma proposta de arquitetura baseada em mapeamentos semânticos e técnicas de mineração de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2017. Orientador: Jaime Simão Sichman. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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á. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | Rodrigo Magalhães. A catalogue of best practices focused on legibility for Java coding in Open Source Software. Dissertação (Mestrado em Engenharia de Software) - Universidade de São Paulo, . 2017. Orientador: Marco Aurélio Gerosa. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 1. | 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. |
| 2. | André Febeliano da Costa. Interação em jogos com interfaces multimodais. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2016. Orientador: Ricardo Nakamura. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | Laécio Freitas Chaves. Alinhamento múltiplo de genomas e sequências de proteínas com repetições e rearranjos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2016. Orientador: Alan Mitchell Durham. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | Pedro Monteiro Kayatt. Arcabouço para Jogos Digitais em Interfaces Distribuídas. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2016. Orientador: Ricardo Nakamura. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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á. |
| 19. | 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. |
| 1. | Albert De La Fuente. Energy-Eficient Virtual Machines Placement. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2015. Orientador: Daniel Macêdo Batista. |
| 2. | Alexandre Martins Ferreira de Sousa. Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Carlos Hitoshi Morimoto. |
| 3. | Alexandre Morimitsu. Computação Incremental e Eficiente de Sequências de Árvores de Componentes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2015. Orientador: Ronaldo Fumio Hashimoto. |
| 4. | Anderson Conceição de Almeida. O método do gradiente espectral projetado aplicado ao problema de image impainting usando regularização L1. Dissertação (Mestrado em Matemática Aplicada) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Ernesto Julián Goldberg Birgin. |
| 5. | Davi Souto Grangeiro. ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015. Orientador: Nina Sumiko Tomita Hirata. |
| 6. | Eduardo Cocca Padovani. Caracterização da Estrutura e Dinâmica das Redes Funcionais Neurais Durante um Processo de Indução Anestésica. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: André Fujita. |
| 7. | Evelyn Perez Cervantes. Análise de redes de colaboração científica: Uma abordagem baseada em grafos relacionais com atributos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2015. Orientador: Roberto Marcondes Cesar Junior. |
| 8. | Filipe Ricardo Polizel. OntoBacen: Uma Ontologia para a Gestão de Riscos do Sistema Financeiro Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015. Orientador: Jaime Simão Sichman. |
| 9. | 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. |
| 10. | 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. |
| 11. | 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. |
| 12. | José Teodoro da Silva. Desambiguação de autoria em listas de discussão de projetos de software livre. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015. Orientador: Marco Aurélio Gerosa. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | Marcio Fernando Stabile Jr. Melhorando o desempenho de agentes BDI Jason através de filtros de percepção. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2015. Orientador: Jaime Simão Sichman. |
| 18. | 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. |
| 19. | Marylia Gutierrez. Técnicas de interação em superfícies multitoque. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2015. Orientador: Ricardo Nakamura. |
| 20. | Maurício Cirelli. Técnicas de reconhecimento de gestos em superfícies multitoque. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2015. Orientador: Ricardo Nakamura. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 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. | 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. |
| 3. | Daniel Baptista Dias. Programação dinâmica em tempo real para processos de decisão markovianos com probabilidades imprecisas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014. Orientador: Karina Valdivia Delgado. |
| 4. | 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. |
| 5. | 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. |
| 6. | Felipe Breve Siola. Transformações Hit-or-miss para imagens tons de cinza. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014. Orientador: Nina Sumiko Tomita Hirata. |
| 7. | Filipe Morgado Simões de Campos. Espelho virtual interativo para simulação de maquiagem. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2014. Orientador: Carlos Hitoshi Morimoto. |
| 8. | Fillipe Manoel Xavier Resina. Revisão de Crenças em Lógicas de Descrição - Um Plug-In para o Protégé. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Renata Wassermann. |
| 9. | Gabriel 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. |
| 10. | Guilherme de Maio Nogueira. Improving fault tolerance support in wireless sensor network macroprogramming. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Comissão Europeia. 2014. Orientador: Marco Aurélio Gerosa. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | Leonardo Alexandre Ferreira Leite. Implantação automatizada de composições de serviços web de grande escala. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Comissão Europeia. 2014. Orientador: Marco Aurélio Gerosa. |
| 15. | 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. |
| 16. | Maison Melotti. CREAMA: Uma Arquitetura de Referência para o Desenvolvimento de Aplicações Colaborativas Móveis Baseados em Componentes. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo, . 2014. Supervisor: Marco Aurélio Gerosa. |
| 17. | 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. |
| 18. | 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. |
| 19. | Mariana Ramos Franco. Avaliação Organizacional de Times de Agentes para o Multi-Agent Programming Contest. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2014. Orientador: Jaime Simão Sichman. |
| 20. | Mauricio Garcia Franco do Nascimento. iRepositório - Repositório Interativo de Conteúdos Digitais para cursos baseados na Internet. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2014. Orientador: Leônidas de Oliveira Brandão. |
| 21. | Max Rosan dos Santos Junior. Mecanismos para consolidação de servidores. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014. Orientador: Daniel Macêdo Batista. |
| 22. | Patricia Araujo de Oliveira. Seleção de Serviços Web em Coreografias. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014. Orientador: Daniel Macêdo Batista. |
| 23. | Paulo Victor Teixeira Eufrásio. Pares Ramsey infinitos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2014. Orientador: Yoshiharu Kohayakawa. |
| 24. | 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. |
| 25. | 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. |
| 26. | Susanna Figueiredo de Rezende. Caminhos mais longos em grafos. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2014. Orientador: Yoshiko Wakabayashi. |
| 1. | Alexandre Yukio Harano. Uma nova abordagem para as operações de Transformada de Erosão e Transformada de Dilatação através da união da decomposição de elementos estruturantes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2013. Orientador: Ronaldo Fumio Hashimoto. |
| 2. | André Jucovsky Bianchi. Processamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2013. Orientador: Marcelo Gomes de Queiroz. |
| 3. | 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. |
| 4. | Carlos Leonardo Herrera Muñoz. Componentes para interoperabilidade entre redes sociais na Web 2.0. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Marco Aurélio Gerosa. |
| 5. | 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: Fabio Kon, Paulo Roberto Miranda Meirelles. |
| 6. | 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. |
| 7. | DANIEL LEMESZENSKI. Técnica de reconstrução geométrica da superfície do corpo humano baseada em múltiplos sensores de profundidade para aplicação em teleconferência imersiva. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2013. Orientador: Ricardo Nakamura. |
| 8. | 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. |
| 9. | 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. |
| 10. | 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. |
| 11. | Eduardo Hideo Kuroda. Análise de Desempenho de Interfaces de Rede Virtualizadas com NAPI. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, União Européia. 2013. Orientador: Daniel Macêdo Batista. |
| 12. | 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. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | Marcela Ortega. Implementação do arcabouço WED-flow para controle de processos transacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, NIH-USA Fundacao Pro-Sangue. 2013. Orientador: João Eduardo Ferreira. |
| 22. | 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. |
| 23. | Mauricio José de Oliveira de Diana. Desempenho de sistemas com dados georeplicados com consistência em momento indeterminado e na linha do tempo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Rede Nacional de Ensino e Pesquisa. 2013. Orientador: Marco Aurélio Gerosa. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | 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. |
| 30. | Silvia Scheunemann Silva. Uma Ontologia para Interoperabilidade entre Padrões de Descrição de Dados em Biodiversidade. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do ABC, . 2013. Supervisor: Anarosa Alves Franco Brandão. |
| 31. | 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. |
| 32. | 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. |
| 33. | 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. |
| 34. | 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. |
| 35. | Willian Yukio Honda. Rotulação de símbolos matemáticos manuscritos via casamento de expressões. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2013. Orientador: Nina Sumiko Tomita Hirata. |
| 1. | 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. |
| 2. | 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. |
| 3. | 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. |
| 4. | 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. |
| 5. | 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. |
| 6. | 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. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | Edith Zaida Sonco Mamani. Cálculo de Reputação em Redes Sociais a partir da Colaboração entre os Participantes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Rede Nacional de Ensino e Pesquisa. 2012. Orientador: Marco Aurélio Gerosa. |
| 11. | 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. |
| 12. | 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. |
| 13. | 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. |
| 14. | Fabio de Oliveira Franco. Jogos Markovianos Alternados sob Incerteza. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Leliane Nunes de Barros. |
| 15. | Felipe Besson. Rehearsal: Um arcabouço para teste automatizado de coreografias de serviços web. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, European Commission. 2012. Orientador: Fabio Kon. |
| 16. | Geiser Chalco Challco. Planejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquico. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2012. Orientador: Marco Aurélio Gerosa. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | Mauricio Finavaro Aniche. Como a prática de TDD influencia o projeto de classes em sistemas orientados a objetos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marco Aurélio Gerosa. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | Renan de Melo Oliveira. Espaço de trabalho informativo e o acompanhamento em equipes ágeis de desenvolvimento de software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Alfredo Goldman vel Lejbman. |
| 30. | 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. |
| 31. | 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. |
| 32. | 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. |
| 33. | Straus Michalsky Martins. Componentes de software no desenvolvimento de aplicações colaborativas para Web: Evolução da plataforma Groupware Workbench. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2012. Orientador: Marco Aurélio Gerosa. |
| 34. | 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. |
| 35. | 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. |
| 36. | 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. |
| 37. | Wesley Sidel. Reconhecimento de Entidades Mencionadas em Português utilizando Aprendizado de Máquina. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2012. Orientador: Marcelo Finger. |
| 1. | Alex Pires de Camargo. Análise e disposição de recursos de rede em grades computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Alfredo Goldman vel Lejbman. |
| 2. | Alvaro Henry Mamani Aliaga. Estudo Comparativo de Técnicas de Escalonamento de Tarefas Dependentes para Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Alfredo Goldman vel Lejbman. |
| 3. | André Salim Pires. Metodos de Segmentação Musical Baseados em Descritores Sonoros. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2011. Orientador: Marcelo Gomes de Queiroz. |
| 4. | Andréa Britto Mattos. Animação de faces tridimensionais baseada em registro estrutural. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: Roberto Marcondes Cesar Junior. |
| 5. | Charles Iury Oliveira Martins. Segmentação estrutural de imagens a partir do aprendizado de modelos de grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Roberto Marcondes Cesar Junior. |
| 6. | Diego de Queiroz Macedo. Experimentos em simulações paralelas do dilema do prisioneiro com n jogadores. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2011. Orientador: Jaime Simão Sichman. |
| 7. | 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. |
| 8. | 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. |
| 9. | 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. |
| 10. | FERNANDO TSUDA. Utilização de técnicas de GPGPU em sistema de Vídeo-Avatar. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2011. Orientador: Ricardo Nakamura. |
| 11. | Glauber de Bona. Satisfatibilidade Probabilística. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2011. Orientador: Marcelo Finger. |
| 12. | Gustavo Ansaldi Oliva. Identificação e visualização de dependências em sistemas de software orientados a objetos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatistica, HP/Comissão Européioa. 2011. Orientador: Marco Aurélio Gerosa. |
| 13. | 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. |
| 14. | 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. |
| 15. | 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. |
| 16. | 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. |
| 17. | 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. |
| 18. | 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. |
| 19. | 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. |
| 20. | 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. |
| 21. | 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. |
| 22. | 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. |
| 23. | 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. |
| 24. | 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. |
| 25. | 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. |
| 26. | 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. |
| 27. | 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. |
| 28. | 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. |
| 29. | Vitor Hugo Louzada Patricio. Canalização: Fenótipos Robustos como Consequência de Características da Rede de Regulaçào Gênica. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2011. Orientador: Ronaldo Fumio Hashimoto. |
| 1. | 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. |
| 2. | 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. |
| 3. | Fernando Bertolli Petroni. GRMediator: uma biblioteca modular para reconhecimento de gestos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2010. Orientador: Flavio Soares Correa da Silva. |
| 4. | Gustavo Henrique Montesião de Sousa. Auralização de Fontes Sonoras Móveis Usando HRTFs. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Marcelo Gomes de Queiroz. |
| 5. | Jan Marcel Paiva Gentil. Avaliação numérica de software destinado a minimização em caixas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Ernesto Julián Goldberg Birgin. |
| 6. | Jeferson Rodrigues da Silva. Renderização interativa de câmeras virtuais a partir da integração de múltiplas câmeras esparsas por meio de homograas e decomposições planares da cena. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Carlos Hitoshi Morimoto. |
| 7. | Lucas Santos de Oliveira. Funcionalidades colaborativas no compartilhamento de conteúdo em redes sociais na Web 2.0: Uma engenharia de domínio baseada no modelo 3C de colaboração. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Marco Aurélio Gerosa. |
| 8. | Mauricio Simões Camilo Hernandes. Multiplicadores Algébricos de Validade Lógica. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Marcelo Finger. |
| 9. | Mina Cintho. Framework para classificação das mutações de HIV. Dissertação (Mestrado em Bioinformática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: João Eduardo Ferreira. |
| 10. | Paulo de Tarso Guerra Oliveira. Revisão de Modelos CTL. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2010. Orientador: Renata Wassermann. |
| 11. | Rafael de Holanda Barroso. Transformando dados em informação: um estudo através de exemplos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Alfredo Goldman vel Lejbman. |
| 12. | Reginaldo Rideaki Kamiya. iVProg: um sistema visual para ensino-aprendizagem de programação via Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2010. Orientador: Leônidas de Oliveira Brandão. |
| 13. | Ricardo Augusto Teixeira de Souza. Predição de tags usando linked data: um estudo de caso no banco de dados Arquigrafia. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Leliane Nunes de Barros. |
| 14. | Silvia Ghiroti Esparrachiari. Reconhecimento de gestos tri-dimensionais. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Carlos Hitoshi Morimoto. |
| 15. | Simone Hanazumi. Ambiente Integrado para Verificação e Teste da Coordenação de Componentes Tolerantes a Falhas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Ana Cristina Vieira de Melo. |
| 16. | Thiago M. Paixão. Rastreamento de objetos utilizando reconhecimento estrutural de padrões: uma abordagem com modelo estático. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2010. Orientador: Roberto Hirata Junior. |
| 17. | Wanderley Guimarães da Silva. Conjuntos dominantes em grafos. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2010. Orientador: Yoshiko Wakabayashi. |
| 18. | Wellington Ricardo Pinheiro. Ambiente de Aprendizado de Programação para o projeto Tidia-AE. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2010. Orientador: Leliane Nunes de Barros. |
| 19. | Wonder Alexandre Luz Alves. Localização de Texto em Imagens de Cenas por meio de Operadores Morfológicos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2010. Orientador: Ronaldo Fumio Hashimoto. |
| 1. | Alexandre Luís Kundrát Eisenmann. iComb: Um sistema para o ensino e aprendizagem de Combinatória em ambiente Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: Leônidas de Oliveira Brandão. |
| 2. | Bruno Klava. Segmentação Interativa de Imagens via Transformação Watershed. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2009. Orientador: Nina Sumiko Tomita Hirata. |
| 3. | Daniel Cukier. Padrões para Introduzir Novas Ideias na Indústria de Software. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2009. Orientador: Fabio Kon. |
| 4. | Guilherme Tozo de Carvalho. Aplicação de práticas ágeis na construção de data warehouse evolutivo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: João Eduardo Ferreira. |
| 5. | Luis Gustavo Nardin. Uma arquitetura de apoio à interoperabilidade de modelos de reputação de agentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2009. Orientador: Jaime Simão Sichman. |
| 6. | Rafael Durbano Lobato. Algoritmos para problemas de programação não linear com variáveis inteiras e contínuas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2009. Orientador: Ernesto Julián Goldberg Birgin. |
| 7. | Rodrigo Assirati Dias. Um middleware para processamento bioestatístico em grades computacionais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2009. Orientador: Roberto Hirata Junior. |
| 8. | Vinícius Gama Pinheiro. Agentes Móveis em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2009. Orientador: Alfredo Goldman vel Lejbman. |
| 1. | Alvaro Heiji Miyazawa. Geração parcial de código Java a partir de especificações formais Z. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ana Cristina Vieira de Melo. |
| 2. | Anderson Fraiha Machado. Erosões e Dilatações Morfológicas Binárias Seqüenciais Rápidas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2008. Orientador: Ronaldo Fumio Hashimoto. |
| 3. | André Casado Castaño. Populando ontologias através de informações em HTML - o caso do Currículo Lattes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Renata Wassermann. |
| 4. | Andréa Tieme Nakasato. Ordenação por reversão. Dissertação (Mestrado em Ciência da Computacao) - Instituto de Matemática e Estatística da USP, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Yoshiko Wakabayashi. |
| 5. | Claudio Eduardo Storti Lago. Escalonamento em Job Shops Flexíveis Híbridos com Máquinas Multi Operação - Uma abordagem através de Filtered Beam Search. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Leônidas de Oliveira Brandão. |
| 6. | Cristiane Maria Sato. Homomorfismos de grafos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Orientador: Yoshiharu Kohayakawa. |
| 7. | Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Finger. |
| 8. | David Robert Camargo de Campos. Reparo de Planos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Leliane Nunes de Barros. |
| 9. | Fabio Henrique Nishihara. Paradigma Mestre-Escravo em Plataformas Heterogêneas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Alfredo Goldman vel Lejbman. |
| 10. | Fernando Taietti Camargo. Estudo comparativo de passos espectrais e buscas nao monotonas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Ernesto Julián Goldberg Birgin. |
| 11. | Filipe Correa Lima da Silva. Uma ferramenta para o ensino de inteligência artificial usando jogos de computador. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Microsoft Research. 2008. Orientador: Flavio Soares Correa da Silva. |
| 12. | Francisco Nogueira Calmon Sobral. Programação em dois níveis: reformulação utilizando as condições KKT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2008. Orientador: Ernesto Julián Goldberg Birgin. |
| 13. | Giuliano Mega. Depuração simbólica extensível para sistemas de objetos distribuídos. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Fabio Kon. |
| 14. | Grace Anne Pontes Borges. Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: João Eduardo Ferreira. |
| 15. | Gustavo Enrique Salazar Torres. Desenvolvimento de sistemas baseados em artefatos de conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Flavio Soares Correa da Silva. |
| 16. | Hammurabi das Chagas Mendes. Estruturas de Dados Concorrentes: um Estudo de Caso em Skip Graphs. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2008. Orientador: Cristina Gomes Fernandes. |
| 17. | J. J. G. Leandro. Análise e classificação de formas de estruturas de ramificação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Roberto Marcondes Cesar Junior. |
| 18. | Kleber da Silva Xavier. Estudo sobre Redução do Custo de Testes através da Utilização de Verificação de Componentes Java com Tratamento de Exceções. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Ana Cristina Vieira de Melo. |
| 19. | Luciana Setsuko Gakiya. Classificação e Busca de Componentes de Software com Tratamento de Exceções. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Ana Cristina Vieira de Melo. |
| 20. | Luiz Henrique Rorato Decaro. Foundation: facilitando a implementacao de operacoes do tipo CRUD em aplicacoes JavaEE.. Dissertação (Mestrado em Pro- grama de Mestrado Profissional em Engen- ha) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2008. Orientador: Alan Mitchell Durham. |
| 21. | Mariana Zaparolli Martins. Audible Images: Um sistema Interativo para Síntese de Imagens Controladas por Áudio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Marcelo Gomes de Queiroz. |
| 22. | Mário Henrique Cruz Tôrres. Simulação Acústica no Ambiente AcMus. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Fabio Kon. |
| 23. | Paulo Silveira. Geração automática de casos de teste para Web Services. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Ana Cristina Vieira de Melo. |
| 24. | Pedro Losco Takecian. ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, National Institutes of Health. 2008. Orientador: João Eduardo Ferreira. |
| 25. | Reginaldo do Prado. iGraf: Uma proposta de sistema para ensino de função via Web. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Leônidas de Oliveira Brandão. |
| 26. | Ricardo Guimarães Hermann. Planejamento Hierárquico sob Incerteza Knightiana. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2008. Orientador: Leliane Nunes de Barros. |
| 27. | Ricardo Luiz Andrade Abrantes. Aplicações de computação paralela em otimização contínua. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2008. Orientador: Ernesto Julián Goldberg Birgin. |
| 1. | Alexandre Freire da Silva. Reflexões sobre o Ensino de Metodologias Ágeis na Academia, na Indústria e no Governo. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Fabio Kon. |
| 2. | Ana Beatriz Vicentim Graciano. Rastreamento de objetos baseado em reconhecimento estrutural de padrões. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Roberto Marcondes Cesar Junior. |
| 3. | André Gustavo de Andrade. Integração de Verificadores Formais para Agentes Móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Ana Cristina Vieira de Melo. |
| 4. | André Yoshiaki Kashiwabara. MYOP: Um ar cabouço para a predição de genes ab-initio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Alan Mitchell Durham. |
| 5. | Arnaldo Câmara Lara. Segmentação de Movimento Usando Morfologia Matemática. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Roberto Hirata Junior. |
| 6. | Crhistian Noriega. Um Modelo para Ambientes Inteligentes Baseado em Serviços Web Semânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Flavio Soares Correa da Silva. |
| 7. | Danilo Toshiaki Sato. Uso eficaz de métricas em métodos ágeis de desenvolvimento de software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
| 8. | David da Silva Pires. Rastreamento de componentes conexas em vídeo 4D. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Roberto Marcondes Cesar Junior. |
| 9. | David Paulo Pereira. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Ana Cristina Vieira de Melo. |
| 10. | Domingos Dellamonica Junior. Extração de aleatoriedade a partir de fontes defeituosas. Dissertação (Mestrado em Ciencia da Computacao) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Yoshiharu Kohayakawa. |
| 11. | Eduardo Leal Guerra. InGride: um ambiente integrado e extensível de desenvolvimento para computação em grades. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
| 12. | Fabricio Siqueira Benevides. Teoria de Ramsey para circuitos e caminhos. Dissertação (Mestrado em Ciencia da Computacao) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Yoshiharu Kohayakawa. |
| 13. | Fernando Lima. Implementação Paralela em Grade de um Resolvedor SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Marcelo Finger. |
| 14. | Giulian Dalton Luz. Uso de small worlds no roteamento em redes de sensores sen fio. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
| 15. | Gustavo Bianchi Maia. Ferramenta para integração de banco de dados multidimensionais e softwares de visualização de séries temporais. Dissertação (Mestrado em Pós graduação Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: João Eduardo Ferreira. |
| 16. | Igor Ribeiro Sucupira. Um Estudo Empírico de Hiper-heurísticas. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo, . 2007. Orientador: Flavio Soares Correa da Silva. |
| 17. | Inácio Guerberoff Lanari Bó. Influência da complexidade da representação de estratégias em modelos evolucionários para o dilema do prisioneiro com n jogadores. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2007. Orientador: Jaime Simão Sichman. |
| 18. | Janine Gomes Moura. SAW - Sistema de Aprendizagem pela Web: motivações e desenvolvimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Leônidas de Oliveira Brandão. |
| 19. | Julian Geraldes Monteiro. Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Alfredo Goldman vel Lejbman. |
| 20. | Marcel Kenji de Carli Silva. Relações min-max em otimização combinatória. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Yoshiko Wakabayashi. |
| 21. | Philipe Dalla Bernardina. PCA-tree: uma proposta de indexação multidimensional. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2007. Orientador: Nina Sumiko Tomita Hirata. |
| 22. | Priscilla Avegliano. Simulação da formação de parcerias entre agentes baseadas no conceito de reputação. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Jaime Simão Sichman. |
| 23. | Renato Lucindo Pinheiro Leme. Partição de grafos em subgrafos conexos balanceados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Yoshiko Wakabayashi. |
| 24. | Rodrigo Moreira Barbosa. Aplicações com agentes móveis em computação em grade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Orientador: Alfredo Goldman vel Lejbman. |
| 25. | Thiago Carvalho de Sousa. Revisão de modelos formais de sistemas de estados finitos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2007. Orientador: Renata Wassermann. |
| 26. | Thiago Meireles Paixão. Atualização de modelos e fundos dinâmicos para rastreamento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2007. Supervisor: Roberto Marcondes Cesar Junior. |
| 27. | Érico Murilo Gozzi. Estudo de métodos estocásticos para otimização global de problemas de programação não linear. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2007. Orientador: Ernesto Julián Goldberg Birgin. |
| 1. | Alberto Alexandre Assis Miranda. Orientações Pfaffianas e o Furtivo Grafo de Heawood. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Cláudio Leonardo Lucchesi. |
| 2. | Andre Rodrigo Sanches. Reducao de dimensionalidade em séries temporais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: Nina Sumiko Tomita Hirata. |
| 3. | Antônio Luís Basile. Funções valor na alocação de tarefas em sistemas robóticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Flavio Soares Correa da Silva. |
| 4. | Bruno Pera. Reconstrução de faces a partir de múltiplas imagens utilizando um modelo de rerferência e um conjunto de pontos de conttrole. Dissertação (Mestrado em Bacharelado em Ciência da Computação) - Instituto de Matematica e Estatistica, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Carlos Hitoshi Morimoto. |
| 5. | Carlos Henrique Aguena Higa. Coeficiente de Determinação, Predição Intrinsicamente Multivariada e Genética. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Ronaldo Fumio Hashimoto. |
| 6. | Carlos Henrique Cardonha. Sistemas Interativos de Prova Clássicos e Quânticos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Cristina Gomes Fernandes. |
| 7. | Cláudia de Oliveira Melo. Classificação semi-automática para componentes java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Ana Cristina Vieira de Melo. |
| 8. | Daniel de Angelis Cordeiro. Estudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completo. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Alfredo Goldman vel Lejbman. |
| 9. | Devanir Zuliani. Projeto Conceitual de Workflow. Dissertação (Mestrado em Engenharia de Software) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2006. Orientador: João Eduardo Ferreira. |
| 10. | Fabio Massaaki Katayama. O problema da troca de mensagens de diferentes tamanhos em redes multi-aglomerados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Alfredo Goldman vel Lejbman. |
| 11. | Felipe Werndl Trevisan. Um modelo unificado para planejamento sob incerteza. Dissertação (Mestrado em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: Leliane Nunes de Barros. |
| 12. | Flávio Luiz Coutinho. Um sistema de rastreamento de olhar tolerante a movimentações da face. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Carlos Hitoshi Morimoto. |
| 13. | Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Marcelo Finger. |
| 14. | João Vitor Baldini Soares. Um novo método de segmentação de imagens de retina usando wavelets. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: Roberto Marcondes Cesar Junior. |
| 15. | Juliana Jabra Chahoud. Planejamento para Serviços Web Semânticos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2006. Orientador: Leliane Nunes de Barros. |
| 16. | Kelly Rosa Braghetto. CONTROLE DE PADRÕES DE FLUXOS DE PROCESSOS EM BANCOS DE DADOS RELACIONAIS. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: João Eduardo Ferreira. |
| 17. | Marcos Eduardo Bolelli Broinizi. Validacao Agil e Precisa de Projetos Conceituais de Banco de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2006. Orientador: João Eduardo Ferreira. |
| 18. | Rafael Pereira Luna. Implementações do Método Primal-Dual Aplicado ao Problema da Floresta de Steiner. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2006. Orientador: Cristina Gomes Fernandes. |
| 19. | Regis de Abreu Barbosa. Detecção e rastreamento de faces e características faciais com aplicação em indexação de vídeo e estimação da orientação de faces. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2006. Orientador: Carlos Hitoshi Morimoto. |
| 20. | RICARDO DA SILVA CARVALHEIRO. Integração de estruturas de endereçamento para viabilizar a automatização do georreferenciamento de cadastros: Um estudo de caso. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2006. Orientador: João Eduardo Ferreira. |
| 21. | Tiago Tagliari Martinez. Recuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetiva. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2006. Orientador: Carlos Hitoshi Morimoto. |
| 1. | Anderson Sanches. Construção e estudos sobre ontologias de bioquímica. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Renata Wassermann. |
| 2. | Christian Danniel Paz-Trillo. Recuperação de vídeos indexados por conceitos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Renata Wassermann. |
| 3. | Daniel Morgato Martin. Coloração de Grafos e o Método Probabilístico. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2005. Orientador: Yoshiharu Kohayakawa. |
| 4. | Edward Mitsuo Iwanaga Iamamoto. Planejamento no Cálculo de Situações usando a linguagem Golog. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, . 2005. Orientador: Leliane Nunes de Barros. |
| 5. | Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Marcelo Finger. |
| 6. | Guilherme de Souza Rabello. Aproximações de Lógicas Modais. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Marcelo Finger. |
| 7. | Jeferson Roberto Marques. Gerenciamento de Recursos Distribuídos em Sistemas Escaláveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Fabio Kon. |
| 8. | Jesus Mena-Chalco. Identificação de Regiões Codificantes de Proteína através da Transformada Modificada de Morlet. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Roberto Marcondes Cesar Junior. |
| 9. | Jishu Ashimine. Definição de uma nova função critério baseada em distâncias nebulosas com múltiplos protótipos para seleção de características. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Roberto Marcondes Cesar Junior. |
| 10. | Julio Cesar Mila. Utilização de ontologias na especificacao de processos e regras de negocio. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2005. Orientador: João Eduardo Ferreira. |
| 11. | Karina Valdivia Delgado. Diagnóstico Baseado em Modelos num Sistema Tutor Inteligente para Programação com Padrões Pedagógicos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2005. Orientador: Leliane Nunes de Barros. |
| 12. | Marcio Calixto Cabral. Interação em ambientes de realidade virtual através de gestos utilizano visão computacional.. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2005. Orientador: Carlos Hitoshi Morimoto. |
| 13. | Ney Barros Luz. Análise Automática de desempenho de Classificadores e Técnicas de Classificação na Plataforma R. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Nina Sumiko Tomita Hirata. |
| 14. | Pavlos Bahia Konstadinidis. O Número Cromático de Grafos-distância sobre os Inteiros. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Yoshiharu Kohayakawa. |
| 15. | Ricardo Koji Ushizaki. Um Arcabouço para Reconfiguração Dinâmica de Aplicações em Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Fabio Kon. |
| 16. | Roberto Pires de Carvalho. Sistemas de Arquivos Paralelos - Alternativas para a redução do gargalo no acesso ao sistema de arquivos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Alfredo Goldman vel Lejbman. |
| 17. | Roberto Speicys Cardoso. Adaptação Dinâmica Utilizando Agentes Móveis em Computação Ubíqua. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Fabio Kon. |
| 18. | Rosianni de Oliveira Cruz. Modularização da Coleta de Lixo na Máquina Virtual de Pesquisa Jikes. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2005. Orientador: Alan Mitchell Durham. |
| 19. | Sara Jane Casare. Uma Ontologia Funcional de Reputação para Agentes. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2005. Orientador: Jaime Simão Sichman. |
| 20. | Seiji Isotani. Desenvolvimento de ferramentas no iGeom: utilizando a geometria dinâmica no ensino presencial e a distâncias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Leônidas de Oliveira Brandão. |
| 21. | Thiago Schumacher Barcelos. Interfaces prestativas baseadas em visão computacional e informação de contexto. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2005. Orientador: Carlos Hitoshi Morimoto. |
| 22. | Vladimir Moreira Rocha. Protocolos P2P para Interligação de Aglomerados em Grades Computacionais. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2005. Orientador: Fabio Kon. |
| 1. | Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Marcelo Finger. |
| 2. | Andrei Goldchleger. InteGrade: Um Sistema de Middleware para Computação em Grade Oportunista. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Fabio Kon. |
| 3. | Bruno Fernandes Cerqueira Leite. Versões Probabilísticas de Resultados da Teoria Combinatória dos Números. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Yoshiharu Kohayakawa. |
| 4. | Carlos Eduardo Calabrez. Uma comparação entre diversas tecnologias de comunicação de objetos distribuídos em Java. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
| 5. | Celso Oviedo da Silva Lopes. - VideoChat - Uma Ferramenta de Videoconferência Pessoal. Dissertação (Mestrado em Engenharia de Computação) - Instituto de Pesquisas Tecnológicas do Estado de São Paulo, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
| 6. | Daniel André Vaquero. Projeto Multirresolução de Operadores Morfológicos a Partir de Exemplos. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Supervisor: Roberto Hirata Junior. |
| 7. | Daniel Vieira. Geração de Classificadores de Seqüências Genéticas Utilizando Inferência de Linguagens Regulares. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Alan Mitchell Durham. |
| 8. | David Corrêa Martins Junior. Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2004. Orientador: Roberto Marcondes Cesar Junior. |
| 9. | Flávio Regis Arruda. Algoritmos paralelos para o problema da mochila. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
| 10. | Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Marcelo Finger. |
| 11. | Gustavo Tadao Okida. Índices para consultas por conteúdo em bancos de dados heterogêneos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: João Eduardo Ferreira. |
| 12. | Henrique Pedreira de Freitas Ceribelli. Construção de imagens panorâmicas a partir de vídeo. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, . 2004. Orientador: Carlos Hitoshi Morimoto. |
| 13. | Joselyto Riani. Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Renata Wassermann. |
| 14. | Júlio de Lima do Rego Monteiro. Simulação de parcerias entre agentes: uma extensão do sistema Part-Net. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2004. Orientador: Jaime Simão Sichman. |
| 15. | Leandro César Prudente. Um Estudo sobre Teste versus Verificação Formal de Programas Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Ana Cristina Vieira de Melo. |
| 16. | Leo Kazuhiro Ueda. Andante - Composição e Performance Musical Utilizando Agentes Móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Fabio Kon. |
| 17. | Marcelo Luís Vinagreiro. Uma arquitetura distribuída para a busca de caminhos em grafos dinâmicos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Alfredo Goldman vel Lejbman. |
| 18. | Marcelo Nunes de Carvalho. Inteligência Artificial em Jogos de Tabuleiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Flavio Soares Correa da Silva. |
| 19. | Marco Eugênio Madeira Di Beneditto. Descoberta de Regras de Classificação com Hierarquias Conceituais. Dissertação (Mestrado em Ciência da Computação) - Instituto de Matemática e Estatística, Marinha do Brasil. 2004. Orientador: Leliane Nunes de Barros. |
| 20. | Marina Andretta. Metodos de restricoes ativas para minimizacao em caixas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2004. Orientador: Ernesto Julián Goldberg Birgin. |
| 21. | Márcio Raul Medeiros Mimica. Desenvolvimento de um rastreador de olhar apropriado para interação humano computador. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Matematica e Estatistica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Carlos Hitoshi Morimoto. |
| 22. | Nelson Posse Lago. Processamento Distribuído de Áudio em Tempo Real. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2004. Orientador: Fabio Kon. |
| 23. | Robson Moron. Uma Ontologia Artificial para o Sistema Cambial Brasileiro. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2004. Orientador: Flavio Soares Correa da Silva. |
| 24. | Rogério Augusto dos Santos Fajardo. Combinações de Lógicas não-Normais. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. 2004. Orientador: Marcelo Finger. |
| 25. | Thiago Teixeira Santos. Detecção de cortes em sequências de vídeo. Dissertação - Instituto de Matematica e Estatistica, . 2004. Orientador: Carlos Hitoshi Morimoto. |
| 26. | Walter Mesquita. Uma Estratégia para Composiçaõ Formal de Frameworks. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, . 2004. Supervisor: Ana Cristina Vieira de Melo. |
| 1. | Adilson de Jesus Sanchez. Uso de Redes Bayesianas no Gerenciamento de Manutenção de Software. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
| 2. | Aldebaran Perseke. Tolopologia de Espaços de Estados em Planejamento com Variáveis Numéricas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Leliane Nunes de Barros. |
| 3. | Alessandro Santiago dos Santos. Estratégias de Hand-off com balanceamento de carga para computação móvel. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Alfredo Goldman vel Lejbman. |
| 4. | Alexandre Noma. Análise Experimental de Algoritmos de Planaridade. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: Cristina Gomes Fernandes. |
| 5. | Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
| 6. | Celina Maki Takemura. Análise de formas representadas por marcos utilizando características mono e multiescala. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2003. Orientador: Roberto Marcondes Cesar Junior. |
| 7. | Elcio Yukio Nanba. Escalonamento de tarefas em clusters de servidores SMP heterogeneos para aplicacoes de biologia molecular. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2003. Supervisor: João Eduardo Ferreira. |
| 8. | Eliete do Rocio Costacurta Quadros. Liderança na Construção da Organização de Aprendizagem. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003. Orientador: Flavio Soares Correa da Silva. |
| 9. | Fabiano de Carvalho e Souza. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
| 10. | Fernando Antonio Mac Cracken Cezar. Bancos de Dados Obsolescentes e uma Proposta de Implementação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Marcelo Finger. |
| 11. | Herbert Yutaka Watanabe. Configuração Automática de Sistemas na Plataforma Enterprise JavaBeans. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Fabio Kon. |
| 12. | Leonardo Marques Alves de Pinho. Descoberta Automática de Serviços. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Alfredo Goldman vel Lejbman. |
| 13. | Marcelo Camacho de Souza. Componente de controle transacional para integracao assincrona de bases de dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: João Eduardo Ferreira. |
| 14. | Marcelo M Amorim. Uma técnica de verificação formal para pi-calculus baseada em bi-simulação up-to e algoritmos de particionamento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Ana Cristina Vieira de Melo. |
| 15. | Marcio Katsumi Oikawa. Integracao para dados e aplicacoes em biologia molecular computacional. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2003. Orientador: João Eduardo Ferreira. |
| 16. | Maria de Lourdes Rosalem. Gestão do Conhecimento em Empresas do Governo. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003. Orientador: Flavio Soares Correa da Silva. |
| 17. | Maria Elizabeth Salomão Mahafud. Parcerias para Qualificação Profissional. Dissertação (Mestrado em Administração de Empresas) - Faesp Universidade de Extremadura Faesp Ipca, . 2003. Orientador: Flavio Soares Correa da Silva. |
| 18. | Paulo André Lima de Castro. Uma infra-estrutura para agentes arrematantes em múltiplos leilões simultâneos. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo, . 2003. Orientador: Jaime Simão Sichman. |
| 19. | Weslley Emmanuel Martins Lima. Uma biblioteca para simulação de protocolos de entrega de mensagens em redes móveis. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2003. Orientador: Alan Mitchell Durham. |
| 1. | Ariane Machado Lima de Oliveira. Laboratorio de geracao de classificadores de sequencias. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2002. Orientador: Alan Mitchell Durham. |
| 2. | Bianka M. M. Teixeira Goncalves. Alternativas para propagacao das atualizacoes de um banco de dados operacional para um data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: João Eduardo Ferreira. |
| 3. | Cristiano Garbelotto Mikosewski. Análise de Investimentos: Uma Abordagem Sobre a Implantação de Projetos de Sistemas de Gestão Empresarial. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002. Orientador: Flavio Soares Correa da Silva. |
| 4. | Edner Ferreira Braga da Silva. Gestão da Cultura no Teletrabalho. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002. Orientador: Flavio Soares Correa da Silva. |
| 5. | Eduardo Kazuaki Gondo. Árvores k-Restritas e Aproximações para o Problema de Steiner em Grafos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Cristina Gomes Fernandes. |
| 6. | Elcio Elionei de Pauli Vaz. Gestão de Salários e as Mudanças na Forma de Remuneração nas Empresas. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002. Orientador: Flavio Soares Correa da Silva. |
| 7. | Eudenia Xavier Meneses. Um Modelo de Capacidades Formais para Cooperação Mediada Entre Sistemas Baseados em Conhecimento. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2002. Orientador: Flavio Soares Correa da Silva. |
| 8. | Isabel Italiano. Um Modelo hibrido para atualizacao de dados em projetos de data warehouse. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: João Eduardo Ferreira. |
| 9. | Luciano Vieira de Araujo. CCICLO: Componente para cruzamento e integracao de objetos classificados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: João Eduardo Ferreira. |
| 10. | Lucy Mari Tabuti. Um Estudo de um Protocolo de Comunicação para Dispositivos Móveis usando Distributed Join-Calculus. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Ana Cristina Vieira de Melo. |
| 11. | Marcos Paulo Bedene Moreira. Base de Qualidades para Gestão de Pessoal em Projetos de Informática. Dissertação (Mestrado em Administração de Empresas) - Universidade de Extremadura - FAESP/IPCA, . 2002. Orientador: Flavio Soares Correa da Silva. |
| 12. | Mathias Schacht. A Turán theorem for random graphs. Dissertação (Mestrado em Matemática) - Emory University, Emory University. 2002. Supervisor: Yoshiharu Kohayakawa. |
| 13. | Silvio do Lago Pereira. Planejamento Abdutivo no Cálculo de Eventos. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2002. Orientador: Leliane Nunes de Barros. |
| 14. | Wagner Dias. Implementações de Tableaux para Raciocínio Aproximado. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2002. Orientador: Marcelo Finger. |
| 1. | Bruno M Moutinho. Composição de fluxos de Controle de framworks Java. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. 2001. Orientador: Ana Cristina Vieira de Melo. |
| 2. | CARLOS HENRIQUE MAIA BRAGA. Meta Modelo para Controle Corporativo de Estratégia de Replicação de Dados. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: João Eduardo Ferreira. |
| 3. | Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: Marcelo Finger. |
| 4. | Juliano Mourão Vieira. Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: Flavio Soares Correa da Silva. |
| 5. | LEONARDO AUGUSTO TANIGUTI MANTOVANI. Uma alternativa para Simplificação de Sincronismo de Dados Temporais entre Ambientes Operacionais e Analíticos. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo, . 2001. Orientador: João Eduardo Ferreira. |
| 6. | Maria Clara Barros de Oliveira Fischer. Estudo de Requisitos para um Software Educacional de Apoio a Disciplinas de Introdução à Computação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: Flavio Soares Correa da Silva. |
| 7. | Rogerio S. Feris. Rastreamento Eficiente de Faces em um Subespaço Wavelet. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Roberto Marcondes Cesar Junior. |
| 8. | Sirley Ambrosia Vitorio. Obsolescência de Informação. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2001. Orientador: Flavio Soares Correa da Silva. |
| 9. | Teofilo E. Campos. Técnicas de Seleção de Características com Aplicações em Reconhecimento de Faces. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. 2001. Orientador: Roberto Marcondes Cesar Junior. |
| 1. | Marcio Grossi de Almeida. Números de Ramsey Induzidos e Semi-induzidos. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. 2000. Orientador: Yoshiharu Kohayakawa. |
| 2. | Mary Yorinori. Sistemas Tutores Inteligentes e Sua Aplicação em Empresas. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Flavio Soares Correa da Silva. |
| 3. | Mauricio Bellissimo Falleiros. Analise Formal do Aprendizado Computacional por Arvores de Decisao. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Flavio Soares Correa da Silva. |
| 4. | Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Marcelo Finger. |
| 5. | Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . 2000. Orientador: Marcelo Finger. |
(*) Relatório criado com produções desde 2000 até 2025
Data de processamento: 27/01/2026 13:46:28