herbert oliveira rocha

DCC - DEP. DE CIENCIA DA COMPUTACAO

Produção Intelectual

Coordenação de Bases de Pesquisa (1)

• 05/2019 PRojeto e desenvolvImento de Sistemas eMbarcados otimizados e seguros - PRISM,

Trabalho de Fim de Curso(40)

• Verificação de Propriedades de Gerenciamento de Memória de Programas em C Baseado em Transformações de Código, RAFAEL SÁ MENEZES , 03/2017
• VERIFICAÇÃO DE PROPRIEDADES DE GERENCIAMENTO DE MEMÓRIA DE PROGRAMAS EM C BASEADO EM TRANSFORMAÇÕES DE CÓDIGO, RAFAEL SÁ MENEZES , 08/2017
• A UTILIZAÇÃO DO SOFTWARE TUXMATH COMO FERRAMENTA DE APOIO AO ENSINO DA MATEMÁTICA NO 4º ANO DAS SERIES INICIAIS, LIDINALVA LIMA BARROS ALENCAR , 01/2018
• O USO DE APLICATIVOS EDUCACIONAL LIVRE PARA DISPOSITIVOS MÓVEIS, COMO FERRAMENTA DE ENSINO-PRENDIZAGEM NO PROCESSO DE REFORÇO PARA O LETRAMENTO , SILVANA ALVES DA SILVA , 01/2018
• A UTILIZAÇÃO DA FERRAMENTA KBRUCH COMO REFORÇO NO ENSINO DE FRAÇÕES PARA OS ALUNOS DO 5º ANO, ERCIANE BARROS DA CRUZ , 01/2018
• ANÁLISE DO USO DE EDITORES DE TEXTO COM CORRETORES ORTOGRÁFICOS E SINTÁTICOS NA PRODUÇÃO TEXTUAL COMO FERRAMENTA DE REFORÇO PARA OS ALUNOS DA EJA, MARINEUZA BRANDT DE OLIVEIRA , 01/2018
• O USO DO SOFTWARE GERADOR DE CAÇA-PALAVRAS PARA AUXILIAR NO PROCESSO ENSINO APRENDIZAGEM DO SUBSTANTIVO, ADJETIVO E VERBO NA DISCIPLINA DE LÍNGUA PORTUGUESA, CAMILA FERNANDA MARQUES FERREIRA , 01/2018
• A utilização do Portal Web Só Português para ensino de língua portuguesa: uma proposta para consolidação de assuntos da disciplina nas séries do Ensino Fundamental II , GLAYCIANE FÉLIX DE BRITO , 01/2018
• HAND.IO: UMA LUVA PARA CONTROLE DE DISPOSITOVOS ELETRO-ELETRÔNICOS UTILIZANDO RECONHECIMENTO DE GESTOS, JOÃO PAULO VERÇOSA PINTO , 07/2018
• Automail-X: Prótese Robótica Autônoma para a Previsão de Movimentos de Caminhada baseada em Padrões Musculares, RODRIGO DOS SANTOS TAVARES , 07/2018
• O SOFTWARE GERADOR DE CAÇA-PALAVRAS PARA AUXILIAR NO PROCESSO ENSINO APRENDIZAGEM DO SUBSTANTIVO, ADJETIVO E VERBO NA DISCIPLINA DE LÍNGUA PORTUGUESA PARA ALUNOS DO 6o. ANO, CAMILA FERNANDA MARQUES FERREIRA , 07/2018
• KRAKEN: DETECÇÃO DE OBJETOS PARCIALMENTE OBSERVÁVEIS EM AMBIENTE AQUÁTICO COM ALTA TURBIDEZ, PEDRO DANIEL DA SILVA GOHL , 07/2018
• VERIFICAÇÃO FORMAL DE CIRCUITOS LÓGICOS BASEADOS EM TRANSFORMAÇÃO DE CÓDIGO COM BOUNDED MODEL CHECKING, KEVIN COSTA AIRES OLIVEIRA , 07/2018
• DCloud - Uma Abordagem para Missões Indoor de Identificação de Pessoas Usando Exames de Drones , FABIO VITOR DE OLIVEIRA NORONHA , 07/2018
• A UTILIZAÇÃO DO PORTAL WEB SÓ PORTUGUÊS PARA O ENSINO DE LÍNGUA PORTUGUESA: UMA PROPOSTA PARA CONSOLIDAÇÃO DO CONTEÚDO SUBSTANTIVO NO 6º ANO DO ENSINO FUNDAMENTAL II, GLAYCIANE FÉLIX DE BRITO , 07/2018
• O USO DE APLICATIVOS EDUCACIONAL LIVRE PARA DISPOSITIVOS MÓVEIS, COMO FERRAMENTA DE ENSINO-APRENDIZAGEM NO PROCESSO DE REFORÇO PARA O LETRAMENTO, SILVANA ALVES DA SILVA , 07/2018
• TCC I, DAYANE DA SILVA PINTO , 12/2018
• Uma Abordagem para Geração de Invariantes de Programas Baseado em Templates para Verificação Eficiente de Programas em C, VICTOR DELUCA ALMIRANTE GOMES , 12/2018
• INext: Um Sistema Computacional para Localização Indoor de Objeto com RFID, LUARKIAN KAYPE DE SOUSA , 12/2018
• TCC I, JANILDA ARAÚJO DA SILVA , 12/2018
• O USO DE SOFTWARES COMO FERRAMENTA NO REFORÇO DA ESCRITA E SINTAXE TEXTUAIS PARA OS ALUNOS DA EJA, MARINEUZA BRANDT DE OLIVEIRA , 12/2018
• CONTRIBUIÇÕES DO JOGO DIGITAL À DESCOBERTA DAS FIGURAS GEOMÉTRICAS NO PROCESSO DE ENSINO E APRENDIZAGEM DA MATEMÁTICA NO ENSINO FUNDAMENTAL, NELLI DE SOUSA LINS , 07/2019
• INEXT: Um Sistema Computacional para Localização Indoor de Objeto com RFID, LUARKIAN KAYPE DE SOUSA , 07/2019
• HAND.IO: UMA LUVA PARA CONTROLE DE DISPOSITIVOS ELETRO-ELETRÔNICOS UTILIZANDO RECONHECIMENTO DE GESTOS, JOÃO PAULO VERÇOSA PINTO , 07/2019
• KRAKEN: DETECÇÃO DE OBJETOS PARCIALMENTE OBSERVÁVEIS EM AMBIENTE AQUÁTICO COM ALTA TURBIDEZ, PEDRO DANIEL DA SILVA GOHL , 07/2019
• Automail X: Simulador de prótese robótica autônoma baseado em previsão de movimentos, RODRIGO DOS SANTOS TAVARES , 07/2019
• VERIFICAÇÃO FORMAL DE CIRCUITOS LÓGICOS BASEADOS EM TRANSFORMAÇÃO DE CÓDIGO COM BOUNDED MODEL CHECKING, KEVIN COSTA AIRES OLIVEIRA , 07/2019
• Uma Abordagem para Geração de Invariantes de Programas Baseado em Templates para Verificação Eficiente de Programas em C, VICTOR DELUCA ALMIRANTE GOMES , 07/2019
• GAN-AGE: Um sistema para geração de imagens baseado em previsão temporal para pessoas desaparecidas, JOÃO PAULO PARREIRA PEIXOTO , 05/2021
• Diagnóstico De Pneumonia Na Infância Utilizando Rede Neural Convolucional Profunda Para Reconhecimento De Padrões Em Imagens De Raio X, LARISSA SANTOS SILVA , 05/2021
• Identificação de Sinal de Compra e Venda de Mini Dolar na Bolsa de Valores usando Classificação de Dados e Análise de Sentimentos, ALLAN CORDEIRO ROCHA DE ARAUJO , 10/2021
• Software de Apoio ao Diagnóstico de Pneumonia na Infância Utilizando Rede Neural Convolucional Profunda para Reconhecimento de Padrões em Imagens de Raio X, LARISSA SANTOS SILVA , 10/2021
• AGE-GAN: Um sistema para geração de imagens baseado em previsão temporal para pessoas desaparecidas, JOÃO PAULO PARREIRA PEIXOTO , 10/2021
• Identificação de Sinal de Compra e Venda de Mini Dólar na Bolsa de Valores usando Classificação de Dados e Análise de Sentimentos, ALLAN CORDEIRO ROCHA DE ARAUJO , 03/2022
• UM LEVANTAMENTO BIBLIOGRÁFICO SOBRE AS TICS NO ENSINO E APRENDIZADO DOS POVOS INDÍGENAS, CALEBE BENTO MAIA , 12/2022
• UM LEVANTAMENTO BIBLIOGRÁFICO SOBRE AS TICS NO ENSINO E APRENDIZADO DOS POVOS INDÍGENAS, SANDRA ANGELA MARTINS , 12/2022
• Aplicativo de visualização de dados meteorológicos utilizando desenvolvimento ágil de software para a produção agropecuária, PEDRO ALEPH GOMES DE SOUZA VASCONCELOS , 07/2023
• PROJETO E DESENVOLVIMENTO DE UM SISTEMA PARA DETECÇÃO DE QUEDAS DE IDOSOS, NATÁLIA RIBEIRO DE ALMADA , 09/2024
• PROJETO E AVALIAÇÃO DE UM SISTEMA PARA USO DE ÔNIBUS UTILIZANDO NFC, LUCAS PRADO RIBEIRO , 09/2024
• Map2Check – Uma Abordagem para Teste de Software, GUILHERME LUCAS PEREIRA BERNARDO , 09/2024