Navegação 40001016034P5 Programa de Pós-Graduação em Informática por assunto "Algoritmos de computador"
Itens para a visualização no momento 1-20 of 27
-
Algoritmos evolutivos com tratamento de restrições aplicados ao problema de planejamento do despacho hidrotérmico
(2019)Resumo: Este trabalho apresenta o processo de pesquisa, desenvolvimento, aplicação e análise de algoritmos evolutivos com tratamento de restrições sobre o problema do planejamento do despacho hidroelétrico. Previamente à ... -
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 ... -
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 ... -
Caracterizações de buscas em hipermultigrafos
(2010-10-27)Resumo: Buscas em grafos é uma das ferramentas mais simples e mais utilizadas para algoritmos em grafos. Um algoritmo de busca examina os vértices e as arestas de um grafo a partir de um vértice inicial e, sistematicamente ... -
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 ... -
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 ... -
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. ... -
Desdobramento para Redes de Petri K-Limitadas
(2010-11-29)Resumo: Um dos problemas chave dos sistemas autômatos é o problema de alcançabilidade. A resolução deste mediante o grafo de alcançabilidade gera, sobretudo em sistemas do mundo real, o problema de explosão de estados. ... -
Detecção de alterações de conteúdo em Redes P2P para transmissões de mídia contínua ao vivo
(2011-12-05)Resumo: E notável o crescente uso da Internet para a transmissão de vídeos, sejam eles estáticos, com conteúdo previamente armazenado, ou dinâmicos, com conteúdo gerado ao vivo, no momento de sua exibição. Enquanto em ... -
Detecção de outliers no espaço semântico aplicada à análise de sentimento por redes neurais convolucionais
(2018)Resumo: Análise de sentimento é uma tarefa importante na área de Processamento de Linguagem Natural que consiste em automaticamente atribuir documentos de texto a classes previamente definidas que representam sentimentos ... -
Detecção e remediação de erros na generalização de conceitos matemáticos por meio de sistemas tutores inteligentes
(2011-01-25)Resumo: Neste documento são apresentados os aspectos que justicam a necessidade de se aplicar diagnóstico automático ativo seguido de intervenção imediata durante a interação de um aprendiz com um Objeto de Aprendizagem ... -
Estudo de uma ferramenta de mediação do erro em disciplinas de algoritmos : uma proposta de metodologia para promoção da interação
(2017)Resumo: O objetivo deste trabalho é propor uma metodologia direcionada ao aumento da interação entre professores e alunos que usam a FARMA-ALG. Para alcançar esse objetivo, foi realizada uma pesquisa usando a abordagem ... -
Evolução diferencial intervalar: uma abordagem baseada em decomposição estrutural de problemas de otimização global
(2019)Resumo: Algoritmos de Evolução Diferencial (DE) têm se mostrado promissores para abordagem de problemas de otimização numérica global com restrições. Muitas variantes recentes de DE são aplicadas a otimização caixa-preta, ... -
Hyper-heuristic based particle swarm optimization for many-objective problems
(2016)Resumo: O algoritmo de Otimização por Enxame de Partículas (PSO) e uma meta-heurística inspirada no comportamento de bandos de aves a procura de alimento. Os bons resultados obtidos por esta técnica na otimização de problemas ... -
Uma metodologia incremental de teste de estresse de Banco de Dados Transacional de grande escala
(2011-08-26)Resumo: O uso de sistemas de grande escala é cada vez mais comum nos mais diferentes tipos de aplicação e requerem Sistemas Gerenciadores de Banco de Dados (SGBD) robustos e de alta escalabilidade. Neste contexto, é ... -
Metodologia para implementação de estratégias colaborativas mediadas por ferramentas de interação síncronas
(2013-09-19)Resumo: Neste trabalho é criada e proposta uma metodologia geral com um modelo de processos para a realização de sessões de aprendizagem, considerando um entorno colaborativo com interação síncrona mediada por ferramentas ... -
Novel procedures for graph edge-colouring
(2018)Resumo: O índice cromático de um grafo G é o menor número de cores necessário para colorir as arestas de G de modo que não haja duas arestas adjacentes recebendo a mesma cor. Pelo célebre Teorema de Vizing, o índice cromático ... -
Paralelização do detector de Bordas Canny para a Biblioteca ITK utilizando Cuda
(2012-01-16)Resumo: Aplicações de Processamento de Imagens podem exigir poder de processamento tão alto que a computação tradicional não é capaz de fornecer. Uma alternativa eficiente é a computação de Propósito Geral em Placas Gráficas ... -
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 ... -
Plataforma para desenvolvimento e avaliação de resolvedores SAT
(2012-02-06)Resumo: Este estudo apresenta a criação de uma plataforma para o desenvolvimento e a avaliação de algoritmos que visam resolver o problema de definir a satisfatibilidade de uma fórmula em lógica proposicional. Muitos estudos ...