Mostrando resultados 186 a 205 de 320
< anterior
próximo >
Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
22-Jun-2022 | 17-Dez-2020 | Implementação da linguagem de metaprogramação Meta-CrySL utilizando o framework Xtext | Silva, Vinicius Costa e | Almeida, Rodrigo Bonifácio de | - |
8-Jan-2015 | 10-Dez-2014 | Implementação de filtros digitais para afinação de guias digitais de ondas | Rabelo Neto, José Honório | Brandão, Márcio da Costa Pereira | - |
29-Jan-2009 | 7-Dez-2006 | Implementação de protótipo de um SMA para anotação manual em projetos de sequenciamento de genomas | Schneider, Hugo Wruck; Pereira, Anderson Gray Frazzon | Walter, Maria Emilia Machado Telles; Ralha, Célia Ghedini | - |
6-Fev-2014 | 18-Dez-2013 | Implementação de um provador de teoremas por resolução para lógicas modais normais | Silva, George Bezerra | Nalon, Cláudia | - |
6-Out-2023 | 16-Mai-2022 | Uma implementação do move method usando a linguagem Rascal-MPL | Reboredo, Renan Rocha | Almeida, Rodrigo Bonifácio de | - |
13-Ago-2014 | 11-Jun-2014 | Implementação dos protocolos FreeStore de reconfiguração de sistemas de quóruns | Braga, Mateus Antunes | Alchieri, Eduardo Adilio Pelinson | - |
24-Jul-2020 | 13-Mar-2019 | Implementação e análise de desempenho de algoritmos de difusão atômica tolerantes a falhas bizantinas | Rego, Vitor Mateus Costa | Alchieri, Eduardo Adilio Pelinson | - |
19-Jun-2014 | 22-Jul-2013 | Implementação eficiente de algoritmos para teste de primalidade | Ribeiro, Bruno Cesar Dias | Aranha, Diego de Freitas | - |
7-Nov-2013 | 8-Mar-2013 | Implementação eficiente de emparelhamentos bilineares sobre curvas elípticas na plataforma ARM | Taira, Victor Henrique Hisao | Aranha, Diego de Freitas | - |
16-Ago-2016 | 1-Jul-2016 | Implementando diversidade em Replicação Máquina de Estados | Costa, Caio Yuri da Silva | Alchieri, Eduardo Adilio Pelinson | - |
31-Jul-2020 | 31-Jan-2019 | Implementing a distributed architecture on angraDB | Medeiros, Ismael Coelho | Almeida, Rodrigo Bonifácio de | - |
6-Out-2023 | 20-Jul-2023 | Instrumentação RVSec para Android um relato de experiência | Rocha, Pedro Luis Chaves | Almeida, Rodrigo Bonifácio de | - |
14-Fev-2023 | 19-Dez-2021 | Integrando a representação Static Single Assignment no Rascal Jimple Framework | Barros, Mateus Luiz Freitas | Almeida, Rodrigo Bonifácio de | - |
7-Dez-2023 | 16-Fev-2023 | Integrating deep reinforcement learning to GAMA platform with a multi-agent model of common-pool resource appropriation | Nascimento, Guilherme Mendel de Almeida | Ralha, Célia Ghedini | - |
1-Jul-2016 | 16-Dez-2015 | Integridade e confidencialidade dos arquivos na plataforma de nuvem federada BioNimbuZ | Sardenberg, Rafael Scofield | Araújo, Aletéia Patrícia Favacho de | Gondim, João José Costa |
19-Fev-2018 | 2017 | Interoperabilidade entre a biblioteca UnB-DALi e ferramentas UML | Lima, Pedro Paulo Struck; Silva, Jefferson Leandro da | Rodrigues, Genaína Nunes | - |
27-Abr-2017 | 12-Ago-2016 | Uma investigação sobre a percepção do jogador em relação a diferentes mecanismos de entrada em um jogo para reabilitação controlado por movimento | Nunes, Luísa Bontempo | Castanho, Carla Denise | - |
21-Ago-2023 | 24-Jul-2023 | Uma investigação sobre o Projeto Solid : da prospecção para ecossistema educacional ao desenvolvimento de aplicações como prova de conceito | Duda, João Marcos Schmaltz | Nóbrega, Germana Menezes da | - |
25-Abr-2017 | 25-Nov-2016 | Jogos digitais educacionais : um estudo de caso com uma ferramenta de aprendizagem para conteúdo de conversão de bases e aritmética básica de binários | Leal, Louise Barreto | Lima, Fernanda | - |
20-Nov-2018 | 10-Mar-2017 | Jogos eletrônicos e o desenvolvimento do pensamento computacional : um estudo de caso | Corrêa, Eduardo Furtado Sá | Ishikawa, Edison | Botelho, Francisco |