Browsing 40001016034P5 Programa de Pós-Graduação em Informática by Title
Now showing items 384-403 of 574
-
Um padrão de metadados para indexação e recuperação de objetos multimídia
(2010-09-17)Resumo: A utilização de dados multimídia está se tornando cada vez mais comum, resultando na demanda de pesquisas em aspectos inerentes a busca baseada em conteúdo. Essas pesquisas se fazem necessárias tendo em vista a ... -
Paralelização da Técnica Branch and Bound com PVM
(2011-02-07)Resumo: Este trabalho aborda a implementação paralela da técnica Branch-and-Bound em problemas de otimização combinatoria, especificamente busca em grafos. E utilizado na implementação o modelo de programação paralela por ... -
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 ... -
Parametrização, representação e visualização de superfícies usando complexos de células cúbicas
(2014)Resumo: Parametrização e uma ferramenta fundamental para aplicações de processamento de malhas. Tradicionalmente, esta e usada para mapear texturas 2D numa superfície. Este trabalho apresenta um novo domínio de parametrização ... -
Pensamento computacional e educação de jovens e adultos : na direção de um modelo socialmente consciente
(2019)Resumo: Diversas pesquisas estão sendo conduzidas no Brasil para ensinar Pensamento Computacional, sendo a maioria para o público da Educação Básica. Em um mapeamento sistemático da literatura, a única pesquisa identificada ... -
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 ... -
Pipeline para reconstruçăo digital de objetos com Scanners 3D de triangulaçăo a laser : aplicaçăo na preservaçăo digital de acervos naturais e culturais /
(2008)Orientadores: Olga Regina Pereira Bellon e Luciano Silva -
Planarização de grafos por divisão de vértices
(2010-03-24) -
Planejamento aplicado à verificação de bloqueios em redes de Petri
(2008)Resumo: Estados de bloqueio impedem a execução de tarefas em sistemas paralelos e concorrentes. Detectar estes estados, caso existam, é essencial para que se possa definir métodos capazes de eliminá-los. As redes de Petri ... -
Planejamento em redes de tarefas hierárquicas com aplicação em jogos /
(2006)Orientador : Marcos Alexandre Castilho -
Planejamento módulo teorias : estudo e análise de desempenho para um novo domínio usando tempo e recursos
(2019)Resumo: À medida que a pesquisa de planejamento se torna mais relevante para aplicações no mundo real, aumentam as demandas de poder expressivo na linguagem de modelagem. Em particular, existe um novo formalismo de ... -
Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos
(2012-10-05)Resumo -
Planejamento semi-autônomo : uma nova abordagem para a segmentação de planos em ambientes multiagente
(2020)Resumo: Nesta dissertação é apresentada uma extensão ao planejador HEART publicado em (Gréa et al., 2018). O planejador HEART apresenta um mecanismo para a solução do problema de planejamento através do uso de rede de ... -
Uma plataforma NFV-MANO para suporte e orquestração de serviços de rede virtualizados em nuvem CloudStack
(2021)Resumo: A Virtualização de Funções de Rede (Network Functions Virtualization - NFV) permite que funções de rede tradicionalmente executadas em hardware especializado sejam implementadas em software e instanciadas como VNFs ... -
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 ... -
Uma plataforma para visualizaçao tridimensional de regioes de ativaçao cerebral por imagens de ressonância magnética funcional
(2011-02-07)Resumo: A aquisição de imagens médicas por ressonância magnética funcional (fMRI) permite identificar regiões do cérebro humano relacionadas a determinadas atividades sensoriais, motoras ou cognitivas. A visualização ...