Teses: Recent submissions
Itens para a visualização no momento 21-40 of 134
-
Geração de códigos de simulação para armazenamento de dados em redes de sensores sem fio
(2018)Resumo: Esta tese apresenta um estudo sobre as dificuldades comuns encontradas pelos desenvolvedores de sistemas de armazenamento em ambientes de simulação de redes de sensores sem fio (RSSFs). Os atuais métodos de ... -
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 ... -
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 ... -
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 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 ... -
Proposta de um modelo computacional para representação de sinais em uma arquitetura de serviços HCI-SL para línguas de sinais
(2015)Resumo: A falta de acesso à informação e ao conhecimento científico tem sido um grande obstáculo enfrentado por algumas comunidades minoritárias. Este é o caso das comunidades de Surdos que, historicamente, têm sofrido ... -
Pesquisa-ação na construção de insumos conceituais para um ambiente computacional de apoio ao letramento bilíngue de crianças surdas
(2014)Resumo: O letramento bilíngue, nosso pressuposto para os surdos, consiste em fazer uso da Língua de Sinais (L1) para o aprendizado de uma segunda língua oral na modalidade escrita, no contexto brasileiro, a Língua Portuguesa ... -
Parallel GPU algorithms for compressed implicit octrees
(2015)Resumo: O algoritmo Barnes-Hut é um método aproximado amplamente usado para na simulação gravitacional de N-Corpos, que envolve a construção e eaminliamento de árvores esparsas a cada passo de simulação e assim reduzindo ... -
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 ... -
Innovative hybrid MOEA/D variants for solving multi-objective combinatorial optimization problems
(2017)Resumo: Muitos problemas do mundo real podem ser representados como um problema de otimização combinatória. Muitas vezes, estes problemas são caracterizados pelo grande número de variáveis e pela presença de múltiplos ... -
Informática educacional e a mediação do erro na educação : um estudo teórico-crítico e uma proposta de instrumento computacional
(2015)Resumo: O problema central da mediação do erro na educação escolar e possíveis contribuições da Informática Educativa são expostos de maneira crítica. Embora inúmeras pesquisas e abordagens pedagógicas salientem o importante ... -
Normalisation of imprecise temporal expressions extracted from text
(2016)Resumo: Técnicas e sistemas de extração de informações são capazes de lidar com a crescente quantidade de dados não estruturados disponíveis hoje em dia. A informação temporal está entre os diferentes tipos de informações ... -
Gestão de informações médicas em unidades básicas de saúde : análise de um caso real e proposta de um modelo de controle de uso de informações médicas sensível ao contexto
(2017)Resumo: No Brasil, o Setor Primário de atendimento de saúde que corresponde às Unidades Básicas de Saúde - UBS, estão, atualmente, em processo de evolução digital. Os prontuários Eletrônicos - PE são direcionados apenas ... -
Gerenciamento de conectividade segura e contínua em redes de acesso heterogêneas
(2014)Resumo: A popularização dos dispositivos computacionais portáteis com suporte à conexão de diferentes tecnologias de comunicação e a proliferação das redes de acesso heterogêneas aumentam as demandas por conexão ubíqua. ... -
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. ... -
Controle de acesso baseado em criptografia para a distribuição segura de conteúdo multimídia em redes centradas de informação
(2016)Resumo: O uso cada vez maior da Internet destaca o seu grande sucesso, mas também revela as deficiências de uma arquitetura que sustenta uma rede de distribuição de conteúdo com um modelo inicialmente planejado para a ... -
Construindo sistemas distribuídos tolerantes a falhas e eficientes em redes SDN com NFV
(2017)Resumo: Os sistemas de virtualização estão mudando a maneira de projetar e operar as redes de computadores. A Virtualização de Funções de Rede (NFV - Network Function Virtualization) é uma tecnologia emergente que implementa, ... -
Communication patterns abstractions for programming SDN to optimize high-performance computing applications
(2017)Resumo: A evolução da computação e das redes permitiu que múltiplos computadores fossem interconectados, agregando seus poderes de processamento para formar uma computação de alto desempenho (HPC). As aplicações que são ... -
Biometric identification with 3D fingerprints acquired through optical coherence tomography
(2016)Resumo: Um método para se obter impressões digitais 3D da derme e da epiderme a partir de imagens em alta resolução adquiridas utilizando Tomografia de Coerência Ótica (OCT) é proposto neste trabalho. Este método, resolve ...