Collection's Items (Sorted by Título in Crescente order): 141 to 160 of 276
| Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
| 12-Dez-2023 | 17-Fev-2023 | Formalização em Coq da prova de confluência do cálculo λx | Caldas, Danilo Raposo Freire | Moura, Flávio Leonardo Cavalcanti de | - |
| 18-Dez-2024 | 14-Out-2024 | Formalização em Coq da prova de confluência do cálculo λx no contexto nominal | Soares, José Roberto | Moura, Flávio Leonardo Cavalcanti de | - |
| 23-Jun-2017 | 12-Dez-2016 | Fotografias padronizadas utilizando dispositivo móvel | Pedreira, Matheus Rosendo | Zaghetto, Alexandre | - |
| 12-Nov-2021 | 13-Nov-2018 | Framework de mineração de dados educacionais em ambiente de cursos a distância governamental | Brandão, Iure Vieira | Costa, João Paulo Carvalho Lustosa da | - |
| 11-Ago-2020 | 18-Out-2019 | GEM : um protocolo eficiente de difusão de mensagens geocast em redes veiculares | Lima, Túlio Abner de | Bordim, Jacir Luiz | - |
| 13-Mai-2024 | 20-Dez-2023 | Geração automática de questões no formato de exames com base em aprendizado profundo | Araújo, Pablo Arruda | Silva, Daniel Guerreiro e | - |
| 11-Fev-2022 | 7-Mai-2021 | Gerenciador de mídias sociais para redação jornalística | Resende, Victória Goularte | Ishikawa, Edison | Medeiros Neto, Benedito |
| 19-Abr-2021 | 17-Dez-2020 | O gerenciamento cadastral de uma rede de fibras ópticas utilizando uma API REST : modelagem e arquitetura | Damaceno, André Garrido | Drummond, André Costa | - |
| 10-Fev-2022 | 16-Nov-2021 | GM2MS4 : a transformation tool from goal-oriented models to system-of-systems mission simulation | Coelho Neto, Manoel Vieira | Rodrigues, Genaína Nunes | - |
| 11-Ago-2017 | 21-Nov-2016 | Harmonização algorítmica de Estruturas Melódicas e Contrapontos | Prado, Rondinele Barbosa | Jacobi, Ricardo Pezzuol | Arcela Júnior, Aluizio |
| 12-Ago-2020 | 8-Ago-2018 | HeMPS-V : um MPSoC com processador de arquitetura RISC-V | Marinho, André Bezerra | Mandelli, Marcelo Grandi | - |
| 12-Dez-2023 | 16-Fev-2023 | Identificando a cybersickness : combinação da atividade eletrodérmica e aprendizado de máquina simbólico | Nóbrega, Fernando Sobral | Castanho, Carla Denise | - |
| 18-Dez-2024 | 26-Ago-2024 | Impacto da compressão de nuvem de pontos em algoritmos de segmentação semântica | Fernandes, Tiago de Souza | Queiroz, Ricardo Lopes de | - |
| 25-Mai-2017 | 5-Ago-2016 | Implantação de infraestrutura como serviço em uma nuvem computacional privada | Santos, Rafael César Merlo dos | Araújo, Aletéia Patrícia Favacho de | - |
| 5-Out-2023 | 27-Ago-2023 | Implementação de simulação da navegação de robôs de acionamento diferencial no simulador HMR Sim usando o controlador PID | Silva, Danilo Inácio dos Santos | Rodrigues, Genaína Nunes | - |
| 18-Dez-2024 | 10-Set-2024 | Implementação de técnicas de atenção e fusão em redes neurais convolucionais para a melhoria da detecção e segmentação de doenças em folhas de café | Melo, Gabriel Henrique Souza de | Borges, Díbio Leandro | - |
| 11-Ago-2020 | 16-Jul-2019 | Implementação de um processador RISC-V com coprocessador dedicado para hash criptográfico | Carvalho, Gustavo Henrique Fernandes | Jacobi, Ricardo Pezzuol | - |
| 13-Ago-2014 | 8-Jul-2014 | Implementação de um protocolo criptográfico baseado em REST em Haskell | Alencar, Alexandre Lucchesi | Almeida, Rodrigo Bonifácio de | Gondim, João José Costa |
| 15-Out-2021 | 6-Jul-2019 | Uma implementação do esquema de multi-assinaturas MuSig no cenário m-de-n com árvores de Merkle e suas aplicações ao bitcoin | Matsumine, Vitor Satoru Machi | Rezende, Antônio Dourado de | - |
| 14-Set-2015 | 21-Ago-2015 | Implementação e avaliação do mecanismo TSCH do IEEE 802.15.4e no simulador ns-3 | Pacheco, Luis Alberto Belem | Barreto, Priscila América Solis Mendez | - |
Collection's Items (Sorted by Título in Crescente order): 141 to 160 of 276
