Academic output
Publications
Selected scholarly publications, from newest to oldest.
Featured
Grammatical Neuroevolution for Efficient Multivariate Time Series Forecasting
The Jus Programming Language: Towards a Functional Language for Secure and Verifiable Smart Contracts on Tezos
Featured
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
Featured
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
Prediction of the Iron Ore Pellet Abrasion Index using Random Forest
A Study of Steganalysis Techniques in Stego-Images with Embedded Text with 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: Graphical Visualization Tool for Monitoring Users Behavior on 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
Parallelization of Skeletalization of Retinal Background Images in CUDA Architecture
Featured
Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras
A Direct Algorithm for Multi-valued Bounded Model Checking