Teoria Da Computacao
Mostrando 13-24 de 862 artigos, teses e dissertações.
-
13. Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets / Query Refinement in Description Logics Using the Rough Set Theory
Refinamento de consulta consiste de tÃcnicas que modificam os termos de uma consulta com o objetivo de alterar os resultados obtidos inicialmente. Para a realizaÃÃo de tal fim, diversas abordagens podem ser aplicadas e diferentes tipos de refinamentos podem ser considerados. Este trabalho propÃe aplicar a teoria dos Rough Sets como uma nova alternativa d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/08/2012
-
14. Raio de empacotamento de códigos poset / The packing radius of poset codes
Até o trabalho presente, só era conhecido o raio de empacotamento de um código poset nos casos do poset ser uma cadeia, hierárquico, a união disjunta de cadeias do mesmo tamanho, e para algumas famílias de códigos. Nosso objetivo é abordar o caso geral de um poset qualquer. Para isso, iremos dividir o problema em dois. A primeira parte consiste em en
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/08/2012
-
15. Hipercinema : elementos para uma teoria formalista do cinema de animação hiperrealista / Hypercinema : elements for a formalist theory of hyperrealist animation cinema
A pesquisa almeja formular uma teoria estética para o cinema de animação hiperrealista. Após completar meio século de existência, a computação gráfica finalmente alcançou um estágio tecnológico no qual o artista dispõe de ferramentas poderosas e flexíveis o suficiente para enfim encarar o desafio de criar filmes com imagens realistas sintética
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/07/2012
-
16. Formalismos Gibbsianos para sistemas de spins unidimensionais / Gibbsian formalisms for one dimensional spin systems
Exibir os estados de Gibbs e os estados de equilíbrios para certos sistemas de spins sobre reticulados é um problema de grande interesse para mecânica estatística. Com este intuito, apresentamos para o caso unidimensional dois formalismos existentes para tais sistemas: o formalismo DLR (enfoque mecânico-estatístico) e o formalismo SRB (enfoque dinamici
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/07/2012
-
17. Análise da rede de atores na trajetória de implantação de lan houses no Brasil e seu possível papel de agente propiciador de inclusão digital
A Lan House, surgida no Brasil como um meio de entretenimento para os jovens, se tornou, em um curto espaço de tempo, uma febre nas periferias das grandes cidades brasileiras. Essa disseminação se deu, principalmente, após o programa “Computador para Todos” lançado pelo Governo Federal a título de política pública de inclusão digital. Assim, as
Publicado em: 27/07/2012
-
18. Inferência não paramétrica baseada no método H-splines para a intensidade de processos de Poisson não-homogêneos / Nonparametric inference based on H-splines method for intensity of inhomogeneous Poisson process
Esta tese tem por objetivo propor uma nova metodologia baseada no método da expansão por bases B-splines e suas variantes para estimação não paramétrica da função intensidade...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/07/2012
-
19. Self-organization of population in Artificial Immune Systems applied to the protein docking / Auto-organização da população em sistemas imunológicos artificiais aplicada ao docking de proteínas
Vários problemas do mundo real podem ser analisados como problemas de otimização. Na bioinformática, em especial, como exemplos podem ser citados o alinhamento múltiplo de sequências, a filogenia, a predição de estruturas de proteínas e RNA, entre outros. As Meta-heurísticas Populacionais (MhP) são técnicas baseadas em interações de conjuntos d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/07/2012
-
20. Rotas de fuga para evacuação de pessoal em caso de acidente em depósitos de explosivos
Este trabalho tem por foco propor uma metodologia para desenvolvimento de rotas de fuga em um depósito de explosivos. O trabalho se desenvolveu tendo por base o arranjo físico uma empresa fictícia, chamada ALFA, a qual possua em seu espaço físico alguns depósitos de material explosivo. Primeiramente foi feito um apanhado de estudos existentes sobre efe
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/07/2012
-
21. Reticulados algébricos : abordagem matricial e simulações / Algebraic lattices : matrix approach and simulations
Neste trabalho abordamos a construção de reticulados usando propriedades da Teoria Algébrica dos Números. Enfocamos a construção de alguns reticulados com características especiais, conhecidos na literatura, via reticulados ideais, através de uma abordagem matricial e algorítmica...Observação: O resumo, na íntegra, poderá ser visualizado no text
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/06/2012
-
22. Análise e controle de sistemas com folga / Analysis and control of systems with backlash
Este trabalho trata da eliminação dos efeitos indesejáveis da não linearidade tipo folga via desenvolvimento de três novos métodos computacionais para a análise de estabilidade, e controle de sistemas resultantes da interconexão de sistemas lineares com uma folga. Para solucionar o problema da análise de estabilidade, utilizam-se condições constru
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/05/2012
-
23. Ferramenta de Auxílio na Formação de Estratégias de Oferta em Leilões de Longo Prazo de Energia Elétrica / Tool Aid Training in Strategies in Auctions Offer Long-Term Electricity
Este trabalho apresenta uma ferramenta de auxílio e suporte à tomada de decisões na formação de estratégias de oferta para agentes geradores (GENCOS) participantes de leilões de eletricidade de longo-prazo. A ferramenta é baseada em técnicas inteligentes para a otimização da Função de Utilidade proposta média-risco. O objetivo é encontrar a Es
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 04/05/2012
-
24. Emprego de redes complexas no estudo das relações entre morfologia individual, topologia global e aspectos dinâmicos em neurociência / Employment of complex network theory on the study of the relations between individual morphology, global topology and dynamical aspects in Neuroscience
A teoria de redes complexas se consolidou nos últimos anos, graças ao seu potencial como ferramenta versátil no estudo de diversos sistemas discretos. É possível enumerar aplicações em áreas tão distintas como engenharia, sociologia, computação, linguística e biologia. Tem merecido atenção, por exemplo, o estudo da organização estrutural do c
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/05/2012