Navegação Teses por data do documento
Itens para a visualização no momento 21-40 of 140
-
Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
(2014)Resumo: Uma das grandes vantagens dos sistemas distribuídos é o compartilhamento de recursos. No entanto, diversos processos podem solicitar o acesso a um recurso compartilhado de forma concorrente e, em certos casos, é ... -
O uso de múltiplos enxames na otimização de problemas com vários objetivos
(2014)Resumo: A computação bioinspirada permite a resolução de uma gama de problemas computacionais. Dentre as várias meta-heurísticas existentes, o algoritmo PSO (Particle Swarm Optimization) tem sido aplicado eficientemente ... -
Uma abordagem semântica baseada em ontologia para sintonia de parâmetros : um estudo de caso para MapReduce
(2014)Resumo: MapReduce é um framework para processamento de grandes volumes de dados; e Hadoop é a sua implementação de código aberto mais conhecida e utilizada. Hadoop possui mais de uma centena de parâmetros de configuração ... -
Afinidade de tipos de aplicações em nuvens computacionais
(2014)Resumo: O aumento do uso de ambientes virtualizados tem levado à inúmeras pesquisas sobre as possibilidades e restrições de seu uso na computação em nuvem ou para consolidação de recursos. Entretanto, a maioria destes ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
ArqMAEC: um modelo arquitetural baseado em Agentes para monitorar, avaliar e estimular a colaboração em ambientes educacionais gamificados
(2016)Resumo: A Aprendizagem Colaborativa tem sido estudada e apresentada a comunidade acadêmica como um grande sucesso para o ensino-aprendizagem, porém são poucas as ferramentas automatizadas para monitorar, avaliar e estimular ... -
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 ... -
On indexing highly dynamic multidimensional datasets for interactive analytics
(2016)Resumo: Indexação de dados multidimensionais tem sido extensivamente pesquisada nas últimas décadas. Neste trabalho, um novo workload OLAP identificado no Facebook é apresentado, caracterizado por (a) alta dinamicidade e ... -
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 ... -
Um arcabouço para resiliência de sistemas em rede por conformação de agrupamentos
(2016)Resumo: Atualmente, o advento dos sistemas em rede de larga escala, tais como os Sistemas de Gerenciamento de Identidades (SGIs) e as redes definidas por software (do inglês, Software- Defined Networks - SDNs), tem contribuído ... -
Aplicação de técnicas de aprendizado de máquina na mensuração florestal
(2016)Resumo: Vive-se em um mundo onde a escassez de recursos naturais leva a um uso cada vez mais racional destes, seja água, recursos minerais, biológicos, hídricos e energéticos. Especificamente quando se trata de madeira, o ... -
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, ... -
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. ... -
Arco consistência generalizada em codificações SAT relativas
(2017)Resumo: Várias codificações de problemas relevantes para SAT ou suas variações são conhecidas e estudadas pela comunidade. Uma possível maneira de mensurar a eficiência destas codificações consiste em avaliar a manutenção ...