Teoria Ciencia Computacao
Mostrando 13-24 de 244 artigos, teses e dissertações.
-
13. Convergent Sequences of Discrete Structures and Testability / SequÃncias Convergentes de Estruturas Discretas e Testabilidade
In this work, we studied the recent theory of convergent graph sequences and its extensions to permutation and partially ordered sets with fix dimension. Weâve conjectured a lemma of weak regularity on intervals that, if this conjecture is true, we can extend this theory to ordered graphs, which are graphs such that there is a total order on its vertices. W
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/02/2012
-
14. Análise de padrões musicais rítmicos e melódicos utilizando o algoritmo de predição por correspondência parcial
O desenvolvimento da Teoria da Informação possibilitou formas diversas de tratamento de dados que são relevantes para qualquer área científica atualmente. Dentre elas, temos a caracterização da auto-informação, onde temos a possibilidade de determinar a informação contida em um dado em prol de futuras análises e, a partir deste ponto, a probabili
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/12/2011
-
15. Esquemas de aproximação em multinível e aplicações / Multilevel approximation schemes and applications
O objetivo desta tese é desenvolver algoritmos baseados em malhas e bases funcionais inovadoras usando técnicas de multiescala para aproximação de funções e resolução de problemas de equações diferenciais. Para certas classes de problemas, é possível incrementar a eficiência dos algoritmos de multiescala usando bases adaptativas, associadas a ma
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2011
-
16. GeraÃÃo de Facetas para Politopos de Conjuntos Independentes / Facet-generating Procedures for Stable Set Polytopes
Um conjunto independente de um grafo à um subconjunto de vÃrtices que nÃo contÃm nenhum par de vÃrtices vizinhos. O problema do maior conjunto independente consiste em encontrar um conjunto independente de cardinalidade mÃxima. O problema do maior subgrafo induzido k-partido consiste em encontrar k conjuntos independentes cuja uniÃo tenha cardinalidad
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/09/2011
-
17. UM SISTEMA DE STORYTELLING TEXTUAL PARA GERAR HISTÓRIAS QUE DESPERTEM SURPRESA, SUSPENSE E CURIOSIDADE / A WRITTEN STORYTELLING SYSTEM FOR GENERATING STORIES THAT AROUSING SURPRISE, SUSPENSE AND CURIOSITY
Escrever histórias que agradem seu público alvo não é uma tarefa fácil para os autores. Para um sistema computacional produzir histórias que agradam os leitores é uma tarefa mais complicada ainda. Esse trabalho detalha uma solução computacional que produz narrativas estruturadas para despertar três sentimentos cognitivos nos leitores: suspense, sur
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/09/2011
-
18. Um sistema de disseminação seletiva da informação baseado em Cross-Document Structure Theory
Um Sistema de Disseminação Seletiva da Informação é um tipo de Sistema de Informação que visa canalizar novas produções intelectuais, provenientes de quaisquer fontes, para ambientes onde a probabilidade de interesse seja alta. O desafio computacional inerente é estabelecer um modelo que mapeie as necessidades específicas de informação, para um
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/08/2011
-
19. Teoria Espectral e o Problema de Isomorfismo de Grafos Regulares
Spectral Graph Theory (SGT) studies graph properties by graph representation matrix and its spectrum. A property from SGT, the eigencentrality, provides an important invariant to Graph Isomorphism Problem: if two graphs are isomorphic, they have proportional eigencentralities. However, this property can not be directly used for solving the Regular Graph Isom
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/08/2011
-
20. Planejamentos Combinatórios Construindo Sistemas Triplos de Steiner / Combinatorial Designs Building Steiner triple systems
Intuitivamente, a idéia básica de um Planejamento Combinatório consiste em uma maneira de selecionar subconjuntos, também chamados de blocos, de um conjunto finito, de modo que algumas propriedades especificadas sejam satisfeitas. O caso mais geral são os planejamentos balanceados. Um PBD é um par ordenado (S;B), onde S é um conjunto finito de símbol
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/08/2011
-
21. Planejamentos Combinatórios Construindo Sistemas Triplos de Steiner / Combinatorial Designs Building Steiner triple systems
Intuitivamente, a idéia básica de um Planejamento Combinatório consiste em uma maneira de selecionar subconjuntos, também chamados de blocos, de um conjunto finito, de modo que algumas propriedades especificadas sejam satisfeitas. O caso mais geral são os planejamentos balanceados. Um PBD é um par ordenado (S;B), onde S é um conjunto finito de símbol
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/08/2011
-
22. DETECÇÃO DE NÓDULOS PULMONARES PEQUENOS USANDO MODELO DE MISTURA GAUSSIANA E MATRIZ HESSIANA / DETECTION OF SMALL LUNG NODULES USING MODEL OF GAUSSIAN MIXTURE AND THE HESSIAN MATRIX
Dentre os outros tipos de câncer, o câncer de pulmão se destaca por apresentar a maior incidência e a maior taxa de mortalidade de todos, além de uma das menores taxas de sobrevida após o diagnóstico (cinco anos em média), fato este decorrido principalmente pela detecção e, conseqüentemente, tratamento tardio. Para auxiliar o especialista na busca
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/08/2011
-
23. Soluções multidimensionais das equações de Einstein / Multidimensional solutions of the Einstein equations
Na atualidade, o estudo de objetos como lentes gravitacionais ou buracos negros em dimensões superiores, bem como a formulação de cosmologias de Kaluza-Klein, têm recebido cada vez maior atenção. Na tentativa de compreender melhor estes e outros temas semelhantes, o estudo das soluções exatas, assim como de algoritmos para sua geração, desempenha u
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/06/2011
-
24. Estudo de casos de complexidade de coloraÃÃes gulosa de vÃrtices e de arestas / Case studies of complexity of greedy colorings of vertices and edges
Os problemas de colorac Ëao de vÂertices e de arestas, que consistem em determinar o menor nÂumero de cores necessÂarias para colorir os vÂertices e arestas de um grafo, respectivamente, de forma que vÂertices adjacentes e arestas adjacentes, respectivamente, possuem cores distintas, sËao problemas computacionalmente difÂıceis e sËao objeto d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/04/2011