Navegação 40001016034P5 Programa de Pós-Graduação em Informática por título
Itens para a visualização no momento 291-310 of 491
-
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 ... -
Um modelo de provisionamento elástico de recursos baseado em níveis de estresse
(2016)Resumo: A computação em nuvem pode ser definida como um modelo de compartilhamento de recursos computacionais,que podem ser adicionados e removidos de forma dinâmica e elástica possibilitando ajustar os recursos alocados ... -
Um modelo para gerenciamento de transações com controle de cache em um repositório chave-valor
(2017)Resumo: As estratégias mais comuns para alocação de dados em sistemas distribuídos são as tabelas de dispersão distribuídas (DHT) e os sistemas de diretórios distribuídos. As DHTs garantem escalabilidade, porém não dão às ... -
Um modelo para resolução de conflitos sobre repositório de dados XML
(2011-01-03)Resumo: Garantir a qualidade dos dados quando se deseja manter informações provenientes de fontes heterogêneas é um desafio. Os dados importados destas fontes podem conter redundâncias, inconsistências ou ainda estar ... -
Modelos de gerenciamento de enclaves para execução segura de componentes de software
(2020)Resumo: A confidencialidade dos dados está se mostrando cada vez mais importante para os usuários de computadores, seja em um ambiente corporativo ou até mesmo em um ambiente doméstico. Atualmente, não somente dados sensíveis ... -
Modelos multivariados de covariância linear generalizada em Python : a biblioteca MCGLM
(2023)Resumo: O advento da computação é fundamental ao desenvolvimento da Estatística; a Computação viabilizou modelos estatísticos, impulsionou a pesquisa e permitiu a distribuição de bibliotecas em larga-escala. Não obstante, ...