Follow
Jefferson O. Andrade
Jefferson O. Andrade
Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo
Verified email at ifes.edu.br - Homepage
Title
Cited by
Cited by
Year
Eye movements biometrics: A bibliometric analysis from 2004 to 2019
ARA Brasil, JO Andrade, KS Komati
arXiv preprint arXiv:2006.01310, 2020
162020
Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal
JO Andrade, M Canese
Brazilian Symposium on Computers in Education (Simpósio Brasileiro de …, 2013
112013
Elementar: Aplicando Gamificação ao Processo de Ensino-Aprendizagem da Lógica Formal.
J Andrade, M Canese
Conferencias LACLO 4 (1), 2013
52013
Texture classification of sea turtle shell based on color features: color histograms and chromaticity moments
WR da Paixao, TM Paixao, MCB da Costa, JO Andrade, FG Pereira, ...
International Journal of Artificial Intelligence and Applications (IJAIA) 9 …, 2018
42018
Manejo de fertilizantes
L Torres, F Valverde, J Andrade
Centro Internacional de la papa (CIP)-Instituto Nacional de Investigaciones …, 2012
42012
Manejo de suelo
L Torres, F Valverde, J Andrade
Perú: CIP. Disponible en URL: https://cipotato. org/es/cip-quito/informacion …, 2011
42011
A direct algorithm for multi-valued bounded model checking
JO Andrade, Y Kameyama
International Symposium on Automated Technology for Verification and …, 2008
42008
An exploratory study of biometrics using eye movement trajectory images collected by natural image stimuli
A Brasil, J Andrade, L Pinto, K Komati
Anais do XLVII Seminário Integrado de Software e Hardware, 25-36, 2020
32020
Efficient multi-valued bounded model checking for LTL over quasi-boolean algebras
JO Andrade, Y Kameyama
IEICE transactions on information and systems 95 (5), 1355-1364, 2012
32012
Análise das letras das músicas brasileiras mais tocadas nas rádios das Ultimas seis décadas
IL Trindade, LC Resendo, JO Andrade, KS Komati
Anais Estendidos do XXXVI Simpósio Brasileiro de Bancos de Dados, 1-7, 2021
22021
Desenvolvimento de mudas de melancia cultivadas em substratos alternativos
AGF Vasconcelos, AF Vasconcelos, AD Ferreira, MF Beviláqua, CX Pinto, ...
AGRONOMIA: JORNADAS CIENTÍFICAS-VOLUME 1 1 (1), 221-226, 2020
22020
Multi-Valued Bounded Model Checking
JO Andrade, T Yonezaway
Graduate School of Systems and Information Engineering, University of Tsukuba, 2006
22006
Olhar à unidualidade do casal
SRA Silva, TVS Nascimento, RR Jimenez, RL Silva, RB Leite, ES Marinho, ...
CIÊNCIAS DAS RELIGIÕES: UMA ANÁLISE TRANSDISCIPLINAR-VOLUME 2 2 (1), 176-192, 2021
12021
Geração Semiautomática de Valores de Referência para Identificação de Obstruções em Lingotamento Contínuo
LR Ramos, KS Komati, F de Assis Boldt, JO Andrade
Anais do XLVII Seminário Integrado de Software e Hardware, 116-127, 2020
12020
An algorithm for bounded multi-valued model checking
JO Andrade
Proc. 4th Symposium on Science and Technology for System Verification (DSW …, 2007
12007
Tecnologia vestível para detecção de GLP e monóxido de carbono do ambiente
MEM Araujo, MWA Santos, LT Nascimento, PD Boina, JO Andrade, ...
Ciência da Computação Tecnologias, 0
1
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
EHP Souza, VM de Oliveira, JO Andrade, KS Komati
Anais da XI Escola Regional de Informática de Goiás, 2023
2023
Cross-Database in Deepfake Detection Based on a Convolutional Neural Network and Vision Transformer
EE Ferreira, JO Andrade, KS Komati
Anais do XVIII Workshop de Visão Computacional, 60-65, 2023
2023
MAPEAMENTO DAS NOTAS DO ENEM POR MUNICÍPIO DO ESPÍRITO SANTO
GS Sales, JO Andrade, KS Komati
Educere-Revista da Educação da UNIPAR 23 (3), 1495-1515, 2023
2023
Contagem de Fibras em Imagens de Tomografia Ultrassônica em Matriz Cimentária usando Laplacian of Gaussian
DIRB Braga, CK Dominicini, JO Andrade, RGM de Andrade, KS Komati
Anais do X Encontro Nacional de Computação dos Institutos Federais, 37-44, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20