Navegação 40001016034P5 Programa de Pós-Graduação em Informática por título
Itens para a visualização no momento 269-288 of 483
-
Um mecanismo de compressão de dados local em tempo real energeticamente eficiente para redes WBANS
(2020)Resumo: A evolução das tecnologias sem fio tem possibilitado a criação de diversos tipos de redes para suportar os serviços do dia-a-dia das pessoas. Entre as redes voltadas para o monitoramento dos cuidados com a saúde, ... -
Um mecanismo de defesa contra ataques traffic side-channel temporais no contexto da IOT
(2020)Resumo: A Internet das Coisas (IoT) visa conectar objetos à Internet para prestar serviços inovadores, como por exemplo, o monitoramento da saúde através de dispositivos vestíveis conectados. Entretanto, devido à natureza ... -
Medidas de conectividade baseadas em cortes de vértices para redes complexas
(2011-10-25)Resumo: As redes complexas foram propostas para modelar qualquer sistema que possua várias partes discretas que interajam entre si. Devido a essa generalidade elas são aplicadas a diversas áreas do conhecimento. Em redes ... -
Meta : um método para avaliação de tecnologias educacionais acessíveis sob a perspectiva do design universal
(2021)Resumo: A literatura científica e movimentos da sociedade apontam para a necessidade de promover a igualdade de oportunidades no ambiente escolar, que deve considerar aspectos de inclusão e acessibilidade dos recursos ... -
Meta-heurísticas e hiper-heurísticas aplicadas ao problema de dobramento de proteínas
(2017)Resumo: Proteínas são estruturas, compostas por aminoácidos, que exercem um papel importante na natureza. Estas estruturas são formadas a partir de um processo de dobramento, no qual uma sequência de aminoácidos inicialmente ... -
Meta-regressão para a previsão de erros em séries temporais
(2021)Resumo: A presença de séries temporais em governos, pesquisas e empresas cresceu devido ao aumento da captura, processamento e armazenamento de dados. Por outro lado, existem vários modelos preditivos para cada serie ... -
Metodologia baseada em visão computacional e aprendizagem de máquina para guiar o projeto de sistemas de comunicação aumentativa e alternativa usando interação gestual personalizada
(2020)Resumo: A comunicação verbal é essencial para a socialização, construção e compartilhamento de conhecimento em uma sociedade. Pessoas que apresentam comprometimento de fala podem apresentar dificuldades de interação e ... -
Uma metodologia incremental de teste de estresse de Banco de Dados Transacional de grande escala
(2011-08-26)Resumo: O uso de sistemas de grande escala é cada vez mais comum nos mais diferentes tipos de aplicação e requerem Sistemas Gerenciadores de Banco de Dados (SGBD) robustos e de alta escalabilidade. Neste contexto, é ... -
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 ...