40001016034P5 Programa de Pós-Graduação em Informática: Recent submissions
Itens para a visualização no momento 81-100 of 405
-
Uma condição suficiente para otimização global sem retrocesso
(2018)Resumo: Um problema de satisfação de restrições (CSP, do inglês constraint satisfaction problem) consiste em encontrar uma atribuição de valores a um conjunto de variáveis que satisfaça uma rede de restrições. Técnicas de ... -
Classificação de séries temporais por meio da transformada Shapelet
(2018)Resumo: O aumento dos dados coletados ao longo dos últimos anos despertou o interesse de vários pesquisadores em diferentes áreas de conhecimento concernente à análise de dados. Consequentemente, algoritmos de mineração ... -
Automatic detection for acute lymphoid leukemia images based non local region approach
(2018)Resumo: A leucemia linfoide aguda (LLA) é o tipo de câncer mais comum a se manifestar na infância, apesar de apresentar rápida evolução em seu quadro clínico a LLA possui relativamente baixa mortalidade quando identificada ... -
URF (Framework Unificado de Robótica) : proposta de interface para sistemas distribuídos
(2017)Resumo: Em robótica, sistemas distribuídos têm sido utilizados para organizar os projetos de software em módulos, facilitando o desenvolvimento, compartilhamento, manutenção e testes. No entanto, esta modularização traz o ... -
Tolerância a falhas em sistemas MPI com grupos dinâmicos de processos recomendados e registro de mensagens distribuído baseado em paxos
(2017)Resumo: Os sistemas HPC (High-Performance Computing) são geralmente empregados para executar aplicações de longa duração, incluindo, por exemplo, simulações científicas e industriais complexas. Construir sistemas HPC ... -
Tecnologias digitais para uso nas Escolas Públicas de Educação Básica : tv multimídia
(2016)Resumo: Esta dissertação apresenta um panorama do uso de tecnologias digitais pelas escolas públicas de Educação Básica, municipais e estaduais. O levantamento, realizado em 2012, permitiu confirmar que, no Brasil, o ... -
Técnicas probabilísticas aplicadas em algoritmos de aproximação
(2016)Resumo: Pesquisadores e cientistas têm percebido cada vez mais que a aleatoriedade é um componente essencial na modelagem e análise da natureza. Na ciência da computação não é diferente: o uso da aleatoriedade e de métodos ... -
SPST-Index : a self pruning splay tree index for database cracking
(2017)Resumo: Em Database Cracking, uma coluna de banco de dados se organiza fisicamente, de maneira autônoma, em partições, um índice é então criado para otimizar o acesso a essas partições. A árvore AVL é a estrutura de dados ... -
Um sistema de identificação antecipada e transmissão prioritária de alertas médicos sobre WBANs e WLANs
(2017)Resumo: Os aplicativos e dispositivos móveis têm sido cada vez mais utilizados no monitoramento dos cuidados com a saúde, como no acompanhamento de atividades físicas. Em 2016, cerca de 7 milhões de pessoas foram monitoradas ... -
Sfreemap : mapeamento estocástico de árvores filogenéticas livres de simualações
(2016)Resumo: Desde que Charles Darwin revolucionou a biologia em 1859 com "A Origem das Espécies", a árvore da vida vem crescendo e seus ramos são gradativamente preenchidos e catalogados. Inicialmente um esforço exclusivo da ... -
Sequenciamento inteligente e adaptativo de enunciados em programação de computadores
(2016)Resumo: A presente dissertação detalha uma abordagem para tratar do sequenciamento inteligente e adaptativo de enunciados, considerando a modelagem dinâmica do aprendiz, no domínio de Programação de Computadores. A metodologia ... -
Sequenciamento adaptativo de exercícios baseado na correspondência entre a dificuldade da solução e o desempenho dinâmico do aprendiz
(2015)Resumo: A perícia do aprendiz geralmente e desenvolvida através da resolução de exercícios que requerem um conjunto de habilidades avaliadas, tanto no sistema educacional de sala de aula convencional quanto em sistemas de ... -
Um repositório chave-valor com garantia de localidade de dados
(2016)Resumo: Grandes volumes de dados produzidos diariamente trouxeram desafios envolvendo a definição de formas eficientes de como extraí-los, armazená-los e acessá-los. Entretanto, soluções tradicionais de bancos de dados não ... -
Uma plataforma robusta para gerência de recursos em nuvens IaaS
(2016)Resumo: Neste trabalho e descrita uma plataforma robusta para gerência de recursos em nuvens IaaS (Infrastructure as a Service). A plataforma e construída sobre o Aurora Cloud Manager, que e um gerenciador de nuvem IaaS ... -
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 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 de proveniência para extração de tendências em séries temporais
(2014)Resumo: Muitas áreas do conhecimento estão relacionadas com a análise de séries temporais, as quais são constituídas por uma sequencia de observações de dados sobre o tempo. A análise de séries temporais difere da análise ... -
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 ... -
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 ... -
Reduzindo colisões em redes locais sem fio através do alargamento das janelas de contenção por encurtamento dos slots e da divisão de tempo
(2017)Resumo: As Redes Locais Sem Fio (RLSF) são uma das principais formas de acesso à rede mundial de computadores na atualidade, presentes em praticamente todos os grandes centros urbanos. Contudo, a próxima geração de RLSF ...