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 250 a 264 de 264 < Anterior 
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
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-
11-Mai-201113-Jul-2010Verificação de propriedades do cálculo גex em CoqCarvalho Segundo, Washington Luís Ribeiro deMoura, Flávio Leonardo Cavalcanti de-
17-Jul-201510-Mar-2015Verificação de texto manuscrito em dispositivos móveisGuerin Júnior, Nilson DonizeteEspinoza, Bruno Luiggi MacchiavelloVidal, Flávio de Barros
20082008Verificação formal de protocolos criptográficos – o caso dos protocolos em cascataNogueira, Rodrigo BorgesAyala-Rincón, Mauricio-
15-Mai-202026-Jul-2019Verification of the Dynamic Authorization ProtocolOliveira, Felipe Rodopoulos deNalon, Cláudia-
7-Dez-20092006Visualização de dados genômicos do fungo Paracoccidioides brasiliensisFerreira, Marcos Francisco RibeiroWalter, Maria Emília Machado Telles-
-18-Fev-2020What could the source code history tell UsAbout errorsAmaral, Luis Henrique VieiraAlmeida, Rodrigo Bonifácio de-
Mostrando resultados 250 a 264 de 264 < Anterior