24/05/2023 |
Canais de Amplificação: O Papel da Retroalimentação no Viés de Sistemas de Recomendação
|
Caio Truzzi Lente |
Roberto Hirata Junior |
Mestrado |
16/05/2023 |
Interação pelo olhar em computação vestível
|
Carlos Eduardo Leão Elmadjian |
Carlos Hitoshi Morimoto |
Doutorado Direto |
04/05/2023 |
Um Modelo de Classicação de Documentação para Novatos em Projetos de Software Livre
|
Luiz Felipe Fronchetti Dias |
Marco Aurélio Gerosa |
Mestrado |
17/04/2023 |
Métodos de duas fases para segmentar áreas construídas ao redor
de reservatórios
|
Nayereh Hamidishad |
Roberto Marcondes Cesar Junior |
Doutorado Direto |
14/04/2023 |
Análise da distribuição geográfica de doenças causadoras de
óbitos na cidade de São Paulo utilizando aprendizado de máquina.
|
Giovana Martinelli |
Fabio Kon |
Mestrado |
11/04/2023 |
Seleção de Modelos para Campos Aleatórios de Markov
|
Rodrigo Ribeiro Santos de Carvalho |
Florencia Graciela Leonardi |
Mestrado |
03/03/2023 |
Segmentação de imagens baseada em grafos com modelos de forma e restrições de banda local
|
Caio de Moraes Braz |
Paulo Andre Vechiatto de Miranda |
Doutorado |
13/02/2023 |
Compromissos arbitrários entre custo e probabilidade à meta e algoritmo de busca heurística em planejamento probabilístico sob o critério GUBS
|
Gabriel Nunes Crispino |
Karina Valdivia Delgado |
Mestrado |
31/01/2023 |
Uma conjectura de Erdős e Hajnal
|
Rodrigo Aparecido Enju |
Yoshiharu Kohayakawa |
Mestrado |
26/01/2023 |
Mob Programming para escrever código com alta complexidade e trabalho remoto
|
Herez Moise Kattan |
Flavio Soares Correa da Silva |
Doutorado |
22/12/2022 |
Simulação de redes de sensores sem fio para o monitoramento de deslizamentos de terra
|
Karlson Tellicio Bezerra de Lima |
Fabio Kon |
Mestrado |
15/12/2022 |
Uma Análise Espectral do Grafo com Clique Plantada
|
Félix Yowtang Liu |
Yoshiharu Kohayakawa |
Mestrado |
15/12/2022 |
Uma generalização da decomposição por blocos para grafos k-conexos
|
Jared León Malpartida |
Yoshiharu Kohayakawa |
Mestrado |
12/12/2022 |
Uma Introdução à Computação Quântica, Protocolos de Complexidade de Comunicação Quânticos, Não-localidade e Parâmetros Quânticos de Grafos.
|
Lucas Silva Arenstein |
Yoshiharu Kohayakawa |
Mestrado |
02/12/2022 |
Anytime BDI: Uma arquitetura de agentes limitada no tempo
|
Márcio Fernando Stabile Junior |
Jaime Simão Sichman |
Doutorado |
17/11/2022 |
Atacando e defendendo esquemas criptográficos pós-quânticos
|
Thales Areco Bandiera Paiva |
Routo Terada |
Doutorado |
27/10/2022 |
Predição de surtos de dengue e diagnóstico de Sífilis Congênita utilizando Aprendizado de Máquina
|
Robson Pereira Aleixo |
Raphael Yokoingawa de Camargo |
Mestrado |
17/10/2022 |
Teste de Drivers de Dispositivo do kernel Linux
|
Marcelo Schmitt |
Paulo Roberto Miranda Meirelles |
Mestrado |
03/10/2022 |
Uma Nova Abordagem para Segmentação Semântica da Fossa Posterior em Imagens Pediátricas de Ressonância Magnética
|
Larissa de Oliveira Penteado Dias |
Roberto Marcondes Cesar Junior |
Mestrado |
28/09/2022 |
Detecção automática de Padrões em Arquiteturas baseadas em Microsserviços
|
João Francisco Lino Daniel |
Alfredo Goldman Vel Lejbman |
Mestrado |
29/08/2022 |
Processamento flexível de sinais de áudio em tempo real
|
Thilo Koch |
Marcelo Gomes de Queiroz |
Doutorado Direto |
24/08/2022 |
Mitigação de Ataques DDoS na IoT por meio de Aprendizado de Máquina e Virtualização de Funções de Rede
|
Guilherme Werneck de Oliveira |
Daniel Macedo Batista |
Mestrado |
18/08/2022 |
Análise e visualização do processo de regionalização do Sistema Único de Saúde (SUS) no Brasil: Uma perspectiva em sistemas complexos
|
Gabriely Rangel Pereira |
Fabio Kon |
Mestrado |
20/07/2022 |
Sistemas de Recomendação de Música Baseados em Áudio
|
Rodrigo Carvalho Borges |
Marcelo Gomes de Queiroz |
Doutorado |
20/07/2022 |
Aprendizado Automático de Decomposições Eficientes para a Previsão da Estrutura a Termo de Taxas de Juros com Redes Neurais
|
Piero Conti Kauffmann |
Julio Michael Stern |
Mestrado |
13/07/2022 |
Paralelizando o Git Checkout: um Estudo de Caso sobre Paralelismo de E/S em Aplicações Desktop
|
Matheus Tavares Bernardino |
Alfredo Goldman Vel Lejbman |
Mestrado |
22/06/2022 |
Redução de dimensão para agrupamento projetivo
|
Rafael Zuolo Coppini Lima |
Yoshiharu Kohayakawa |
Mestrado |
20/06/2022 |
Aprimoramento do módulo crawler em scanners de vulnerabilidades (open source) de aplicações web
|
Danilo Pereira Escudero |
Routo Terada |
Mestrado |
17/06/2022 |
Gradientes de Política Baseados em Modelo: Um estudo empírico em ambientes lineares quadráticos
|
Ângelo Gregório Lovatto |
Leliane Nunes de Barros |
Mestrado |
31/05/2022 |
Uma teoria fundamentada sobre estruturas organizacionais para profissionais de desenvolvimento e de infraestrutura em organizações produtoras de software
|
Leonardo Alexandre Ferreira Leite |
Paulo Roberto Miranda Meirelles |
Doutorado |
11/05/2022 |
Segmentação semântica em imagens de sensoriamento remoto para modelagem por difusão de áreas verdes em região urbana
|
Florence Alyssa Sakuma Shibata |
Roberto Marcondes Cesar Junior |
Mestrado |
04/04/2022 |
Aprendizado Escalável de Circuitos Probabilísticos
|
Renato Lui Geh |
Denis Deratani Mauá |
Mestrado |
09/03/2022 |
Cobertura com cı́rculos de raio mı́nimo
|
Arthur Gabriel de Santana |
Ernesto Julian Goldberg Birgin |
Mestrado |
24/02/2022 |
Empacotamento e Imersão de Árvores
|
Giovanne Marcelo dos Santos |
Cristina Gomes Fernandes |
Mestrado |
20/12/2021 |
Aplicações de análise harmônica em geometria discreta
|
Fabrício Caluza Machado |
Sinai Robins |
Doutorado |
20/12/2021 |
Leitura de planilhas de xadrez manuscritas usando redes neurais com mecanismos de atenção
|
Sergio Yuji Hayashi |
Nina Sumiko Tomita Hirata |
Mestrado |
14/12/2021 |
Compressão de Modelos em Transferência de Aprendizado de Máquina
|
Paula Kintschev Santana de Moraes |
Leliane Nunes de Barros |
Mestrado |
14/12/2021 |
Estimativa de pose de mão e análise de movimento no contexto de terapia ocupacional.
|
Luciano Walenty Xavier Cejnog |
Roberto Marcondes Cesar Junior |
Doutorado |
25/10/2021 |
Uma abordagem de aprendizagem auto-supervisionada para imagens astronômicas
|
Ana Carolina Rodrigues Cavalcante Martinazzo |
Nina Sumiko Tomita Hirata |
Mestrado |
20/10/2021 |
Estudos em Revisão Múltipla de Crenças Não-Priorizada
|
Fillipe Manoel Xavier Resina |
Renata Wassermann |
Doutorado |
20/10/2021 |
O Unlimited Rulebook: Arquitetando as Mecânicas de Economia de Jogos
|
Wilson Kazuo Mizutani |
Fabio Kon |
Doutorado |
18/10/2021 |
Dois Estudos sobre a Sensibilidade de Redes Neurais Convolucionais à Resolução
|
Antonio Augusto Abello |
Roberto Hirata Junior |
Mestrado |
22/09/2021 |
Generalização de domínio, Invariância, e a Floresta Temporalmente Robusta
|
Luis Gustavo Moneda dos Santos |
Denis Deratani Mauá |
Mestrado |
31/08/2021 |
Planejamento em Grafos de Computação Estocástica: Resolvendo Problemas Estocásticos Não-Lineares com Retropropagação de Erros
|
Thiago Pereira Bueno |
Leliane Nunes de Barros |
Doutorado Direto |
16/08/2021 |
Percepção sobre Software Bots em Pull Requests em Ambientes Sociais de Codificação
|
Mairieli Santos Wessel |
Marco Aurélio Gerosa |
Doutorado Direto |
28/07/2021 |
Modelos de Similaridade Musical aplicados à Identificação e Classificação de Covers
|
Roberto Piassi Passos Bodo |
Marcelo Gomes de Queiroz |
Doutorado |
28/07/2021 |
Paralelizando um Compilador: Um estudo com o GCC
|
Giuliano Augusto Faulin Belinassi |
Alfredo Goldman Vel Lejbman |
Mestrado |
19/07/2021 |
Dualidades Combinatórias e Geométricas em Problemas de Otimização de Homomorfismos de Grafos
|
Nathan Benedetto Proença |
Marcel Kenji de Carli Silva |
Mestrado |
13/07/2021 |
Operações de Pseudocontração para Lógicas de Descrição
|
Vinícius Bitencourt Matos |
Renata Wassermann |
Mestrado |
09/07/2021 |
Em Direção a Métodos Transparentes e Parcimoniosos para Ajuste Automatizado de Desempenho
|
Pedro Henrique Rocha Bruel |
Alfredo Goldman Vel Lejbman |
Doutorado Direto |
08/07/2021 |
Árvore Geradora de Comunicação Ótima
|
Jainor Nestor Cardenas Choque |
Yoshiko Wakabayashi |
Mestrado |
15/06/2021 |
Descrição Semântica Automática de Bancos Relacionais para Integração de Dados
|
Alexandre César Pinto Pessoa |
Renata Wassermann |
Mestrado |
07/06/2021 |
Métodos Estatístico-Computacionais Baseados na Densidade Espectral de Grafos e Suas Aplicações
|
Grover Enrique Castro Guzmán |
André Fujita |
Doutorado |
04/06/2021 |
Semântica Módulo Satisfatibilidade com Aplicações: Representação de Funções, Probabilidades e Teoria dos Jogos
|
Sandro Márcio da Silva Preto |
Marcelo Finger |
Doutorado |
04/06/2021 |
Classificação dos estados cognitivos orientados pelo sujeito baseada na variabilidade da frequência cardíaca
|
Carlos Enrique Paucar Farfán |
André Fujita |
Mestrado |
02/06/2021 |
Compiladores para as Linguagens da Abordagem WED-flow
|
Eduardo Dias Filho |
João Eduardo Ferreira |
Mestrado |
21/05/2021 |
O Que Acontece Quando o Bazar Cresce: Um estudo abrangente sobre o atual modelo de desenvolvimento do Kernel Linux
|
Melissa Shihfan Ribeiro Wen |
Paulo Roberto Miranda Meirelles |
Mestrado |
21/05/2021 |
Um Benchmark para Algoritmos de Inferência de Maximum-A-Posteriori em Redes de Soma-Produto discretas
|
Heitor Reis Ribeiro |
Denis Deratani Mauá |
Mestrado |
18/05/2021 |
Aprendendo Projeções Multidimensionais com Redes Neurais
|
Mateus Espadoto |
Nina Sumiko Tomita Hirata |
Doutorado |
14/05/2021 |
Classificação automática de documentos de características econômicas para defesa jurídica
|
Bruno Leme |
Marcelo Finger |
Mestrado |
10/05/2021 |
Interação por Perseguição dos Olhos: Algoritmos e Aplicações
|
Alex Torquato Souza Carneiro |
Carlos Hitoshi Morimoto |
Doutorado |
04/05/2021 |
Algoritmos baseados em atenção neural para a automação da classicação multirrótulo de acórdãos jurídicos
|
Felipe Ribas Serras |
Marcelo Finger |
Mestrado |
03/05/2021 |
Métodos híbridos via energias quadráticas em grafos direcionados para segmentação de imagens
|
Caio Lopes Demario |
Paulo Andre Vechiatto de Miranda |
Mestrado |
03/05/2021 |
Teoria e Computação de Ângulos Sólidos
|
Gervásio Protásio dos Santos Neto |
Sinai Robins |
Mestrado |
05/04/2021 |
Comparando métodos de representação vectorial de documentos para identificação de autoria
|
Pamela Rosy Revuelta Quintanilla |
Flavio Soares Correa da Silva |
Mestrado |
19/03/2021 |
Técnicas de clusterização e estratificação de indivíduos para estudo de redes funcionais cerebrais.
|
Taiane Coelho Ramos |
André Fujita |
Doutorado |
22/02/2021 |
Processamento de eventos complexos nativo de nuvem para cidades inteligentes
|
Fernando Freire Scattone |
Kelly Rosa Braghetto |
Mestrado |
16/02/2021 |
Visualização de Fluxos de Mobilidade Urbana com Bundling
|
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 |
Marcelo Gomes de Queiroz |
Mestrado |
28/01/2020 |
Modularidade em Revisão de Crenças de bases DL
|
Ricardo Ferreira Guimarães |
Renata Wassermann |
Doutorado Direto |
27/01/2020 |
Revisão de Crenças sem Compacidade
|
Jandson Santos Ribeiro Santos |
Renata Wassermann |
Doutorado |
19/12/2019 |
Integração Semântica das Bases de Dados do Sistema Único de Saúde: Um Estudo de Caso com o Município de São Paulo
|
Debora Lina Nascimento Ciriaco Pereira |
Renata Wassermann |
Mestrado |
18/12/2019 |
Uma análise refinada de erros e da qualidade das imagens na classificação de plâncton com redes neurais convolucionais
|
Mariane Valerio Gonzales |
Roberto Hirata Junior |
Mestrado |
17/12/2019 |
Personalização da Experiência em Museus: Aplicação Real de um Sistema de Recomendação
|
Felipe Ferreira Laskoski |
Alfredo Goldman Vel Lejbman |
Mestrado |
11/12/2019 |
Classificação morfológica de neurônios baseada na hierarquia das árvores dendríticas
|
Evelyn Pérez Cervantes |
Roberto Marcondes Cesar Junior |
Doutorado |
09/12/2019 |
Estudo sobre Redes Definidas por Software Aplicado em Jogos Digitais
|
Lucas Dário |
Daniel Macedo Batista |
Mestrado |
09/12/2019 |
Integração de Processamento Distribuído em uma Plataforma de Cidades Inteligentes
|
Dylan Jefferson Mauricio Guimaraes Guedes |
Fabio Kon |
Mestrado |
03/12/2019 |
Engajamento em Projetos de Software Livre via Programas de Codificação no Verão
|
Jefferson de Oliveira Silva |
Marco Aurélio Gerosa |
Doutorado |
25/11/2019 |
Transpiladores que geram código manutenível como uma abordagem livre de dependências para desenvolvimento de aplicativos multi-plataforma: um estudo de caso com Swift
|
Vinícius Jorge Vendramini |
Alfredo Goldman Vel Lejbman |
Mestrado |
14/11/2019 |
Estratégias de alinhamento para consulta cantarolada
|
Fábio Gorodscy |
Marcelo Gomes de Queiroz |
Mestrado |
06/11/2019 |
GAVEL: Um Mecanismo de Regulação Baseado em Sanções para Sistemas Multiagentes Normativos
|
Igor Conrado Alves de Lima |
Jaime Simão Sichman |
Mestrado |
06/11/2019 |
Monitoramento do ambiente de execução de processos WED-Flow
|
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 Hirata Junior |
Doutorado |
02/09/2019 |
Cobertura de grafos por caminhos não-triviais
|
Renzo Gonzalo Gómez Diaz |
Yoshiko Wakabayashi |
Doutorado |
22/08/2019 |
Adicionando Suporte Nativo a Paralelismo de Tarefas a um Sistema RISC-V Multi-core com Suporte a Linux
|
Lucas Henrique Morais |
Alfredo Goldman Vel Lejbman |
Mestrado |
21/08/2019 |
Alocação de Recursos em uma Arquitetura Óptica Cloud-Fog RAN para o Suporte da Internet 5G
|
Rodrigo Izidoro Tinini |
Daniel Macedo Batista |
Doutorado |
12/08/2019 |
Avaliação de Escalabilidade e Desempenho da Camada de Transporte de Mensagens em Plataformas Multiagente
|
Henrique Donâncio Nunes Rodrigues |
Anarosa Alves Franco Brandão |
Mestrado |
02/08/2019 |
Algoritmos Assíncronos de Iteração de Política para Processos de Decisão Markovianos com Probabilidades Intervalares
|
Willy Arthur Silva Reis |
Karina Valdivia Delgado |
Mestrado |
11/07/2019 |
Visão Computacional aplicada a imagens urbanas em nível de chão sem restrições
|
Éric Keiji Tokuda |
Roberto Marcondes Cesar Junior |
Doutorado |
11/07/2019 |
Caminhos mínimos com fonte única
|
Mateus Barros Rodrigues |
Carlos Eduardo Ferreira |
Mestrado |
17/06/2019 |
Um modelo para a estimação da dívida técnica baseado em produtividade
|
Jandisson Soares de Jesus |
Ana Cristina Vieira de Melo |
Doutorado |
20/05/2019 |
Detecção de rasuras em símbolos com aprendizado Bayesiano de programas (BPL)
|
Raphael Davis de Oliveira Costa |
Marcel Parolin Jackowski |
Mestrado |
13/05/2019 |
Algoritmos e limitantes para o número de independência em grafos de distância
|
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 |
Alan Mitchell Durham |
Mestrado |
18/03/2019 |
InterSCSimulator: Um Simulador de Cidades Inteligentes Escalável e de Código Aberto
|
Eduardo Felipe Zambom Santana |
Fabio Kon |
Doutorado |
15/03/2019 |
Abordagem eficiente baseada em grafo hierárquico em camadas para a segmentação de múltiplas regiões
|
Leissi Margarita Castaneda Leon |
Paulo Andre Vechiatto de Miranda |
Doutorado |
07/03/2019 |
Experimentação baseada em Simulação em Sistemas para Cidades Inteligentes
|
Lucas Kanashiro Duarte |
Fabio Kon |
Mestrado |
07/02/2019 |
Análise Semântica Neural Profunda: Traduzindo de Linguagem Natural para SPARQL
|
Fabiano Ferreira Luz |
Marcelo Finger |
Doutorado |
05/02/2019 |
Uma visão sobre a próxima geração de abstrações de processos em sistemas operacionais
|
Rodrigo Siqueira Jordão |
Fabio Kon |
Mestrado |
08/01/2019 |
Estrutura de dados persistentes
|
Yan Soares Couto |
Cristina Gomes Fernandes |
Mestrado |
20/12/2018 |
Transversais de grafos
|
Juan Gabriel Gutierrez Alva |
Cristina Gomes Fernandes |
Doutorado |
14/12/2018 |
Algoritmos exatos para problemas de spanner em grafos
|
Hugo Vinicius Vaz Braga |
Yoshiko Wakabayashi |
Doutorado |
13/12/2018 |
Uma Nova Técnica de Calibração para Segmentação Semântica Baseada em Grafos
|
Mateus Riva |
Roberto Marcondes Cesar Junior |
Mestrado |
12/12/2018 |
Migração de redes tradicionais para SDN
|
Renan Rodrigo Barbosa |
Daniel Macedo Batista |
Mestrado |
06/12/2018 |
Engajamento por meio de elementos de jogos em comunidades online de colaboração aberta
|
Ana Paula Oliveira Bertholdo |
Marco Aurélio Gerosa |
Doutorado |
05/12/2018 |
Método Beam Search Aplicado a Problemas de Programação da Produção
|
José Eurípedes Ferreira de Jesus Filho |
Ernesto Julian Goldberg Birgin |
Doutorado |
29/11/2018 |
Um Estudo Comparativo de Métodos de Segmentação de Documentos Antigos
|
Nury Yuleny Arosquipa Yanque |
Roberto Hirata Junior |
Mestrado |
28/11/2018 |
Identificação de Causalidade em Genética e Neurociência
|
Adèle Helena Ribeiro |
André Fujita |
Doutorado |
14/11/2018 |
Densidade Local em Grafos
|
Luis Eduardo Zambrano Fernandez |
Yoshiharu Kohayakawa |
Doutorado |
14/11/2018 |
Aprendizado ativo profundo usando Monte Carlo Dropout
|
Lucas Albuquerque Medeiros de Moura |
Marcelo Finger |
Mestrado |
06/11/2018 |
Algoritmos Eficientes para o Problema do Orçamento Mínimo em Processos de Decisão Markovianos Sensíveis ao Risco
|
Daniel Augusto de Melo Moreira |
Karina Valdivia Delgado |
Mestrado |
23/10/2018 |
WED-SQL: uma linguagem declarativa intermediáriacom apoio transacional para a modelagem e implementação de Sistemas de Informação Cientes de Processos.
|
Bruno Padilha |
João Eduardo Ferreira |
Mestrado |
22/10/2018 |
Planejamento baseado em Verificação Simbólica de Modelos
|
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 |
Roberto Hirata Junior |
Mestrado |
24/08/2018 |
Identificação de sistema dinâmico em dados de estoque imobiliário
|
Luiz Paulo Medina de Lima |
Junior Barrera |
Mestrado |
23/08/2018 |
Análise de desempenho do nsQUIC: um Módulo para Simulação do Protocolo QUIC
|
Diego de Araujo Martinez Camarinha |
Daniel Macedo Batista |
Mestrado |
10/08/2018 |
Segmentação de Objetos via Transformada Imagem-Floresta Orientada com Restrições de Conexidade
|
Lucy Alsina Choque Mansilla |
Paulo Andre Vechiatto de Miranda |
Doutorado |
10/08/2018 |
Seleção de Modelos para o Aprendizado de Hipóteses Booleanas
|
Joel Edu Sanchez Castro |
Ronaldo Fumio Hashimoto |
Doutorado |
06/08/2018 |
Algoritmos eficientes para análisede campos aleatórios condicionais semi-markovianose sua aplicação em sequências genômicas
|
Ígor Bonadio |
Alan Mitchell Durham |
Doutorado |
30/07/2018 |
Regressão Logística Multinomial: Um modelo à partir do comportamento longitudinal do usuário em rede social para a predição de traços depressivos
|
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 |
Alfredo Goldman Vel Lejbman |
Doutorado |
22/06/2018 |
Ranqueamento de Avisos de Análise Estática de Código Fonte para Monitoramento de Repositórios de Software Livre
|
Athos Coimbra Ribeiro |
Fabio Kon |
Mestrado |
20/06/2018 |
Modelos computacionais prognósticos de lesões traumáticas do plexo braquial em adultos
|
Luciana de Melo e Abud |
Kelly Rosa Braghetto |
Mestrado |
18/06/2018 |
Uma Plataforma Escalável de Código Aberto Baseada em Microsserviços para Cidades Inteligentes
|
Arthur de Moura Del Esposte |
Fabio Kon |
Mestrado |
08/06/2018 |
Grafos e hipergrafos com cintura e número cromático grandes
|
Giulia Satiko Maesaka |
Yoshiharu Kohayakawa |
Mestrado |
25/04/2018 |
Testes estatísticos semi paramétricos para discriminação de grafos
|
Gabriela Eleutério Soares |
André Fujita |
Doutorado |
23/04/2018 |
INvestigate and Analyse a City - INACITY
|
Artur André Almeida de Macedo Oliveira |
Roberto Hirata Junior |
Mestrado |
20/04/2018 |
Independência parcial no problema da satisfazibilidade probabilística
|
Eduardo Menezes de Morais |
Marcelo Finger |
Doutorado |
17/04/2018 |
Avaliação de Localização de Defeitos Baseada em Espectro para Uso Prático
|
Higor Amario de Souza |
Fabio Kon |
Doutorado |
16/04/2018 |
Uma análise comparativa de ambientes para Big Data: Apche Spark e HPAT
|
Rafael Aquino de Carvalho |
Alfredo Goldman Vel Lejbman |
Mestrado |
23/03/2018 |
Gerenciamento de Dívida Técnica no Contexto de Desenvolvimento deSoftware Ágil
|
Graziela Simone Tonin |
Alfredo Goldman Vel Lejbman |
Doutorado |
19/02/2018 |
Comparação de algoritmos para o Problema dos K Menores Caminhos
|
Diogo Haruki Kykuta |
Carlos Eduardo Ferreira |
Mestrado |
15/02/2018 |
Teoria de Ehrhart para fatores reais de dilatação
|
Tiago Royer |
Sinai Robins |
Mestrado |
30/01/2018 |
EyeSwipe: Entrada de Texto Usando Gestos do Olhar
|
Andrew Toshiaki Nakayama Kurauchi |
Carlos Hitoshi Morimoto |
Doutorado Direto |
19/01/2018 |
Anomalias na camada de apresentação de aplicativos android
|
Suelen Goularte Carvalho |
Marco Aurélio Gerosa |
Mestrado |
18/12/2017 |
Modelagem de WED-flow Temporal
|
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 |
Alair Pereira do Lago |
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 |
Renata Wassermann |
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 |
Renata Wassermann |
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 |
Ronaldo Fumio Hashimoto |
Mestrado |
24/10/2017 |
TSS e TSB: Novos descritores de forma baseados em Tensor Scale
|
Anderson Meirelles Freitas |
Paulo Andre Vechiatto de Miranda |
Mestrado |
18/10/2017 |
O problema de corte não-guilhotinado multiperíodo com sobras aproveitáveis
|
Oberlan Christo Romão |
Ernesto Julian Goldberg Birgin |
Doutorado |
13/09/2017 |
A formal model for strategic planning in cooperative and competitive environments Case study: design and implementation of a basketball simulator
|
Guilherme Fernandes Otranto |
Junior Barrera |
Doutorado Direto |
06/09/2017 |
Multi-label classification based on sum-product networks
|
Julissa Giuliana Villanueva Llerena |
Denis Deratani Mauá |
Mestrado |
28/08/2017 |
Programação de tarefas em um ambiente flow shop com m máquinas para a minimização do desvio absoluto total de uma data de entrega comum
|
Julio Cesar Delgado Vasquez |
Ernesto Julian Goldberg Birgin |
Mestrado |
23/08/2017 |
Estudo de algoritmos de Otimização Estocástica aplicados em Aprendizado de Máquina
|
Jessica Katherine de Sousa Fernandes |
Ernesto Julian Goldberg Birgin |
Mestrado |
16/08/2017 |
Uso de Jogos Digitais no Desenvolvimento de Competências Curriculares da Matemática
|
Adalberto Bosco Castro Pereira |
Flavio Soares Correa da Silva |
Doutorado |
09/08/2017 |
Complexidade em programação não linear
|
John Lenon Cardoso Gardenghi |
Ernesto Julian Goldberg Birgin |
Doutorado |
03/08/2017 |
Revisão de Crenças no fragmento universal da CTL usando Verificação de Modelos Limitada
|
Bruno Vercelino da Hora |
Marcelo Finger |
Mestrado |
29/06/2017 |
IFT-SLIC: Geração de Superpixels com Base em Agrupamento Iterativo Linear Simples e Transformada Imagem-Floresta
|
Eduardo Barreto Alexandre |
Paulo Andre Vechiatto de Miranda |
Mestrado |
13/06/2017 |
O problema do conjunto dominante conexo de k-saltos: algoritmos de aproximação e resultados de inaproximabilidade
|
Rafael Santos Coelho |
Yoshiko Wakabayashi |
Doutorado |
12/06/2017 |
Projeto de W-operadores usando modelos lineares para imagens binárias e em níveis de cinza
|
Igor dos Santos Montagner |
Roberto Hirata Junior |
Doutorado Direto |
09/06/2017 |
Tree Bark framework: competences and mindset rearrangementsfor Digital and Technology Literacy in times of exponential rate of changes
|
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 |
Marcelo Gomes de Queiroz |
Doutorado |
22/05/2017 |
Um método para paralelização automática de workflows intensivos em dados
|
Elaine Naomi Watanabe |
Kelly Rosa Braghetto |
Mestrado |
16/05/2017 |
Avaliação de diversão a partir de análise de imagens faciais
|
Luiz Carlos Vieira |
Flavio Soares Correa da Silva |
Doutorado |
02/05/2017 |
A Evolução dos Ecossistemas de Startups de Software: Um Modelo de Maturidade
|
Daniel Cukier |
Fabio Kon |
Doutorado |
25/04/2017 |
Paralelização de inferência em redes credais utilizando computação distribuída para fatoração de matrizes esparsas
|
Ramon Fortes Pereira |
Julio Michael Stern |
Mestrado |
17/04/2017 |
Análise preditiva de desempenho de <i>workflows</i> usando teoria do campo médio
|
Waldir Edison Farfán Caro |
Kelly Rosa Braghetto |
Mestrado |
30/03/2017 |
Colorações de grafos e subdivisões de digrafos
|
Phablo Fernando Soares Moura |
Yoshiko Wakabayashi |
Doutorado |
27/03/2017 |
Classificação de imagens de plâncton usando múltiplas segmentações
|
Mariela Atausinchi Fernandez |
Nina Sumiko Tomita Hirata |
Mestrado |
17/03/2017 |
Alocação dinâmica de recursos em sistemas elásticos baseada em modelos de escalabilidade
|
Paulo Bittencourt Moura |
Fabio Kon |
Doutorado |
15/03/2017 |
Identificação de alterações em conectividades funcionais córtico-cerebelares no transtorno do espectro autista
|
Taiane Coelho Ramos |
André Fujita |
Mestrado |
15/03/2017 |
Processamento de imagens de holografia digital para o estudo de organismos planctônicos
|
Jefferson Serafim Ascaneo |
Roberto Hirata Junior |
Mestrado |
13/03/2017 |
Um método de tractografia global usando imagens de ressonância magnética ponderadas por difusão
|
Rafael Reggiani Manzo |
Marcel Parolin Jackowski |
Mestrado |
06/03/2017 |
Engenharia de requisitos em startups de software: uma investigação qualitativa
|
Jorge Augusto Melegati Gonçalves |
Alfredo Goldman Vel Lejbman |
Mestrado |
06/03/2017 |
Planejamento probabilístico com becos sem saída
|
Thiago Dias Simão |
Leliane Nunes de Barros |
Mestrado |
21/02/2017 |
Limitantes de programação semidefinida para o número de contato
|
Fabrício Caluza Machado |
Fernando Mario de Oliveira Filho |
Mestrado |
16/02/2017 |
Sobre a conexão entre dependências estruturais e mudanças no software
|
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 |
Fabio Kon |
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 |
Cristina Gomes Fernandes |
Mestrado |
16/12/2016 |
Efeitos de áudio baseados em decomposição AM/FM
|
Antonio Jose Homsi Goulart |
Marcelo Gomes de Queiroz |
Doutorado |
16/12/2016 |
Intervenção em redes de regulação gênica modelada como um processo de decisão markoviano fatorado e impreciso
|
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 |
Alfredo Goldman Vel Lejbman |
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 |
Renata Wassermann |
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 |
Fabio Kon |
Doutorado |
26/08/2016 |
Circuitos hamiltonianos em hipergrafos e densidades de subpermutações
|
Antonio Josefran de Oliveira Bastos |
Guilherme Oliveira Mota |
Doutorado |
26/08/2016 |
Gerenciando dívida técnica: estado atual e novas propostas em métodos de medida
|
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'á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 |
Nina Sumiko Tomita Hirata |
Doutorado Direto |
29/04/2016 |
Uso de propriedades visuais-interativas na avaliação da qualidade de dados
|
João Marcelo Borovina Josko |
João Eduardo Ferreira |
Doutorado |
26/04/2016 |
Informações de suporte ao escalonamento de workflows científicos para a execução em plataformas de computação em nuvem
|
Eduardo Cotrin Teixeira |
Kelly Rosa Braghetto |
Doutorado |
18/03/2016 |
Predição de mudanças conjuntas de artefatos de software com base em informações contextuais
|
Igor Scaliante Wiese |
Marco Aurélio Gerosa |
Doutorado |
17/03/2016 |
OntoBacen: uma ontologia para gestão de riscos do sistema financeiro brasileiro
|
Filipe Ricardo Polizel |
Jaime Simão Sichman |
Mestrado |
24/02/2016 |
Decomposição de grafos em caminhos
|
Fábio Happ Botler |
Yoshiko Wakabayashi |
Doutorado |
24/02/2016 |
Segmentação de imagens pela transformada imagem-floresta com faixa de restrição geodésica
|
Caio de Moraes Braz |
Paulo Andre Vechiatto de Miranda |
Mestrado |
23/02/2016 |
Pseudo-contrações em revisão de crenças
|
Yuri David Santos |
Renata Wassermann |
Mestrado |
18/02/2016 |
Problema da árvore geradora de comunicação ótima: variantes, complexidade e aproximação
|
Santiago Valdes Ravelo |
Carlos Eduardo Ferreira |
Doutorado |
22/01/2016 |
Medindo inconsistência em bases de conhecimento probabilístico
|
Glauber De Bona |
Marcelo Finger |
Doutorado |
11/12/2015 |
Detecção de fraudes em cartões: um classificador baseado em regras de associação e regressão logística
|
Paulo Henrique Maestrello Assad Oliveira |
Alair Pereira do Lago |
Mestrado |
11/12/2015 |
Problemas computacionais em teoria topológica dos grafos
|
Rafael Veiga Pocai |
Carlos Eduardo Ferreira |
Mestrado |
09/12/2015 |
iPlan - Uma linha de produtos de software baseada em padrões pedagógicos para gerar planos de aula em ambientes de aprendizagem via web
|
Reginaldo do Prado |
Leonidas de Oliveira Brandao |
Doutorado |
08/12/2015 |
Conexidade fuzzy relativa em grafos dirigidos e sua aplicação em um método híbrido para segmentação interativa de imagens
|
Hans Harley Ccacyahuillca Bejar |
Paulo Andre Vechiatto de Miranda |
Mestrado |
08/12/2015 |
Técnicas determinísticas para acompanhamento musical automatizado
|
Roberto Piassi Passos Bodo |
Marcelo Gomes de Queiroz |
Mestrado |
27/11/2015 |
Melhorando o desempenho de agentes BDI Jason através de filtros de percepção
|
Márcio Fernando Stabile Junior |
Jaime Simão Sichman |
Mestrado |
26/11/2015 |
O ecossistema de startups de software da cidade de São Paulo
|
Monna Cleide Fonsêca Rodrigues dos Santos |
Fabio Kon |
Mestrado |
23/11/2015 |
Mecanismos para a melhoria do desempenho de sistemas RFID passivos
|
Rafael Perazzo Barbosa Mota |
Daniel Macedo Batista |
Doutorado |
17/11/2015 |
Arcabouço probabilístico para análise de sequências de RNA
|
Rafael Mathias Ferreira |
Alan Mitchell Durham |
Mestrado |
13/11/2015 |
iCOMB: estudo e reprojeto participativo para redefinição de um sistema para ensino-aprendizagem de combinatória
|
Márcia Roberta dos Santos Pires da Silva |
Leonidas de Oliveira Brandao |
Mestrado |
11/11/2015 |
ExpressMath Online: um sistema web para o tratamento de dados de expressões matemáticas manuscritas
|
Davi Souto Grangeiro |
Nina Sumiko Tomita Hirata |
Mestrado |
06/11/2015 |
Empacotamento de elipsoides
|
Rafael Durbano Lobato |
Ernesto Julian Goldberg Birgin |
Doutorado |
29/10/2015 |
Geração de propriedades sobre programas Java a partir de objetivos de teste
|
Simone Hanazumi |
Ana Cristina Vieira de Melo |
Doutorado |
20/10/2015 |
Uma abordagem baseada em grafos para rastreamento de múltiplos objetos em vídeos estruturados com um aplicação para o reconhecimento de ações
|
Henrique Morimitsu |
Roberto Marcondes Cesar Junior |
Doutorado |
14/10/2015 |
Desambiguação de autoria em listas de discussão de projetos de software livre
|
José Teodoro da Silva |
Marco Aurélio Gerosa |
Mestrado |
16/09/2015 |
Clustering de trajetórias
|
Marcio Takashi Iura Oshiro |
Cristina Gomes Fernandes |
Doutorado |
03/09/2015 |
Contribuições para interação pelo olhar com teclados virtuais
|
Antonio Díaz Tula |
Carlos Hitoshi Morimoto |
Doutorado Direto |
24/08/2015 |
Computação incremental e eficiente de sequências de árvores de componentes
|
Alexandre Morimitsu |
Ronaldo Fumio Hashimoto |
Mestrado |
14/08/2015 |
Um método para modificar vias de sinalização molecular por meio de análise de banco de dados de interatomas
|
Lulu Wu |
Junior Barrera |
Mestrado |
06/08/2015 |
Últimos <i>Levelings</i>: Conceitos, propriedades, algoritmos e aplicações em processamento e análise de imagens
|
Wonder Alexandre Luz Alves |
Ronaldo Fumio Hashimoto |
Doutorado |
06/08/2015 |
Piloto baseado em aprendizagem por reforço para o simulador de corridas TORCS
|
Vinícius Kiwi Daros |
Flavio Soares Correa da Silva |
Mestrado |
05/08/2015 |
Álgebras de flags e torneios
|
Leonardo Nagami Coregliano |
Yoshiharu Kohayakawa |
Mestrado |
23/07/2015 |
Construção e seleção de janelas na combinação de W-operadores
|
Marta Magda Dornelles |
Nina Sumiko Tomita Hirata |
Doutorado |
08/07/2015 |
Um middleware para coreografias de serviços web escaláveis em ambientes de computação em nuvem
|
Thiago Furtado de Mendonça |
Fabio Kon |
Mestrado |
23/06/2015 |
Superfície mágica: criando superfícies interativas por meio de câmeras RGBD e projetores
|
Alexandre Martins Ferreira de Sousa |
Carlos Hitoshi Morimoto |
Mestrado |
15/06/2015 |
Ordenação evolutiva de anúncios em publicidade computacional
|
Marcos Eduardo Bolelli Broinizi |
João Eduardo Ferreira |
Doutorado |
08/06/2015 |
Um método escalável de reconhecimento de objetos com uso de informações estruturais de grafos-chave
|
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 |
Leonidas de Oliveira Brandao |
Mestrado |
18/05/2015 |
Programação dinâmica simbólica aproximada e assíncrona para processos de decisão markovianos com variáveis contínuas
|
Luis Gustavo Rocha Vianna |
Leliane Nunes de Barros |
Mestrado |
12/05/2015 |
Construção e uso de ambiente visual para o ensino de programação introdutória
|
Romenig da Silva Ribeiro |
Leonidas de Oliveira Brandao |
Mestrado |
08/05/2015 |
Escalonamento de tarefas em processadores de velocidade variável em múltiplas organizações
|
Pedro Luis Furio Raphael |
Daniel de Angelis Cordeiro |
Mestrado |
04/05/2015 |
Modelos de aprendizado supervisionado usando métodos kernel, conjuntos fuzzy e medidas de probabilidade
|
Jorge Luis Guevara Díaz |
Roberto Hirata Junior |
Doutorado |
04/05/2015 |
Quantificação de angiogênese em imagens de membranas corioalantóicas de embrião de galinha
|
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 |
Cristina Gomes Fernandes |
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 |
Renata Wassermann |
Doutorado |
01/12/2014 |
Atualização dinâmica de modelo de regressão logística binária para detecção de fraudes em transações eletrônicas com cartão de crédito
|
Fidel Beraldi |
Alair Pereira do Lago |
Mestrado |
01/12/2014 |
Evoluindo o suporte à tolerância a falhas na macroprogramação de redes de sensores sem fio
|
Guilherme de Maio Nogueira |
Marco Aurélio Gerosa |
Mestrado |
28/11/2014 |
Programação dinâmica em tempo real para processos de decisão markovianos com probabilidades imprecisas
|
Daniel Baptista Dias |
Karina Valdivia Delgado |
Mestrado |
25/11/2014 |
Análise da estrutura de clusterização das redes de conectividade funcional do cérebro para investigar as bases das desordens do espectro autista
|
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 |
Marco Dimas Gubitoso |
Mestrado |
08/10/2014 |
Redução no esforço de interação em segmentação de imagens digitais através de aprendizagem computacional
|
Bruno Klava |
Nina Sumiko Tomita Hirata |
Doutorado |
09/09/2014 |
Espelho virtual interativo para simulação de maquiagem
|
Filipe Morgado Simões de Campos |
Carlos Hitoshi Morimoto |
Mestrado |
28/08/2014 |
Empacotamento de árvores em grafos completos
|
Renzo Gonzalo Gómez Diaz |
Yoshiko Wakabayashi |
Mestrado |
25/08/2014 |
Um estudo empírico sobre classificação de símbolos matemáticos manuscritos
|
Marcelo Valentim de Oliveira |
Nina Sumiko Tomita Hirata |
Mestrado |
14/08/2014 |
Diretrizes metodológicas e validação estatística de dados para a construção de <i>data warehouses</i>
|
Pedro Losco Takecian |
João Eduardo Ferreira |
Doutorado |
11/07/2014 |
Erdos-Ko-Rado em famílias aleatórias
|
Marcelo Matheus Gauy |
Yoshiharu Kohayakawa |
Mestrado |
30/06/2014 |
Seleção de serviços web em coreografias
|
Patricia Araujo de Oliveira |
Daniel Macedo Batista |
Mestrado |
09/06/2014 |
Teste e verificação formal do comportamento excepcional de programas Java
|
Alexandre Locci Martins |
Ana Cristina Vieira de Melo |
Mestrado |
03/06/2014 |
Análise de expressões gênicas com erros de medida e aplicação em dados reais
|
Adèle Helena Ribeiro |
Roberto Hirata Junior |
Mestrado |
30/05/2014 |
Caminhos mais longos em grafos
|
Susanna Figueiredo de Rezende |
Yoshiko Wakabayashi |
Mestrado |
26/05/2014 |
Implantação automatizada de composições de serviços web de grande escala
|
Leonardo Alexandre Ferreira Leite |
Marco Aurélio Gerosa |
Mestrado |
21/05/2014 |
iRepositório - repositório interativo de conteúdos digitais para cursos baseados na Internet
|
Mauricio Garcia Franco do Nascimento |
Leonidas de Oliveira Brandao |
Mestrado |
16/05/2014 |
Ambientes de execução para o modelo de atores em plataformas hierárquicas de memória compartilhada com processadores de múltiplos núcleos
|
Emilio de Camargo Francesquini |
Alfredo Goldman Vel Lejbman |
Doutorado |
08/05/2014 |
Um processo para modelagem e aplicação de técnicas computacionais para detecção de fraudes em transações eletrônicas
|
Gabriel Preti Santiago |
Roberto Hirata Junior |
Mestrado |
08/05/2014 |
Pares Ramsey infinitos
|
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 |
Renata Wassermann |
Mestrado |
04/04/2014 |
Visão cumputacional para o monitoramento contínuo de plâncton
|
Damian Janusz Matuszewski |
Roberto Marcondes Cesar Junior |
Mestrado |
02/04/2014 |
Mecanismos para consolidação de servidores
|
Max Rosan dos Santos Júnior |
Daniel Macedo Batista |
Mestrado |
26/02/2014 |
Transformada imagem-floresta com funções de conexidade não suaves: pesos adaptativos, polaridade de borda e restrições de forma
|
Lucy Alsina Choque Mansilla |
Paulo Andre Vechiatto de Miranda |
Mestrado |
14/02/2014 |
Problemas de alocação e precificação de itens
|
Rafael Crivellari Saliba Schouery |
Cristina Gomes Fernandes |
Doutorado Direto |
14/02/2014 |
Gerenciamento de múltiplas submissões em sistemas paralelos: a abordagem do escalonamento equitativo
|
Vinicius Gama Pinheiro |
Alfredo Goldman Vel Lejbman |
Doutorado |
11/02/2014 |
Análise de formas usando <i>wavelets</i> em grafos
|
Jorge de Jesus Gomes Leandro |
Roberto Marcondes Cesar Junior |
Doutorado |
23/01/2014 |
Uma proposta de protocolo token ring sem fio
|
Adroaldo Lazouriano Moreira Borges |
Marco Dimas Gubitoso |
Mestrado |
18/12/2013 |
Algoritmos para junções em dígrafos acíclicos e uma aplicação na Antropologia
|
Álvaro Junior Pereira Franco |
Carlos Eduardo Ferreira |
Doutorado |
17/12/2013 |
Medusa: um ambiente musical distribuído
|
Flávio Luiz Schiavoni |
Marcelo Gomes de Queiroz |
Doutorado |
17/12/2013 |
Predição de tags usando linked data: um estudo de caso no banco de dados Arquigrafia
|
Ricardo Augusto Teixeira de Souza |
Leliane Nunes de Barros |
Mestrado |
12/12/2013 |
Aprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de venda
|
Dênis Antonio Lacerda |
Leliane Nunes de Barros |
Mestrado |
09/12/2013 |
Grafos aleatórios exponenciais
|
Tássio Naia dos Santos |
Yoshiharu Kohayakawa |
Mestrado |
09/12/2013 |
Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas
|
Felipe Martins dos Santos |
Leliane Nunes de Barros |
Mestrado |
26/11/2013 |
Análise de desempenho de interfaces de rede virtualizadas com Napi
|
Eduardo Hideo Kuroda |
Daniel Macedo Batista |
Mestrado |
25/11/2013 |
Uma métrica para avaliação de diferença perceptual em imagens para deficientes visuais de cores
|
Rafael de Oliveira Lopes Gonçalves |
Roberto Hirata Junior |
Mestrado |
22/11/2013 |
PATO: um ambiente integrado com interface gráfica para a curadoria de dados de sequências biológicas
|
Liliane Santana Oliveira Kashiwabara |
Alan Mitchell Durham |
Mestrado |
06/11/2013 |
Extração e consulta de informações do currículo lattes baseada em ontologias
|
Eduardo Ferreira Galego |
Renata Wassermann |
Mestrado |
04/11/2013 |
Ferramentas computacionais para a síntese de imagens de difusão por ressonância magnética
|
Renato Callado Borges |
Marcel Parolin Jackowski |
Mestrado |
04/11/2013 |
Um método para a implementação de regras de negócio à partir da semântica SBVR
|
Jandisson Soares de Jesus |
Ana Cristina Vieira de Melo |
Mestrado |
31/10/2013 |
Autenticação e comunicação segura em dispositivos móveis de poder computacional restrito
|
Rafael Will Macêdo de Araujo |
Routo Terada |
Mestrado |
31/10/2013 |
Consulta a ontologias em língua portuguesa através do português controlado
|
Fabiano Ferreira Luz |
Renata Wassermann |
Mestrado |
30/10/2013 |
Cifra multicanal para maior segurança em redes TCP /IP
|
Sylvio Ximenez de Azevedo Neto |
Routo Terada |
Mestrado |
21/10/2013 |
Processamento de áudio em tempo real em plataformas computacionais de alta disponibilidade e baixo custo
|
André Jucovsky Bianchi |
Marcelo Gomes de Queiroz |
Mestrado |
14/10/2013 |
Uma arquitetura modular baseada em sistema de arquivos para monitoramento de pacotes de rede no sistema operacional GNU/Linux
|
Beraldo Costa Leal |
Marco Dimas Gubitoso |
Mestrado |
02/10/2013 |
Extração de informações de narrativas clínicas
|
Michel Oleynik |
Marcelo Finger |
Mestrado |
23/09/2013 |
Reconstrução da chave secreta do RSA multi-primo
|
Reynaldo Caceres Villena |
Routo Terada |
Mestrado |
23/09/2013 |
Software para prática de regência coral
|
Caio Cesar Moreira |
Ronaldo Fumio Hashimoto |
Mestrado |
13/09/2013 |
Dinâmica de redes booleanas limiarizadas utilizando programação em GPU
|
William Lira Ferreira |
Ronaldo Fumio Hashimoto |
Mestrado |
30/08/2013 |
Dois resultados em combinatória contemporânea
|
Guilherme Oliveira Mota |
Yoshiharu Kohayakawa |
Doutorado |
27/08/2013 |
Proposta de aprimoramento para o protocolo de assinatura digital Quartz
|
Ewerton Rodrigues Andrade |
Routo Terada |
Mestrado |
07/08/2013 |
Kalibro: interpretação de métricas de código-fonte
|
Carlos Morais Piroupo |
Fabio Kon |
Mestrado |
07/08/2013 |
Recoloração convexa de grafos: algoritmos e poliedros
|
Phablo Fernando Soares Moura |
Yoshiko Wakabayashi |
Mestrado |
10/07/2013 |
Autômatos sincronizados e a Conjectura de Cerný
|
Leticia Gindri |
Arnaldo Mandel |
Mestrado |
24/06/2013 |
Construção do livro de ofertas a partir de dados de alta frequência e um algoritmo de predição de valores baseado em técnicas de agrupamento e regressão linear
|
Rodrigo Bossini Tavares Moreira |
Anatoli Iambartsev |
Mestrado |
12/06/2013 |
Uma abordagem transacional para o tratamento de exceções em processos de negócio
|
Pedro Paulo de Souza Bento da Silva |
João Eduardo Ferreira |
Mestrado |
06/06/2013 |
Método beam search aplicado ao problema de escalonamento de tarefas flexível
|
José Eurípedes Ferreira de Jesus Filho |
Ernesto Julian Goldberg Birgin |
Mestrado |
27/05/2013 |
Performances musicais distribuídas através de Internet residencial
|
Marcio Masaki Tomiyoshi |
Marcelo Gomes de Queiroz |
Mestrado |
21/05/2013 |
Conversão de voz inter-linguística
|
Anderson Fraiha Machado |
Marcelo Gomes de Queiroz |
Doutorado |
20/05/2013 |
Monitoramento de métricas de código-fonte em projetos de software livre
|
Paulo Roberto Miranda Meirelles |
Fabio Kon |
Doutorado |
09/05/2013 |
Produtividade de times ágeis: uma avaliação experimental de fatores e processos de monitoramento
|
Claudia de Oliveira Melo |
Fabio Kon |
Doutorado |
02/05/2013 |
AudioLazy: processamento digital de sinais expressivo e em tempo real
|
Danilo de Jesus da Silva Bellini |
Marcelo Gomes de Queiroz |
Mestrado |
26/04/2013 |
Simulações financeiras em GPU
|
Thársis Tuani Pinto Souza |
Walter Figueiredo Mascarenhas |
Mestrado |
03/04/2013 |
Planejamento probabilístico usando programação dinâmica assíncrona e fatorada
|
Mijail Gamarra Holguin |
Leliane Nunes de Barros |
Mestrado |
02/04/2013 |
Visualização de tags para explicar e filtrar recomendações de músicas
|
Juliana Sato Yamashita |
Flavio Soares Correa da Silva |
Mestrado |
28/03/2013 |
Implementação do arcabouço WED-flow para controle de processos transacionais
|
Marcela Ortega Garcia |
João Eduardo Ferreira |
Mestrado |
22/03/2013 |
Detecção de violações de SLA em coreografias de serviços Web
|
Victoriano Alfonso Phocco Diaz |
Daniel Macedo Batista |
Mestrado |
21/03/2013 |
Análise empírica de algoritmos de revisão sobre bases de crenças
|
Renato Urquiza Lundberg |
Renata Wassermann |
Mestrado |
21/03/2013 |
Desempenho de sistemas com dados georeplicados com consistência em momento indeterminado e na linha do tempo
|
Mauricio José de Oliveira de Diana |
Marco Aurélio Gerosa |
Mestrado |
19/03/2013 |
Componentes para interoperabilidade entre redes sociais na Web 2.0
|
Carlos Leonardo Herrera Muñoz |
Marco Aurélio Gerosa |
Mestrado |
19/03/2013 |
Desenvolvimento de um arcabouço probabilístico para implementação de campos aleatórios condicionais
|
Ígor Bonadio |
Alan Mitchell Durham |
Mestrado |
15/03/2013 |
Decomposição sequencial a partir da sup-representação de W-operadores
|
Joel Edu Sanchez Castro |
Ronaldo Fumio Hashimoto |
Mestrado |
15/03/2013 |
Extração de informações de desempenho em GPUs NVIDIA
|
Paulo Carlos Ferreira dos Santos |
Marco Dimas Gubitoso |
Mestrado |
11/03/2013 |
Uma nova abordagem para as operações de Transformada de Erosão e Transformada de Dilatação através da união da decomposição de elementos estruturantes
|
Alexandre Yukio Harano |
Ronaldo Fumio Hashimoto |
Mestrado |
08/03/2013 |
Codificação e compressão iterativa de sinais biomédicos
|
Luiz Fernando Oliveira Corte Real |
Marcel Parolin Jackowski |
Mestrado |
06/03/2013 |
Aprimorando o corretor gramatical CoGrOO
|
William Daniel Colen de Moura Silva |
Marcelo Finger |
Mestrado |
01/03/2013 |
Descritor de bordas e quantização espacial flexível aplicados a categorização de objetos
|
Arnaldo Câmara Lara |
Roberto Hirata Junior |
Doutorado |
21/02/2013 |
Compartilhamento de conhecimento inter-equipes: o processo de socialização do conhecimento tácito em contextos ágeis de desenvolvimento de software
|
Viviane Almeida dos Santos |
Alfredo Goldman Vel Lejbman |
Doutorado |
04/02/2013 |
Planejamento probabilístico como busca num espaço de transição de estados
|
Daniel Javier Casani Delgado |
Leliane Nunes de Barros |
Mestrado |
23/01/2013 |
Rotulação de símbolos matemáticos manuscritos via casamento de expressões
|
Willian Yukio Honda |
Nina Sumiko Tomita Hirata |
Mestrado |
14/12/2012 |
Estimação de movimento a partir de imagens RGBD usando homomorfismo entre grafos
|
David da Silva Pires |
Roberto Marcondes Cesar Junior |
Doutorado |
14/12/2012 |
Algoritmos para o problema da árvore de Steiner com coleta de prêmios
|
Camila Mari Matsubara |
Jose Coelho de Pina Junior |
Mestrado |
14/12/2012 |
Protocolos de interação baseados em conhecimento: implementação da plataforma JamSession
|
Diego Mira David |
Flavio Soares Correa da Silva |
Mestrado |
10/12/2012 |
Answer set programming probabilístico
|
Eduardo Menezes de Morais |
Marcelo Finger |
Mestrado |
07/12/2012 |
Um modelo para interoperabilidade entre instituições heterogêneas
|
Cláudia Josimar Abrão de Araújo |
Flavio Soares Correa da Silva |
Doutorado |
07/12/2012 |
O problema do multicorte dirigido mínimo
|
Juan Gabriel Gutierrez Alva |
Paulo Feofiloff |
Mestrado |
03/12/2012 |
Cálculo de reputação em redes sociais a partir da colaboração entre os participantes
|
Edith Zaida Sonco Mamani |
Marco Aurélio Gerosa |
Mestrado |
03/12/2012 |
Protocolo de identificação baseado em polinômios multivariáveis quadráticos
|
Fabio de Salles Monteiro |
Routo Terada |
Mestrado |
28/11/2012 |
Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets - algoritmos e aplicações
|
Marcelo da Silva Reis |
Junior Barrera |
Doutorado Direto |
26/11/2012 |
Módulo de consultas distribuídas do Infinispan
|
Israel Danilo Lacerra |
Francisco Carlos da Rocha Reverbel |
Mestrado |
22/11/2012 |
Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias
|
Mário Leston Rey |
Yoshiko Wakabayashi |
Doutorado |
22/11/2012 |
Um modelo conceitual para ambientes inteligentes baseado em interações formais em espaços físicos
|
Crhistian Alberto Noriega Guerra |
Flavio Soares Correa da Silva |
Doutorado |
14/11/2012 |
Caminhos mínimos com recursos limitados
|
Joel Silva Uchoa |
Carlos Eduardo Ferreira |
Mestrado |
12/11/2012 |
Jogos markovianos alternados sob incerteza
|
Fábio de Oliveira Franco |
Leliane Nunes de Barros |
Mestrado |
09/11/2012 |
Geração de redes vasculares sintéticas tridimensionais utilizando sistemas de Lindenmayer estocásticos e parametrizados
|
Miguel Angel Galarreta Valverde |
Marcel Parolin Jackowski |
Mestrado |
29/10/2012 |
Detecção e rastreamento de lábios em dispositivos móveis
|
Giseli de Araujo Ramos |
Roberto Marcondes Cesar Junior |
Mestrado |
23/10/2012 |
Detecção de objetos em vídeos usando misturas de modelos baseados em partes deformáveis obtidas de um conjunto de imagens
|
Leissi Margarita Castaneda Leon |
Roberto Hirata Junior |
Mestrado |
19/10/2012 |
Arquigrafia Brasil: um ambiente colaborativo baseado em componentes para o compartilhamento de imagens de arquitetura
|
Straus Michalsky Martins |
Marco Aurélio Gerosa |
Mestrado |
17/10/2012 |
Interoperabilidade de documentos digitais usando ontologias
|
Erika Guetti Suca |
Flavio Soares Correa da Silva |
Mestrado |
08/10/2012 |
Uso de informação linguística e análise de conceitos formais no aprendizado de ontologias
|
Carlos Eduardo Atencio Torres |
Renata Wassermann |
Mestrado |
02/10/2012 |
Empacotamento de bicliques em grafos bipartidos
|
Alexandre da Silva Freire |
Carlos Eduardo Ferreira |
Doutorado |
02/10/2012 |
PAWEB - Uma plataforma para desenvolvimento de aplicativos web utilizando o modelo de atores
|
Bruno Takahashi Carvalhas de Oliveira |
Francisco Carlos da Rocha Reverbel |
Mestrado |
27/09/2012 |
Leilões para publicidade na Internet
|
Atol Fortin de Oliveira |
Cristina Gomes Fernandes |
Mestrado |
20/09/2012 |
Problemas de corte com sobras aproveitáveis e eliminação de simetrias
|
Ricardo Luiz de Andrade Abrantes |
Ernesto Julian Goldberg Birgin |
Doutorado |
19/09/2012 |
Aplicação do método do gradiente espectral projetado ao problema de amostragem compressiva
|
Boris Chullo Llave |
Ernesto Julian Goldberg Birgin |
Mestrado |
18/09/2012 |
Desenvolvimento de um aplicativo de notação musical em braille
|
Arthur Piza Mosterio Tofani |
Marcelo Gomes de Queiroz |
Mestrado |
14/09/2012 |
Rehearsal: um arcabouço para teste automatizado de coreografias de serviços web
|
Felipe Meneses Besson |
Fabio Kon |
Mestrado |
11/09/2012 |
Planejamento instrucional automatizado em aprendizagem colaborativa com suporte computacional utilizando planejamento hierárquico
|
Geiser Chalco Challco |
Marco Aurélio Gerosa |
Mestrado |
03/09/2012 |
Raciocínio de agentes musicais composição algorítmica, vida artificial e interatividade em sistemas multiagentes musicais
|
Santiago David Davila Benavides |
Marcelo Gomes de Queiroz |
Mestrado |
30/08/2012 |
Detecção e extração de redes vasculares usando transformada de Hough
|
Maysa Malfiza Garcia de Macedo |
Marcel Parolin Jackowski |
Doutorado |
28/08/2012 |
Detecção de estruturas finas e ramificadas em imagens usando campos aleatórios de Markov e informação perceptual
|
Talita Perciano Costa Leite |
Roberto Hirata Junior |
Doutorado |
30/07/2012 |
Detecção de códigos QR em imagens com enquadramento arbitrário
|
Luiz Felipe Franco Belussi |
Nina Sumiko Tomita Hirata |
Mestrado |
11/07/2012 |
Anotação e classificação automática de entidades nomeadas em notícias esportivas em Português Brasileiro
|
Rodrigo Constantin Ctenas Zaccara |
Marcelo Finger |
Mestrado |
06/07/2012 |
Uma linha de produto de software para módulos de aprendizagem interativa
|
Danilo Leite Dalmon |
Leonidas de Oliveira Brandao |
Mestrado |
03/07/2012 |
Algoritmos evolutivos aplicados ao classificador baseado em segmentos de reta
|
Rosario Alejandra Medina Rodríguez |
Ronaldo Fumio Hashimoto |
Mestrado |
05/06/2012 |
Modelagem e reconhecimento de objetos estruturados: uma abordagem estatístico-estrutural
|
Ana Beatriz Vicentim Graciano |
Roberto Marcondes Cesar Junior |
Doutorado |
29/05/2012 |
Tratamento de eventos aplicado à composição de serviços web
|
Mauricio Chui Rodrigues |
João Eduardo Ferreira |
Mestrado |
24/05/2012 |
Alinhamentos e comparação de sequências
|
Francisco Eloi Soares de Araujo |
Jose Augusto Ramos Soares |
Doutorado |
23/05/2012 |
Programação por restrições e escalonamento baseado em restrições: um estudo de caso na programação de recursos para o desenvolvimento de poços de petróleo
|
Thiago Serra Azevedo Silva |
Yoshiko Wakabayashi |
Mestrado |
11/05/2012 |
Jogos de Steiner
|
César Gamboa Machado |
Jose Coelho de Pina Junior |
Mestrado |
11/05/2012 |
Otimização em meteorologia: cálculo de perturbações condicionais não-lineares ótimas
|
Jessé Américo Gomes de Lima |
Ernesto Julian Goldberg Birgin |
Mestrado |
09/05/2012 |
Métodos estocásticos de otimização global aplicados ao problema de empacotamento de círculos em elipses
|
Luis Henrique Bustamante de Morais |
Ernesto Julian Goldberg Birgin |
Mestrado |
08/05/2012 |
Uso do padrão AMQP para transporte de mensagens entre atores remotos
|
Thadeu de Russo e Carmo |
Francisco Carlos da Rocha Reverbel |
Mestrado |
07/05/2012 |
Ferramenta para correção automática de exercícios de programação em ambientes de aprendizagem, com plugin para Moodle
|
Ariel Martini |
Carlos Hitoshi Morimoto |
Mestrado |
27/04/2012 |
Detecção de objetos por reconhecimento de grafos-chave
|
Marcelo Hashimoto |
Roberto Marcondes Cesar Junior |
Doutorado |
25/04/2012 |
Como a prática de TDD influencia o projeto de classes em sistemas orientados a objetos
|
Mauricio Finavaro Aniche |
Marco Aurélio Gerosa |
Mestrado |
25/04/2012 |
Detecção de ovos de S. <i>mansoni</i> a partir da detecção de seus contornos
|
Edwin Delgado Huaynalaya |
Nina Sumiko Tomita Hirata |
Mestrado |
13/04/2012 |
Assinatura digital Rabin-Williams - sem randomização e com prova eficiente de segurança
|
Bernardo Caraponale Magri |
Routo Terada |
Mestrado |
04/04/2012 |
Representações retangulares de grafos planares
|
Guilherme Puglia Assunção |
Carlos Eduardo Ferreira |
Mestrado |
03/04/2012 |
Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições
|
Tales Pinheiro de Andrade |
Ronaldo Fumio Hashimoto |
Mestrado |
22/03/2012 |
Aplicação de práticas de usabilidade ágil em software livre
|
Ana Paula Oliveira Bertholdo |
Fabio Kon |
Mestrado |
29/02/2012 |
Grafos evolutivos na modelagem e análise de redes dinâmicas
|
Paulo Henrique Floriano |
Alfredo Goldman Vel Lejbman |
Mestrado |
28/02/2012 |
Análise da distribuição do número de operações de resolvedores SAT
|
Poliana Magalhães Reis |
Marcelo Finger |
Mestrado |
24/02/2012 |
Reconhecimento de entidades mencionadas em português utilizando aprendizado de máquina
|
Wesley Seidel Carvalho |
Marcelo Finger |
Mestrado |
17/02/2012 |
Inferência de redes de regulação gênica utilizando o paradigma de crescimento de sementes
|
Carlos Henrique Aguena Higa |
Ronaldo Fumio Hashimoto |
Doutorado |
10/02/2012 |
MYOP/ToPS/SGEval: Um ambiente computacional para estudo sistemático de predição de genes
|
André Yoshiaki Kashiwabara |
Alan Mitchell Durham |
Doutorado |
24/01/2012 |
Um estudo sistemático sobre o espaço de trabalho informativo e o acompanhamento em equipes ágeis de desenvolvimento de software
|
Renan de Melo Oliveira |
Alfredo Goldman Vel Lejbman |
Mestrado |
19/12/2011 |
Metadados para reconciliação de transações em bancos de dados autônomos
|
Gustavo Luiz Duarte |
João Eduardo Ferreira |
Mestrado |
16/12/2011 |
Criptografia de chave pública sem certificado
|
Denise Hideko Goya |
Routo Terada |
Doutorado |
16/12/2011 |
Segurança do bit menos significativo no RSA e em curvas elípticas
|
Dionathan Nakamura |
Routo Terada |
Mestrado |
15/12/2011 |
Aproximação de métricas finitas por métricas arbóreas e aplicações
|
Murilo Santos de Lima |
Cristina Gomes Fernandes |
Mestrado |
13/12/2011 |
Quantidade de orientações de grafos livres de circuitos direcionados cíclicos
|
Roberto Freitas Parente |
Yoshiharu Kohayakawa |
Mestrado |
12/12/2011 |
Algoritmos para o problema da cobertura por sensores
|
Rafael da Ponte Barbosa |
Yoshiko Wakabayashi |
Mestrado |
02/12/2011 |
Reticulados de conceitos
|
Alexandre Luiz Junqueira Hadura Albano |
Alair Pereira do Lago |
Mestrado |
28/11/2011 |
Verificação de sistemas multi-agentes comportamentalistas através de simulações formalmente guiadas
|
Paulo Salem da Silva |
Ana Cristina Vieira de Melo |
Doutorado Direto |
28/11/2011 |
Uma infraestrutura para aplicações distribuídas baseadas em atores Scala
|
Thiago Henrique Coraini |
Francisco Carlos da Rocha Reverbel |
Mestrado |
16/11/2011 |
Recoloração convexa de caminhos
|
Karla Roberta Pereira Sampaio Lima |
Yoshiko Wakabayashi |
Doutorado |
07/11/2011 |
Um sistema para implementação e uso de bancos de dados pela internet sem programação
|
Edgard Pevidor de Miranda |
Valdemar Waingort Setzer |
Mestrado |
20/10/2011 |
A indústria da manufatura e sua relação com métodos ágeis de desenvolvimento de software: histórico, apanhado sistemático e situação atual
|
Eduardo Teruo Katayama |
Alfredo Goldman Vel Lejbman |
Mestrado |
14/10/2011 |
Novos métodos para rastreamento de olhar baseados na razão cruzada com compensação de movimentos da cabeça
|
Flávio Luiz Coutinho |
Carlos Hitoshi Morimoto |
Doutorado |
30/09/2011 |
AppRecommender: um recomendador de aplicativos GNU/Linux
|
Tássia Camões Araujo |
Arnaldo Mandel |
Mestrado |
22/09/2011 |
Protocolos de acordo de chaves baseados em emparelhamentos, para dispositivos móveis
|
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 (Algoritmos para escalonamento de tarefas em plataformas heterogêneas usando o paradigma mestre-escravo).
|
Fábio Henrique Nishihara |
Alfredo Goldman Vel Lejbman |
Mestrado |
06/05/2008 |
Populando ontologias através de informações em HTML - o caso do currículo lattes
|
André Casado Castaño |
Renata Wassermann |
Mestrado |
05/05/2008 |
Planejamento hierárquico sob incerteza Knightiana
|
Ricardo Guimaraes Herrmann |
Leliane Nunes de Barros |
Mestrado |
28/04/2008 |
Reparo de plano por refinamento reverso
|
David Robert Camargo de Campos |
Leliane Nunes de Barros |
Mestrado |
25/04/2008 |
Homomorfismos de grafos
|
Cristiane Maria Sato |
Yoshiharu Kohayakawa |
Mestrado |
22/04/2008 |
Uma comparação de métodos de classificação aplicados à detecção de fraude em cartões de crédito
|
Manoel Fernando Alonso Gadi |
Alair Pereira do Lago |
Mestrado |
18/04/2008 |
Xenia: um sistema de segurança para grades computacionais baseado em cadeias de confiança
|
José de Ribamar Braga Pinheiro Junior |
Fabio Kon |
Doutorado |
18/04/2008 |
Geração automática de casos testes para Web Services
|
Paulo Silveira |
Ana Cristina Vieira de Melo |
Mestrado |
17/04/2008 |
Ambiente de testes utilizando verificação de componentes java com tratamento de exceções
|
Kleber da Silva Xavier |
Ana Cristina Vieira de Melo |
Mestrado |
16/04/2008 |
Ordenação por reversão
|
Andréa Tieme Nakasato |
Yoshiko Wakabayashi |
Mestrado |
26/03/2008 |
Seletores de pontos de junção: um mecanismo de extensão para linguagens e arcabouços orientados a aspectos
|
Cristiano Malanga Breuel |
Francisco Carlos da Rocha Reverbel |
Mestrado |
18/03/2008 |
Experiências com desenvolvimento ágil
|
Dairton Luiz Bassi Filho |
Eduardo Colli |
Mestrado |
11/03/2008 |
Análise de padrões de uso em grades computacionais
|
Danilo Matheus Rubio Conde |
Marcelo Finger |
Mestrado |
07/03/2008 |
Depuração simbólica extensível para sistemas de objetos distribuídos
|
Giuliano Mega |
Fabio Kon |
Mestrado |
07/03/2008 |
Estudo comparativo de passos espectrais e buscas lineares não monótonas
|
Fernando Taietti Camargo |
Ernesto Julian Goldberg Birgin |
Mestrado |
22/02/2008 |
Aplicações de computação paralela em otimização contínua
|
Ricardo Luiz de Andrade Abrantes |
Ernesto Julian Goldberg Birgin |
Mestrado |
22/02/2008 |
Erosões e dilatações morfológicas binárias seqüênciais rápidas
|
Anderson Fraiha Machado |
Ronaldo Fumio Hashimoto |
Mestrado |
22/02/2008 |
Programação em dois níveis: reformulação utilizando as condições KKT
|
Francisco Nogueira Calmon Sobral |
Ernesto Julian Goldberg Birgin |
Mestrado |
15/02/2008 |
Audible Images: síntese de imagens controladas por áudio
|
Mariana Zaparolli Martins |
Marcelo Gomes de Queiroz |
Mestrado |
16/01/2008 |
Uma ferramenta para o ensino de inteligência artificial usando jogos de computador
|
Filipe Correa Lima da Silva |
Flavio Soares Correa da Silva |
Mestrado |
14/12/2007 |
Aplicação de técnicas de fatoração de matrizes esparsas para inferência em redes bayesianas
|
Ernesto Coutinho Colla |
Julio Michael Stern |
Mestrado |
06/11/2007 |
Segmentação de movimento usando morfologia matemática
|
Arnaldo Câmara Lara |
Roberto Hirata Junior |
Mestrado |
05/11/2007 |
Planejamento sob incerteza para metas de alcançabilidade estendidas
|
Silvio do Lago Pereira |
Leliane Nunes de Barros |
Doutorado |
21/09/2007 |
Um serviço de transações atômicas para Web services
|
Ivan Bittencourt de Araujo e Silva Neto |
Francisco Carlos da Rocha Reverbel |
Mestrado |
14/09/2007 |
Reflexões sobre o ensino de metodologias ágeis na academia, na indústria e no governo
|
Alexandre Freire da Silva |
Fabio Kon |
Mestrado |
29/08/2007 |
Um modelo para ambientes inteligentes baseado em serviços web semânticos
|
Crhistian Alberto Noriega Guerra |
Flavio Soares Correa da Silva |
Mestrado |
17/08/2007 |
Rastreamento de componentes conexas em vídeo 3D para obtenção de estruturas tridimensionais
|
David da Silva Pires |
Roberto Marcondes Cesar Junior |
Mestrado |
13/07/2007 |
Uso de grafos evolutivos no roteamento em redes dinâmicas: algoritmos, fluxos e limites
|
Julian Geraldes Monteiro |
Alfredo Goldman Vel Lejbman |
Mestrado |
03/07/2007 |
Um estudo empírico de hiper-heurísticas
|
Igor Ribeiro Sucupira |
Flavio Soares Correa da Silva |
Mestrado |
29/06/2007 |
Uso eficaz de métricas em métodos ágeis de desenvolvimento de software
|
Danilo Toshiaki Sato |
Alfredo Goldman Vel Lejbman |
Mestrado |
15/06/2007 |
PCA-tree: uma proposta para indexação multidimensional
|
Philipe Dalla Bernardina |
Nina Sumiko Tomita Hirata |
Mestrado |
24/05/2007 |
Ferramenta para integração de modelos multidimensionais e softwares de visualização de séries temporais
|
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 |
Coeficientes de determinação, predição intrinsicamente multivariada e genética
|
Carlos Henrique Aguena Higa |
Ronaldo Fumio Hashimoto |
Mestrado |
21/12/2006 |
"Funções-valor na alocação de tarefas em sistemas robóticos"
|
Antonio Luiz Basile |
Flavio Soares Correa da Silva |
Mestrado |
11/12/2006 |
Validação ágil e precisa de projetos conceituais de banco de dados
|
Marcos Eduardo Bolelli Broinizi |
João Eduardo Ferreira |
Mestrado |
01/12/2006 |
Multiplicação escalar eficiente em curvas elípticas
|
Adão de Melo Neto |
Routo Terada |
Mestrado |
30/11/2006 |
Segmentação de vasos sangüíneos em imagens de retina usando wavelets e classificadores estísticos
|
João Vitor Baldini Soares |
Roberto Marcondes Cesar Junior |
Mestrado |
27/10/2006 |
Estudo de escalabilidade de servidores baseados em eventos em sistemas multiprocessados: um estudo de caso completo
|
Daniel de Angelis Cordeiro |
Alfredo Goldman Vel Lejbman |
Mestrado |
27/10/2006 |
O problema da troca de mensagens de diferentes tamanhos em redes multi-aglomerados
|
Fabio Massaaki Katayama |
Alfredo Goldman Vel Lejbman |
Mestrado |
24/10/2006 |
Redução de dimensionalidade em séries temporais
|
André Rodrigo Sanches |
Nina Sumiko Tomita Hirata |
Mestrado |
29/09/2006 |
Classificação semi-automática de componentes Java
|
Claudia de Oliveira Melo |
Ana Cristina Vieira de Melo |
Mestrado |
11/09/2006 |
Sistemas interativos de prova clássicos e quânticos
|
Carlos Henrique Cardonha |
Cristina Gomes Fernandes |
Mestrado |
30/08/2006 |
Sistema de arquivos especializado para correio eletrônico
|
Eider Silva de Oliveira |
Arnaldo Mandel |
Mestrado |
25/08/2006 |
Reconstrução de faces a partir de múltiplas imagens utilizando um modelo de referência e um conjunto de pontos de controle
|
Bruno Pera |
Carlos Hitoshi Morimoto |
Mestrado |
08/08/2006 |
Empacotamento de subgrafos em grafos
|
Gordana Manic |
Yoshiko Wakabayashi |
Doutorado |
08/08/2006 |
Detecção e rastreamento de faces e características faciais com aplicação em indexação de vídeo e estimação da orientação de faces
|
Regis de Abreu Barbosa |
Carlos Hitoshi Morimoto |
Mestrado |
28/06/2006 |
Proposta de esquemas de criptografia e de assinatura sob modelo de criptografia de chave pública sem certificado
|
Denise Hideko Goya |
Routo Terada |
Mestrado |
23/06/2006 |
Padrões de fluxos de processos em banco de dados relacionais
|
Kelly Rosa Braghetto |
João Eduardo Ferreira |
Mestrado |
23/06/2006 |
Por que usar bancos de dados orientados a objetos?
|
Yen Chin Shen |
Valdemar Waingort Setzer |
Mestrado |
31/05/2006 |
Um modelo unificado para planejamento sob incerteza
|
Felipe Werndl Trevizan |
Leliane Nunes de Barros |
Mestrado |
26/05/2006 |
Planejamento para serviços web semânticos
|
Juliana Jabra Chahoud |
Leliane Nunes de Barros |
Mestrado |
23/05/2006 |
Repensando os commons na comunicação científica
|
Evelyn Cristina Pinto |
Imre Simon |
Mestrado |
15/05/2006 |
Voz e vídeo sobre redes sem fio IEEE 802.11
|
Arlindo Flavio da Conceição |
Fabio Kon |
Doutorado |
12/05/2006 |
Recuperação automática da estrutura tri-dimensional a partir de múltiplas imagens utilizando geometria projetiva
|
Tiago Tagliari Martinez |
Carlos Hitoshi Morimoto |
Mestrado |
05/05/2006 |
Um sistema de rastreamento de olhar tolerante a movimentações da face
|
Flávio Luiz Coutinho |
Carlos Hitoshi Morimoto |
Mestrado |
28/04/2006 |
Algoritmos de aproximação para o projeto de redes seguras
|
Antonio Joao Ferreira Francisco |
Carlos Eduardo Ferreira |
Mestrado |
28/04/2006 |
Implementações do método de aproximação primal-dual aplicado ao problema da floresta de Steiner
|
Rafael Pereira Luna |
Cristina Gomes Fernandes |
Mestrado |
20/04/2006 |
Um arcabouço para composição, teste e simulação de protocolos de Handover suave
|
Vera Nagamuta |
Siang Wun Song |
Doutorado |
19/04/2006 |
Projeto multirresolução de operadores morfológicos a partir de exemplos
|
Daniel André Vaquero |
Junior Barrera |
Mestrado |
03/03/2006 |
Análise de conglomerados aplicada ao reconhecimento de padrões de uso de recursos computacionais
|
Germano Capistrano Bezerra |
Marcelo Finger |
Mestrado |
19/12/2005 |
Diagnóstico baseado em modelos num sistema tutor inteligente para programação com padrões pedagógicos
|
Karina Valdivia Delgado |
Leliane Nunes de Barros |
Mestrado |
12/12/2005 |
Protocolos par-a-par para interligação de aglomerados em grades computacionais
|
Vladimir Emiliano Moreira Rocha |
Fabio Kon |
Mestrado |
16/11/2005 |
Planejamento no cálculo de situações usando a linguagem Golog
|
Edward Mitsuo Iwanaga Iamamoto |
Leliane Nunes de Barros |
Mestrado |
10/11/2005 |
Análise automática de desempenho de classificadores e técnicas de classificação na plataforma R
|
Ney Barros Luz |
Nina Sumiko Tomita Hirata |
Mestrado |
09/11/2005 |
Construção e estudos sobre ontologias de bioquímica
|
Anderson Carlos Daniel Sanches |
Renata Wassermann |
Mestrado |
04/11/2005 |
Protocolos para comunicação entre agentes móveis
|
Rachel de Paula Cavalcanti |
Kunio Okuda |
Mestrado |
01/11/2005 |
Arranjos sistólicos redundantes para grades de computação
|
Marcos Tatsuo Yamamoto |
Kunio Okuda |
Mestrado |
19/10/2005 |
Identificação de regiões codificantes de proteína através da transformada modificada de Morlet
|
Jesús Pascual Mena Chalco |
Roberto Marcondes Cesar Junior |
Mestrado |
23/09/2005 |
Sistemas de arquivos paralelos: alternativas para a redução do gargalo no acesso ao sistema de arquivos
|
Roberto Pires de Carvalho |
Alfredo Goldman Vel Lejbman |
Mestrado |
13/09/2005 |
Uma ferramenta interativa para análise de padrões baseada em entropia
|
Luiz Gustavo Martins |
Marco Dimas Gubitoso |
Mestrado |
12/08/2005 |
O problema de Steiner com grupos
|
Fernando Mario de Oliveira Filho |
Carlos Eduardo Ferreira |
Mestrado |
20/07/2005 |
Coloração de grafos e o método probabilístico
|
Daniel Morgato Martin |
Yoshiharu Kohayakawa |
Mestrado |
12/07/2005 |
Interfaces prestativas baseadas em visão computacional e informação de contexto
|
Thiago Schumacher Barcelos |
Carlos Hitoshi Morimoto |
Mestrado |
22/06/2005 |
Dois problemas de busca
|
Renato José da Silva Carmo |
Yoshiharu Kohayakawa |
Doutorado |
25/05/2005 |
Identificação de genes por comparação de seqüências
|
Said Sadique Adi |
Carlos Eduardo Ferreira |
Doutorado |
25/05/2005 |
Interação baseada em gestos de mãos e cabeça para ambientes de realidade virtual utilizando visão computacional
|
Marcio Calixto Cabral |
Carlos Hitoshi Morimoto |
Mestrado |
11/05/2005 |
Definição de uma nova função critério baseada em distâncias nebulosas com múltiplos protótipos para seleção de características
|
Jishu Ashimine |
Roberto Marcondes Cesar Junior |
Mestrado |
25/04/2005 |
Adaptação dinâmica utilizando agentes móveis em computação ubíqua
|
Roberto Speicys Cardoso |
Fabio Kon |
Mestrado |
20/04/2005 |
Um arcabouço para suporte a reconfiguração dinâmica em ambiente Java
|
Ricardo Koji Ushizaki |
Fabio Kon |
Mestrado |
18/04/2005 |
Gerenciamento de recursos distribuídos em sistemas escaláveis
|
Jeferson Roberto Marques |
Fabio Kon |
Mestrado |
12/04/2005 |
Um etiquetador morfo-sintático baseado em cadeias de Markov de tamanho variável
|
Fábio Natanael Kepler |
Marcelo Finger |
Mestrado |
01/04/2005 |
Desenvolvimento de ferramentas igeom: utilizando a geometria dinâmica no ensino presencial e a distância
|
Seiji Isotani |
Leonidas de Oliveira Brandao |
Mestrado |
21/03/2005 |
Recuperação de vídeos indexados por conceitos
|
Christian Danniel Paz Trillo |
Renata Wassermann |
Mestrado |
28/02/2005 |
Aspectos algébricos e computacionais da teoria de bases de Gröbner não comutativas
|
Alexey Antônio Villas Bôas |
Eduardo do Nascimento Marcos |
Mestrado |
11/02/2005 |
Modularização da coleta de lixo na máquina virtual de pesquisa Jikes
|
Rosianni de Oliveira Cruz |
Alan Mitchell Durham |
Mestrado |
07/01/2005 |
Desenvolvimento de algorítmos paralelos para aglomerados com a técnica de paralelização de laços
|
Ulisses Kendi Hayashida |
Siang Wun Song |
Mestrado |
14/12/2004 |
InteGrade: um sistema de middleware para computação em grade oportunista
|
Andrei Goldchleger |
Fabio Kon |
Mestrado |
29/11/2004 |
Implementação e análise do protocolo de Katz e Yung para estabelecimento de chaves de grupo
|
Jorge Alves Tonami |
Routo Terada |
Mestrado |
29/10/2004 |
Composição e performance musical utilizando agentes móveis
|
Leo Kazuhiro Ueda |
Fabio Kon |
Mestrado |
22/10/2004 |
Aprendizado de regras de substituição para normatização de textos históricos
|
Alexandre Sussumu Hirohashi |
Marcelo Finger |
Mestrado |
20/10/2004 |
Geração de classificadores de sequências genéticas utilizando inferência de linguagens regulares
|
Daniel da Cruz Gouveia Vieira |
Alan Mitchell Durham |
Mestrado |
15/10/2004 |
List ranking: um estudo experimental
|
Guilherme Pereira Vanni |
Siang Wun Song |
Mestrado |
14/10/2004 |
Lógicas de raciocínio aproximado e o problema sat
|
Fabio Luiz Ide |
Marcelo Finger |
Mestrado |
22/09/2004 |
Redução de dimensionalidade utilizando entropia condicional média aplicada a problemas de bioinformática e de processamento de imagens
|
David Corrêa Martins Junior |
Roberto Marcondes Cesar Junior |
Mestrado |
27/08/2004 |
Uma proposta de eliminação paralela para o problema da mochila ilimitada
|
Flavio Regis de Arruda |
Alfredo Goldman Vel Lejbman |
Mestrado |
24/08/2004 |
Uma ontologia artificial para o controle cambial brasileiro
|
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 |
Árvores k-restritas e aproximações para o problema de steiner em grafos
|
Eduardo Kazuaki Gondo |
Cristina Gomes Fernandes |
Mestrado |
10/05/2002 |
"Classificação dos domínios transacionais e analíticos para avaliação de alternativas de sincronismo em projetos de Data Warehouse".
|
Isabel Cristina Italiano |
João Eduardo Ferreira |
Mestrado |
07/05/2002 |
Criptografia - Uma implementação do protocolo de micropagamento PayWord
|
João Carlos Néto |
Routo Terada |
Mestrado |
10/04/2002 |
"Arquiteturas de Componentização de Servidores como Integradoras de Bancos de Dados Distribuídos".
|
Myrthes Cavalcante de Aguiar |
Francisco Carlos da Rocha Reverbel |
Mestrado |
21/03/2002 |
Algoritmos para caminhos mínimos
|
Shigueo Isotani |
Jose Coelho de Pina Junior |
Mestrado |
14/03/2002 |
"Visões em arquitetura de software".
|
Ane Cristina Varoto |
Hernan Enrique Astudillo Rojas |
Mestrado |
13/03/2002 |
Uma taxonomia da pesquisa na área de engenharia de requisitos
|
Paulo Sérgio Naddeo Dias Lopes |
Hernan Enrique Astudillo Rojas |
Mestrado |
28/02/2002 |
"Identificação de sistemas dinâmicos finitos: aplicações para a modelagem de redes genéticas"
|
Nestor Walter Trepode |
Junior Barrera |
Mestrado |
23/01/2002 |
Algoritmos para predição da estrutura secundária do RNA
|
Luiz Carlos da Silva Rozante |
Jose Augusto Ramos Soares |
Mestrado |
18/12/2001 |
Uma infra-estrutura para migração de objetos CORBA implementados em java
|
Helves Humberto Domingues |
Francisco Carlos da Rocha Reverbel |
Mestrado |
17/12/2001 |
Projeto de operadores morfológicos para imagens e sinais
|
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 |