Collection's Items (Sorted by Título in Crescente order): 301 to 320 of 385
| Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
| 6-Jan-2014 | 26-Jul-2013 | Prova de conceito de ataque trusting-trust | Gaspar, Gabriel Gomes | Rezende, Pedro Antônio Dourado de | - |
| 30-Out-2017 | 31-Out-2017 | Provas de teoremas em lógica três-valorada | Castro, Matheus Bastos de | Nalon, Cláudia | - |
| 28-Jun-2022 | 24-Mai-2021 | Provendo a fórmula paramétrica composicional como um serviço no PiStarGODA-MDP | Silva, Gabriel Levi Gomes da | Rodrigues, Genaína Nunes | - |
| 21-Mar-2025 | 21-Fev-2025 | PVS formalization of proofs of the infinitude of primes | Ribeiro, Bruno Berto de Oliveira | Ayala Rincón, Mauricio | Lima, Thaynara Arielly de |
| 31-Jul-2020 | 13-Dez-2019 | Qual a relevância da literatura open-source sob a perspectiva de profissionais e estudantes de graduação | Machado, Michelangelo da Rocha | Canedo, Edna Dias | - |
| 22-Ago-2024 | 22-Dez-2023 | Ragic : biblioteca de roteamento e navegação para desenvolvimento web em React | Pinheiro, Lucas Vinicius Magalhães; Paulo, Rafael Gonçalves de | Rodrigues, Genaína Nunes | - |
| 5-Abr-2018 | 8-Dez-2017 | Ragnar : ferramenta para Pentest em dispositivos da Internet das Coisas | Silva, Cristoffer Leite da | Gondim, João José Costa | - |
| 21-Mai-2021 | 16-Dez-2020 | Recomendação de algoritmos em fluxos de dados com mudança de conceito | Sá, Jáder Martins Camboim de | Garcia, Luís Paulo Faina | - |
| 21-Mai-2021 | 9-Dez-2020 | Recomendação de técnicas de pré-processamento por meta-aprendizado no contexto de AutoML | Hosoume, Juliana Mayumi | Garcia, Luís Paulo Faina | - |
| 27-Jun-2022 | 3-Nov-2021 | Redes neurais para improviso musical interativo | Grilo, Thales Gonçalves | Garcia, Luís Paulo Faina | - |
| 10-Dez-2025 | 28-Jul-2025 | Reducing failure rates in introduction to computer systems : a problem-based learning approach with RISC-V assembly language | Menezes, Thales Lima | Lamar, Marcus Vinicius | - |
| 14-Out-2014 | 18-Ago-2014 | Remoção segura de arquivos em EXT3 : técnicas para evitar a recuperação de dados | Cunha, Thiago Rodrigues | Gondim, João José Costa | - |
| 10-Dez-2021 | 20-Mai-2021 | Resiliência da ilusão de body ownership em realidade virtual em meio a assincronias visual-táteis | Barbosa, Daniel Marcos Botelho | Castanho, Carla Denise | - |
| 30-Dez-2025 | 12-Dez-2025 | Retrieval Augmented Generation aplicado a um ChatBot para estudantes sobre procedimentos e normas acadêmicas da UnB | Silvestre, Ana Sofia Schweizer | Lamar, Marcus Vinicius | - |
| 15-Ago-2016 | 28-Jan-2016 | RockDroid : uma arquitetura para coleta de dados geológicos | Macêdo, Bernardo Augusto Pereira de; Nunes, Renata Cristina Machado | Holanda, Maristela Terto de | Almeida, Tati de |
| 30-Abr-2019 | 9-Jul-2018 | Roger-that flow : um uso aprimorado do git-flow | Luz, Daniel Almeida | Almeida, Rodrigo Bonifácio de | - |
| 6-Nov-2013 | 6-Ago-2013 | Run Fast! : um jogo de corrida ubíquo dinamicamente reconfigurável | Costa, Rafael Simão da | Castanho, Carla Denise | Buzeto, Fabricio Nogueira |
| 22-Out-2025 | 18-Jun-2025 | Rupyl : o uso de programação em blocos para modelos robóticos educacionais | Braz, Ana Caroline da Rocha | Koike, Carla Maria Chagas e Cavalcante | Viana, Dianne Magalhães |
| 4-Jul-2024 | 7-Dez-2023 | SARUE : Sistema de Acompanhamento de Registros Universitários de Extensão | Soares, Carlos Gabriel Vilas Novas | Koike, Carla Maria Chagas e Cavalcante | - |
| 19-Jan-2017 | 5-Ago-2016 | SaWerkraut : Sintetizador VST implementado em Csound com o uso do framework Cabbage | Asevedo, Herman Ferreira Militão de | Castanho, Carla Denise | Mello, Carlos Eduardo Vianna de |
Collection's Items (Sorted by Título in Crescente order): 301 to 320 of 385
