Mostrando resultados 236 a 255 de 320
< anterior
próximo >
| Data de publicação | Data de apresentação | Título | Autor(es) | Orientador(es) | Coorientador(es) |
| 25-Mai-2021 | 1-Jul-2019 | On the impact of atoms of confusion in javascript code | Oliveira, Caio; Torres, Adriano Rodrigues Figueiredo | Almeida, Rodrigo Bonifácio de | - |
| 17-Dez-2021 | 28-Out-2021 | Uma ontologia de perfil holístico para estudantes de graduação | Silva, Claiton Custódio da | Nóbrega, Germana Menezes da | - |
| 27-Jul-2018 | 15-Mar-2018 | piStar-GODA : integração entre os projetos piStar e GODA | Bergmann, Leandro Santos | Rodrigues, Genaína Nunes | - |
| 10-Ago-2017 | 2016 | Plataforma para Integração de Dados de Inquérito Alimentar R24 - R24móvel | Ferreira, Marcus da Silva | Holanda, Maristela Terto de | - |
| 22-Jun-2017 | 18-Nov-2016 | PlayAPC : projeto e desenvolvimento de uma biblioteca gráfica como ferramenta didática para algoritmos e programação de computadores | Moreira, Sinayra Pascoal Cotts | Zaghetto, Alexandre | Ralha, José Carlos Loureiro |
| 31-Out-2013 | 13-Ago-2013 | Políticas de replicação de dados no ambiente de computação em nuvem | Silva, Gabriel Heleno Gonçalves da | Holanda, Maristela Terto de | - |
| 5-Out-2023 | 16-Fev-2023 | Preprocessamento de cláusulas para raciocínio local e global no KSP | Melo, João Victor Cabral de | Nalon, Cláudia | - |
| 22-Jun-2017 | 15-Jan-2016 | Previsão de oportunidades de acesso utilizando redes neurais artificiais recorrentes | Ferreira, Paulo A. L.; Fernandes, Silas S. | Lamar, Marcus Vinicius | - |
| 3-Abr-2018 | Nov-2017 | Um problema de escala na distribuição de chaves públicas e seu impacto na ICP Brasil | Sena, Ivan Menezes | Rezende, Pedro Antônio Dourado de | - |
| 29-Jul-2020 | 21-Mar-2019 | Processamento de linguagem natural e classificação de textos em sistemas modulares | Ferreira, Hugo Honda | Vidal, Flávio de Barros | - |
| 31-Ago-2015 | 2015 | Projeto e otimização de circuitos digitais por técnicas de evolução artificial | Oliveira, Vitor Coimbra de | Lamar, Marcus Vinicius | - |
| 21-Jul-2020 | 23-Jul-2019 | Proposta de mecanismo para prevenção da congestão causada por envio excessivo de mensagens em redes veiculares | Farias, Paulo Victor Gonçalves | Bordim, Jacir Luiz | - |
| 16-Jan-2017 | 3-Ago-2016 | Uma proposta para a otimização de análise de cenários implícitos | Lima, Filipe Ponte | Rodrigues, Genaína Nunes | - |
| 29-Jun-2022 | 17-Mai-2022 | Uma proposta para priorização de testes funcionais orientada a modelo de objetivos | Silva, Nayara Rossi Brito da | Rodrigues, Genaína Nunes | - |
| 26-Jun-2022 | 4-Nov-2021 | Prova automática de teoremas para lógicas confluentes | Araújo, Boris Marinho Ramos Silva | Nalon, Cláudia | - |
| 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 | - |
| 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 | - |
| 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 | - |
