Buscar
Itens para a visualização no momento 1-10 of 15
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 ...
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, ...
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 ...
Maximização de influência em grafos lei de potência
(2016)
Resumo: O problema de maximização de influência em redes sociais, procura pelos vértices que permitam espalhar uma informação para o maior número possível de membros da rede.Um algoritmo guloso proposto por Kempe et al. ...