Programa de Pós-Graduação em Informática
Recent Submissions
-
Otimização de escalonamento Halide através de aprendizado por reforço
(2019)Resumo: Escrever programas que usufruam da melhor maneira a capacidade de processamento oferecida por uma determinada arquitetura de hardware não é uma tarefa trivial e tornase cada vez mais trabalhosa à medida em que ... -
Um protocolo de autorização para internet das coisas baseado em atributos e informações de contexto
(2019)Resumo: Com a Internet das Coisas, a ubiquidade de dispositivos cresce a cada dia. Controlar e garantir comunicação segura e amigável ao usuário final continua um desafio. Este trabalho propõe um protocolo de autorização ... -
Gherkin Specification Extension : uma linguagem de especificação de requisitos baseada em Gherkin
(2019)Resumo: O desenvolvimento de software e composto de varias fases, entre elas esta a fase de elicitacao, negociacao e validacao de requisitos. Nesta fase, geralmente utiliza-se linguagem natural para definir e negociar os ... -
Spatio-temporal centroid based sign language facial expressions for animation synthesis in virtual environment
(2019)Resumo: Formalmente reconhecida como segunda lingua oficial brasileira, a BSL, ou Libras, conta hoje com muitas aplicacoes computacionais que integram a comunidade surda nas atividades cotidianas, oferecendo interpretes ... -
A transformada esparsa de Fourier e sua aplicação na extraçao de características de imagens
(2018)Resumo: Separar uma função complexa em uma série de funções mais simples simplificou o estudo de muitas área na ciência e na engenharia. Este processo ficou conhecido como transformada de Fourier, ou transformada discreta ... -
Recurso de tecnologia assistiva vestível para rastreamento do olhar
(2019)Resumo: Pessoas com deficiência têm dificuldade de interagir com o ambiente que vivem, devido as limitações ocasionadas pela deficiência. Atividades simples como ligar uma TV ou qualquer outro equipamento, de forma ... -
Expressão facial em personagens animados : auxiliando crianças com transtorno do espectro autista
(2018)Resumo: As expressões faciais desempenham um papel essencial na relação entre seres humanos, desde os primeiros meses de vida já são utilizadas como indicadores para a comunicação com seus familiares. A compreensão de ... -
Uma especialização do Yolov3 para detecção de pedestres
(2019)Resumo: A Detecção de Pedestres é uma tarefa da Visão Computacional que trabalha na localização de pedestres em imagens/vídeos para aplicações como assistência de direção, videomonitoramento, interfaces humanas, veículos ... -
Conceitos e ferramentas de autoria para representação da visão estratégica baseada em padrões e busca em jogos heurísticos adversaristas
(2018)Resumo: A presente tese apresenta novos conceitos e ferramentas de software para dar suporte à formalização de conhecimento no nível de visão estratégica. No Xadrez, por exemplo, é a visão estratégica que permite ao ... -
Automatic identification of phasic dopamine release
(2019)Resumo: O estudo e análise da liberação de dopamina (DA) no organismo são de grande importância devido ao fato deste neurotransmissor influenciar diretamente processos como os de aprendizado e dependência de drogas, além ... -
Abordagens livres de segmentação para reconhecimento automático de cadeias numéricas manuscritas utilizando aprendizado profundo
(2019)Resumo: Nas ultimas decadas, o reconhecimento de cadeias numericas manuscritas tem sido abordado de maneira similar por varios autores, no que se refere ao tratamento de digitos conectados. A necessidade de segmentar esses ... -
Grafos biclique de grafos de bi-intervalos e bi-arco-circulares
(2018)Resumo: Um modelo bipartido de intervalos é uma bipartição de um número finito de intervalos da reta real. Um modelo bipartido arco-circular é uma bipartição de um número finito de arcos num círculo. Um grafo de bi-intervalos ... -
Diagnóstico de Imunoensaios de fluxo lateral por meio de reconhecimento de padrões
(2018)Resumo: Os testes imunologicos rapidos, ou lateral flow immunoassays (LFIA), sao testes simples, que geram uma resposta rapida e sem que, para isso, tenham que passar por processos laboratoriais. Os testes para deteccao ... -
Core-SL-SW-generator : gerador automático da escrita da libras a partir de um modelo de especificação formal dos sinais
(2018)Resumo: Os seres humanos são capazes de interagir com outras pessoas, acessar o conhecimento e desenvolver seu intelecto por meio da sua língua preferencial. Sendo assim, as pessoas que não utilizam essa forma de comunicação ... -
Core-SL-Sign Register : ferramenta computacional para a especificação de sinais da libras
(2018)Resumo: A Arquitetura de Interação Humano-Computador em Língua de Sinais (HCI-SL - Human Computer Interaction in Sign Language) foi criada com o objetivo de proporcionar o arcabouço necessário ao desenvolvimento de ferramentas ... -
Avaliação de técnicas de análise de texturas para classificação de famílias de malware
(2018)Resumo: A quantidade de variantes de arquivos maliciosos lançadas diariamente já fez com que a análise manual de malware se tornasse inviável há algum tempo. Para isso, foram propostos diversos tipos de análise automatizadas, ... -
Armazenamento otimizado de dados RDF em um SGBD relacional
(2017)Resumo: A Web Semântica tem por objetivo tornar compreensíveis as informações disponíveis na Internet para as máquinas. O RDF é o modelo de dados padrão para a Web Semântica. Bases RDF são compostas por triplas (sujeito, ... -
Fiscalização da neutralidade da rede e seu impacto na evolução da internet
(2017)Resumo: Desde 2002 temos presenciado um longo e controverso debate mundial sobre a Neutralidade da Rede, tema que envolve aspectos políticos, legais, econômicos, sociais, éticos, técnicos e de competitividade e inovação. ... -
Using NLP to generate user stories from software specification in natural language
(2018)Resumo: O processo de elicitar as Histórias de Usuário requeridas para o desenvolvimento de software exige tempo e dedicação, e pode apresentar muito retrabalho se as conversas com partes interessadas não fornecerem ... -
Sentinel : a multi-objective hyper-heuristic approach for the automatic generation of mutant reduction strategies
(2018)Resumo: O Teste de Mutação utiliza programas mutantes gerados com pequenas modificações no programa em teste. Tais modificações são produzidas por operadores de mutação que descrevem possíveis defeitos. O objetivo é matar ...
RSS 1.0