Não autenticado |

Trabalhos do Programa de Pós-Graduação em Ciência da Computação

Data de defesa Título Aluno Orientador Nível
24/05/2023 Canais de Amplificação: O Papel da Retroalimentação no Viés de Sistemas de Recomendação Biblioteca Digital da USP Caio Truzzi Lente Roberto Hirata Junior Mestrado
16/05/2023 Interação pelo olhar em computação vestível Biblioteca Digital da USP Carlos Eduardo Leão Elmadjian Carlos Hitoshi Morimoto Doutorado Direto
04/05/2023 Um Modelo de Classicação de Documentação para Novatos em Projetos de Software Livre Biblioteca Digital da USP Luiz Felipe Fronchetti Dias Marco Aurélio Gerosa Mestrado
17/04/2023 Métodos de duas fases para segmentar áreas construídas ao redor de reservatórios Biblioteca Digital da USP Nayereh Hamidishad Roberto Marcondes Cesar Junior Doutorado Direto
14/04/2023 Análise da distribuição geográfica de doenças causadoras de óbitos na cidade de São Paulo utilizando aprendizado de máquina. Biblioteca Digital da USP Giovana Martinelli Fabio Kon Mestrado
11/04/2023 Seleção de Modelos para Campos Aleatórios de Markov Biblioteca Digital da USP Rodrigo Ribeiro Santos de Carvalho Florencia Graciela Leonardi Mestrado
03/03/2023 Segmentação de imagens baseada em grafos com modelos de forma e restrições de banda local Biblioteca Digital da USP Caio de Moraes Braz Paulo Andre Vechiatto de Miranda Doutorado
13/02/2023 Compromissos arbitrários entre custo e probabilidade à meta e algoritmo de busca heurística em planejamento probabilístico sob o critério GUBS Gabriel Nunes Crispino Karina Valdivia Delgado Mestrado
31/01/2023 Uma conjectura de Erdős e Hajnal Rodrigo Aparecido Enju Yoshiharu Kohayakawa Mestrado
26/01/2023 Mob Programming para escrever código com alta complexidade e trabalho remoto Herez Moise Kattan Flavio Soares Correa da Silva Doutorado
22/12/2022 Simulação de redes de sensores sem fio para o monitoramento de deslizamentos de terra Karlson Tellicio Bezerra de Lima Fabio Kon Mestrado
15/12/2022 Uma Análise Espectral do Grafo com Clique Plantada Félix Yowtang Liu Yoshiharu Kohayakawa Mestrado
15/12/2022 Uma generalização da decomposição por blocos para grafos k-conexos Jared León Malpartida Yoshiharu Kohayakawa Mestrado
12/12/2022 Uma Introdução à Computação Quântica, Protocolos de Complexidade de Comunicação Quânticos, Não-localidade e Parâmetros Quânticos de Grafos. Biblioteca Digital da USP Lucas Silva Arenstein Yoshiharu Kohayakawa Mestrado
02/12/2022 Anytime BDI: Uma arquitetura de agentes limitada no tempo Márcio Fernando Stabile Junior Jaime Simão Sichman Doutorado
17/11/2022 Atacando e defendendo esquemas criptográficos pós-quânticos Thales Areco Bandiera Paiva Routo Terada Doutorado
27/10/2022 Predição de surtos de dengue e diagnóstico de Sífilis Congênita utilizando Aprendizado de Máquina Robson Pereira Aleixo Raphael Yokoingawa de Camargo Mestrado
17/10/2022 Teste de Drivers de Dispositivo do kernel Linux Marcelo Schmitt Paulo Roberto Miranda Meirelles Mestrado
03/10/2022 Uma Nova Abordagem para Segmentação Semântica da Fossa Posterior em Imagens Pediátricas de Ressonância Magnética Larissa de Oliveira Penteado Dias Roberto Marcondes Cesar Junior Mestrado
28/09/2022 Detecção automática de Padrões em Arquiteturas baseadas em Microsserviços Biblioteca Digital da USP João Francisco Lino Daniel Alfredo Goldman Vel Lejbman Mestrado
29/08/2022 Processamento flexível de sinais de áudio em tempo real Thilo Koch Marcelo Gomes de Queiroz Doutorado Direto
24/08/2022 Mitigação de Ataques DDoS na IoT por meio de Aprendizado de Máquina e Virtualização de Funções de Rede Guilherme Werneck de Oliveira Daniel Macedo Batista Mestrado
18/08/2022 Análise e visualização do processo de regionalização do Sistema Único de Saúde (SUS) no Brasil: Uma perspectiva em sistemas complexos Gabriely Rangel Pereira Fabio Kon Mestrado
20/07/2022 Sistemas de Recomendação de Música Baseados em Áudio Rodrigo Carvalho Borges Marcelo Gomes de Queiroz Doutorado
20/07/2022 Aprendizado Automático de Decomposições Eficientes para a Previsão da Estrutura a Termo de Taxas de Juros com Redes Neurais Piero Conti Kauffmann Julio Michael Stern Mestrado
13/07/2022 Paralelizando o Git Checkout: um Estudo de Caso sobre Paralelismo de E/S em Aplicações Desktop Matheus Tavares Bernardino Alfredo Goldman Vel Lejbman Mestrado
22/06/2022 Redução de dimensão para agrupamento projetivo Rafael Zuolo Coppini Lima Yoshiharu Kohayakawa Mestrado
20/06/2022 Aprimoramento do módulo crawler em scanners de vulnerabilidades (open source) de aplicações web Danilo Pereira Escudero Routo Terada Mestrado
17/06/2022 Gradientes de Política Baseados em Modelo: Um estudo empírico em ambientes lineares quadráticos Ângelo Gregório Lovatto Leliane Nunes de Barros Mestrado
31/05/2022 Uma teoria fundamentada sobre estruturas organizacionais para profissionais de desenvolvimento e de infraestrutura em organizações produtoras de software Leonardo Alexandre Ferreira Leite Paulo Roberto Miranda Meirelles Doutorado
11/05/2022 Segmentação semântica em imagens de sensoriamento remoto para modelagem por difusão de áreas verdes em região urbana Biblioteca Digital da USP Florence Alyssa Sakuma Shibata Roberto Marcondes Cesar Junior Mestrado
04/04/2022 Aprendizado Escalável de Circuitos Probabilísticos Renato Lui Geh Denis Deratani Mauá Mestrado
09/03/2022 Cobertura com cı́rculos de raio mı́nimo Arthur Gabriel de Santana Ernesto Julian Goldberg Birgin Mestrado
24/02/2022 Empacotamento e Imersão de Árvores Giovanne Marcelo dos Santos Cristina Gomes Fernandes Mestrado
20/12/2021 Aplicações de análise harmônica em geometria discreta Fabrício Caluza Machado Sinai Robins Doutorado
20/12/2021 Leitura de planilhas de xadrez manuscritas usando redes neurais com mecanismos de atenção Sergio Yuji Hayashi Nina Sumiko Tomita Hirata Mestrado
14/12/2021 Compressão de Modelos em Transferência de Aprendizado de Máquina Paula Kintschev Santana de Moraes Leliane Nunes de Barros Mestrado
14/12/2021 Estimativa de pose de mão e análise de movimento no contexto de terapia ocupacional. Luciano Walenty Xavier Cejnog Roberto Marcondes Cesar Junior Doutorado
25/10/2021 Uma abordagem de aprendizagem auto-supervisionada para imagens astronômicas Ana Carolina Rodrigues Cavalcante Martinazzo Nina Sumiko Tomita Hirata Mestrado
20/10/2021 Estudos em Revisão Múltipla de Crenças Não-Priorizada Fillipe Manoel Xavier Resina Renata Wassermann Doutorado
20/10/2021 O Unlimited Rulebook: Arquitetando as Mecânicas de Economia de Jogos Wilson Kazuo Mizutani Fabio Kon Doutorado
18/10/2021 Dois Estudos sobre a Sensibilidade de Redes Neurais Convolucionais à Resolução Antonio Augusto Abello Roberto Hirata Junior Mestrado
22/09/2021 Generalização de domínio, Invariância, e a Floresta Temporalmente Robusta Luis Gustavo Moneda dos Santos Denis Deratani Mauá Mestrado
31/08/2021 Planejamento em Grafos de Computação Estocástica: Resolvendo Problemas Estocásticos Não-Lineares com Retropropagação de Erros Thiago Pereira Bueno Leliane Nunes de Barros Doutorado Direto
16/08/2021 Percepção sobre Software Bots em Pull Requests em Ambientes Sociais de Codificação Mairieli Santos Wessel Marco Aurélio Gerosa Doutorado Direto
28/07/2021 Modelos de Similaridade Musical aplicados à Identificação e Classificação de Covers Roberto Piassi Passos Bodo Marcelo Gomes de Queiroz Doutorado
28/07/2021 Paralelizando um Compilador: Um estudo com o GCC  Biblioteca Digital da USP Giuliano Augusto Faulin Belinassi Alfredo Goldman Vel Lejbman Mestrado
19/07/2021 Dualidades Combinatórias e Geométricas em Problemas de Otimização de Homomorfismos de Grafos Nathan Benedetto Proença Marcel Kenji de Carli Silva Mestrado
13/07/2021 Operações de Pseudocontração para Lógicas de Descrição Vinícius Bitencourt Matos Renata Wassermann Mestrado
09/07/2021 Em Direção a Métodos Transparentes e Parcimoniosos para Ajuste Automatizado de Desempenho Biblioteca Digital da USP Pedro Henrique Rocha Bruel Alfredo Goldman Vel Lejbman Doutorado Direto
08/07/2021 Árvore Geradora de Comunicação Ótima Jainor Nestor Cardenas Choque Yoshiko Wakabayashi Mestrado
15/06/2021 Descrição Semântica Automática de Bancos Relacionais para Integração de Dados Biblioteca Digital da USP Alexandre César Pinto Pessoa Renata Wassermann Mestrado
07/06/2021 Métodos Estatístico-Computacionais Baseados na Densidade Espectral de Grafos e Suas Aplicações Biblioteca Digital da USP Grover Enrique Castro Guzmán André Fujita Doutorado
04/06/2021 Semântica Módulo Satisfatibilidade com Aplicações: Representação de Funções, Probabilidades e Teoria dos Jogos Sandro Márcio da Silva Preto Marcelo Finger Doutorado
04/06/2021 Classificação dos estados cognitivos orientados pelo sujeito baseada na variabilidade da frequência cardíaca Carlos Enrique Paucar Farfán André Fujita Mestrado
02/06/2021 Compiladores para as Linguagens da Abordagem WED-flow Eduardo Dias Filho João Eduardo Ferreira Mestrado
21/05/2021 O Que Acontece Quando o Bazar Cresce: Um estudo abrangente sobre o atual modelo de desenvolvimento do Kernel Linux Melissa Shihfan Ribeiro Wen Paulo Roberto Miranda Meirelles Mestrado
21/05/2021 Um Benchmark para Algoritmos de Inferência de Maximum-A-Posteriori em Redes de Soma-Produto discretas Heitor Reis Ribeiro Denis Deratani Mauá Mestrado
18/05/2021 Aprendendo Projeções Multidimensionais com Redes Neurais Mateus Espadoto Nina Sumiko Tomita Hirata Doutorado
14/05/2021 Classificação automática de documentos de características econômicas para defesa jurídica Bruno Leme Marcelo Finger Mestrado
10/05/2021 Interação por Perseguição dos Olhos: Algoritmos e Aplicações Biblioteca Digital da USP Alex Torquato Souza Carneiro Carlos Hitoshi Morimoto Doutorado
04/05/2021 Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos  Felipe Ribas Serras Marcelo Finger Mestrado
03/05/2021 Métodos híbridos via energias quadráticas em grafos direcionados para segmentação de imagens  Caio Lopes Demario Paulo Andre Vechiatto de Miranda Mestrado
03/05/2021 Teoria e Computação de Ângulos Sólidos Biblioteca Digital da USP Gervásio Protásio dos Santos Neto Sinai Robins Mestrado
05/04/2021 Comparando métodos de representação vectorial de documentos para identificação de autoria Pamela Rosy Revuelta Quintanilla Flavio Soares Correa da Silva Mestrado
19/03/2021 Técnicas de clusterização e estratificação de indivíduos para estudo de redes funcionais cerebrais. Taiane Coelho Ramos André Fujita Doutorado
22/02/2021 Processamento de eventos complexos nativo de nuvem para cidades inteligentes Fernando Freire Scattone Kelly Rosa Braghetto Mestrado
16/02/2021 Visualização de Fluxos de Mobilidade Urbana com Bundling Biblioteca Digital da USP Tallys Gustavo Martins Fabio Kon Mestrado
05/02/2021 Identificação de vias de sinalização celular baseada em repositórios de cinética de reações bioquímicas Gustavo Estrela de Matos Marcelo da Silva Reis Mestrado
03/02/2021 Uma abordagem de reformulação à Programação Linear InteiraMista para a Inferência de Máximo a Posteriori em Redes Soma-Produto Gustavo Perez Katague Denis Deratani Mauá Mestrado
22/01/2021 Algoritmos e Estruturas de Dados para Hiperárvores de Componentes de Imagens em Níveis de Cinza Alexandre Morimitsu Ronaldo Fumio Hashimoto Doutorado
14/12/2020 Analisando Inferência em Linguagem Natural de um Ponto de Vista Rigoroso Felipe de Souza Salvatore Marcelo Finger Doutorado
14/12/2020 Representação eficiente adaptativa multiresolução de sinais musicais Nicolas Silverio Figueiredo Marcelo Gomes de Queiroz Mestrado
09/12/2020 Análise Comparativa de Abordagens para Aprendizado de Transformações Imagem-a-Imagem Augusto Cesar Monteiro Silva Nina Sumiko Tomita Hirata Mestrado
04/12/2020 Clusterizacão baseada em modelos de mistura gaussianas com covariáveis Carlos Eduardo Martins Relvas André Fujita Doutorado
20/11/2020 Teste de propriedade e estimação de parâmetros Henrique Stagni Yoshiharu Kohayakawa Doutorado
09/11/2020 Visual Analytics para Aprendizado de Máquina - Computando e Analisando Mapas da Fronteira de Decisão de Classificadores Francisco Caio Maia Rodrigues Roberto Hirata Junior Doutorado
21/10/2020 Modelos Neurais para Regressão de Séries Temporais Thiago Ildeu Albuquerque Lira Marcelo Finger Mestrado
16/10/2020 Uma análise da síntese de exemplos para detecção de objetos baseada em aprendizado profundo Leonardo Blanger Nina Sumiko Tomita Hirata Mestrado
07/10/2020 Proposta de novos métodos para estimação de parâmetros em equações diferenciais ordinárias  André Thomaz Gandolpho de Mello Junior Barrera Mestrado
01/10/2020 Detecção de voz cantada em sinais de áudio polifônicos Shayenne Luz Moura Corrêa Marcelo Gomes de Queiroz Mestrado
09/09/2020 Teoremas de girassol em complexidade computacional Bruno Pasqualotto Cavalar Yoshiharu Kohayakawa Mestrado
14/07/2020 Posicionamento de funções virtuais de rede com eficiência energética utilizando abordagens metaheurísticas Fatemeh Mosaiyebzadeh Daniel Macedo Batista Mestrado
29/06/2020 Uma Implementação Integrada de Modelos Probabilísticos Gráficos Biblioteca Digital da USP Renato Cordeiro Ferreira Alan Mitchell Durham Mestrado
19/06/2020 Árvores entrelaçadoras de polinômios e grafos de Ramanujan Karina Suemi Awoki Marcel Kenji de Carli Silva Mestrado
15/06/2020 Padrões de Dificuldades Relacionadas com o Aprendizado de Programação Yorah Bosse Marco Aurélio Gerosa Doutorado
08/06/2020 Um arcabouço para interação de dispositivo em uma rede de coisas Pablo César Calcina Ccori Flavio Soares Correa da Silva Doutorado
29/04/2020 Dataflows de tempo real como abstração para ferramentas de processamento de Big Data Fernanda de Camargo Magano Kelly Rosa Braghetto Mestrado
10/03/2020 Itens de teste colaborativo em 6 camadas: Perspectivas para avaliação formativa assistida por computador considerando níveis de compreensão Biblioteca Digital da USP Marcelo de Moura Amorim Ana Cristina Vieira de Melo Doutorado
28/02/2020 Estimadores de parâmetro consistentes para modelo de grafo aleatório e estudo sobre a relação entre a rede modo padrão do cérebro e o volume do corpo caloso Suzana de Siqueira Santos André Fujita Doutorado
27/02/2020 Identificação de causalidade de Granger em dados longitudinais com aplicações em neuroimagem Biblioteca Digital da USP Maciel Calebe Vidal André Fujita Doutorado
18/02/2020 Heuristicas baseadas na Projeção de Medidas de Ocupação para Planejamento Probabilísticos Milton Raúl Condori Fernández Leliane Nunes de Barros Mestrado
12/02/2020 Análise baseada em contexto do movimento de pedestres em terminais de transporte Joelma Cristina Costa e Silva Flavio Soares Correa da Silva Doutorado
05/02/2020 Processamento de fala para triagem de distúrbios fonológicos Guilherme Jun Yoshimura Marcelo Gomes de Queiroz Mestrado
28/01/2020 Modularidade em Revisão de Crenças de bases DL Ricardo Ferreira Guimarães Renata Wassermann Doutorado Direto
27/01/2020 Revisão de Crenças sem Compacidade Jandson Santos Ribeiro Santos Renata Wassermann Doutorado
19/12/2019 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 Debora Lina Nascimento Ciriaco Pereira Renata Wassermann Mestrado
18/12/2019 Uma análise refinada de erros e da qualidade das imagens na classificação de plâncton com redes neurais convolucionais Biblioteca Digital da USP Mariane Valerio Gonzales Roberto Hirata Junior Mestrado
17/12/2019 Personalização da Experiência em Museus: Aplicação Real de um Sistema de Recomendação Felipe Ferreira Laskoski Alfredo Goldman Vel Lejbman Mestrado
11/12/2019 Classificação morfológica de neurônios baseada na hierarquia das árvores dendríticas Evelyn Pérez Cervantes Roberto Marcondes Cesar Junior Doutorado
09/12/2019 Estudo sobre Redes Definidas por Software Aplicado em Jogos Digitais Lucas Dário Daniel Macedo Batista Mestrado
09/12/2019 Integração de Processamento Distribuído em uma Plataforma de Cidades Inteligentes Dylan Jefferson Mauricio Guimaraes Guedes Fabio Kon Mestrado
03/12/2019 Engajamento em Projetos de Software Livre via Programas de Codificação no Verão Jefferson de Oliveira Silva Marco Aurélio Gerosa Doutorado
25/11/2019 Transpiladores que geram código manutenível como uma abordagem livre de dependências para desenvolvimento de aplicativos multi-plataforma: um estudo de caso com Swift Biblioteca Digital da USP Vinícius Jorge Vendramini Alfredo Goldman Vel Lejbman Mestrado
14/11/2019 Estratégias de alinhamento para consulta cantarolada Fábio Gorodscy Marcelo Gomes de Queiroz Mestrado
06/11/2019 GAVEL: Um Mecanismo de Regulação Baseado em Sanções para Sistemas Multiagentes Normativos Igor Conrado Alves de Lima Jaime Simão Sichman Mestrado
06/11/2019 Monitoramento do ambiente de execução de processos WED-Flow Biblioteca Digital da USP Rodrigo Müller de Carvalho João Eduardo Ferreira Mestrado
03/10/2019 Uma Análise Compreensiva de Benchmark para Redes Deraining Networks Biblioteca Digital da USP Iago Breno Alves do Carmo Araujo Roberto Marcondes Cesar Junior Mestrado
06/09/2019 Uma abordagem "bag of features" para análise de atributos humanos em imagens de faces Rafael Will Macêdo de Araujo Roberto Hirata Junior Doutorado
02/09/2019 Cobertura de grafos por caminhos não-triviais Renzo Gonzalo Gómez Diaz Yoshiko Wakabayashi Doutorado
22/08/2019 Adicionando Suporte Nativo a Paralelismo de Tarefas a um Sistema RISC-V Multi-core com Suporte a Linux Lucas Henrique Morais Alfredo Goldman Vel Lejbman Mestrado
21/08/2019 Alocação de Recursos em uma Arquitetura Óptica Cloud-Fog RAN para o Suporte da Internet 5G Rodrigo Izidoro Tinini Daniel Macedo Batista Doutorado
12/08/2019 Avaliação de Escalabilidade e Desempenho da Camada de Transporte de Mensagens em Plataformas Multiagente Henrique Donâncio Nunes Rodrigues Anarosa Alves Franco Brandão Mestrado
02/08/2019 Algoritmos Assíncronos de Iteração de Política para Processos de Decisão Markovianos com Probabilidades Intervalares Willy Arthur Silva Reis Karina Valdivia Delgado Mestrado
11/07/2019 Visão Computacional aplicada a imagens urbanas em nível de chão sem restrições Éric Keiji Tokuda Roberto Marcondes Cesar Junior Doutorado
11/07/2019 Caminhos mínimos com fonte única Mateus Barros Rodrigues Carlos Eduardo Ferreira Mestrado
17/06/2019 Um modelo para a estimação da dívida técnica baseado em produtividade Jandisson Soares de Jesus Ana Cristina Vieira de Melo Doutorado
20/05/2019 Detecção de rasuras em símbolos com aprendizado Bayesiano de programas (BPL) Raphael Davis de Oliveira Costa Marcel Parolin Jackowski Mestrado
13/05/2019 Algoritmos e limitantes para o número de independência em grafos de distância Biblioteca Digital da USP Letícia Henares Valentini Fernando Mario de Oliveira Filho Mestrado
03/05/2019 Comparativo de algoritmos de otimização em modelos de aprendizagem de máquina com foco em grandes massas de dados Biblioteca Digital da USP René Vieira Santin Walter Figueiredo Mascarenhas Mestrado
03/05/2019 Online, Convexa Online: Algoritmos, Aprendizado, e Dualidade Victor Sanches Portella Marcel Kenji de Carli Silva Mestrado
22/04/2019 Predição de genes <i>ab initio </i>combinada com informações de alinhamento Bruno Tenório da Silveira Lopes Alan Mitchell Durham Mestrado
18/03/2019 InterSCSimulator: Um Simulador de Cidades Inteligentes Escalável e de Código Aberto Eduardo Felipe Zambom Santana Fabio Kon Doutorado
15/03/2019 Abordagem eficiente baseada em grafo hierárquico em camadas para a segmentação de múltiplas regiões Leissi Margarita Castaneda Leon Paulo Andre Vechiatto de Miranda Doutorado
07/03/2019 Experimentação baseada em Simulação em Sistemas para Cidades Inteligentes Lucas Kanashiro Duarte Fabio Kon Mestrado
07/02/2019 Análise Semântica Neural Profunda: Traduzindo de Linguagem Natural para SPARQL Fabiano Ferreira Luz Marcelo Finger Doutorado
05/02/2019 Uma visão sobre a próxima geração de abstrações de processos em sistemas operacionais Rodrigo Siqueira Jordão Fabio Kon Mestrado
08/01/2019 Estrutura de dados persistentes Yan Soares Couto Cristina Gomes Fernandes Mestrado
20/12/2018 Transversais de grafos Juan Gabriel Gutierrez Alva Cristina Gomes Fernandes Doutorado
14/12/2018 Algoritmos exatos para problemas de spanner em grafos Hugo Vinicius Vaz Braga Yoshiko Wakabayashi Doutorado
13/12/2018 Uma Nova Técnica de Calibração para Segmentação Semântica Baseada em Grafos Mateus Riva Roberto Marcondes Cesar Junior Mestrado
12/12/2018 Migração de redes tradicionais para SDN Renan Rodrigo Barbosa Daniel Macedo Batista Mestrado
06/12/2018 Engajamento por meio de elementos de jogos em comunidades online de colaboração aberta Ana Paula Oliveira Bertholdo Marco Aurélio Gerosa Doutorado
05/12/2018 Método Beam Search Aplicado a Problemas de Programação da Produção José Eurípedes Ferreira de Jesus Filho Ernesto Julian Goldberg Birgin Doutorado
29/11/2018 Um Estudo Comparativo de Métodos de Segmentação de Documentos Antigos Nury Yuleny Arosquipa Yanque Roberto Hirata Junior Mestrado
28/11/2018 Identificação de Causalidade em Genética e Neurociência Adèle Helena Ribeiro André Fujita Doutorado
14/11/2018 Densidade Local em Grafos Luis Eduardo Zambrano Fernandez Yoshiharu Kohayakawa Doutorado
14/11/2018 Aprendizado ativo profundo usando Monte Carlo Dropout Lucas Albuquerque Medeiros de Moura Marcelo Finger Mestrado
06/11/2018 Algoritmos Eficientes para o Problema do Orçamento Mínimo em Processos de Decisão Markovianos Sensíveis ao Risco Daniel Augusto de Melo Moreira Karina Valdivia Delgado Mestrado
23/10/2018 WED-SQL: uma linguagem declarativa intermediáriacom apoio transacional para a modelagem e implementação de Sistemas de Informação Cientes de Processos. Bruno Padilha João Eduardo Ferreira Mestrado
22/10/2018 Planejamento baseado em Verificação Simbólica de Modelos Biblioteca Digital da USP Viviane Bonadia dos Santos Leliane Nunes de Barros Mestrado
03/10/2018 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 Biblioteca Digital da USP Caio Henrique Bos Loureiro Ana Cristina Vieira de Melo Mestrado
21/09/2018 Ajuda do Humano em Planejamento Automatizado sob Incerteza Ignasi Andrés Franch Leliane Nunes de Barros Doutorado Direto
31/08/2018 Segmentação de pele humana usando regras de correlação baseadas em agrupamento dinâmico de cores Rodrigo Augusto Dias Faria Roberto Hirata Junior Mestrado
24/08/2018 Identificação de sistema dinâmico em dados de estoque imobiliário Luiz Paulo Medina de Lima Junior Barrera Mestrado
23/08/2018 Análise de desempenho do nsQUIC: um Módulo para Simulação do Protocolo QUIC Diego de Araujo Martinez Camarinha Daniel Macedo Batista Mestrado
10/08/2018 Segmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de Conexidade Lucy Alsina Choque Mansilla Paulo Andre Vechiatto de Miranda Doutorado
10/08/2018 Seleção de Modelos para o Aprendizado de Hipóteses Booleanas Joel Edu Sanchez Castro Ronaldo Fumio Hashimoto Doutorado
06/08/2018 Algoritmos eficientes para análisede campos aleatórios condicionais semi-markovianose sua aplicação em sequências genômicas Ígor Bonadio Alan Mitchell Durham Doutorado
30/07/2018 Regressão Logística Multinomial: Um modelo à partir do comportamento longitudinal do usuário em rede social para a predição de traços depressivos Biblioteca Digital da USP Maricy Caregnato Flavio Soares Correa da Silva Doutorado
30/07/2018 A detecção de implicaturas conversacionais da ironia em textos de redes sociais através do Aprendizado de Máquina para português Biblioteca Digital da USP Rayssa Kullian Martins Marcelo Finger Mestrado
05/07/2018 Resolvendo Vestibular Utilizando Recuperação de Informação Igor Cataneo Silveira Denis Deratani Mauá Mestrado
25/06/2018 Predição de Desempenho de Aplicações Executadas em GPUs usando um Simples Modelo Analítico e Técnicas de Aprendizado de Máquina Marcos Tulio Amaris Gonzalez Alfredo Goldman Vel Lejbman Doutorado
22/06/2018 Ranqueamento de Avisos de Análise Estática de Código Fonte para Monitoramento de Repositórios de Software Livre Athos Coimbra Ribeiro Fabio Kon Mestrado
20/06/2018 Modelos computacionais prognósticos de lesões traumáticas do plexo braquial em adultos Luciana de Melo e Abud Kelly Rosa Braghetto Mestrado
18/06/2018 Uma Plataforma Escalável de Código Aberto Baseada em Microsserviços para Cidades Inteligentes Arthur de Moura Del Esposte Fabio Kon Mestrado
08/06/2018 Grafos e hipergrafos com cintura e número cromático grandes Giulia Satiko Maesaka Yoshiharu Kohayakawa Mestrado
25/04/2018 Testes estatísticos semi paramétricos para discriminação de grafos Biblioteca Digital da USP Gabriela Eleutério Soares André Fujita Doutorado
23/04/2018 INvestigate and Analyse a City - INACITY Artur André Almeida de Macedo Oliveira Roberto Hirata Junior Mestrado
20/04/2018 Independência parcial no problema da satisfazibilidade probabilística Eduardo Menezes de Morais Marcelo Finger Doutorado
17/04/2018 Avaliação de Localização de Defeitos Baseada em Espectro para Uso Prático Higor Amario de Souza Fabio Kon Doutorado
16/04/2018 Uma análise comparativa de ambientes para Big Data: Apche Spark e HPAT Rafael Aquino de Carvalho Alfredo Goldman Vel Lejbman Mestrado
23/03/2018 Gerenciamento de Dívida Técnica no Contexto de Desenvolvimento deSoftware Ágil Graziela Simone Tonin Alfredo Goldman Vel Lejbman Doutorado
19/02/2018 Comparação de algoritmos para o Problema dos K Menores Caminhos Diogo Haruki Kykuta Carlos Eduardo Ferreira Mestrado
15/02/2018 Teoria de Ehrhart para fatores reais de dilatação Tiago Royer Sinai Robins Mestrado
30/01/2018 EyeSwipe: Entrada de Texto Usando Gestos do Olhar Andrew Toshiaki Nakayama Kurauchi Carlos Hitoshi Morimoto Doutorado Direto
19/01/2018 Anomalias na camada de apresentação de aplicativos android Suelen Goularte Carvalho Marco Aurélio Gerosa Mestrado
18/12/2017 Modelagem de WED-flow Temporal Biblioteca Digital da USP Rodrigo Alves Lima João Eduardo Ferreira Mestrado
14/12/2017 Aceleração de Registro Não-Rígido de Imagens Tomográficas utilizando GPU Biblioteca Digital da USP Thiago de Gouveia Nunes Marcel Parolin Jackowski Mestrado
12/12/2017 Representação e Quantificação de Redes Vasculares a Partir de Imagens de Angiografia Tridimensional Miguel Angel Galarreta Valverde Marcel Parolin Jackowski Doutorado
11/12/2017 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 Marcos Ademir Tejada Condori Paulo Andre Vechiatto de Miranda Mestrado
11/12/2017 Melhorando o ataque de reação contra o QC-MDPC McEliece Thales Areco Bandiera Paiva Routo Terada Mestrado
08/12/2017 Redes Neurais Convolucionais Aplicadas ao Projeto de Operadores de Imagens Biblioteca Digital da USP André Vinícius Lopes Roberto Hirata Junior Mestrado
08/12/2017 Avaliação de Desempenho de Algoritmos de Estimação do Olhar para Interação com Computadores Vestíveis Fernando Omar Aluani Carlos Hitoshi Morimoto Mestrado
06/12/2017 Um sistema de reconhecimento, busca aproximada, e alinhamento múltiplo de documentos históricos Biblioteca Digital da USP Gustavo Enrique Salazar Torres Alair Pereira do Lago Doutorado
05/12/2017 Controle em Interfaces Cérebro-Computador de Baixo Custo para Aplicações Musicais Biblioteca Digital da USP Guilherme Feulo do Espirito Santo Marcelo Gomes de Queiroz Mestrado
05/12/2017 IntegraWeb: uma proposta de arquitetura baseada em mapeamentos semânticos e técnicas de mineração de dados Felipe Lombardi Pierin Jaime Simão Sichman Mestrado
30/11/2017 Utilização de Ontologias para Busca em Base de Dados de Acórdãos do STF Rafael Brito de Oliveira Renata Wassermann Mestrado
27/11/2017 OntoMongo - Um Método de Acesso a Dados da Plataforma Lattes Baseado em Ontologias e Sistemas NoSQL Biblioteca Digital da USP Thiago Henrique Dias Araujo Renata Wassermann Mestrado
27/11/2017 Acesso a Dados Baseado em Ontologias com NoSQL Barbara Tieko Agena Renata Wassermann Mestrado
24/11/2017 Modelo de transporte de luz direcional multipolo para a renderização de materiais translúcidos Biblioteca Digital da USP Diana Estefania Naranjo Pomalaya Marcel Parolin Jackowski Mestrado
23/11/2017 SelfMakeup: um Sistema de Realidade Aumentada para Auto-Aplicação de Maquiagem Virtual Aline de Fátima Soares Borges Carlos Hitoshi Morimoto Mestrado
22/11/2017 Métodos de Busca em Coordenada Luiz Gustavo de Moura dos Santos Ernesto Julian Goldberg Birgin Mestrado
10/11/2017 Integrando banco de dados relacional e orientado a grafos para otimizar consultas com alto grau de indireção Marino Hilario Catarino João Eduardo Ferreira Mestrado
07/11/2017 Análise de Componentes Principais em Data Warehouses Rafael Germano Rossi João Eduardo Ferreira Mestrado
26/10/2017 Contagem incremental de padrões locais em árvores de componentes para cálculo de atributos Dênnis José da Silva Ronaldo Fumio Hashimoto Mestrado
24/10/2017 TSS e TSB: Novos descritores de forma baseados em Tensor Scale Anderson Meirelles Freitas Paulo Andre Vechiatto de Miranda Mestrado
18/10/2017 O problema de corte não-guilhotinado multiperíodo com sobras aproveitáveis Oberlan Christo Romão Ernesto Julian Goldberg Birgin Doutorado
13/09/2017 A formal model for strategic planning in cooperative and competitive environments Case study: design and implementation of a basketball simulator Guilherme Fernandes Otranto Junior Barrera Doutorado Direto
06/09/2017 Multi-label classification based on sum-product networks Julissa Giuliana Villanueva Llerena Denis Deratani Mauá Mestrado
28/08/2017 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 Julio Cesar Delgado Vasquez Ernesto Julian Goldberg Birgin Mestrado
23/08/2017 Estudo de algoritmos de Otimização Estocástica aplicados em Aprendizado de Máquina Jessica Katherine de Sousa Fernandes Ernesto Julian Goldberg Birgin Mestrado
16/08/2017 Uso de Jogos Digitais no Desenvolvimento de Competências Curriculares da Matemática Adalberto Bosco Castro Pereira Flavio Soares Correa da Silva Doutorado
09/08/2017 Complexidade em programação não linear John Lenon Cardoso Gardenghi Ernesto Julian Goldberg Birgin Doutorado
03/08/2017 Revisão de Crenças no fragmento universal da CTL usando Verificação de Modelos Limitada Bruno Vercelino da Hora Marcelo Finger Mestrado
29/06/2017 IFT-SLIC: Geração de Superpixels com Base em Agrupamento Iterativo Linear Simples e Transformada Imagem-Floresta Biblioteca Digital da USP Eduardo Barreto Alexandre Paulo Andre Vechiatto de Miranda Mestrado
13/06/2017 O problema do conjunto dominante conexo de k-saltos: algoritmos de aproximação e resultados de inaproximabilidade Rafael Santos Coelho Yoshiko Wakabayashi Doutorado
12/06/2017 Projeto de W-operadores usando modelos lineares para imagens binárias e em níveis de cinza Igor dos Santos Montagner Roberto Hirata Junior Doutorado Direto
09/06/2017 Tree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changes Biblioteca Digital da USP Camila Fernandez Achutti Ana Cristina Vieira de Melo Mestrado
02/06/2017 Reparação interativa de segmentações 3D com transformada imagem-floresta, supervoxels e robustez de sementes Anderson Carlos Moreira Tavares Paulo Andre Vechiatto de Miranda Doutorado
29/05/2017 Revelando o comportamento perdido em redes sociais: detectando reações e análises temporais Samuel Martins Barbosa Neto Roberto Marcondes Cesar Junior Doutorado Direto
26/05/2017 IMPROV: Uma arquitetura para a execução confiável de composições de serviços dinâmicas Biblioteca Digital da USP Felipe Pontes Guimaraes Daniel Macedo Batista Doutorado
24/05/2017 Tecnologias móveis para interação musical Antonio Deusany de Carvalho Junior Marcelo Gomes de Queiroz Doutorado
22/05/2017 Um método para paralelização automática de workflows intensivos em dados Elaine Naomi Watanabe Kelly Rosa Braghetto Mestrado
16/05/2017 Avaliação de diversão a partir de análise de imagens faciais Luiz Carlos Vieira Flavio Soares Correa da Silva Doutorado
02/05/2017 A Evolução dos Ecossistemas de Startups de Software: Um Modelo de Maturidade Daniel Cukier Fabio Kon Doutorado
25/04/2017 Paralelização de inferência em redes credais utilizando computação distribuída para fatoração de matrizes esparsas Ramon Fortes Pereira Julio Michael Stern Mestrado
17/04/2017 Análise preditiva de desempenho de <i>workflows</i> usando teoria do campo médio Waldir Edison Farfán Caro Kelly Rosa Braghetto Mestrado
30/03/2017 Colorações de grafos e subdivisões de digrafos Phablo Fernando Soares Moura Yoshiko Wakabayashi Doutorado
27/03/2017 Classificação de imagens de plâncton usando múltiplas segmentações Mariela Atausinchi Fernandez Nina Sumiko Tomita Hirata Mestrado
17/03/2017 Alocação dinâmica de recursos em sistemas elásticos baseada em modelos de escalabilidade Paulo Bittencourt Moura Fabio Kon Doutorado
15/03/2017 Identificação de alterações em conectividades funcionais córtico-cerebelares no transtorno do espectro autista Taiane Coelho Ramos André Fujita Mestrado
15/03/2017 Processamento de imagens de holografia digital para o estudo de organismos planctônicos Jefferson Serafim Ascaneo Roberto Hirata Junior Mestrado
13/03/2017 Um método de tractografia global usando imagens de ressonância magnética ponderadas por difusão Rafael Reggiani Manzo Marcel Parolin Jackowski Mestrado
06/03/2017 Engenharia de requisitos em startups de software: uma investigação qualitativa Jorge Augusto Melegati Gonçalves Alfredo Goldman Vel Lejbman Mestrado
06/03/2017 Planejamento probabilístico com becos sem saída Thiago Dias Simão Leliane Nunes de Barros Mestrado
21/02/2017 Limitantes de programação semidefinida para o número de contato Fabrício Caluza Machado Fernando Mario de Oliveira Filho Mestrado
16/02/2017 Sobre a conexão entre dependências estruturais e mudanças no software Biblioteca Digital da USP Gustavo Ansaldi Oliva Marco Aurélio Gerosa Doutorado
14/02/2017 Causalidade de Granger entre grafos no domínio da frequência Biblioteca Digital da USP Gustavo Pinto Vilela André Fujita Doutorado Direto
24/01/2017 VORPAL: Um middleware de trilhas sonoras em tempo real para jogos digitais Wilson Kazuo Mizutani Fabio Kon Mestrado
10/01/2017 Aprendizado de redes bayesianas para domínios grandes Biblioteca Digital da USP Walter Perez Urcia Denis Deratani Mauá Mestrado
19/12/2016 Problema dos k-centros e variantes Samuel Plaça de Paula Cristina Gomes Fernandes Mestrado
16/12/2016 Efeitos de áudio baseados em decomposição AM/FM Antonio Jose Homsi Goulart Marcelo Gomes de Queiroz Doutorado
16/12/2016 Intervenção em redes de regulação gênica modelada como um processo de decisão markoviano fatorado e impreciso Biblioteca Digital da USP Fabio Alexandre Campos Tisovec Leliane Nunes de Barros Mestrado
15/12/2016 Rastros de contatos e grafos dinâmicos Milson Silva Monteiro Anatoli Iambartsev Doutorado
15/12/2016 Representação de informações não-estruturadas de laudos de exames radiológicos utilizando modelagem interativa de mapas conceituais Biblioteca Digital da USP Lucio Geronimo Valentin Marcel Parolin Jackowski Doutorado
15/12/2016 Um ambiente de execução para offloading de código em plataformas heterogêneas modernas Biblioteca Digital da USP Rogério Aparecido Gonçalves Alfredo Goldman Vel Lejbman Doutorado
14/12/2016 Provisionamento dinâmico de recursos para execução de workflows científicos em nuvens Biblioteca Digital da USP Ricardo Juliano Mesquita Silva Oda Kelly Rosa Braghetto Mestrado
09/12/2016 Representação de variabilidade estrutural de dados por meio de famílias de esquemas de banco de dados Larissa Cristina Moraes Rodrigues Kelly Rosa Braghetto Mestrado
09/12/2016 Aumentando a migração de instâncias não complacentes em sistemas de informação cientes de processos Biblioteca Digital da USP Rafael Liberato Roberto João Eduardo Ferreira Doutorado
08/12/2016 Sistemas de informação cientes de processos, robustos e confiáveis André Luis Schwerz João Eduardo Ferreira Doutorado
07/12/2016 Morfologia do trato vocal por imagens de ressonância magnética em tempo real Biblioteca Digital da USP Rafael de Assunção Sampaio Marcel Parolin Jackowski Mestrado
01/12/2016 Utilização de sensores de profundidade de baixo custo para prover qualidade de vida em idosos Biblioteca Digital da USP André Luiz Satoshi Kawamoto Flavio Soares Correa da Silva Doutorado
09/11/2016 Protocolos para jogos de Steiner Biblioteca Digital da USP Lucas Mendes Marques Gonçalves Jose Augusto Ramos Soares Mestrado
07/11/2016 Avaliação do impacto da comunicação intra e entre-nós em nuvens computacionais para aplicações de alto desempenho Thiago Kenji Okada Alfredo Goldman Vel Lejbman Mestrado
04/11/2016 Rastreador de olho de alto desempenho e baixo custo baseado em iluminação estroboscópica diferencial Biblioteca Digital da USP Frank Helbert Borsato Carlos Hitoshi Morimoto Doutorado
03/11/2016 Uma plataforma de exploração e análise de imagens médicas em nuvem Biblioteca Digital da USP Igor José Topcin Marcel Parolin Jackowski Mestrado
01/11/2016 iMPaCTS: Um modelo de colaboração por pares para aprendizagem Biblioteca Digital da USP Patricia Alves Pereira Leonidas de Oliveira Brandao Doutorado
27/10/2016 Empacotamento e contagem em digrafos: cenários aleatórios e extremais Roberto Freitas Parente Cristiane Maria Sato Doutorado
27/10/2016 Utilização de ontologias para busca em um sistema colaborativo de imagens arquitetônicas Marisol Solis Yucra Renata Wassermann Mestrado
03/10/2016 Desing de jogos baseado em componentes Biblioteca Digital da USP Marcos Silvano Almeida Flavio Soares Correa da Silva Doutorado
27/09/2016 Análise e extração de alertas antecipados sobre ameaças e incidentes de segurança em sistemas computacionais usando fontes de dados não estruturados Biblioteca Digital da USP Rodrigo Campiolo Daniel Macedo Batista Doutorado
26/09/2016 Uma abordagem autonômica para mitigar ciberataques em redes de computadores Biblioteca Digital da USP Luiz Arthur Feitosa dos Santos Daniel Macedo Batista Doutorado
16/09/2016 Estratégias de resolução para o problema de job-shop flexível Wellington Donizeti Previero Carlos Eduardo Ferreira Doutorado
14/09/2016 Métodos de avaliação da microcirculação em um modelo experimental de sepse utilizando imagens por <i>Sidestream Dark field (SDF)</i> Biblioteca Digital da USP Jihan Mohamad Zoghbi Marcel Parolin Jackowski Doutorado
06/09/2016 Iluminação baseada em séries temporais de imagens com aplicações em realidade mista Caio de Freitas Valente Marcel Parolin Jackowski Mestrado
29/08/2016 Economia de energia e aumento de desempenho usando SSDs no Hadoop Distributed File System Ivanilton Polato Fabio Kon Doutorado
26/08/2016 Circuitos hamiltonianos em hipergrafos e densidades de subpermutações Antonio Josefran de Oliveira Bastos Guilherme Oliveira Mota Doutorado
26/08/2016 Gerenciando dívida técnica: estado atual e novas propostas em métodos de medida Biblioteca Digital da USP Diogo de Jesus Pina Alfredo Goldman Vel Lejbman Mestrado
01/08/2016 Identificação de alterações na estrutura de clusterização das redes funcionais do cérebro associadas com o neurodesenvolvimento Biblioteca Digital da USP Grover Enrique Castro Guzmán André Fujita Mestrado
15/07/2016 Papéis arquiteturais em métricas e maus cheiros de código Mauricio Finavaro Aniche Marco Aurélio Gerosa Doutorado
29/06/2016 Principais variáveis na ordenação de anúncios Biblioteca Digital da USP André Henrique Serafim Casimiro João Eduardo Ferreira Mestrado
15/06/2016 Utilização de mineração de especificação na identificação de fluxos inválidos em softwares Biblioteca Digital da USP Luciano Kelvin da Silva Ana Cristina Vieira de Melo Mestrado
10/06/2016 Um algoritmo para simplificar sistemas de equações diferenciais que descrevem a cinética de reações químicas Amanda Sayuri Guimarães Junior Barrera Mestrado
24/05/2016 Uso de ontologias modulares para classificação de pacientes da <i>Sindrome de Li-Fraumeni:</i> estudo de caso no <i>A. C. Camargo Cancer Center</i> Biblioteca Digital da USP Ricardo Moura Sekeff Budaruiche Renata Wassermann Doutorado
18/05/2016 Proteção dos direitos autorais de imagem estática utilizando criptografia visual e marca d&#39;água Eduardo Almeida Feijó Routo Terada Mestrado
12/05/2016 Alinhamento múltiplo de genomas e sequências de proteínas com repetições e rearranjos Biblioteca Digital da USP Laécio Freitas Chaves Alan Mitchell Durham Mestrado
06/05/2016 Revisão de crenças temporais Biblioteca Digital da USP Paulo de Tarso Guerra Oliveira Renata Wassermann Doutorado
29/04/2016 Reconhecimento<i> online</i> de expressões matemáticas manuscritas usando informação contextual Frank Dennis Julca Aguilar Nina Sumiko Tomita Hirata Doutorado Direto
29/04/2016 Uso de propriedades visuais-interativas na avaliação da qualidade de dados João Marcelo Borovina Josko João Eduardo Ferreira Doutorado
26/04/2016 Informações de suporte ao escalonamento de workflows científicos para a execução em plataformas de computação em nuvem Eduardo Cotrin Teixeira Kelly Rosa Braghetto Doutorado
18/03/2016 Predição de mudanças conjuntas de artefatos de software com base em informações contextuais Igor Scaliante Wiese Marco Aurélio Gerosa Doutorado
17/03/2016 OntoBacen: uma ontologia para gestão de riscos do sistema financeiro brasileiro Filipe Ricardo Polizel Jaime Simão Sichman Mestrado
24/02/2016 Decomposição de grafos em caminhos Fábio Happ Botler Yoshiko Wakabayashi Doutorado
24/02/2016 Segmentação de imagens pela transformada imagem-floresta com faixa de restrição geodésica Caio de Moraes Braz Paulo Andre Vechiatto de Miranda Mestrado
23/02/2016 Pseudo-contrações em revisão de crenças Yuri David Santos Renata Wassermann Mestrado
18/02/2016 Problema da árvore geradora de comunicação ótima: variantes, complexidade e aproximação Santiago Valdes Ravelo Carlos Eduardo Ferreira Doutorado
22/01/2016 Medindo inconsistência em bases de conhecimento probabilístico Glauber De Bona Marcelo Finger Doutorado
11/12/2015 Detecção de fraudes em cartões: um classificador baseado em regras de associação e regressão logística Paulo Henrique Maestrello Assad Oliveira Alair Pereira do Lago Mestrado
11/12/2015 Problemas computacionais em teoria topológica dos grafos Rafael Veiga Pocai Carlos Eduardo Ferreira Mestrado
09/12/2015 iPlan - Uma linha de produtos de software baseada em padrões pedagógicos para gerar planos de aula em ambientes de aprendizagem via web Biblioteca Digital da USP Reginaldo do Prado Leonidas de Oliveira Brandao Doutorado
08/12/2015 Conexidade fuzzy relativa em grafos dirigidos e sua aplicação em um método híbrido para segmentação interativa de imagens Hans Harley Ccacyahuillca Bejar Paulo Andre Vechiatto de Miranda Mestrado
08/12/2015 Técnicas determinísticas para acompanhamento musical automatizado Roberto Piassi Passos Bodo Marcelo Gomes de Queiroz Mestrado
27/11/2015 Melhorando o desempenho de agentes BDI Jason através de filtros de percepção Márcio Fernando Stabile Junior Jaime Simão Sichman Mestrado
26/11/2015 O ecossistema de startups de software da cidade de São Paulo Monna Cleide Fonsêca Rodrigues dos Santos Fabio Kon Mestrado
23/11/2015 Mecanismos para a melhoria do desempenho de sistemas RFID passivos Rafael Perazzo Barbosa Mota Daniel Macedo Batista Doutorado
17/11/2015 Arcabouço probabilístico para análise de sequências de RNA Biblioteca Digital da USP Rafael Mathias Ferreira Alan Mitchell Durham Mestrado
13/11/2015 iCOMB: estudo e reprojeto participativo para redefinição de um sistema para ensino-aprendizagem de combinatória Márcia Roberta dos Santos Pires da Silva Leonidas de Oliveira Brandao Mestrado
11/11/2015 ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas Biblioteca Digital da USP Davi Souto Grangeiro Nina Sumiko Tomita Hirata Mestrado
06/11/2015 Empacotamento de elipsoides Rafael Durbano Lobato Ernesto Julian Goldberg Birgin Doutorado
29/10/2015 Geração de propriedades sobre programas Java a partir de objetivos de teste Simone Hanazumi Ana Cristina Vieira de Melo Doutorado
20/10/2015 Uma abordagem baseada em grafos para rastreamento de múltiplos objetos em vídeos estruturados com um aplicação para o reconhecimento de ações Henrique Morimitsu Roberto Marcondes Cesar Junior Doutorado
14/10/2015 Desambiguação de autoria em listas de discussão de projetos de software livre Biblioteca Digital da USP José Teodoro da Silva Marco Aurélio Gerosa Mestrado
16/09/2015 Clustering de trajetórias Marcio Takashi Iura Oshiro Cristina Gomes Fernandes Doutorado
03/09/2015 Contribuições para interação pelo olhar com teclados virtuais Antonio Díaz Tula Carlos Hitoshi Morimoto Doutorado Direto
24/08/2015 Computação incremental e eficiente de sequências de árvores de componentes Alexandre Morimitsu Ronaldo Fumio Hashimoto Mestrado
14/08/2015 Um método para modificar vias de sinalização molecular por meio de análise de banco de dados de interatomas Lulu Wu Junior Barrera Mestrado
06/08/2015 Últimos <i>Levelings</i>: Conceitos, propriedades, algoritmos e aplicações em processamento e análise de imagens Wonder Alexandre Luz Alves Ronaldo Fumio Hashimoto Doutorado
06/08/2015 Piloto baseado em aprendizagem por reforço para o simulador de corridas TORCS Vinícius Kiwi Daros Flavio Soares Correa da Silva Mestrado
05/08/2015 Álgebras de flags e torneios Leonardo Nagami Coregliano Yoshiharu Kohayakawa Mestrado
23/07/2015 Construção e seleção de janelas na combinação de W-operadores Biblioteca Digital da USP Marta Magda Dornelles Nina Sumiko Tomita Hirata Doutorado
08/07/2015 Um middleware para coreografias de serviços web escaláveis em ambientes de computação em nuvem Thiago Furtado de Mendonça Fabio Kon Mestrado
23/06/2015 Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores Alexandre Martins Ferreira de Sousa Carlos Hitoshi Morimoto Mestrado
15/06/2015 Ordenação evolutiva de anúncios em publicidade computacional Marcos Eduardo Bolelli Broinizi João Eduardo Ferreira Doutorado
08/06/2015 Um método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chave Biblioteca Digital da USP Estephan Dazzi Wandekoken Roberto Marcondes Cesar Junior Doutorado
28/05/2015 IntLAG: uma biblioteca para álgebra linear intervalar em processadores gráficos Biblioteca Digital da USP Ademar Marques Lacerda Filho Walter Figueiredo Mascarenhas Mestrado
19/05/2015 MOOC de geometria: discussões e proposta de um modelo para a educação básica Maria José Guimarães de Souza Leonidas de Oliveira Brandao Mestrado
18/05/2015 Programação dinâmica simbólica aproximada e assíncrona para processos de decisão markovianos com variáveis contínuas Biblioteca Digital da USP Luis Gustavo Rocha Vianna Leliane Nunes de Barros Mestrado
12/05/2015 Construção e uso de ambiente visual para o ensino de programação introdutória Romenig da Silva Ribeiro Leonidas de Oliveira Brandao Mestrado
08/05/2015 Escalonamento de tarefas em processadores de velocidade variável em múltiplas organizações Pedro Luis Furio Raphael Daniel de Angelis Cordeiro Mestrado
04/05/2015 Modelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidade Jorge Luis Guevara Díaz Roberto Hirata Junior Doutorado
04/05/2015 Quantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinha Biblioteca Digital da USP Leandro Ticlia de La Cruz Nina Sumiko Tomita Hirata Mestrado
28/04/2015 Análise de redes biológicas: estudo comparativo de medidas de dependência e uma ferramenta computacional para discriminar grafos Biblioteca Digital da USP Suzana de Siqueira Santos André Fujita Mestrado
16/04/2015 Alocação energeticamente eficiente de máquinas virtuais Biblioteca Digital da USP Albert Philippe Marcel de la Fuente Vigliotti Daniel Macedo Batista Mestrado
27/02/2015 Análise de redes de colaboração científica: uma abordagem baseada em grafos relacionais com atributos Evelyn Pérez Cervantes Roberto Marcondes Cesar Junior Mestrado
26/02/2015 Apoiando novatos a superarem barreiras para contribuir a projetos de software livre Igor Fábio Steinmacher Marco Aurélio Gerosa Doutorado
05/02/2015 Gerenciamento de recursos computacionais em plataformas de computação em nuvem Biblioteca Digital da USP Cássio Alexandre Paixão Silva Alkmin Daniel de Angelis Cordeiro Mestrado
26/01/2015 Teste de propriedades em torneios Henrique Stagni Yoshiharu Kohayakawa Mestrado
23/01/2015 Algoritmos para união de círculos e polígonos Luís Fernando Schultz Xavier da Silveira Cristina Gomes Fernandes Mestrado
19/12/2014 Transformações hit-or-miss para imagens tons de cinza Biblioteca Digital da USP Felipe Breve Siola Nina Sumiko Tomita Hirata Mestrado
12/12/2014 Documentação e testes da biblioteca genérica de álgebra linear Klein Rafael Freitas Schmid Walter Figueiredo Mascarenhas Mestrado
11/12/2014 Tipicalidade em lógicas de descrição Biblioteca Digital da USP José David Fernández Curado Renata Wassermann Mestrado
10/12/2014 Integração entre múltiplas ontologias: reúso e gerência de conflitos Raphael Mendes de Oliveira Cobe Renata Wassermann Doutorado
01/12/2014 Atualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de crédito Fidel Beraldi Alair Pereira do Lago Mestrado
01/12/2014 Evoluindo o suporte à tolerância a falhas na macroprogramação de redes de sensores sem fio Guilherme de Maio Nogueira Marco Aurélio Gerosa Mestrado
28/11/2014 Programação dinâmica em tempo real para processos de decisão markovianos com probabilidades imprecisas Daniel Baptista Dias Karina Valdivia Delgado Mestrado
25/11/2014 Análise da estrutura de clusterização das redes de conectividade funcional do cérebro para investigar as bases das desordens do espectro autista Biblioteca Digital da USP Maciel Calebe Vidal André Fujita Mestrado
19/11/2014 GGLL - Um gerador de analisadores sintáticos para gramáticas gráficas LL(1) Tasso Tirapani Silva Pinto Valdemar Waingort Setzer Mestrado
12/11/2014 <i>iQuiz</i> - Ambiente de autoria para avaliação do aprendizado no moodle José Roberto Alves Rodrigues Leonidas de Oliveira Brandao Mestrado
30/10/2014 Mudanças em problemas de planejamento sem solução Biblioteca Digital da USP Maria Viviane de Menezes Leliane Nunes de Barros Doutorado Direto
22/10/2014 Proposta de arquitetura para federações de nuvens computacionais acadêmicas Gabriel Araujo von Winckler Marco Dimas Gubitoso Mestrado
08/10/2014 Redução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacional Bruno Klava Nina Sumiko Tomita Hirata Doutorado
09/09/2014 Espelho virtual interativo para simulação de maquiagem Filipe Morgado Simões de Campos Carlos Hitoshi Morimoto Mestrado
28/08/2014 Empacotamento de árvores em grafos completos Renzo Gonzalo Gómez Diaz Yoshiko Wakabayashi Mestrado
25/08/2014 Um estudo empírico sobre classificação de símbolos matemáticos manuscritos Marcelo Valentim de Oliveira Nina Sumiko Tomita Hirata Mestrado
14/08/2014 Diretrizes metodológicas e validação estatística de dados para a construção de <i>data warehouses</i> Pedro Losco Takecian João Eduardo Ferreira Doutorado
11/07/2014 Erdos-Ko-Rado em famílias aleatórias Marcelo Matheus Gauy Yoshiharu Kohayakawa Mestrado
30/06/2014 Seleção de serviços web em coreografias Patricia Araujo de Oliveira Daniel Macedo Batista Mestrado
09/06/2014 Teste e verificação formal do comportamento excepcional de programas Java Alexandre Locci Martins Ana Cristina Vieira de Melo Mestrado
03/06/2014 Análise de expressões gênicas com erros de medida e aplicação em dados reais Adèle Helena Ribeiro Roberto Hirata Junior Mestrado
30/05/2014 Caminhos mais longos em grafos Susanna Figueiredo de Rezende Yoshiko Wakabayashi Mestrado
26/05/2014 Implantação automatizada de composições de serviços web de grande escala Leonardo Alexandre Ferreira Leite Marco Aurélio Gerosa Mestrado
21/05/2014 iRepositório - repositório interativo de conteúdos digitais para cursos baseados na Internet Mauricio Garcia Franco do Nascimento Leonidas de Oliveira Brandao Mestrado
16/05/2014 Ambientes de execução para o modelo de atores em plataformas hierárquicas de memória compartilhada com processadores de múltiplos núcleos Emilio de Camargo Francesquini Alfredo Goldman Vel Lejbman Doutorado
08/05/2014 Um processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicas Gabriel Preti Santiago Roberto Hirata Junior Mestrado
08/05/2014 Pares Ramsey infinitos Biblioteca Digital da USP Paulo Victor Teixeira Eufrasio Yoshiharu Kohayakawa Mestrado
06/05/2014 Avaliação de medidas de similaridade entre tensores aplicada a imagens do tensor de difusão por ressonância magnética Biblioteca Digital da USP David Macedo da Conceição Marcel Parolin Jackowski Mestrado
16/04/2014 Abdução clássica e abdução probabilística: a busca pela explicação de dados reais Alexandre Matos Arruda Marcelo Finger Doutorado
16/04/2014 Um método de pontos interiores primal-dual viável para minimização com restrições lineares de grande porte John Lenon Cardoso Gardenghi Ernesto Julian Goldberg Birgin Mestrado
07/04/2014 Revisão de crenças em lógicas de descrição - um plug-in para o <i>protégé</i> Fillipe Manoel Xavier Resina Renata Wassermann Mestrado
04/04/2014 Visão cumputacional para o monitoramento contínuo de plâncton Damian Janusz Matuszewski Roberto Marcondes Cesar Junior Mestrado
02/04/2014 Mecanismos para consolidação de servidores Biblioteca Digital da USP Max Rosan dos Santos Júnior Daniel Macedo Batista Mestrado
26/02/2014 Transformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de forma Lucy Alsina Choque Mansilla Paulo Andre Vechiatto de Miranda Mestrado
14/02/2014 Problemas de alocação e precificação de itens Rafael Crivellari Saliba Schouery Cristina Gomes Fernandes Doutorado Direto
14/02/2014 Gerenciamento de múltiplas submissões em sistemas paralelos: a abordagem do escalonamento equitativo Vinicius Gama Pinheiro Alfredo Goldman Vel Lejbman Doutorado
11/02/2014 Análise de formas usando <i>wavelets</i> em grafos Jorge de Jesus Gomes Leandro Roberto Marcondes Cesar Junior Doutorado
23/01/2014 Uma proposta de protocolo token ring sem fio Adroaldo Lazouriano Moreira Borges Marco Dimas Gubitoso Mestrado
18/12/2013 Algoritmos para junções em dígrafos acíclicos e uma aplicação na Antropologia Álvaro Junior Pereira Franco Carlos Eduardo Ferreira Doutorado
17/12/2013 Medusa: um ambiente musical distribuído Flávio Luiz Schiavoni Marcelo Gomes de Queiroz Doutorado
17/12/2013 Predição de tags usando linked data: um estudo de caso no banco de dados Arquigrafia Ricardo Augusto Teixeira de Souza Leliane Nunes de Barros Mestrado
12/12/2013 Aprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de venda Dênis Antonio Lacerda Leliane Nunes de Barros Mestrado
09/12/2013 Grafos aleatórios exponenciais Tássio Naia dos Santos Yoshiharu Kohayakawa Mestrado
09/12/2013 Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas Felipe Martins dos Santos Leliane Nunes de Barros Mestrado
26/11/2013 Análise de desempenho de interfaces de rede virtualizadas com Napi Eduardo Hideo Kuroda Daniel Macedo Batista Mestrado
25/11/2013 Uma métrica para avaliação de diferença perceptual em imagens para deficientes visuais de cores Biblioteca Digital da USP Rafael de Oliveira Lopes Gonçalves Roberto Hirata Junior Mestrado
22/11/2013 PATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicas Liliane Santana Oliveira Kashiwabara Alan Mitchell Durham Mestrado
06/11/2013 Extração e consulta de informações do currículo lattes baseada em ontologias Eduardo Ferreira Galego Renata Wassermann Mestrado
04/11/2013 Ferramentas computacionais para a síntese de imagens de difusão por ressonância magnética Renato Callado Borges Marcel Parolin Jackowski Mestrado
04/11/2013 Um método para a implementação de regras de negócio à partir da semântica SBVR Jandisson Soares de Jesus Ana Cristina Vieira de Melo Mestrado
31/10/2013 Autenticação e comunicação segura em dispositivos móveis de poder computacional restrito Rafael Will Macêdo de Araujo Routo Terada Mestrado
31/10/2013 Consulta a ontologias em língua portuguesa através do português controlado Fabiano Ferreira Luz Renata Wassermann Mestrado
30/10/2013 Cifra multicanal para maior segurança em redes TCP /IP Sylvio Ximenez de Azevedo Neto Routo Terada Mestrado
21/10/2013 Processamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custo André Jucovsky Bianchi Marcelo Gomes de Queiroz Mestrado
14/10/2013 Uma arquitetura modular baseada em sistema de arquivos para monitoramento de pacotes de rede no sistema operacional GNU/Linux Beraldo Costa Leal Marco Dimas Gubitoso Mestrado
02/10/2013 Extração de informações de narrativas clínicas Michel Oleynik Marcelo Finger Mestrado
23/09/2013 Reconstrução da chave secreta do RSA multi-primo Reynaldo Caceres Villena Routo Terada Mestrado
23/09/2013 Software para prática de regência coral Caio Cesar Moreira Ronaldo Fumio Hashimoto Mestrado
13/09/2013 Dinâmica de redes booleanas limiarizadas utilizando programação em GPU Biblioteca Digital da USP William Lira Ferreira Ronaldo Fumio Hashimoto Mestrado
30/08/2013 Dois resultados em combinatória contemporânea Guilherme Oliveira Mota Yoshiharu Kohayakawa Doutorado
27/08/2013 Proposta de aprimoramento para o protocolo de assinatura digital Quartz Ewerton Rodrigues Andrade Routo Terada Mestrado
07/08/2013 Kalibro: interpretação de métricas de código-fonte Carlos Morais Piroupo Fabio Kon Mestrado
07/08/2013 Recoloração convexa de grafos: algoritmos e poliedros Phablo Fernando Soares Moura Yoshiko Wakabayashi Mestrado
10/07/2013 Autômatos sincronizados e a Conjectura de Cerný Leticia Gindri Arnaldo Mandel Mestrado
24/06/2013 Construção do livro de ofertas a partir de dados de alta frequência e um algoritmo de predição de valores baseado em técnicas de agrupamento e regressão linear Rodrigo Bossini Tavares Moreira Anatoli Iambartsev Mestrado
12/06/2013 Uma abordagem transacional para o tratamento de exceções em processos de negócio Pedro Paulo de Souza Bento da Silva João Eduardo Ferreira Mestrado
06/06/2013 Método beam search aplicado ao problema de escalonamento de tarefas flexível José Eurípedes Ferreira de Jesus Filho Ernesto Julian Goldberg Birgin Mestrado
27/05/2013 Performances musicais distribuídas através de Internet residencial Marcio Masaki Tomiyoshi Marcelo Gomes de Queiroz Mestrado
21/05/2013 Conversão de voz inter-linguística Anderson Fraiha Machado Marcelo Gomes de Queiroz Doutorado
20/05/2013 Monitoramento de métricas de código-fonte em projetos de software livre Paulo Roberto Miranda Meirelles Fabio Kon Doutorado
09/05/2013 Produtividade de times ágeis: uma avaliação experimental de fatores e processos de monitoramento Claudia de Oliveira Melo Fabio Kon Doutorado
02/05/2013 AudioLazy: processamento digital de sinais expressivo e em tempo real Biblioteca Digital da USP Danilo de Jesus da Silva Bellini Marcelo Gomes de Queiroz Mestrado
26/04/2013 Simulações financeiras em GPU Thársis Tuani Pinto Souza Walter Figueiredo Mascarenhas Mestrado
03/04/2013 Planejamento probabilístico usando programação dinâmica assíncrona e fatorada Mijail Gamarra Holguin Leliane Nunes de Barros Mestrado
02/04/2013 Visualização de tags para explicar e filtrar recomendações de músicas Juliana Sato Yamashita Flavio Soares Correa da Silva Mestrado
28/03/2013 Implementação do arcabouço WED-flow para controle de processos transacionais Marcela Ortega Garcia João Eduardo Ferreira Mestrado
22/03/2013 Detecção de violações de SLA em coreografias de serviços Web Victoriano Alfonso Phocco Diaz Daniel Macedo Batista Mestrado
21/03/2013 Análise empírica de algoritmos de revisão sobre bases de crenças Renato Urquiza Lundberg Renata Wassermann Mestrado
21/03/2013 Desempenho de sistemas com dados georeplicados com consistência em momento indeterminado e na linha do tempo Mauricio José de Oliveira de Diana Marco Aurélio Gerosa Mestrado
19/03/2013 Componentes para interoperabilidade entre redes sociais na Web 2.0 Carlos Leonardo Herrera Muñoz Marco Aurélio Gerosa Mestrado
19/03/2013 Desenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionais Biblioteca Digital da USP Ígor Bonadio Alan Mitchell Durham Mestrado
15/03/2013 Decomposição sequencial a partir da sup-representação de W-operadores Joel Edu Sanchez Castro Ronaldo Fumio Hashimoto Mestrado
15/03/2013 Extração de informações de desempenho em GPUs NVIDIA Paulo Carlos Ferreira dos Santos Marco Dimas Gubitoso Mestrado
11/03/2013 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 Biblioteca Digital da USP Alexandre Yukio Harano Ronaldo Fumio Hashimoto Mestrado
08/03/2013 Codificação e compressão iterativa de sinais biomédicos Luiz Fernando Oliveira Corte Real Marcel Parolin Jackowski Mestrado
06/03/2013 Aprimorando o corretor gramatical CoGrOO William Daniel Colen de Moura Silva Marcelo Finger Mestrado
01/03/2013 Descritor de bordas e quantização espacial flexível aplicados a categorização de objetos Arnaldo Câmara Lara Roberto Hirata Junior Doutorado
21/02/2013 Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software Biblioteca Digital da USP Viviane Almeida dos Santos Alfredo Goldman Vel Lejbman Doutorado
04/02/2013 Planejamento probabilístico como busca num espaço de transição de estados Daniel Javier Casani Delgado Leliane Nunes de Barros Mestrado
23/01/2013 Rotulação de símbolos matemáticos manuscritos via casamento de expressões Willian Yukio Honda Nina Sumiko Tomita Hirata Mestrado
14/12/2012 Estimação de movimento a partir de imagens RGBD usando homomorfismo entre grafos David da Silva Pires Roberto Marcondes Cesar Junior Doutorado
14/12/2012 Algoritmos para o problema da árvore de Steiner com coleta de prêmios Camila Mari Matsubara Jose Coelho de Pina Junior Mestrado
14/12/2012 Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession Diego Mira David Flavio Soares Correa da Silva Mestrado
10/12/2012 Answer set programming probabilístico Eduardo Menezes de Morais Marcelo Finger Mestrado
07/12/2012 Um modelo para interoperabilidade entre instituições heterogêneas Cláudia Josimar Abrão de Araújo Flavio Soares Correa da Silva Doutorado
07/12/2012 O problema do multicorte dirigido mínimo Juan Gabriel Gutierrez Alva Paulo Feofiloff Mestrado
03/12/2012 Cálculo de reputação em redes sociais a partir da colaboração entre os participantes Edith Zaida Sonco Mamani Marco Aurélio Gerosa Mestrado
03/12/2012 Protocolo de identificação baseado em polinômios multivariáveis quadráticos Fabio de Salles Monteiro Routo Terada Mestrado
28/11/2012 Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicações Marcelo da Silva Reis Junior Barrera Doutorado Direto
26/11/2012 Módulo de consultas distribuídas do Infinispan Israel Danilo Lacerra Francisco Carlos da Rocha Reverbel Mestrado
22/11/2012 Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias Mário Leston Rey Yoshiko Wakabayashi Doutorado
22/11/2012 Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos Crhistian Alberto Noriega Guerra Flavio Soares Correa da Silva Doutorado
14/11/2012 Caminhos mínimos com recursos limitados Joel Silva Uchoa Carlos Eduardo Ferreira Mestrado
12/11/2012 Jogos markovianos alternados sob incerteza Fábio de Oliveira Franco Leliane Nunes de Barros Mestrado
09/11/2012 Geração de redes vasculares sintéticas tridimensionais utilizando sistemas de Lindenmayer estocásticos e parametrizados Miguel Angel Galarreta Valverde Marcel Parolin Jackowski Mestrado
29/10/2012 Detecção e rastreamento de lábios em dispositivos móveis Giseli de Araujo Ramos Roberto Marcondes Cesar Junior Mestrado
23/10/2012 Detecção de objetos em vídeos usando misturas de modelos baseados em partes deformáveis obtidas de um conjunto de imagens Leissi Margarita Castaneda Leon Roberto Hirata Junior Mestrado
19/10/2012 Arquigrafia Brasil: um ambiente colaborativo baseado em componentes para o compartilhamento de imagens de arquitetura Straus Michalsky Martins Marco Aurélio Gerosa Mestrado
17/10/2012 Interoperabilidade de documentos digitais usando ontologias Erika Guetti Suca Flavio Soares Correa da Silva Mestrado
08/10/2012 Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias Carlos Eduardo Atencio Torres Renata Wassermann Mestrado
02/10/2012 Empacotamento de bicliques em grafos bipartidos Alexandre da Silva Freire Carlos Eduardo Ferreira Doutorado
02/10/2012 PAWEB - Uma plataforma para desenvolvimento de aplicativos web utilizando o modelo de atores Bruno Takahashi Carvalhas de Oliveira Francisco Carlos da Rocha Reverbel Mestrado
27/09/2012 Leilões para publicidade na Internet Atol Fortin de Oliveira Cristina Gomes Fernandes Mestrado
20/09/2012 Problemas de corte com sobras aproveitáveis e eliminação de simetrias Ricardo Luiz de Andrade Abrantes Ernesto Julian Goldberg Birgin Doutorado
19/09/2012 Aplicação do método do gradiente espectral projetado ao problema de amostragem compressiva Boris Chullo Llave Ernesto Julian Goldberg Birgin Mestrado
18/09/2012 Desenvolvimento de um aplicativo de notação musical em braille Arthur Piza Mosterio Tofani Marcelo Gomes de Queiroz Mestrado
14/09/2012 Rehearsal: um arcabouço para teste automatizado de coreografias de serviços web Felipe Meneses Besson Fabio Kon Mestrado
11/09/2012 Planejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquico Geiser Chalco Challco Marco Aurélio Gerosa Mestrado
03/09/2012 Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais Santiago David Davila Benavides Marcelo Gomes de Queiroz Mestrado
30/08/2012 Detecção e extração de redes vasculares usando transformada de Hough Maysa Malfiza Garcia de Macedo Marcel Parolin Jackowski Doutorado
28/08/2012 Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual Talita Perciano Costa Leite Roberto Hirata Junior Doutorado
30/07/2012 Detecção de códigos QR em imagens com enquadramento arbitrário Luiz Felipe Franco Belussi Nina Sumiko Tomita Hirata Mestrado
11/07/2012 Anotação e classificação automática de entidades nomeadas em notícias esportivas em Português Brasileiro Rodrigo Constantin Ctenas Zaccara Marcelo Finger Mestrado
06/07/2012 Uma linha de produto de software para módulos de aprendizagem interativa Danilo Leite Dalmon Leonidas de Oliveira Brandao Mestrado
03/07/2012 Algoritmos evolutivos aplicados ao classificador baseado em segmentos de reta Rosario Alejandra Medina Rodríguez Ronaldo Fumio Hashimoto Mestrado
05/06/2012 Modelagem e reconhecimento de objetos estruturados: uma abordagem estatístico-estrutural Ana Beatriz Vicentim Graciano Roberto Marcondes Cesar Junior Doutorado
29/05/2012 Tratamento de eventos aplicado à composição de serviços web Mauricio Chui Rodrigues João Eduardo Ferreira Mestrado
24/05/2012 Alinhamentos e comparação de sequências Francisco Eloi Soares de Araujo Jose Augusto Ramos Soares Doutorado
23/05/2012 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 Thiago Serra Azevedo Silva Yoshiko Wakabayashi Mestrado
11/05/2012 Jogos de Steiner César Gamboa Machado Jose Coelho de Pina Junior Mestrado
11/05/2012 Otimização em meteorologia: cálculo de perturbações condicionais não-lineares ótimas Jessé Américo Gomes de Lima Ernesto Julian Goldberg Birgin Mestrado
09/05/2012 Métodos estocásticos de otimização global aplicados ao problema de empacotamento de círculos em elipses Luis Henrique Bustamante de Morais Ernesto Julian Goldberg Birgin Mestrado
08/05/2012 Uso do padrão AMQP para transporte de mensagens entre atores remotos Thadeu de Russo e Carmo Francisco Carlos da Rocha Reverbel Mestrado
07/05/2012 Ferramenta para correção automática de exercícios de programação em ambientes de aprendizagem, com plugin para Moodle Biblioteca Digital da USP Ariel Martini Carlos Hitoshi Morimoto Mestrado
27/04/2012 Detecção de objetos por reconhecimento de grafos-chave Marcelo Hashimoto Roberto Marcondes Cesar Junior Doutorado
25/04/2012 Como a prática de TDD influencia o projeto de classes em sistemas orientados a objetos Mauricio Finavaro Aniche Marco Aurélio Gerosa Mestrado
25/04/2012 Detecção de ovos de S. <i>mansoni</i> a partir da detecção de seus contornos Edwin Delgado Huaynalaya Nina Sumiko Tomita Hirata Mestrado
13/04/2012 Assinatura digital Rabin-Williams - sem randomização e com prova eficiente de segurança Bernardo Caraponale Magri Routo Terada Mestrado
04/04/2012 Representações retangulares de grafos planares Guilherme Puglia Assunção Carlos Eduardo Ferreira Mestrado
03/04/2012 Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições Tales Pinheiro de Andrade Ronaldo Fumio Hashimoto Mestrado
22/03/2012 Aplicação de práticas de usabilidade ágil em software livre Ana Paula Oliveira Bertholdo Fabio Kon Mestrado
29/02/2012 Grafos evolutivos na modelagem e análise de redes dinâmicas Paulo Henrique Floriano Alfredo Goldman Vel Lejbman Mestrado
28/02/2012 Análise da distribuição do número de operações de resolvedores SAT Poliana Magalhães Reis Marcelo Finger Mestrado
24/02/2012 Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina Wesley Seidel Carvalho Marcelo Finger Mestrado
17/02/2012 Inferência de redes de regulação gênica utilizando o paradigma de crescimento de sementes Carlos Henrique Aguena Higa Ronaldo Fumio Hashimoto Doutorado
10/02/2012 MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes André Yoshiaki Kashiwabara Alan Mitchell Durham Doutorado
24/01/2012 Um estudo sistemático sobre o espaço de trabalho informativo e o acompanhamento em equipes ágeis de desenvolvimento de software Renan de Melo Oliveira Alfredo Goldman Vel Lejbman Mestrado
19/12/2011 Metadados para reconciliação de transações em bancos de dados autônomos Gustavo Luiz Duarte João Eduardo Ferreira Mestrado
16/12/2011 Criptografia de chave pública sem certificado Denise Hideko Goya Routo Terada Doutorado
16/12/2011 Segurança do bit menos significativo no RSA e em curvas elípticas Dionathan Nakamura Routo Terada Mestrado
15/12/2011 Aproximação de métricas finitas por métricas arbóreas e aplicações Murilo Santos de Lima Cristina Gomes Fernandes Mestrado
13/12/2011 Quantidade de orientações de grafos livres de circuitos direcionados cíclicos Roberto Freitas Parente Yoshiharu Kohayakawa Mestrado
12/12/2011 Algoritmos para o problema da cobertura por sensores Rafael da Ponte Barbosa Yoshiko Wakabayashi Mestrado
02/12/2011 Reticulados de conceitos Alexandre Luiz Junqueira Hadura Albano Alair Pereira do Lago Mestrado
28/11/2011 Verificação de sistemas multi-agentes comportamentalistas através de simulações formalmente guiadas Paulo Salem da Silva Ana Cristina Vieira de Melo Doutorado Direto
28/11/2011 Uma infraestrutura para aplicações distribuídas baseadas em atores Scala Thiago Henrique Coraini Francisco Carlos da Rocha Reverbel Mestrado
16/11/2011 Recoloração convexa de caminhos Karla Roberta Pereira Sampaio Lima Yoshiko Wakabayashi Doutorado
07/11/2011 Um sistema para implementação e uso de bancos de dados pela internet sem programação Edgard Pevidor de Miranda Valdemar Waingort Setzer Mestrado
20/10/2011 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 Eduardo Teruo Katayama Alfredo Goldman Vel Lejbman Mestrado
14/10/2011 Novos métodos para rastreamento de olhar baseados na razão cruzada com compensação de movimentos da cabeça Flávio Luiz Coutinho Carlos Hitoshi Morimoto Doutorado
30/09/2011 AppRecommender: um recomendador de aplicativos GNU/Linux Tássia Camões Araujo Arnaldo Mandel Mestrado
22/09/2011 Protocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveis Biblioteca Digital da USP Cleber Morio Okida Routo Terada Mestrado
22/09/2011 Identificação e visualização de dependências em sistemas de software orientados a objetos Gustavo Ansaldi Oliva Marco Aurélio Gerosa Mestrado
21/09/2011 Técnicas de modelagem para a análise de desempenho de processos de negócio Kelly Rosa Braghetto João Eduardo Ferreira Doutorado
20/09/2011 Um estudo do uso eficiente de programas em placas gráficas Patricia Akemi Ikeda Alfredo Goldman Vel Lejbman Mestrado
29/08/2011 Uma abordagem estrutural para detecção de objetos e localização em ambientes internos por dispositivos móveis Henrique Morimitsu Roberto Marcondes Cesar Junior Mestrado
22/08/2011 Estudo comparativo de técnicas de escalonamento de tarefas dependentes para grades computacionais Alvaro Henry Mamani Aliaga Alfredo Goldman Vel Lejbman Mestrado
12/08/2011 Um estudo sistemático de licenças de software livre Vanessa Cristina Sabino Fabio Kon Mestrado
04/08/2011 Métricas de avaliação de alinhamento de ontologias Esdras Lins Bispo Junior Renata Wassermann Mestrado
04/07/2011 Padrões de testes automatizados Paulo Cheque Bernardo Fabio Kon Mestrado
04/07/2011 Segmentação de imagens similares por casamento de grafos e detecção de comunidades Charles Iury Oliveira Martins Roberto Marcondes Cesar Junior Mestrado
20/06/2011 Métodos de segmentação musical baseados em descritores sonoros André Salim Pires Marcelo Gomes de Queiroz Mestrado
17/06/2011 Reconhecimento de fala para navegação em aplicativos móveis para português brasileiro Edwin Miguel Triana Gomez Fabio Kon Mestrado
14/06/2011 Avaliação de desempenho do sistema de memória transacional de Clojure como biblioteca de sincronização na linguagem Java Pablo César Calcina Ccori Marco Dimas Gubitoso Mestrado
13/06/2011 Um arcabouço para construção de sistemas multiagente musicais Leandro Ferrari Thomaz Marcelo Gomes de Queiroz Doutorado
13/06/2011 Segmentação de lesões cerebrais em imagens de ressonância magnética utilizando modelos deformáveis Jihan Mohamad Zoghbi Marcel Parolin Jackowski Mestrado
09/06/2011 MD6 e a competição para escolha do SHA-3 Biblioteca Digital da USP Valdson Silva Cleto Routo Terada Mestrado
03/06/2011 Validação de padrões de web services transacionais Paulo Roberto de Araujo França Nunes Ana Cristina Vieira de Melo Mestrado
02/06/2011 Replicação assíncrona em bancos de dados evolutivos Helves Humberto Domingues Fabio Kon Doutorado
23/05/2011 Segmentação de imagens SPECT/Gated-SPECT do miocárdio e geração de um mapa polar Luis Roberto Pereira de Paula Roberto Hirata Junior Mestrado
20/05/2011 Satisfazibilidade probabilística Glauber De Bona Marcelo Finger Mestrado
16/05/2011 Abordagens para o ensino de práticas de programação extrema Biblioteca Digital da USP Mariana Vivian Bravo Alfredo Goldman Vel Lejbman Mestrado
11/05/2011 Animação de faces tridimensionais baseada em registro estrutural Biblioteca Digital da USP Andréa Britto Mattos Roberto Marcondes Cesar Junior Mestrado
28/04/2011 Localização em dispositivos móveis utilizando sinais de redes Wi-Fi Biblioteca Digital da USP Rodrigo Bernardo Pimentel Roberto Hirata Junior Mestrado
20/04/2011 Análise e disposição de recursos de rede em grades computacionais Alex Pires de Camargo Alfredo Goldman Vel Lejbman Mestrado
24/03/2011 Métodos ágeis e software livre: um estudo da relação entre estas duas comunidades Biblioteca Digital da USP Hugo Corbucci Alfredo Goldman Vel Lejbman Mestrado
24/03/2011 Teoria, métodos e aplicações de otimização multiobjetivo Phillipe Rodrigues Sampaio Ernesto Julian Goldberg Birgin Mestrado
18/03/2011 Planejamento de produção através do dimensionamento de lotes de itens únicos Pedro Henrique Simões de Oliveira Carlos Eduardo Ferreira Mestrado
10/02/2011 VolPFix: Uma ferramenta para análise e detecção de falhas em sistemas de telefonia IP Paulo César Siécola Fabio Kon Mestrado
08/02/2011 Árvores de Ukkonen: caracterização combinatória e aplicações Gustavo Akio Tominaga Sacomoto Alair Pereira do Lago Mestrado
08/02/2011 Borboleta: Um sistema de telessaúde para auxílio à atenção primária domiciliar Rafael José Peres Correia Fabio Kon Mestrado
28/01/2011 iTarefa: componente <i>Moodle</i> para incorporar módulos de aprendizagem interativa em cursos <i>Web</i> Patricia Alves Pereira Leonidas de Oliveira Brandao Mestrado
17/12/2010 GRMediator: uma biblioteca modular para reconhecimento de gestos Biblioteca Digital da USP Fernando Bertolli Petroni Flavio Soares Correa da Silva Mestrado
16/12/2010 Revisão de modelos CTL Paulo de Tarso Guerra Oliveira Renata Wassermann Mestrado
14/12/2010 Reconstrução de faces 3D através de espaços de componentes principais Jesús Pascual Mena Chalco Roberto Marcondes Cesar Junior Doutorado
10/12/2010 Comparação entre uma solução combinatória e um método de planos de corte para o problema do emparelhamento de peso máximo Ander Conselvan de Oliveira Carlos Eduardo Ferreira Mestrado
10/12/2010 Localização de textos em imagens de cenas por meio de operadores morfológicos Wonder Alexandre Luz Alves Ronaldo Fumio Hashimoto Mestrado
06/12/2010 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 Lucas Santos de Oliveira Marco Aurélio Gerosa Mestrado
10/11/2010 Conjuntos dominantes em grafos Biblioteca Digital da USP Wanderley Guimarães da Silva Yoshiko Wakabayashi Mestrado
09/11/2010 iVProg: um sistema visual para ensino/aprendizagem de programação via Web Reginaldo Rideaki Kamiya Leonidas de Oliveira Brandao Mestrado
20/09/2010 Revisão de crenças em lógicas de descrição e em outras lógicas não clássicas Marcio Moretto Ribeiro Renata Wassermann Doutorado Direto
15/09/2010 Uma implementação paralela do AIRS em Scala Filipe Ferraz Salgado Francisco Carlos da Rocha Reverbel Mestrado
03/09/2010 Análise de benefícios do paralelismo por comunicação unilateral em aplicações com grades não estruturadas Pedro Pais Lopes Siang Wun Song Mestrado
01/09/2010 Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas Simone Hanazumi Ana Cristina Vieira de Melo Mestrado
29/07/2010 Rastreamento de objetos utilizando reconhecimento estrutural de padrões: uma abordagem com modelo estático Biblioteca Digital da USP Thiago Meireles Paixão Roberto Hirata Junior Mestrado
26/07/2010 O problema da subsequência comum máxima sem repetições Christian Tjandraatmadja Carlos Eduardo Ferreira Mestrado
07/07/2010 Duas abordagens para casamento de padrões de pontos usando relações espaciais e casamento entre grafos Alexandre Noma Roberto Marcondes Cesar Junior Doutorado
25/06/2010 Construção de atributos binários baseada em análise de interações  Carlos da Silva dos Santos Roberto Hirata Junior Doutorado
23/06/2010 Estudo e implementação de um método de restrições ativas para problemas de otimização em caixas Jan Marcel Paiva Ientile Ernesto Julian Goldberg Birgin Mestrado
11/06/2010 k-árvores de custo mínimo Marcio Takashi Iura Oshiro Jose Coelho de Pina Junior Mestrado
09/06/2010 Arquitetura e implementação de um sistema distribuído de recuperação de informação Luiz Daniel Creão Augusto Alair Pereira do Lago Mestrado
02/06/2010 Tolerância a falhas no armazenamento distribuído de dados em grades oportunistas Pablo Francisco Laura Huaman Raphael Yokoingawa de Camargo Mestrado
02/06/2010 Uma arquitetura para agentes inteligentes com personalidade e emoção Ary Fagundes Bressane Neto Flavio Soares Correa da Silva Mestrado
28/05/2010 Modelagem de contextos para aprendizado automático aplicado à análise morfossintática Fábio Natanael Kepler Marcelo Finger Doutorado
28/05/2010 Emparelhamentos hiperelípticos em criptografia Daniel Noel Ribeiro Routo Terada Mestrado
12/05/2010 Identificação de fraude contra sistemas de reputação em mercados eletrônicos Rafael Plana Maranzato Alair Pereira do Lago Mestrado
07/05/2010 Busca indexada de padrões em textos comprimidos Lennon de Almeida Machado Alair Pereira do Lago Mestrado
07/05/2010 Depuração automática de programas baseada em modelos: uma abordagem hierárquica para auxílio ao aprendizado de programação Wellington Ricardo Pinheiro Leliane Nunes de Barros Mestrado
29/04/2010 Auralização de fontes sonoras móveis usando HRTFs Gustavo Henrique Montesião de Sousa Marcelo Gomes de Queiroz Mestrado
12/04/2010 Reconhecimento de gestos tridimensionais Silvia Esparrachiari Ghirotti Carlos Hitoshi Morimoto Mestrado
06/04/2010 Redução de dimensionalidade em modelos de bancos de dados multidimensionais Elisa Pereira Kameda João Eduardo Ferreira Mestrado
29/03/2010 Transformando dados em informação: um estudo através de exemplos Rafael de Holanda Barroso Alfredo Goldman Vel Lejbman Mestrado
15/03/2010 Segmentação e reconhecimento de gestos em tempo real com câmeras e aceleração gráfica Daniel Oliveira Dantas Junior Barrera Doutorado
10/02/2010 Renderização interativa de câmeras virtuais a partir da integração de múltiplas câmeras esparsas por meio de homografias e decomposições planares da cena Jeferson Rodrigues da Silva Carlos Hitoshi Morimoto Mestrado
19/01/2010 Processos de decisão Markovianos fatorados com probabilidades imprecisas Karina Valdivia Delgado Leliane Nunes de Barros Doutorado
19/11/2009 Acordo de chaves criptográficas hierárquico e sem certificado Vilc Queupe Rufino Routo Terada Mestrado
13/11/2009 Um middleware para processamento bioestatístico em grades computacionais Biblioteca Digital da USP Rodrigo Assirati Dias Roberto Hirata Junior Mestrado
23/10/2009 Aplicações de programação não-linear ao apreçamento de apólices de seguros Paulo Fernando Galvão de Oliveira Machado Walter Figueiredo Mascarenhas Mestrado
21/10/2009 Detecção e rastreamento de múltiplos objetos em condição de oclusão severa por meio de integração de suporte sob restrição homográfica Biblioteca Digital da USP Thiago Teixeira Santos Carlos Hitoshi Morimoto Doutorado
13/10/2009 Análise comparativa de protocolos de segurança para redes de sensores sem fio Mateus Augusto Silva Santos Routo Terada Mestrado
10/08/2009 Um algoritmo eficiente para o crescimento de redes sobre o grafo probabilístico completo do sistema de regulação gênica considerado Leandro de Araujo Lima Junior Barrera Mestrado
06/07/2009 Consultas de segmentos em janelas: algoritmos e estruturas de dados Álvaro Junior Pereira Franco Carlos Eduardo Ferreira Mestrado
01/07/2009 Segmentação interativa de imagens via transformação watershed Bruno Klava Nina Sumiko Tomita Hirata Mestrado
16/06/2009 K-menores caminhos Fabio Pisaruk Jose Coelho de Pina Junior Mestrado
09/06/2009 Minimização de funções submodulares Juliana Barby Simão Jose Coelho de Pina Junior Mestrado
05/06/2009 IComb: Um sistema para o ensino e aprendizagem de combinatória em ambiente Web Alexandre Luis Kundrat Eisenmann Leonidas de Oliveira Brandao Mestrado
29/05/2009 Métodos de penalidade e barreira para programação convexa semidefinida Antonio Carlos dos Santos Paulo José da Silva e Silva Mestrado
15/05/2009 Aprendizado computacional baseado em distância a segmentos de reta João Henrique Burckas Ribeiro Ronaldo Fumio Hashimoto Doutorado
13/05/2009 Métodos de expansão de busca em sistemas de recuperação de informação Biblioteca Digital da USP Wendel Scardua Alair Pereira do Lago Mestrado
11/05/2009 Padrões para introduzir novas ideias na indústria de software Daniel Cukier Fabio Kon Mestrado
28/04/2009 Aplicação de práticas ágeis na construção de data warehouse evolutivo Guilherme Toso de Carvalho João Eduardo Ferreira Mestrado
27/04/2009 Uma arquitetura de baixo acoplamento para execução de padrões de controle de fluxo em grades Alexandre Ricardo Nardi João Eduardo Ferreira Doutorado
24/04/2009 Agentes móveis em grades oportunistas: uma abordagem para tolerância a falhas Vinicius Gama Pinheiro Alfredo Goldman Vel Lejbman Mestrado
14/04/2009 Algoritmos para problemas de programação não-linear com variáveis inteiras e contínuas Rafael Durbano Lobato Ernesto Julian Goldberg Birgin Mestrado
09/04/2009 Dois caminhos disjuntos e o método de Robertson e Seymour Mauricio Silva de Moura Jose Coelho de Pina Junior Mestrado
11/12/2008 Combinação dinâmica de aspectos: uma abordagem eficiente Biblioteca Digital da USP Flavia Rainone Francisco Carlos da Rocha Reverbel Mestrado
01/12/2008 Seleção de características e predição intrinsecamente multivariada em identificação de redes de regulação gênica David Corrêa Martins Junior Roberto Marcondes Cesar Junior Doutorado
18/11/2008 Limites de seqüências de permutações de inteiros Rudini Menezes Sampaio Yoshiharu Kohayakawa Doutorado Direto
07/11/2008 Simulação acústica no ambiente AcMus Mário Henrique Cruz Torres Fabio Kon Mestrado
31/10/2008 "Escalonamento em job shops flexíveis híbridos com máquinas multi operação uma abordagem através de filtered beam search" Claudio Eduardo Storti Lago Leonidas de Oliveira Brandao Mestrado
03/10/2008 Geração parcial de código Java a partir de especificações formais Z Alvaro Heiji Miyazawa Ana Cristina Vieira de Melo Mestrado
25/09/2008 Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo Márcio Katsumi Oikawa João Eduardo Ferreira Doutorado
11/09/2008 Fluxo de dados em redes de Petri coloridas e em grafos orientados a atores Grace Anne Pontes Borges João Eduardo Ferreira Mestrado
10/09/2008 Filtros para a busca e extração de padrões aproximados em cadeias biológicas Domingos Soares Neto Jose Augusto Ramos Soares Mestrado
27/08/2008 Estruturas de dados concorrentes: um estudo de caso em skip graphs Hammurabi das Chagas Mendes Cristina Gomes Fernandes Mestrado
12/08/2008 Classificação e busca de componentes com tratamento de exceções Biblioteca Digital da USP Luciana Setsuko Gakiya Ana Cristina Vieira de Melo Mestrado
24/07/2008 Tópicos em otimização com restrições lineares Marina Andretta Ernesto Julian Goldberg Birgin Doutorado
17/07/2008 Dois problemas em análise de formas de estruturas de ramificação Jorge de Jesus Gomes Leandro Roberto Marcondes Cesar Junior Mestrado
07/07/2008 Modelagem de posições relativas de formas complexas para análise de configuração espacial: entre e ao longo de Biblioteca Digital da USP Celina Maki Takemura Roberto Marcondes Cesar Junior Doutorado
02/07/2008 Correspondência inexata entre grafos Alexandre da Silva Freire Carlos Eduardo Ferreira Mestrado
26/06/2008 Desenvolvimento de sistemas baseados em artefatos de conhecimento Gustavo Enrique Salazar Torres Flavio Soares Correa da Silva Mestrado
06/06/2008 IGraf: Uma proposta de sistema para ensino de função via Web Biblioteca Digital da USP Reginaldo do Prado Leonidas de Oliveira Brandao Mestrado
03/06/2008 ACP e LOTOS: um estudo comparativo baseado em conceitos de BPEL e padrões de controle de fluxo Pedro Losco Takecian João Eduardo Ferreira Mestrado
03/06/2008 Um serviço de autorização Java EE baseado em certificados de atributos X.509 Stefan Neusatz Guilhen Francisco Carlos da Rocha Reverbel Mestrado
21/05/2008 Implementação de esquemas de criptografia e de assinatura sob o modelo de criptografia de chave pública sem certificado Biblioteca Digital da USP Renato da Silva Ramalho Routo Terada Mestrado
08/05/2008 Paradigma mestre-escravo em plataformas heterogêneas (Algoritmos para escalonamento de tarefas em plataformas heterogêneas usando o paradigma mestre-escravo). Fábio Henrique Nishihara Alfredo Goldman Vel Lejbman Mestrado
06/05/2008 Populando ontologias através de informações em HTML - o caso do currículo lattes André Casado Castaño Renata Wassermann Mestrado
05/05/2008 Planejamento hierárquico sob incerteza Knightiana Ricardo Guimaraes Herrmann Leliane Nunes de Barros Mestrado
28/04/2008 Reparo de plano por refinamento reverso David Robert Camargo de Campos Leliane Nunes de Barros Mestrado
25/04/2008 Homomorfismos de grafos Cristiane Maria Sato Yoshiharu Kohayakawa Mestrado
22/04/2008 Uma comparação de métodos de classificação aplicados à detecção de fraude em cartões de crédito Manoel Fernando Alonso Gadi Alair Pereira do Lago Mestrado
18/04/2008 Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança José de Ribamar Braga Pinheiro Junior Fabio Kon Doutorado
18/04/2008 Geração automática de casos testes para Web Services Paulo Silveira Ana Cristina Vieira de Melo Mestrado
17/04/2008 Ambiente de testes utilizando verificação de componentes java com tratamento de exceções Kleber da Silva Xavier Ana Cristina Vieira de Melo Mestrado
16/04/2008 Ordenação por reversão Andréa Tieme Nakasato Yoshiko Wakabayashi Mestrado
26/03/2008 Seletores de pontos de junção: um mecanismo de extensão para linguagens e arcabouços orientados a aspectos Cristiano Malanga Breuel Francisco Carlos da Rocha Reverbel Mestrado
18/03/2008 Experiências com desenvolvimento ágil Dairton Luiz Bassi Filho Eduardo Colli Mestrado
11/03/2008 Análise de padrões de uso em grades computacionais Danilo Matheus Rubio Conde Marcelo Finger Mestrado
07/03/2008 Depuração simbólica extensível para sistemas de objetos distribuídos Giuliano Mega Fabio Kon Mestrado
07/03/2008 Estudo comparativo de passos espectrais e buscas lineares não monótonas Fernando Taietti Camargo Ernesto Julian Goldberg Birgin Mestrado
22/02/2008 Aplicações de computação paralela em otimização contínua Ricardo Luiz de Andrade Abrantes Ernesto Julian Goldberg Birgin Mestrado
22/02/2008 Erosões e dilatações morfológicas binárias seqüênciais rápidas Anderson Fraiha Machado Ronaldo Fumio Hashimoto Mestrado
22/02/2008 Programação em dois níveis: reformulação utilizando as condições KKT Francisco Nogueira Calmon Sobral Ernesto Julian Goldberg Birgin Mestrado
15/02/2008 Audible Images: síntese de imagens controladas por áudio Mariana Zaparolli Martins Marcelo Gomes de Queiroz Mestrado
16/01/2008 Uma ferramenta para o ensino de inteligência artificial usando jogos de computador Filipe Correa Lima da Silva Flavio Soares Correa da Silva Mestrado
14/12/2007 Aplicação de técnicas de fatoração de matrizes esparsas para inferência em redes bayesianas Ernesto Coutinho Colla Julio Michael Stern Mestrado
06/11/2007 Segmentação de movimento usando morfologia matemática Arnaldo Câmara Lara Roberto Hirata Junior Mestrado
05/11/2007 Planejamento sob incerteza para metas de alcançabilidade estendidas Silvio do Lago Pereira Leliane Nunes de Barros Doutorado
21/09/2007 Um serviço de transações atômicas para Web services Ivan Bittencourt de Araujo e Silva Neto Francisco Carlos da Rocha Reverbel Mestrado
14/09/2007 Reflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governo Alexandre Freire da Silva Fabio Kon Mestrado
29/08/2007 Um modelo para ambientes inteligentes baseado em serviços web semânticos Crhistian Alberto Noriega Guerra Flavio Soares Correa da Silva Mestrado
17/08/2007 Rastreamento de componentes conexas em vídeo 3D para obtenção de estruturas tridimensionais David da Silva Pires Roberto Marcondes Cesar Junior Mestrado
13/07/2007 Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites Julian Geraldes Monteiro Alfredo Goldman Vel Lejbman Mestrado
03/07/2007 Um estudo empírico de hiper-heurísticas Igor Ribeiro Sucupira Flavio Soares Correa da Silva Mestrado
29/06/2007 Uso eficaz de métricas em métodos ágeis de desenvolvimento de software Danilo Toshiaki Sato Alfredo Goldman Vel Lejbman Mestrado
15/06/2007 PCA-tree: uma proposta para indexação multidimensional Philipe Dalla Bernardina Nina Sumiko Tomita Hirata Mestrado
24/05/2007 Ferramenta para integração de modelos multidimensionais e softwares de visualização de séries temporais Biblioteca Digital da USP Gustavo Bianchi Maia João Eduardo Ferreira Mestrado
18/05/2007 Matemática e algoritmos das dobras Paulo Eduardo Azevedo Silveira Jose Coelho de Pina Junior Mestrado
16/05/2007 Fortalecimento do algoritmo RC6 contra criptanálise Χ<sup>2</sup> Biblioteca Digital da USP Eduardo Takeo Uêda Routo Terada Mestrado
10/05/2007 Uso de "small worlds" no roteamento em redes de sensores sem fio Giulian Dalton Luz Alfredo Goldman Vel Lejbman Mestrado
09/05/2007 Hermes: um arcabouço para a programação de aplicações P2P Emilio de Camargo Francesquini Francisco Carlos da Rocha Reverbel Mestrado
07/05/2007 Uso de ontologias e mapas conceituais na descoberta e análise de objetos de aprendizagem: um estudo de caso em eletrostática Andréia Cristina Grisolio Machion Leliane Nunes de Barros Doutorado
07/05/2007 InGriDE: um ambiente integrado e extensível de desenvolvimento para computação em grade Eduardo Leal Guerra Alfredo Goldman Vel Lejbman Mestrado
04/05/2007 Armazenamento distribuído de dados e checkpointing de aplicações paralelas em grades oportunistas Raphael Yokoingawa de Camargo Fabio Kon Doutorado
20/04/2007 SAW - Sistema de aprendizagem pela web: motivações e desenvolvimento Janine Gomes Moura Leonidas de Oliveira Brandao Mestrado
18/04/2007 Alinhamento de seqüências com rearranjos Augusto Fernandes Vellozo Alair Pereira do Lago Doutorado Direto
04/04/2007 Relações min-max em otimização combinatória Marcel Kenji de Carli Silva Yoshiko Wakabayashi Mestrado
28/03/2007 Criação de núcleos específicos para determinados problemas de classificação usando máquinas de suporte vetorial (SVM) Alfredo Roberto Junior Marco Dimas Gubitoso Mestrado
27/03/2007 Extração de aleatoriedade a partir de fontes defeituosas Domingos Dellamonica Junior Yoshiharu Kohayakawa Mestrado
26/03/2007 Partição de grafos em subgrafos conexos balanceados Renato Pinheiro Freme Lopes Lucindo Yoshiko Wakabayashi Mestrado
26/03/2007 Revisão de modelos formais de sistemas de estados finitos Thiago Carvalho de Sousa Renata Wassermann Mestrado
26/03/2007 Teoria de Ramsey para circuitos e caminhos Fabricio Siqueira Benevides Yoshiharu Kohayakawa Mestrado
23/03/2007 MYOP: um arcabouço para predição de genes ab initio André Yoshiaki Kashiwabara Alan Mitchell Durham Mestrado
23/03/2007 Rastreamento de objetos baseado em reconhecimento estrutural de padrões Ana Beatriz Vicentim Graciano Roberto Marcondes Cesar Junior Mestrado
23/03/2007 Um resolvedor SAT paralelo com BSP sobre uma grade Fernando Correa Lima Marcelo Finger Mestrado
16/03/2007 Estudo de métodos estocásticos para otimização global de problemas de programação não linear Erico Murilo Gozzi Ernesto Julian Goldberg Birgin Mestrado
16/03/2007 Integração de verificadores formais para agentes móveis André Gustavo Andrade Ana Cristina Vieira de Melo Mestrado
09/03/2007 "Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas" David Paulo Pereira Ana Cristina Vieira de Melo Mestrado
05/03/2007 MobiGrid: arcabouço para agentes móveis em ambiente de grades computacionais Rodrigo Moreira Barbosa Alfredo Goldman Vel Lejbman Mestrado
01/03/2007 Algoritimo do volume e otimização não diferenciável Ellen Hidemi Fukuda Paulo José da Silva e Silva Mestrado
28/02/2007 Bases de Hilbert Marcelo Hashimoto Jose Coelho de Pina Junior Mestrado
30/01/2007 Um provador de teoremas multi-estratégia Adolfo Gustavo Serra Seca Neto Marcelo Finger Doutorado
21/12/2006 Coeficientes de determinação, predição intrinsicamente multivariada e genética Carlos Henrique Aguena Higa Ronaldo Fumio Hashimoto Mestrado
21/12/2006 "Funções-valor na alocação de tarefas em sistemas robóticos" Antonio Luiz Basile Flavio Soares Correa da Silva Mestrado
11/12/2006 Validação ágil e precisa de projetos conceituais de banco de dados Marcos Eduardo Bolelli Broinizi João Eduardo Ferreira Mestrado
01/12/2006 Multiplicação escalar eficiente em curvas elípticas Adão de Melo Neto Routo Terada Mestrado
30/11/2006 Segmentação de vasos sangüíneos em imagens de retina usando wavelets e classificadores estísticos João Vitor Baldini Soares Roberto Marcondes Cesar Junior Mestrado
27/10/2006 Estudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completo Daniel de Angelis Cordeiro Alfredo Goldman Vel Lejbman Mestrado
27/10/2006 O problema da troca de mensagens de diferentes tamanhos em redes multi-aglomerados Fabio Massaaki Katayama Alfredo Goldman Vel Lejbman Mestrado
24/10/2006 Redução de dimensionalidade em séries temporais André Rodrigo Sanches Nina Sumiko Tomita Hirata Mestrado
29/09/2006 Classificação semi-automática de componentes Java Claudia de Oliveira Melo Ana Cristina Vieira de Melo Mestrado
11/09/2006 Sistemas interativos de prova clássicos e quânticos Carlos Henrique Cardonha Cristina Gomes Fernandes Mestrado
30/08/2006 Sistema de arquivos especializado para correio eletrônico Eider Silva de Oliveira Arnaldo Mandel Mestrado
25/08/2006 Reconstrução de faces a partir de múltiplas imagens utilizando um modelo de referência e um conjunto de pontos de controle Bruno Pera Carlos Hitoshi Morimoto Mestrado
08/08/2006 Empacotamento de subgrafos em grafos Gordana Manic Yoshiko Wakabayashi Doutorado
08/08/2006 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 Regis de Abreu Barbosa Carlos Hitoshi Morimoto Mestrado
28/06/2006 Proposta de esquemas de criptografia e de assinatura sob modelo de criptografia de chave pública sem certificado Denise Hideko Goya Routo Terada Mestrado
23/06/2006 Padrões de fluxos de processos em banco de dados relacionais Kelly Rosa Braghetto João Eduardo Ferreira Mestrado
23/06/2006 Por que usar bancos de dados orientados a objetos? Yen Chin Shen Valdemar Waingort Setzer Mestrado
31/05/2006 Um modelo unificado para planejamento sob incerteza Felipe Werndl Trevizan Leliane Nunes de Barros Mestrado
26/05/2006 Planejamento para serviços web semânticos Juliana Jabra Chahoud Leliane Nunes de Barros Mestrado
23/05/2006 Repensando os commons na comunicação científica Evelyn Cristina Pinto Imre Simon Mestrado
15/05/2006 Voz e vídeo sobre redes sem fio IEEE 802.11 Arlindo Flavio da Conceição Fabio Kon Doutorado
12/05/2006 Recuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetiva Tiago Tagliari Martinez Carlos Hitoshi Morimoto Mestrado
05/05/2006 Um sistema de rastreamento de olhar tolerante a movimentações da face Flávio Luiz Coutinho Carlos Hitoshi Morimoto Mestrado
28/04/2006 Algoritmos de aproximação para o projeto de redes seguras Antonio Joao Ferreira Francisco Carlos Eduardo Ferreira Mestrado
28/04/2006 Implementações do método de aproximação primal-dual aplicado ao problema da floresta de Steiner Rafael Pereira Luna Cristina Gomes Fernandes Mestrado
20/04/2006 Um arcabouço para composição, teste e simulação de protocolos de Handover suave Vera Nagamuta Siang Wun Song Doutorado
19/04/2006 Projeto multirresolução de operadores morfológicos a partir de exemplos Daniel André Vaquero Junior Barrera Mestrado
03/03/2006 Análise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionais Germano Capistrano Bezerra Marcelo Finger Mestrado
19/12/2005 Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos Karina Valdivia Delgado Leliane Nunes de Barros Mestrado
12/12/2005 Protocolos par-a-par para interligação de aglomerados em grades computacionais Vladimir Emiliano Moreira Rocha Fabio Kon Mestrado
16/11/2005 Planejamento no cálculo de situações usando a linguagem Golog Edward Mitsuo Iwanaga Iamamoto Leliane Nunes de Barros Mestrado
10/11/2005 Análise automática de desempenho de classificadores e técnicas de classificação na plataforma R Ney Barros Luz Nina Sumiko Tomita Hirata Mestrado
09/11/2005 Construção e estudos sobre ontologias de bioquímica Anderson Carlos Daniel Sanches Renata Wassermann Mestrado
04/11/2005 Protocolos para comunicação entre agentes móveis Rachel de Paula Cavalcanti Kunio Okuda Mestrado
01/11/2005 Arranjos sistólicos redundantes para grades de computação Marcos Tatsuo Yamamoto Kunio Okuda Mestrado
19/10/2005 Identificação de regiões codificantes de proteína através da transformada modificada de Morlet Jesús Pascual Mena Chalco Roberto Marcondes Cesar Junior Mestrado
23/09/2005 Sistemas de arquivos paralelos: alternativas para a redução do gargalo no acesso ao sistema de arquivos Roberto Pires de Carvalho Alfredo Goldman Vel Lejbman Mestrado
13/09/2005 Uma ferramenta interativa para análise de padrões baseada em entropia Luiz Gustavo Martins Marco Dimas Gubitoso Mestrado
12/08/2005 O problema de Steiner com grupos Fernando Mario de Oliveira Filho Carlos Eduardo Ferreira Mestrado
20/07/2005 Coloração de grafos e o método probabilístico Daniel Morgato Martin Yoshiharu Kohayakawa Mestrado
12/07/2005 Interfaces prestativas baseadas em visão computacional e informação de contexto Thiago Schumacher Barcelos Carlos Hitoshi Morimoto Mestrado
22/06/2005 Dois problemas de busca Renato José da Silva Carmo Yoshiharu Kohayakawa Doutorado
25/05/2005 Identificação de genes por comparação de seqüências Said Sadique Adi Carlos Eduardo Ferreira Doutorado
25/05/2005 Interação baseada em gestos de mãos e cabeça para ambientes de realidade virtual utilizando visão computacional Marcio Calixto Cabral Carlos Hitoshi Morimoto Mestrado
11/05/2005 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 Jishu Ashimine Roberto Marcondes Cesar Junior Mestrado
25/04/2005 Adaptação dinâmica utilizando agentes móveis em computação ubíqua Roberto Speicys Cardoso Fabio Kon Mestrado
20/04/2005 Um arcabouço para suporte a reconfiguração dinâmica em ambiente Java Ricardo Koji Ushizaki Fabio Kon Mestrado
18/04/2005 Gerenciamento de recursos distribuídos em sistemas escaláveis Jeferson Roberto Marques Fabio Kon Mestrado
12/04/2005 Um etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variável Fábio Natanael Kepler Marcelo Finger Mestrado
01/04/2005 Desenvolvimento de ferramentas igeom: utilizando a geometria dinâmica no ensino presencial e a distância Seiji Isotani Leonidas de Oliveira Brandao Mestrado
21/03/2005 Recuperação de vídeos indexados por conceitos Christian Danniel Paz Trillo Renata Wassermann Mestrado
28/02/2005 Aspectos algébricos e computacionais da teoria de bases de Gröbner não comutativas Alexey Antônio Villas Bôas Eduardo do Nascimento Marcos Mestrado
11/02/2005 Modularização da coleta de lixo na máquina virtual de pesquisa Jikes Rosianni de Oliveira Cruz Alan Mitchell Durham Mestrado
07/01/2005 Desenvolvimento de algorítmos paralelos para aglomerados com a técnica de paralelização de laços Ulisses Kendi Hayashida Siang Wun Song Mestrado
14/12/2004 InteGrade: um sistema de middleware para computação em grade oportunista Andrei Goldchleger Fabio Kon Mestrado
29/11/2004 Implementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupo Jorge Alves Tonami Routo Terada Mestrado
29/10/2004 Composição e performance musical utilizando agentes móveis Leo Kazuhiro Ueda Fabio Kon Mestrado
22/10/2004 Aprendizado de regras de substituição para normatização de textos históricos Alexandre Sussumu Hirohashi Marcelo Finger Mestrado
20/10/2004 Geração de classificadores de sequências genéticas utilizando inferência de linguagens regulares Daniel da Cruz Gouveia Vieira Alan Mitchell Durham Mestrado
15/10/2004 List ranking: um estudo experimental Guilherme Pereira Vanni Siang Wun Song Mestrado
14/10/2004 Lógicas de raciocínio aproximado e o problema sat Fabio Luiz Ide Marcelo Finger Mestrado
22/09/2004 Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens David Corrêa Martins Junior Roberto Marcondes Cesar Junior Mestrado
27/08/2004 Uma proposta de eliminação paralela para o problema da mochila ilimitada Flavio Regis de Arruda Alfredo Goldman Vel Lejbman Mestrado
24/08/2004 Uma ontologia artificial para o controle cambial brasileiro Biblioteca Digital da USP Robson Moron Flavio Soares Correa da Silva Mestrado
23/08/2004 Desenvolvimento de um rastreador de olhar apropriado para interação humano computador Marcio Raul Medeiros Mimica Carlos Hitoshi Morimoto Mestrado
20/08/2004 Serviços de pertinência para clusters de alta disponibilidade Nélio Alves Pereira Filho Arnaldo Mandel Mestrado
19/08/2004 Aproximações para restrições do problema de Steiner em grafos Fabio Henrique Viduani Martinez Jose Augusto Ramos Soares Doutorado
09/08/2004 Flexibilidade em um sistema de arquivos componentizado Livio Baldini Soares Dilma Menezes da Silva Mestrado
09/08/2004 Segmentação automática de tomadas em vídeo Thiago Teixeira Santos Carlos Hitoshi Morimoto Mestrado
02/07/2004 Um sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilégios Fabio Correa Xavier Routo Terada Mestrado
18/06/2004 Propriedades de algumas classes de relações racionais Rodrigo Nonamor Pereira Mariano de Souza Nami Kobayashi Mestrado
08/06/2004 Construção de imagens panorâmicas a partir de vídeo Henrique Pedreira de Freitas Ceribelli Carlos Hitoshi Morimoto Mestrado
04/06/2004 Processamento distribuído de áudio em tempo real Nelson Posse Lago Fabio Kon Mestrado
21/05/2004 Inteligência artificial para jogos de tabuleiro Marcelo Nunes de Carvalho Flavio Soares Correa da Silva Mestrado
10/05/2004 Pertinência de pontos em objetos discretos de dimensão arbitrária Luciano Silva Antonio Elias Fabris Doutorado
14/04/2004 Um estudo sobre teste versus verificação formal de programas java Leandro Cesar Prudente Ana Cristina Vieira de Melo Mestrado
13/04/2004 O impacto de elementos de realidade virtual em usuários de interfaces gráficas tridimensionais Gilberto da Silva Hemerly Antonio Elias Fabris Mestrado
12/04/2004 Um modelo formal para a quinta disciplina Lourival Paulino da Silva Flavio Soares Correa da Silva Doutorado
07/04/2004 Índices para consultas por conteúdo em banco de dados heterogêneos Gustavo Tadao Okida João Eduardo Ferreira Mestrado
02/04/2004 Algoritmos para problemas de corte de guilhotina bidimensional Glauber Ferreira Cintra Yoshiko Wakabayashi Doutorado
30/03/2004 Em busca de procedimentos de inferência eficientes via relevância por sintaxe Joselyto Nawber da Costa Riani Renata Wassermann Mestrado
22/03/2004 Algoritmos de aproximação para partições conexas em grafos Liliane Rose Benning Salgado Yoshiko Wakabayashi Doutorado
27/02/2004 Um método de restrições ativas para minimização em caixas Marina Andretta Ernesto Julian Goldberg Birgin Mestrado
18/02/2004 Análise de classificadores de seqüências projetados por aprendizado computacional supervisionado e não supervisionado Caetano Jimenez Carezzato Junior Barrera Mestrado
03/02/2004 Descoberta de regras de classificação com hierarquias conceituais Marco Eugenio Madeira Di Beneditto Leliane Nunes de Barros Mestrado
14/01/2004 Uma técnica automática para a medida de sinal de imagens de cDNA Daniel Oliveira Dantas Junior Barrera Mestrado
12/01/2004 Uma arquitetura distribuída para busca de caminhos em grafos dinâmicos Marcelo Luís Vinagreiro Alfredo Goldman Vel Lejbman Mestrado
15/12/2003 Simulação de mini-ecossistemas vegetais em tempo real Luis Carlos Yano Endo Antonio Elias Fabris Mestrado
28/11/2003 Sistemas criptográficos baseados em identidades pessoais Waldyr Dias Benits Júnior Routo Terada Mestrado
14/11/2003 Sistemas de localização dinâmica de serviços em ambientes de computação móvel Leonardo Marques Alves de Pinho Alfredo Goldman Vel Lejbman Mestrado
22/08/2003 Consultas sobre "aqui" em sistemas de bancos de dados em ambientes de computação nômade Eugênio Akihiro Nassu Marcelo Finger Doutorado
21/08/2003 Alinhamento de sequências biológicas Rogério Theodoro de Brito Jose Augusto Ramos Soares Mestrado
21/08/2003 Analisador sintático estatístico orientado ao núcleo-léxico para a língua portuguesa Fabiano de Carvalho e Sousa Marcelo Finger Mestrado
15/08/2003 Um serviço para grupos de objetos com consistência relaxada Marcelo Brito dos Santos Markus Endler Mestrado
14/08/2003 Análise de formas representadas por marcos utilizando características mono e multiescala Celina Maki Takemura Roberto Marcondes Cesar Junior Mestrado
11/08/2003 Componentes CORBA Alexandre Ricardo Nardi Francisco Carlos da Rocha Reverbel Mestrado
07/08/2003 Algoritmos primal-duais Ana Lucia Lima Marreiros Maia Jose Coelho de Pina Junior Mestrado
01/08/2003 Topologia de espaços de estados em planejamento com váriaveis numéricas Aldebaran Perseke Leliane Nunes de Barros Mestrado
06/06/2003 Cache comprimido adaptativo: estudo, projeto e implementação Rodrigo Souza de Castro Alair Pereira do Lago Mestrado
09/05/2003 Análise experimental de algoritmos de planaridade Alexandre Noma Cristina Gomes Fernandes Mestrado
30/04/2003 Uma biblioteca para a simulação de protocolos de entrega de mensagens em redes móveis Weslley Emmanuel Martins Lima Alan Mitchell Durham Mestrado
11/04/2003 Implementação e análise comparativa de variações do criptossistema rsa Cesar Alison Monteiro Paixão Routo Terada Mestrado
10/04/2003 Sistemas modais de conhecimento Flavio Shigeo Yamamoto Ricardo Bianconi Mestrado
04/04/2003 Uma técnica de verificação para π-calculus baseada em bi-simulação <i>up-to</i> e algoritmos de particionamento Marcelo de Moura Amorim Ana Cristina Vieira de Melo Mestrado
25/03/2003 Configuração automática de sistemas na plataforma enterprise javabeans Herbert Yutaka Watanabe Fabio Kon Mestrado
20/03/2003 Maximização de entropia em linguística computacional para a língua portuguesa Archias Alves de Almeida Filho Marcelo Finger Mestrado
20/03/2003 Uso de redes bayesianas no gerenciamento de manutenção de software Adilson de Jesus Sanchez Ana Cristina Vieira de Melo Mestrado
18/03/2003 Algoritmos paralelos de granularidade grossa em grafos bipartidos convexos Marco Aurélio Stefanes Jose Augusto Ramos Soares Doutorado
17/03/2003 Estratégias de hand-off com balanceamento de carga para computação móvel Alessandro Santiago dos Santos Alfredo Goldman Vel Lejbman Mestrado
27/02/2003 Banco de dados obsolescentes e uma proposta de implementação Fernando Antonio Mac Craken Cezar Marcelo Finger Mestrado
21/02/2003 Adaptação dinâmica de sistemas distribuídos Francisco José da Silva e Silva Markus Endler Doutorado
06/02/2003 Integração para dados e aplicações em biologia molecular computacional Márcio Katsumi Oikawa João Eduardo Ferreira Mestrado
05/02/2003 Componente de controle transacional para integração assíncrona de bases de dados Marcelo Camacho de Souza João Eduardo Ferreira Mestrado
19/12/2002 Alternativas para propagação das atualizações de um banco de dados operacional para um Data Warehouse Bianka Maria Moura Teixeira Gonçalves João Eduardo Ferreira Mestrado
10/12/2002 Um algoritmo de aproximação paralelo para transversal mínima com aplicação em análise de expressão gênica Danielle Passos de Ruchkys Siang Wun Song Mestrado
06/12/2002 Algoritmos paralelos de granularidade grossa para problemas de alinhamento de cadeias Carlos Eduardo Rodrigues Alves Siang Wun Song Doutorado
31/10/2002 Implementações de tableaux para raciocínio por aproximações Wagner Dias Marcelo Finger Mestrado
30/09/2002 Um estudo de um protocolo de comunicação para dispositivos móveis usando Distributed Join-Calculus Lucy Mari Tabuti Ana Cristina Vieira de Melo Mestrado
09/08/2002 Desenvolvimento e comparação de dois protocolos para multicast atômico em computação móvel Mateus de Freitas Ribeiro Markus Endler Mestrado
23/07/2002 Projeto de operadores morfológicos multi-escala por otimização estatística Biblioteca Digital da USP Marcel Brun Junior Barrera Doutorado Direto
04/07/2002 CCICLO: Componente para cruzamento e integração de objetos classificados Luciano Vieira de Araújo João Eduardo Ferreira Mestrado
01/07/2002 Um modelo de capacidades formais para cooperação mediada entre sistemas baseados em conhecimento Eudenia Xavier Meneses Flavio Soares Correa da Silva Mestrado
27/06/2002 Laboratório de geração de classificadores de sequências Ariane Machado Lima Alan Mitchell Durham Mestrado
28/05/2002 Planejamento abdutivo no cálculo de eventos Silvio do Lago Pereira Leliane Nunes de Barros Mestrado
22/05/2002 Automorfismos de grafos Eduardo Tengan Arnaldo Mandel Mestrado
17/05/2002 Uma implementação do protocolo TLS com um algoritmo de criptografia forte Isvi Correa Junior Routo Terada Mestrado
10/05/2002 Árvores k-restritas e aproximações para o problema de steiner em grafos Eduardo Kazuaki Gondo Cristina Gomes Fernandes Mestrado
10/05/2002 "Classificação dos domínios transacionais e analíticos para avaliação de alternativas de sincronismo em projetos de Data Warehouse". Isabel Cristina Italiano João Eduardo Ferreira Mestrado
07/05/2002 Criptografia - Uma implementação do protocolo de micropagamento PayWord João Carlos Néto Routo Terada Mestrado
10/04/2002 "Arquiteturas de Componentização de Servidores como Integradoras de Bancos de Dados Distribuídos". Myrthes Cavalcante de Aguiar Francisco Carlos da Rocha Reverbel Mestrado
21/03/2002 Algoritmos para caminhos mínimos Shigueo Isotani Jose Coelho de Pina Junior Mestrado
14/03/2002 "Visões em arquitetura de software". Ane Cristina Varoto Hernan Enrique Astudillo Rojas Mestrado
13/03/2002 Uma taxonomia da pesquisa na área de engenharia de requisitos Paulo Sérgio Naddeo Dias Lopes Hernan Enrique Astudillo Rojas Mestrado
28/02/2002 "Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas" Nestor Walter Trepode Junior Barrera Mestrado
23/01/2002 Algoritmos para predição da estrutura secundária do RNA Luiz Carlos da Silva Rozante Jose Augusto Ramos Soares Mestrado
18/12/2001 Uma infra-estrutura para migração de objetos CORBA implementados em java Helves Humberto Domingues Francisco Carlos da Rocha Reverbel Mestrado
17/12/2001 Projeto de operadores morfológicos para imagens e sinais Biblioteca Digital da USP Roberto Hirata Junior Junior Barrera Doutorado
28/11/2001 Três problemas em complementaridade e programação matemática Marcelo Gomes de Queiroz Carlos Humes Junior Doutorado
27/11/2001 Metamodelo para Controle de Estratégias Assíncronas de Replicação de Dados Carlos Henrique Maia Braga João Eduardo Ferreira Mestrado
14/11/2001 Transações web: Um estudo sobre problemas e soluções Lorena Pereira da Ponte Pierre Hernan Enrique Astudillo Rojas Mestrado
31/10/2001 Integração do serviço de diretório LDAP com o serviço de nomes CORBA Gustavo Scalco Isquierdo Francisco Carlos da Rocha Reverbel Mestrado
29/10/2001 Colorações restritas de grafos Gordana Manic Paulo Feofiloff Mestrado
22/10/2001 Composição de fluxo de controle de frameworks java Bruno Martins Moutinho Ana Cristina Vieira de Melo Mestrado
04/09/2001 Sistema para Execução de Testes de Aprendizado Baseado em Funções de Crença Juliano Mourão Vieira Flavio Soares Correa da Silva Mestrado
02/07/2001 Indicadores de qualidade de uma implementação de banco de dados relacional Glauco Galves Bordin Marcelo Finger Mestrado
22/06/2001 RMIRep: Suporte para Replicação de Objetos em Redes de Alta Latência Jorge Chaves Radel Bittencourt Dilma Menezes da Silva Mestrado
25/05/2001 Técnicas de seleção de características com aplicações em reconhecimento de faces Teófilo Emidio de Campos Roberto Marcondes Cesar Junior Mestrado
11/05/2001 Escalonamento de reservas de domínio Maria do Carmo Garcia Noronha Dilma Menezes da Silva Mestrado
11/05/2001 Rastreamento eficiente de faces em um subespaço wavelet Rogerio Schmidt Feris Roberto Marcondes Cesar Junior Mestrado
09/05/2001 Estudo de requisitos para um software educativo de apoio ao ensino da introdução à computação Maria Clara Barros de Oliveira Fischer Flavio Soares Correa da Silva Mestrado
04/05/2001 Uma arquitetura para simulação flexivel de protocolos para computação móvel Ricardo Couto Antunes da Rocha Markus Endler Mestrado
26/04/2001 Comparação de Desempenho Linux X Windows NT José Eugênio de Assis Gonçalves Marco Dimas Gubitoso Mestrado
30/03/2001 Algoritmos paralelos para fecho convexo Emmanuel Kayembe Ilunga Siang Wun Song Mestrado
02/03/2001 Algoritmos e estruturas de dados para manutenção de árvores geradoras mínimas em grafos dinâmicos Biblioteca Digital da USP Aritanan Borges Garcia Gruber Carlos Eduardo Ferreira Mestrado
12/02/2001 "Uma infra-estrutura para o gerenciamento de aplicações CORBA tolerantes a falhas". Marcos Aurelio Mendes de Moura Markus Endler Mestrado
09/02/2001 Um instrumento de avaliação da qualidade para software educacional de matemática Ana Paula Gladcheff Munhoz Dilma Menezes da Silva Mestrado
07/02/2001 Obsolescência de Informação Sirley Ambrosia Vitorio Oliveira Flavio Soares Correa da Silva Mestrado
19/12/2000 Algoritmos Paralelos para o Paradigma de Pertinência Interior/Exterior Marcos Machado Ottani Assis Antonio Elias Fabris Mestrado
08/12/2000 Compartilhamento de Conhecimento entre Sistemas Baseados em Conhecimento: um Estudo de Caso Roberto Cássio de Araujo Flavio Soares Correa da Silva Doutorado
08/12/2000 Problemas Dinâmicos em Geometria Computacional Cassio Polpo de Campos Carlos Eduardo Ferreira Mestrado
01/12/2000 Problemas Cinéticos em Geometria Computacional Eduardo Garcia de Freitas Carlos Eduardo Ferreira Mestrado
06/11/2000 Detecção dinâmica de condições de disputa para programas multithreaded em Java Clovis Seragiotto Junior Dilma Menezes da Silva Mestrado
05/10/2000 Projeto Automático de Operadores - Explorando Conhecimentos a Priori Nina Sumiko Tomita Hirata Junior Barrera Doutorado
04/10/2000 Segmentação de seqüência de imagens por morfologia matemática Franklin César Flores Junior Barrera Mestrado
15/08/2000 "Técnicas de orientação a objetos para projeto de sistemas adaptáveis". Uirá Kulesza Dilma Menezes da Silva Mestrado
29/06/2000 Análise Formal do Aprendizado Supervisionado por Árvores de Decisão Maurício Bellissimo Falleiros Flavio Soares Correa da Silva Mestrado
02/06/2000 Números de Ramsey Induzidos e Semi-induzidos Marcio Grossi de Almeida Yoshiharu Kohayakawa Mestrado
25/04/2000 Particionamento Transparente de Ambientes Virtuais Distribuídos Marcos Alves Markus Endler Mestrado
05/04/2000 "Ferramentas de Auxílio ao Sequenciamento de DNA por montagem de Fragmentos: um estudo comparativo". Said Sadique Adi Carlos Eduardo Ferreira Mestrado
04/04/2000 Algoritmos CGM para Busca Uni e Bidimensional de Padrões com e sem Escala Henrique Mongelli Siang Wun Song Doutorado
28/02/2000 "Geometria Computacional de Pontos em Movimento". Carlos Ramon Pantaleon Dionisio Jose Coelho de Pina Junior Mestrado
10/12/1999 Projeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de Decisão Mabelly de Oliveira Furtado Marcelo Finger Mestrado
26/11/1999 T-junções, T-cortes e funções conservativas Mário Leston Rey Paulo Feofiloff Mestrado
19/11/1999 Coordenação de Agentes Móveis através do Canal de Broadcast Vera Nagamuta Markus Endler Mestrado
21/10/1999 "LINUX-SMART: Melhoria de Desempenho para Aplicações Real-Time Soft em Ambiente LINUX". Jorge Euler Vieira Dilma Menezes da Silva Mestrado
26/09/1997 "Um Protocolo para Rastreamento de Mensagens em Sistemas com Checkpointing Assíncrono". Sergio Ricardo da Conceição Markus Endler Mestrado