Logo da Universidade de São Paulo Universidade de São Paulo
Logo da Universidade de São Paulo
Não autenticado | Entrar

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

Data de defesa Título Aluno Orientador Nível
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 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 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 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 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 Flavio Soares Correa da Silva Mestrado
28/01/2020 Modularidade em Revisão de Crenças de bases DL Ricardo Ferreira Guimarães Flavio Soares Correa da Silva Doutorado Direto
27/01/2020 Revisão de Crenças sem Compacidade Jandson Santos Ribeiro Santos Flavio Soares Correa da Silva 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 Flavio Soares Correa da Silva 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 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 Flavio Soares Correa da Silva 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 Daniel Macedo Batista 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 Vinícius Jorge Vendramini Alfredo Goldman Vel Lejbman Mestrado
14/11/2019 Estratégias de alinhamento para consulta cantarolada Fábio Gorodscy Marco Aurélio Gerosa 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 Rodrigo Müller de Carvalho João Eduardo Ferreira Mestrado
03/10/2019 Uma Análise Compreensiva de Benchmark para Redes Deraining Networks 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 Marcondes Cesar 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 Yoshiko Wakabayashi 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 Daniel Macedo Batista 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 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 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 Marcel Kenji de Carli Silva Mestrado
18/03/2019 InterSCSimulator: Um Simulador de Cidades Inteligentes Escalável e de Código Aberto Eduardo Felipe Zambom Santana Marcel Kenji de Carli Silva 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 Paulo Andre Vechiatto de Miranda 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 Marcelo Finger Mestrado
08/01/2019 Estrutura de dados persistentes Yan Soares Couto Marcelo Finger Mestrado
20/12/2018 Transversais de grafos Juan Gabriel Gutierrez Alva Marcelo Finger 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 Ernesto Julian Goldberg Birgin 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 Profundo, Aprendizado Ativo, Análise de Sentimento, 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 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 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 Leliane Nunes de Barros 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 Paulo Andre Vechiatto de Miranda 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 Paulo Andre Vechiatto de Miranda 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 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 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 Denis Deratani Mauá 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 Denis Deratani Mauá 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 Kelly Rosa Braghetto 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 Gabriela Eleutério Soares André Fujita Doutorado
23/04/2018 Cidades inteligentes, visão computacional, vegetação urbana, Google Street View Artur André Almeida de Macedo Oliveira André Fujita 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 Marcelo Finger Doutorado
16/04/2018 Uma análise comparativa de ambientes para Big Data: Apche Spark e HPAT Rafael Aquino de Carvalho Marcelo Finger Mestrado
23/03/2018 Gerenciamento de Dívida Técnica no Contexto de Desenvolvimento deSoftware Ágil Graziela Simone Tonin Marcelo Finger 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 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 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 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 Gustavo Enrique Salazar Torres Carlos Hitoshi Morimoto Doutorado
05/12/2017 Controle em Interfaces Cérebro-Computador de Baixo Custo para Aplicações Musicais 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 Jaime Simão Sichman Mestrado
27/11/2017 OntoMongo - Um Método de Acesso a Dados da Plataforma Lattes Baseado em Ontologias e Sistemas NoSQL Thiago Henrique Dias Araujo Renata Wassermann Mestrado
27/11/2017 Acesso a Dados Baseado em Ontologias com NoSQL Barbara Tieko Agena Jaime Simão Sichman Mestrado
24/11/2017 Modelo de transporte de luz direcional multipolo para a renderização de materiais translúcidos 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 João Eduardo Ferreira 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 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 Yoshiko Wakabayashi Doutorado Direto
09/06/2017 Tree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changes 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 Felipe Pontes Guimaraes Daniel Macedo Batista Doutorado
24/05/2017 Tecnologias móveis para interação musical Antonio Deusany de Carvalho Junior Daniel Macedo Batista 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 Flavio Soares Correa da Silva 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 Yoshiko Wakabayashi Mestrado
17/03/2017 Alocação dinâmica de recursos em sistemas elásticos baseada em modelos de escalabilidade Paulo Bittencourt Moura Yoshiko Wakabayashi 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 André Fujita 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 Marcel Parolin Jackowski 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 Gustavo Ansaldi Oliva Marco Aurélio Gerosa Doutorado
14/02/2017 Causalidade de Granger entre grafos no domínio da frequência 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 André Fujita Mestrado
10/01/2017 Aprendizado de redes bayesianas para domínios grandes Walter Perez Urcia Denis Deratani Mauá Mestrado
19/12/2016 Problema dos k-centros e variantes Samuel Plaça de Paula Denis Deratani Mauá Mestrado
16/12/2016 Efeitos de áudio baseados em decomposição AM/FM Antonio Jose Homsi Goulart Denis Deratani Mauá Doutorado
16/12/2016 Intervenção em redes de regulação gênica modelada como um processo de decisão markoviano fatorado e impreciso 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 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 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 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 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 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 André Luiz Satoshi Kawamoto Flavio Soares Correa da Silva Doutorado
09/11/2016 Protocolos para jogos de Steiner 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 Jose Augusto Ramos Soares Mestrado
04/11/2016 Rastreador de olho de alto desempenho e baixo custo baseado em iluminação estroboscópica diferencial Frank Helbert Borsato Carlos Hitoshi Morimoto Doutorado
03/11/2016 Uma plataforma de exploração e análise de imagens médicas em nuvem Igor José Topcin Marcel Parolin Jackowski Mestrado
01/11/2016 iMPaCTS: Um modelo de colaboração por pares para aprendizagem 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 Cristiane Maria Sato Mestrado
03/10/2016 Desing de jogos baseado em componentes 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 Rodrigo Campiolo Daniel Macedo Batista Doutorado
26/09/2016 Uma abordagem autonômica para mitigar ciberataques em redes de computadores 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> 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 Marcel Parolin Jackowski 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 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 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 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 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> 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 Laécio Freitas Chaves Alan Mitchell Durham Mestrado
06/05/2016 Revisão de crenças temporais 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 Routo Terada 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 Paulo Andre Vechiatto de Miranda 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 Marcelo Finger 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 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 Paulo Andre Vechiatto de Miranda 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 Jaime Simão Sichman 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 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 Daniel Macedo Batista Mestrado
11/11/2015 ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas Davi Souto Grangeiro Daniel Macedo Batista 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 José Teodoro da Silva Marco Aurélio Gerosa Mestrado
16/09/2015 Clustering de trajetórias Marcio Takashi Iura Oshiro Marco Aurélio Gerosa 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 Carlos Hitoshi Morimoto 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 Junior Barrera 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 Marta Magda Dornelles Yoshiharu Kohayakawa 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 Yoshiharu Kohayakawa 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 Estephan Dazzi Wandekoken Roberto Marcondes Cesar Junior Doutorado
28/05/2015 IntLAG: uma biblioteca para álgebra linear intervalar em processadores gráficos 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 Walter Figueiredo Mascarenhas 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 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 Leliane Nunes de Barros 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 Daniel de Angelis Cordeiro Doutorado
04/05/2015 Quantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinha 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 Suzana de Siqueira Santos André Fujita Mestrado
16/04/2015 Alocação energeticamente eficiente de máquinas virtuais 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 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 Yoshiharu Kohayakawa Mestrado
19/12/2014 Transformações hit-or-miss para imagens tons de cinza 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 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 Walter Figueiredo Mascarenhas 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 Walter Figueiredo Mascarenhas 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 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 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 Leliane Nunes de Barros 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 Leliane Nunes de Barros 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 Yoshiko Wakabayashi 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 Ana Cristina Vieira de Melo 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 Marco Aurélio Gerosa 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 Marco Aurélio Gerosa 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 Yoshiharu Kohayakawa Mestrado
08/05/2014 Pares Ramsey infinitos 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 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 Ernesto Julian Goldberg Birgin 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 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 Paulo Andre Vechiatto de Miranda Doutorado Direto
14/02/2014 Gerenciamento de múltiplas submissões em sistemas paralelos: a abordagem do escalonamento equitativo Vinicius Gama Pinheiro Paulo Andre Vechiatto de Miranda 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 Roberto Marcondes Cesar Junior 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 Carlos Eduardo Ferreira 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 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 Daniel Macedo Batista Mestrado
06/11/2013 Extração e consulta de informações do currículo lattes baseada em ontologias Eduardo Ferreira Galego Daniel Macedo Batista 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 Routo Terada 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 Routo Terada 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 Routo Terada 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 Routo Terada Mestrado
13/09/2013 Dinâmica de redes booleanas limiarizadas utilizando programação em GPU William Lira Ferreira Ronaldo Fumio Hashimoto Mestrado
30/08/2013 Dois resultados em combinatória contemporânea William Lira Ferreira 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 Routo Terada 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 Ernesto Julian Goldberg Birgin Mestrado
21/05/2013 Conversão de voz inter-linguística Anderson Fraiha Machado Ernesto Julian Goldberg Birgin Doutorado
20/05/2013 Monitoramento de métricas de código-fonte em projetos de software livre Paulo Roberto Miranda Meirelles Ernesto Julian Goldberg Birgin Doutorado
09/05/2013 Produtividade de times ágeis: uma avaliação experimental de fatores e processos de monitoramento Claudia de Oliveira Melo Ernesto Julian Goldberg Birgin Doutorado
02/05/2013 AudioLazy: processamento digital de sinais expressivo e em tempo real 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 Daniel Macedo Batista 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 Ígor Bonadio Marco Aurélio Gerosa Mestrado
15/03/2013 Decomposição sequencial a partir da sup-representação de W-operadores Joel Edu Sanchez Castro Marco Aurélio Gerosa Mestrado
15/03/2013 Extração de informações de desempenho em GPUs NVIDIA Paulo Carlos Ferreira dos Santos Marco Aurélio Gerosa 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 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 Marcelo Finger 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 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 Leliane Nunes de Barros 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 Marcondes Cesar 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 Flavio Soares Correa da Silva 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 Francisco Carlos da Rocha Reverbel 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 Ernesto Julian Goldberg Birgin Mestrado
14/09/2012 Rehearsal: um arcabouço para teste automatizado de coreografias de serviços web Felipe Meneses Besson Ernesto Julian Goldberg Birgin 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 Marco Aurélio Gerosa 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 Marcel Parolin Jackowski Doutorado
30/07/2012 Detecção de códigos QR em imagens com enquadramento arbitrário Luiz Felipe Franco Belussi Marcel Parolin Jackowski 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 Marcelo Finger Mestrado
03/07/2012 Algoritmos evolutivos aplicados ao classificador baseado em segmentos de reta Rosario Alejandra Medina Rodríguez Marcelo Finger 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 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 Marco Aurélio Gerosa 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 Carlos Eduardo Ferreira Mestrado
22/03/2012 Aplicação de práticas de usabilidade ágil em software livre Ana Paula Oliveira Bertholdo Carlos Eduardo Ferreira Mestrado
29/02/2012 Grafos evolutivos na modelagem e análise de redes dinâmicas Paulo Henrique Floriano Carlos Eduardo Ferreira 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 Marcelo Finger Doutorado
10/02/2012 MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes André Yoshiaki Kashiwabara Marcelo Finger 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 Marcelo Finger 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 Routo Terada 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 Yoshiko Wakabayashi Mestrado
28/11/2011 Veri ficaçã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 Valdemar Waingort Setzer 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 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 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 Mariana Vivian Bravo Alfredo Goldman Vel Lejbman Mestrado
11/05/2011 Animação de faces tridimensionais baseada em registro estrutural Andréa Britto Mattos Roberto Marcondes Cesar Junior Mestrado
28/04/2011 Localização em dispositivos móveis utilizando sinais de redes Wi-Fi 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 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 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 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 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 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 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 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 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 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 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 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 Renato da Silva Ramalho Routo Terada Mestrado
08/05/2008 Paradigma mestre-escravo em plataformas heterogêneas 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 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> 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 "Funções-valor na alocação de tarefas em sistemas robóticos" Antonio Luiz Basile Flavio Soares Correa da Silva Mestrado
21/12/2006 Coeficientes de determinação, predição intrinsicamente multivariada e genética Carlos Henrique Aguena Higa Ronaldo Fumio Hashimoto 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 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 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 "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
10/05/2002 Árvores k-restritas e aproximações para o problema de steiner em grafos Eduardo Kazuaki Gondo Cristina Gomes Fernandes 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 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 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