Skip navigation
Universidade de Brasília

Navegando por Unidade Acadêmica Instituto de Ciências Exatas (IE)

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 1025 a 1044 de 1095 < Anterior   Próximo >
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
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-20168-Jul-2015Uma abordagem dinâmica e atual para o ensino das cônicas na educação básicaNascimento, Ana Carolina RabelloSeimetz, Rui-
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-
26-Jan-201728-Jun-2016Uma abordagem orientada a serviços para a modernização de sistemas legadosAgilar, Everton de VargasAlmeida, Rodrigo Bonifácio de-
24-Mar-201624-Abr-2015Uma abordagem unificada para análise de sentimento de tweets com domínio específicoRibeiro, Patrícia Lustosa VenturaWeigang, Li-
7-Jan-201629-Jun-2015Uma aplicação da teoria de resposta ao Item em um simulado de matemática no modelo ENEMTôrres, Frederico CarvalhoRabelo, Mauro Luiz-
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-
18-Jan-20171-Mar-2016Uma classe de problemas elípticos assintoticamente lineares em RNMendes, Wesley de FreitasTeles, Lúcio França-
27-Mar-201719-Dez-2016Uma estatística de varredura espacial para dados de contagem com censuraKaqui, Roberto LazarteCançado, André Luiz Fernandes-
29-Out-201528-Mai-2015Uma estatística scan espacial bayesiana para dados com excesso de zerosFernandes, Lucas BarbosaCançado, André Luiz Fernandes-
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-
10-Jul-201319-Fev-2013Uma introdução aos T-espaços limites de F(x)Ferreira, Lauro Maycon FernandesGonçalves, Dimas José-
15-Mai-201215-Fev-2012Uma Introdução à A-Identidade PolinomialSilva, Edimilson dos Santos daGonçalves, Dimas José-
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-
26-Jan-201630-Jun-2015Uma proposta de análise de desempenho dos estudantes e de valorização da primeira fase da OBMEPVilarinho, Ana Paula LimaRabelo, Mauro Luiz-
11-Nov-201520-Ago-2015Uma proposta de desenvolvimento de competências em gestão de riscos utilizando Project Based Learning (PjBL) para o SISPEscobar, FernandoSilva, João Mello da-
4-Out-201624-Jun-2016Uma proposta de exame de proficiência em cálculo diferencial e integralGomes, Fabio HenriqueRabelo, Mauro Luiz-
Mostrando resultados 1025 a 1044 de 1095 < Anterior   Próximo >