Skip navigation

Buscar por ???browse.type.metadata.ppg??? Programa de Pós-Graduação em Informática

Ir a: 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
O introducir las primeras letras:  
Mostrando resultados 231 a 250 de 264 < Anterior   Siguiente >
Fecha de publicaciónData de defesaTítuloAutor(es)Orientador(es)Coorientador(es):
3-dic-20092007UbiquitOS – uma proposta de arquitetura de middleware para a adaptabilidade de serviços em sistemas de computação ubíquaGomes, Alexandre RodriguesJacobi, Ricardo Pezzuol-
16-abr-20141-dic-2013Um algoritmo algébrico para o Problema da Distância de Transposição em Rearranjo de GenomasSilva, Luiz Augusto Garcia daWalter, Maria Emília Machado Telles-
26-nov-200919-dic-2006Um algoritmo para pesquisa aproximada de padrões baseado no método de Landau e Vishkin e uso de arranjos de sufixos para reduzir o uso de espaçoMiranda, Rodrigo César de CastroAyala-Rincón, Mauricio-
21-jun-201125-jun-2010Um conjunto de soluções para a construção de aplicativos de computação ubíquaBuzeto, Fabricio NogueiraJacobi, Ricardo Pezzuol-
3-ene-20121-jul-2011Um framework baseado em plug-ins para raciocínio em ontologias PR-OWL 2Matsumoto, ShouLadeira, Marcelo-
31-oct-200731-oct-2007Um Framework de alinhamento ontológico entre a TI e o negócio de uma organizaçãoFerreira, Rafael GostinskiRalha, Célia Ghedini-
23-jul-201319-feb-2013Um framework para processamento paralelo de algoritmos de aumento de resolução de vídeosFreitas, Pedro GarciaFarias, Mylène Christine Queiroz deAraújo, Aletéia Patrícia F.
30-oct-201317-may-2013Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memóriaNunes, Daniel Saad NogueiraAyala-Rincón, Mauricio-
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-ene-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-may-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-oct-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-may-201515-dic-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-ene-201119-jul-2010Uma formalização da composicionalidade do cálculo lambda-ex em CoqBarros, Flávio José FerroMoura, Flávio Leonardo Cavalcanti de-
20-sep-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-sep-2015Uma metodologia de otimização de roteamento com OSPF para tráfego de vídeo autossimilarGarcia, Henrique DominguesBarreto, Priscila América Solis Mendez-
27-feb-201314-dic-2006Uma proposta de integração de sistemas computacionais utilizando ontologiasSantos, Eluzaí Souza dosRalha, Célia Ghedini-