-
Physical Sciences
General Computer Science
-
Physical Sciences
Artificial Intelligence
Jefferson Oliveira ANDRADE.
2023.
Dynamic epistemic logic in neural layer transparency: towards a formal understanding of knowledge evolution in neural networks.
In:
Workshop on automated formal reasoning for trustworthy ai systems (afrits 2023).
Brasil.
-
Social Sciences & Humanities
Information Systems and Management
-
Physical Sciences
General Computer Science
-
Social Sciences & Humanities
General Arts and Humanities
-
Social Sciences & Humanities
Accounting
Thalles Vargas Ribeiro LOPES; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2021.
Comparação de serviços em nuvem para transcrição de fala na língua portuguesa em áudios com sotaques regionais brasileiros.
In:
Ix escola regional de informática de goiás (eri-go 2021).
Brasil.
-
Health Sciences
Epidemiology
André Altivo De OLIVEIRA; Jefferson Oliveira ANDRADE.
2021.
Death rate ? outbreak: estudo de modelos epidemiológicos com aplicação em jogos sérios.
In:
V jornada de integração envolve a iv jornada de ensino; v jornada de extensão; xvi jornada de iniciação científica; desenvolvimento tecnológico e inovação.
Brasil.
-
Physical Sciences
Geotechnical Engineering and Engineering Geology
Vinicius Marques De OLIVEIRA; Karin Satie KOMATI; Jefferson Oliveira ANDRADE.
2021.
Seleção de características de séries temporais multivariadas do consumo de gás na pelotização de minério de ferro.
In:
Xxviii simpósio de engenharia de produção (simpep 2021).
Brasil.
-
Physical Sciences
General Chemical Engineering
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
General Computer Science
João Marcos Mareto CALADO; Jackson Willian Silva AGOSTINHO; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2020.
Um sistema de acompanhamento de egressos usando dados do site escavador.
In:
Xxvii simpósio de engenharia de produção (simpep 2020).
Brasil.
-
Physical Sciences
General Chemical Engineering
Wander Fernandes JÚNIOR; Jefferson Oliveira ANDRADE; Karin Satie KOMATI; Kelly Assis De Souza GAZOLLI.
2020.
Safetyrank: a tool for retrieving safety alerts information using natural language processing.
In:
1st virtual latin american conference on process safety.
Brasil.
-
Social Sciences & Humanities
Transportation
Caíque De Oliveira De SOUZA; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2019.
Vias críticas: ferramenta de apoio à decisão baseado em mapeamento georreferenciado de alertas de sensores iot's em vias de minas.
In:
Xxvi simpósio de engenharia de produção (simpep 2019).
Brasil.
-
Physical Sciences
General Materials Science
Marcio REZENDE; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2019.
Um modelo preditivo para o índice de abrasão de pelotas de minério de ferro.
In:
Xxvi simpósio de engenharia de produção (simpep 2019).
Brasil.
-
Physical Sciences
General Computer Science
Pablo Simões NASCIMENTO; Karin Satie KOMATI; Jefferson Oliveira ANDRADE.
2019.
Modelo preditivo para avaliação de crédito em empréstimos pessoais.
In:
Vii escola regional de informática de goiás 2019 (vii erigo 2019).
Brasil.
-
Social Sciences & Humanities
Accounting
João Marcos Mareto CALADO; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2019.
Uma proposta para o problema de cross-system personalization de redes sociais usando árvores de decisão e floresta aleatória.
In:
I simpósio dos programas de pós-graduação do ifes (sppg 2019).
Brasil.
-
Physical Sciences
Computer Science Applications
Antonio Adolfo Gaburro SILVEIRA; Jefferson Oliveira ANDRADE.
2019.
Um estudo sobre a classificação de risco em pronto atendimento utilizando o método knn.
In:
Ii congresso de tecnologia da informação do ifsul passo fundo.
Brasil.
-
Social Sciences & Humanities
Accounting
Lucas Caetano POSSATTI; Gilberto Neves Sudré FILHO; Leandro Colombi RESENDO; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2017.
Uma análise comparativa de ferramentas de esteganálise em estego-imagens com texto embutido.
In:
Workshop de trabalhos de iniciação científica e de graduação (wticg) do xvii simpósio brasileiro em segurança da informação e de sistemas computacionais (sbseg 2017).
Brasil.
-
Physical Sciences
General Computer Science
Vinícius Da Rocha MOTTA; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2016.
Detection and tracking of pedestrians and cyclists on a beach promenade - naive method.
In:
Xii workshop de visão computacional (wvc 2016).
Brasil.
-
Health Sciences
Speech and Hearing
Renan Costa NASCIMENTO; Karin Satie KOMATI.
2015.
Um sistema móvel de dicção de palavras para tratamento de disfemia.
In:
X jornada de iniciação científica; desenvolvimento tecnológico e inovação do ifes.
Brasil.
-
Social Sciences & Humanities
Geography, Planning and Development
Maria Luiza Guimarães SILVA; Edvaldo Cordeiro MANTOVANELLI; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2014.
Uma aplicação baseada em sig para análise de infrações cometidas por menores infratores: estudo de caso no município de vitória no estado do espírito santo.
In:
X escola regional de banco de dados (erbd 2014).
Brasil.
-
Social Sciences & Humanities
Accounting
Eduardo Rigamonte COSTA; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2014.
Aplicações seguras no uso de qr code: dois estudos de caso.
In:
Xiv simpósio brasileiro em segurança da informação e de sistemas computacionais (sbseg 2014) - viii workshop de trabalhos de iniciação científica e de graduação.
Brasil.
-
Physical Sciences
General Computer Science
João Eduardo Tozzi De SOUZA; Flavio Severiano Lamas De SOUZA; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2014.
Análise de desempenho de um algoritmo de esqueletização de imagens em arquitetura nvidia cuda.
In:
I congresso de ensino; pesquisa e extensão - conepe.
Brasil.
-
Social Sciences & Humanities
Education
Jefferson Oliveira ANDRADE; Karin Satie KOMATI; Flavio Severiano Lamas De SOUZA; José Alexandre De Souza GADIOLI; Marta CANESE.
2013.
Elementar: uma proposta de gamificação do ensino de lógica matemática.
In:
2º seminário nacional de inclusão digital (senid 2013).
Brasil.
-
Physical Sciences
General Computer Science
Flavio Severiano Lamas De SOUZA; Jefferson Oliveira ANDRADE.
2013.
Análise do uso de jogos em salas de aulas para avaliar aprendizado de disciplinas de programação.
In:
2º seminário nacional de inclusão digital (senid 2013).
Brasil.
-
Physical Sciences
General Computer Science
Carlos F S F MENDES; Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2013.
Car detection in images of urban environments using sliding window and histogram of oriented gradients.
In:
Ix workshop de visão computacional (wvc 2013).
Brasil.
-
Physical Sciences
General Computer Science
Jefferson Oliveira ANDRADE; Marta CANESE.
2013.
Elementar: aplicando gamificação ao processo de ensino-aprendizagem da lógica formal.
In:
Eighth latin american conference on learning objects and technologies.
Chile.
-
Physical Sciences
General Computer Science
Jefferson Oliveira ANDRADE; Marta CANESE.
2013.
Um sistema web gamificado para a aprendizagem de lógica formal.
In:
Simpósio brasileiro de informática na educação.
Brasil.
-
Physical Sciences
Industrial and Manufacturing Engineering
José Alexandre De Souza GADIOLI; Fábio Almeida CÓ; Almir MILANESI; Jefferson Oliveira ANDRADE; Leivisgton Jansen Silvestre LEITÃO.
2012.
O uso de jogo jit card como estratégia de ensino aprendizagem de serviços de manutenção industrial.
In:
Xix simpósio de engenharia de produção (simpep).
Brasil.
-
Physical Sciences
Information Systems
Karin Satie KOMATI; Eduardo Rigamonte COSTA; Jefferson Oliveira ANDRADE.
2012.
Gerenciamento de informações com qr code e código hash criptográfico.
In:
Xix simpósio de engenharia de produção (simpep).
Brasil.
-
Social Sciences & Humanities
Information Systems and Management
Lucas Coutinho De Souza OLIVEIRA; Karin Satie KOMATI; Jefferson Oliveira ANDRADE; Flavio Severiano Lamas De SOUZA.
2012.
Análise de ferramentas de identificação de músicas para apoio à produção multimídia.
In:
Iii encontro anual de tecnologia da informação (eati 2012).
Brasil.
-
Physical Sciences
General Computer Science
Flavio Severiano Lamas De SOUZA; Jefferson Oliveira ANDRADE; Fábio Almeida CÓ.
2012.
Estudo do uso de jogos para avaliar aprendizado de disciplinas de programação.
In:
Iii encontro anual de tecnologia da informação (eati 2012).
Brasil.
-
Physical Sciences
General Computer Science
-
Physical Sciences
General Computer Science
Jefferson Oliveira ANDRADE; Yukiyoshi KAMEYAMA.
2008.
Extending multi-valued bounded model checking.
In:
25th conference of the japan society for software science and technology.
Japão.
-
Physical Sciences
General Computer Science
Jefferson Oliveira ANDRADE; Yukiyoshi KAMEYAMA.
2007.
An algorithm for bounded multi-valued model checking.
In:
4th symposium on science and technology for system verification.
Japão.
-
Physical Sciences
General Computer Science
Jefferson Oliveira ANDRADE; Karin Satie KOMATI.
2004.
Usando objetos distribuídos para construção de um framework para provadores de teoremas.
In:
Infocefet2004 ii simpósio de informática do cefet-pi.
Brasil.