Mostrando resultados 245 a 264 de 264
< Anterior
Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
22-Out-2013 | 7-Mar-2013 | Uma arquitetura de integração de dados espaciais : um estudo dos dados de solos e folhas dos biomas brasileiros | Olivera, Harley Vera | Holanda, Maristela Terto de | - |
20-Mai-2015 | 15-Dez-2014 | Uma ferramenta multiagente baseada em conhecimento para anotação de proteínas : um estudo de caso para o Fungo Saccharomyces cerevisiae | Souza, Daniel da Silva | Walter, Maria Emília Machado Telles | - |
26-Jan-2011 | 19-Jul-2010 | Uma formalização da composicionalidade do cálculo lambda-ex em Coq | Barros, Flávio José Ferro | Moura, Flávio Leonardo Cavalcanti de | - |
20-Set-2016 | 18-Jul-2016 | Uma investigação de relacionamentos baseados na competição entre stakeholders no comércio eletrônico utilizando teoria dos jogos | Zheng, Jianya | Weigang, Li | - |
31-Mar-2016 | 4-Set-2015 | Uma metodologia de otimização de roteamento com OSPF para tráfego de vídeo autossimilar | Garcia, Henrique Domingues | Barreto, Priscila América Solis Mendez | - |
27-Fev-2013 | 14-Dez-2006 | Uma proposta de integração de sistemas computacionais utilizando ontologias | Santos, Eluzaí Souza dos | Ralha, Célia Ghedini | - |
20-Dez-2015 | 31-Jul-2015 | Uma proposta para redução de consumo de energia em redes de sensores sem fio | Lima, Paula Letícia Santos | Barreto, Priscila América Solis Mendez | - |
30-Jun-2020 | 30-Jan-2020 | UnBGOLDProv : arquitetura de proveniência de dados para um workflow de publicação de dados abertos governamentais | Reis Júnior, Cleyton Peixoto dos | Holanda, Maristela Terto de | - |
1-Fev-2017 | 15-Set-2016 | Unificação, confluência e tipos com interseção para sistemas de reescrita nominal | Valverde, Ana Cristina Rocha Oliveira | Ayala-Rincón, Mauricio | Fernández, Maribel |
25-Mai-2015 | 2-Dez-2014 | A user-centered and autonomic multi-cloud architecture for high performance computing applications | Leite, Alessandro Ferreira | Melo, Alba Cristina Magalhães Alves de; Eisenbeis, Christine | - |
19-Abr-2018 | 18-Out-2017 | Using texture measures for visual quality assessment | Freitas, Pedro Garcia | Farias, Mylène Christine Queiroz de | - |
18-Mai-2015 | 20-Mar-2015 | Utilização de âncoras verbais e raciocínio Fuzzy na construção de mapas estratégicos da metodologia Balanced Scorecard | Linhares, Fernando de Albuquerque | Ladeira, Marcelo | - |
1-Abr-2019 | 31-Jul-2018 | Utilização de técnicas e instruções especiais para acelerar o casamento de padrões exato e aproximado em GPU | Nunes, Lucas Saad Nogueira | Bordim, Jacir Luiz | - |
22-Out-2014 | 4-Jul-2014 | Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas | Almeida, Ariane Alves | Ayala-Rincón, Mauricio | - |
11-Mai-2011 | 13-Jul-2010 | Verificação de propriedades do cálculo גex em Coq | Carvalho Segundo, Washington Luís Ribeiro de | Moura, Flávio Leonardo Cavalcanti de | - |
17-Jul-2015 | 10-Mar-2015 | Verificação de texto manuscrito em dispositivos móveis | Guerin Júnior, Nilson Donizete | Espinoza, Bruno Luiggi Macchiavello | Vidal, Flávio de Barros |
2008 | 2008 | Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata | Nogueira, Rodrigo Borges | Ayala-Rincón, Mauricio | - |
15-Mai-2020 | 26-Jul-2019 | Verification of the Dynamic Authorization Protocol | Oliveira, Felipe Rodopoulos de | Nalon, Cláudia | - |
7-Dez-2009 | 2006 | Visualização de dados genômicos do fungo Paracoccidioides brasiliensis | Ferreira, Marcos Francisco Ribeiro | Walter, Maria Emília Machado Telles | - |
- | 18-Fev-2020 | What could the source code history tell UsAbout errors | Amaral, Luis Henrique Vieira | Almeida, Rodrigo Bonifácio de | - |