Produção acadêmica
Publicações
Seleção de publicações científicas, da mais recente para a mais antiga.
Em destaque
Grammatical Neuroevolution for Efficient Multivariate Time Series Forecasting
The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos
Em destaque
Formal Verification of Epistemic States with Uncertainty in Multi-Agent Systems
Comparative Analysis of Machine Learning Models for Misogynistic Hate Speech Detection in Brazilian Portuguese: A Study Using the MINA-BR Dataset
Finite State Machine-Based Smart Contracts on Tezos: A Time-Locked Vault Implementation in Jus
Four-Valued Model Checking for Byzantine Fault Tolerant Consensus Verification
Solar Flare Prediction Using Multivariate Time Series and Cost-Sensitive Machine Learning
Evoluindo Arquiteturas para Previsão de Séries Temporais via Neuroevolução Gramatical
Previsão de Vazão de Rios usando Rede Perceptron Multi-Camada Otimizada por Neural Architecture Search
A Pipeline for Multivariate Time Series Forecasting of Gas Consumption in Pelletization Process
Aplicação do Provador de Teoremas LEAN no Ensino de Lógica Matemática para Alunos de Sistemas de Informação: Um Estudo de Caso
Em destaque
Implementing Neuroevolution for Gas Consumption Forecasting in the Steel Industry
Previsão de nível e vazão de água de um rio usando rede Perceptron Multi-Camada: um estudo de caso do Rio Itapemirim
Cross-Database in Deepfake Detection Based on a Convolutional Neural Network and Vision Transformer
MAPEAMENTO DAS NOTAS DO ENEM POR MUNICÍPIO DO ESPÍRITO SANTO
Deep learning with spectrogram image of eye movement for biometrics
Contagem de Fibras em Imagens de Tomografia Ultrassônica em Matriz Cimentária usando Laplacian of Gaussian
Influenciadores do uso de tecnologia computacional da aprendizagem: uma breve descrição da evolução histórica (parte 2)
Influenciadores do uso de tecnologia computacional na aprendizagem: uma breve descrição da evolução histórica (parte 1)
INTERESSE DOS INTERNAUTAS EM PORTAIS DE NOTÍCIAS BRASILEIROS ENTRE 2017 E 2018
Automatic Musical Transcription Applying Fine-Tuning by Composer in Neural Networks for the MusicNet Database
Classificação de Pneumonia via Imagens de Radiografia de Tórax usando Redes Neurais Convolucionais
Análise de Sobrevivência: um estudo de caso em um Curso de Sistemas de Informação
Análise das Letras das Músicas Brasileiras mais Tocadas nas Rádios das Últimas Seis Décadas
Comparação de APIs de OCR para Reconhecimento de Dígitos em Imagens de Mostrador de Sete Segmentos
Eye Movements Biometrics: a Bibliometric Analysis from 2004 to 2019
Predição do Índice de Abrasão de Pelotas de Minério de Ferro usando Floresta Aleatória
Um Estudo de Técnicas de Esteganálise em Estego-Imagens com TextoEmbutido com LSB
Texture Classification of Sea Turtle Shell based on Color Features: Color Histograms and Chromaticity Moments
Gerenciamento de Informações com QR Code e Código Hash Criptográfico
QuerySocial: Ferramenta de Visualização Gráfica do Monitoramento da Reação dos Usuários no Facebook
Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal
∃lementar: Aplicando Gamificação ao Processo de Ensino-Aprendizagem da Lógica Formal
Paralelização de Esqueletização de Imagens de Fundo de Retina na Arquitetura CUDA
Em destaque
Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras
A Direct Algorithm for Multi-valued Bounded Model Checking