Skip navigation
Universidade de Brasília

Navegando por Programa de pós-graduação Programa de Pós-Graduação em Informática

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 239 a 258 de 264 < Anterior   Próximo >
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
21-Jul-200821-Jul-2008Um modelo baseado em inteligência artificial para a gestão do conhecimento aplicado ao processo de desenvolvimento de softwareVieira, Sandro CarlosWeigang, Li-
29-Abr-201325-Jul-2012Um modelo para o gerenciamento de informacões de contexto baseado em ontologiaRivera Castillo, Ana Helena OzakiJacobi, Ricardo PezzuolCastanho, Carla Denise
20-Abr-20157-Jan-2015Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crençaVieira, Thiago CoelhoNalon, Cláudia-
20082008Uma abordagem colaborativa de cache em redes ad hocCaetano, Marcos FagundesBordim, Jacir Luiz-
26-Mai-20167-Ago-2015Uma abordagem dirigida a modelo para a geração de casos de teste baseada na detecção de cenários implícitosReis, Thiago Peixoto dosRodrigues, Genaína Nunes-
24-Mar-201624-Abr-2015Uma abordagem unificada para análise de sentimento de tweets com domínio específicoRibeiro, Patrícia Lustosa VenturaWeigang, Li-
22-Out-20137-Mar-2013Uma arquitetura de integração de dados espaciais : um estudo dos dados de solos e folhas dos biomas brasileirosOlivera, Harley VeraHolanda, Maristela Terto de-
20-Mai-201515-Dez-2014Uma ferramenta multiagente baseada em conhecimento para anotação de proteínas : um estudo de caso para o Fungo Saccharomyces cerevisiaeSouza, Daniel da SilvaWalter, Maria Emília Machado Telles-
26-Jan-201119-Jul-2010Uma formalização da composicionalidade do cálculo lambda-ex em CoqBarros, Flávio José FerroMoura, Flávio Leonardo Cavalcanti de-
20-Set-201618-Jul-2016Uma investigação de relacionamentos baseados na competição entre stakeholders no comércio eletrônico utilizando teoria dos jogosZheng, JianyaWeigang, Li-
31-Mar-20164-Set-2015Uma metodologia de otimização de roteamento com OSPF para tráfego de vídeo autossimilarGarcia, Henrique DominguesBarreto, Priscila América Solis Mendez-
27-Fev-201314-Dez-2006Uma proposta de integração de sistemas computacionais utilizando ontologiasSantos, Eluzaí Souza dosRalha, Célia Ghedini-
20-Dez-201531-Jul-2015Uma proposta para redução de consumo de energia em redes de sensores sem fioLima, Paula Letícia SantosBarreto, Priscila América Solis Mendez-
30-Jun-202030-Jan-2020UnBGOLDProv : arquitetura de proveniência de dados para um workflow de publicação de dados abertos governamentaisReis Júnior, Cleyton Peixoto dosHolanda, Maristela Terto de-
1-Fev-201715-Set-2016Unificação, confluência e tipos com interseção para sistemas de reescrita nominalValverde, Ana Cristina Rocha OliveiraAyala-Rincón, MauricioFernández, Maribel
25-Mai-20152-Dez-2014A user-centered and autonomic multi-cloud architecture for high performance computing applicationsLeite, Alessandro FerreiraMelo, Alba Cristina Magalhães Alves de; Eisenbeis, Christine-
19-Abr-201818-Out-2017Using texture measures for visual quality assessmentFreitas, Pedro GarciaFarias, Mylène Christine Queiroz de-
18-Mai-201520-Mar-2015Utilização de âncoras verbais e raciocínio Fuzzy na construção de mapas estratégicos da metodologia Balanced ScorecardLinhares, Fernando de AlbuquerqueLadeira, Marcelo-
1-Abr-201931-Jul-2018Utilização de técnicas e instruções especiais para acelerar o casamento de padrões exato e aproximado em GPUNunes, Lucas Saad NogueiraBordim, Jacir Luiz-
22-Out-20144-Jul-2014Verificação de implementações em hardware por meio de provas de correção de suas definições recursivasAlmeida, Ariane AlvesAyala-Rincón, Mauricio-
Mostrando resultados 239 a 258 de 264 < Anterior   Próximo >