Pular para o conteúdo
Verificando a corretude dos algoritmos de ordenação com o assistente de provas Coq
Propostas para Melhoria de Processos em um Projeto com Arquitetura de Microsserviços
Geração Adaptativa de Inimigos Usando Algoritmos Evolutivos em Jogos Digitais
Interpretando Modelos para Diagnóstico de Retinopatia Diabética
Composição Algorítmica de Música - Desenvolvimento de Software (HarmoniMIDI)
Heurísticas para o problema Max-Sat
Representação da Evolução Territorial do Brasil em Banco de Dados Geográficos
Command Correction for Teleoperation using Reinforcment Learning
Hush: A Lua-Based Shell Language
Auditory Annoyance Source Localization in Images via Sound Propagation Estimation
Data augmentation para Treinamento da CoDAGAN 3D
Aplicativo Android Controlador de dispositivos Internet das Coisas
Análise do Criptossistema de McEliece
Plataforma distribuída para detecção não supervisionada de anomalias em grandes volumes de dados
Jotai: a Methodology for the Generation of Executable C Benchmarks
Contando Grafos de Forma Algébrica
Passeios Quânticos em Árvores Subdivididas
Análise Do Ensino De Pensamento Computacional No Ensino Fundamental II