Navegação 40001016034P5 Programa de Pós-Graduação em Informática por título
Itens para a visualização no momento 278-297 of 483
-
Metodologia para a construção do léxico de gestos
(2013)Resumo: A pesquisa descrita neste trabalho destina-se a criação de uma interface de gestos para um museu virtual 3D desenvolvido por um grupo de pesquisa em Processamento de Imagem. A fim de assegurar a adequabilidade dos ... -
Metodologia para extração e seleção de atributos em streams de dados de ataques zero-day
(2020)Resumo: Os ataques zero-day são aqueles cujo comportamento e/ou objetivo não são conhecidos publicamente. Um ataque zero-day pode ser tanto um ataque completamente desconhecido, quanto um ataque conhecido, executado de ... -
Metodologia para implementação de estratégias colaborativas mediadas por ferramentas de interação síncronas
(2013-09-19)Resumo: Neste trabalho é criada e proposta uma metodologia geral com um modelo de processos para a realização de sessões de aprendizagem, considerando um entorno colaborativo com interação síncrona mediada por ferramentas ... -
Um método de coleta e classificação de metadados de produção científica em repositórios digitais institucionais
(2016)Resumo: A agregação da produção científica em um único ambiente digital institucional permite às instituições gerar indicadores internos de produção científica e tecnológica, realizar estudos através da aplicação de ... -
Um método de detecção de vulnerabilidades baseado no tráfego da rede IoT
(2022)Resumo: A Internet das Coisas (do inglês, Internet of Things - IoT) é composta por dispositivos computacionais embarcados em objetos comuns do cotidiano, conectados á Internet. A IoT é um paradigma de rede com dispositivos ... -
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
(2015)Resumo: Ao longo da última década, resolvedores de Satisfatibilidade Booleana (SAT) e Programação Inteira Linear (ILP) melhoraram significativamente com a introdução de novos algoritmos, que permitiram o tratamento de um ... -
Método para verificação de propriedades de redes de petri utilizando resolvedores SMT
(2013-09-13)Resumo: Este trabalho apresenta um método para verificar as propriedades de alcançabilidade e de bloqueio em rede de Petri. Rede de Petri e um modelo formal utilizado para modelar sistemas. O metodo proposto consiste em ... -
Métodos de aprendizado de máquina aplicados a evasão escolar
(2022)Resumo: A evasão escolar pode ser definida como a descontinuação de um estudante no seu ensino, podendo ocorrer de diferentes formas e, esse fenômeno, está cada vez mais presente no cenário do ensino superior, inclusive ... -
Métodos passivos de reconstrução 3D voltados à preservação digital de acervos culturais
(2012-05-23)Resumo: A maioria dos métodos de aquisição que garantem a melhor reconstrução 3D (tridimensional) utiliza-se de scanners de profundidade, também conhecidos como range scanners. Tais métodos são chamados de métodos óticos ... -
Microaer_UFPR : base de imagens de microcystis aeruginosa em água bruta para classificação/detecção de cianobactérias
(2021)Resumo: As cianobactérias representam um problema real que pode ocorrer em reservatórios e mananciais de água utilizados para suprir a população. Sua ocorrência se deve principalmente à eutrofização dos ambientes aquáticos, ... -
MIDET : um método para indexação de eventos de trânsito
(2020)Resumo: No ambiente urbano, os dados coletados a partir de eventos de trânsito podem se tornar elementos de estudo para fomentar o planejamento de cidades e metrópoles. Apesar de muitos dados já terem sido coletados, o ... -
Modelagem do processo de aquisição de conhecimento apoiado por ambientes inteligentes
(2013)Resumo: A presente tese concentra-se em descrever como o conhecimento de alto-nível sobre aspectos de experiência humana pode ser modelado, representado e, então, interpretado a fim de suportar interações de ensino e ... -
Modelagem simbólica de padrões morfológicos para classificação de séries temporais
(2015)Resumo: O contínuo armazenamento de dados ao longo do tempo, tais como séries temporais, tem motivado o desenvolvimento de novas abordagens baseadas em métodos de mineração de dados. Nesse cenário, uma nova área de pesquisa ... -
Modelo computacional e sua implementação para identificação de perfil de personalidade baseado em textos educacionais
(2018)Resumo: A identificacao do perfil de personalidade de alunos, levando em consideracao as diferencas, colabora com os educadores no processo de encontrar situacoes de aprendizagem adequadas para cada aluno. Este processo ... -
Modelo de apoio ao design de ambientes colaborativos para elaboração de conteúdos didáticos /
(2006)Orientadora : Laura Sánchez García -
Modelo de calibração para sistemas de odometria robótica
(2016)Resumo: Para realizar a navegação de uma base robótica em um ambiente desconhecido, alguns mecanismos para detectar o posicionamento e a localização devem ser fornecidos a base. Quando a base está em processo de navegação ... -
Um modelo de descrição computacional da fonologia da língua de sinais brasileira
(2011-06-15)Resumo: A Língua de Sinais Brasileira e a ferramenta necessária aos membros das comunidades de surdos no Brasil para a comunicação, a educação e o acesso á informação, processos imprescindíveis para efetivar a sua inclusão ... -
Um modelo de execução de fluxos de trabalho científico utilizando técnicas de planejamento automático
(2013-06-24)Resumo: Experimentos científicos produzem grande quantidade de informações que necessitam de processamento para uma posterior análise. Um cientista, que não é da área da computação, nem sempre possui as habilidades para ... -
Modelo de inferência dos parâmetros causais : incorporação da probabilidade de conhecimento nas atribuições das causas dos sucessos ou fracassos em atividades cognitivas e sua relação com as ações dos estudantes
(2015)Resumo: O processo cognitivo é uma atividade que envolve vários componentes na aquisição, organização e uso da informação. A aprendizagem é uma tarefa imprecisa uma vez que o processo cognitivo envolve fatores internos dos ... -
Um modelo de otimização para planejamento dinâmico de voo para grupos de drones por meio de sistema multiagente e leilões recursivos
(2020)Resumo: Este trabalho apresenta um modelo aplicado de cooperacao para otimizar voos de veiculos aereos nao tripulados do tipo quadricoptero, tambem conhecidos como Drones, com aplicacao na agricultura de precisao. O modelo ...