Buscar
Itens para a visualização no momento 1-10 of 18
Método para verificação de propriedades de redes de petri utilizando resolvedores SMT
(2013-09-13)
Resumo: Este trabalho apresenta um método para verificar as propriedades de alcançabilidade e de bloqueio em rede de Petri. Rede de Petri e um modelo formal utilizado para modelar sistemas. O metodo proposto consiste em ...
Medidas de conectividade baseadas em cortes de vértices para redes complexas
(2011-10-25)
Resumo: As redes complexas foram propostas para modelar qualquer sistema que possua várias partes discretas que interajam entre si. Devido a essa generalidade elas são aplicadas a diversas áreas do conhecimento. Em redes ...
Clique máxima em grafos lei de potência
(2020)
Resumo: Com o avanco na capacidade de processamento e armazenamento de grandes quantidades de dados, foi-se observado que muitas redes de grande porte advindas de situacoes praticas, desde a World Wide Web ate redes sociais ...
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 ...
Uma abordagem para filtragem de arestas de grafos de palavras aplicada ao problema de classificação de texto
(2020)
Resumo: Classificação de texto é um problema clássico na área de Processamento de Linguagem Natural. Uma tarefa essencial na classificação de texto é a construção da representação, que deve prover informações relevantes ...
Análise de uma métrica alternativa para predição de laços sociais em grafos lei de potência
(2016)
Resumo: As redes sociais são uma maneira de descrever as interações sociais em um grupo ou comunidade. Podem ser modeladas por meio de grafos, em que um vértice corresponde a uma pessoa, e uma aresta representa alguma forma ...
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 ...
Grafos bi-arco-circulares
(2015)
Resumo: Um modelo bi-arco-circular é uma tripla (C; I; E) onde C é um circulo, e I;E são duas famílias de arcos sobre C. O grafo correspondente ao modelo (C; I;E) é o grafo tal que para cada arco de I [ E existe um vértice, ...
Circular arc bigraphs and their Helly subclass
(2021)
Resumo: Um grafo e arco-circular se e o grafo de intersecao de uma familia de arcos em um circulo. Grafos arco-circulares foram extensamente estudados na literatura. Os grafos bi-arco-circulares sao uma variante bipartida ...
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 ...