40001016034P5 Programa de Pós-Graduação em Informática: Recent submissions
Itens para a visualização no momento 141-160 of 405
-
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, ... -
Construção paralela de árvores de cortes utilizando contrações de grafo otimizadas
(2015)Resumo: As árvores de cortes representam, de forma compacta, a aresta conectividade entre todos os pares de vértices de um grafo com pesos nas arestas. Existem muitas aplicações de arvores de cortes como, por exemplo, em ... -
Comparing restricted propagation grafhs for the similarity flooding algorithm
(2015)Resumo: A Engenharia de Software Orientada a Modelos é uma metodologia que utiliza modelos no processo de desenvolvimento de software. Muitas operações sobre esse modelos são necessárias estabelecer links entre modelos ... -
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 ... -
Cobertura por vértices mínima em grafos lei de Potência
(2016)Resumo: A teoria dos grafos é um ramo da matemática utilizada para modelar e representar um conjunto de elementos e suas relações, além de ser muito utilizada na resolução de problemas computacionais. Um grafo pode representar ... -
cLUPA : um ampliador digital de documentos impressos sobre uma plataforma multicore
(2015)Resumo: Este trabalho apresenta o projeto do cLUPA (cMIPS-LUPA). cLUPA é um sistema embarcado portátil para ampliar documentos impressos utilizando uma câmera de vídeo para captura e um monitor para exibição. O hardware ... -
Classificação de padrões radiológicos por blocos em imagens não segmentadas de tomografia computadorizada
(2015)Resumo: As Doenças Pulmonares Difusas (DPDs) são compostas por mais de 180 patologias que causam danos nos pulmões. Os pacientes que possuem essas doenças apresentam alterações no tecido pulmonar, que podem ser visualizadas ... -
Busca e ranqueamento de recursos educacionais com suporte de agrupamento de tags
(2017)Resumo: A busca e recuperação de recursos educacionais em repositórios digitais tem sido uma tarefa árdua, principalmente devido às implementações dos algoritmos de busca baseados em busca sintática. Apesar dos sistemas ... -
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 ... -
Bio-inspired optimization algorithms for multi-objective problems
(2017)Resumo: Problemas multi-objetivo (MOPs) são caracterizados por terem duas ou mais funções objetivo a serem otimizadas simultaneamente. Nestes problemas, a meta é encontrar um conjunto de soluções não-dominadas geralmente ... -
Biclique aresta-coloração por listas
(2017)Resumo: Na coloração de grafos existem algumas versões dos problemas de coloração de vértices e de coloração de arestas. Eles podem ser definidos a partir de conceitos como coloração por listas (colorir os elementos do ... -
Avaliação do impacto da retroação na aprendizagem apoiada por uma ferramenta educacional
(2015)Resumo: Ao utilizar software educacional no âmbito escolar, o benefício que o software possa proporcionar ao aluno está relacionado aos objetivos propostos pelo professor. Portanto, cabe ao professor selecionar conteúdo e ... -
Avaliação do detector de pontos de interesse IGFTT em visual SLAM
(2017)Resumo: Detectores de Ponto de Interesse (POI) são partes fundamentais de um Sistema Visual de Mapeamento e Localização Simultâneos (VSLAM). Pontos de interesse na imagem são usados pela odometria visual para estimar o ... -
Avaliação de mecanismos de caching com discos de estado sólido em estruturas de armazenamento secundário
(2015)Resumo: Recentemente, os discos de estado sólido (SSDs - Solid State Disks) elevaram muito o desempenho no acesso ao armazenamento secundário. Contudo, seu custo e baixa capacidade inviabilizam a substituição integral dos ... -
Arquitetura para sistemas tutores inteligentes que utiliza a teoria qualitativa de processos para recomendação de próximos melhores exercícios
(2015)Resumo: A utilização de sistemas tutores inteligentes para a recomendação de conteúdos e exercícios é um assunto explorado por alguns pesquisadores. Muitos deles usam técnicas da inteligência artificial para fazer essas ... -
A cross-domain multi-armed bandit hyper-heuristic
(2016)Resumo: Muitos problemas de otimização do mundo real são complexos e possuem muitas variáveis e restrições. Por esta causa, o uso de meta-heurísticas tornou-se a principal maneira de resolver problemas com essas características. ... -
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 ... -
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 ... -
ARPREM : Autoria de Regras de Produção para Remediação de Erros com Múltiplas Representações Externas
(2015)Resumo: A utilização de Múltiplas Representações Externas em Sistemas Tutores Inteligentes, com a finalidade de elucidar conceitos do domínio a serem estudados pelo aluno, vem sendo explorada em vários estudos. Além disso, ... -
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 ...