Results 11 to 20 of about 189,310,264 (260)
Towards a Maude tool for model checking temporal graph properties [PDF]
, 2011 We present our prototypical tool for the verification of graph transformation systems. The major novelty of our tool is that it provides a model checker for temporal graph properties based on counterpart semantics for quantified m-calculi.
Lluch-Lafuente, Alberto +4 more
core +1 more source
Investigation of the Main Energies of Picture Fuzzy Graph and its Applications
International Journal of Computational Intelligence Systems, 2022 Picture fuzzy graph, belonging to fuzzy graphs family, has good capabilities at times when we are faced with problems that cannot be expressed by fuzzy graphs and intuitionistic fuzzy graphs.
Xiaolong Shi +4 more
doaj +1 more source
Computing the Energy and Estrada Index of Different Molecular Structures
Journal of Chemistry, 2022 Graph energy is an invariant that is derived from the spectrum of the adjacency matrix of a graph. Graph energy is actually the absolute sum of all the eigenvalues of the adjacency matrix of a graph i.e.
Zeeshan Saleem Mufti +5 more
doaj +1 more source
Recommendations concerning energy information model documentation, public access, and evaluation [PDF]
, 1979 In this study we provide an analysis of the factors underlying Congressional concern regarding model documentation, policies for public access, and evaluation procedures of the Energy Information Administration (EIA) and its predecessor agencies; we also
Wood, D.O. +3 more
core +1 more source
A survey of two-dimensional graph layout techniques for information visualisation [PDF]
, 2012 Many algorithms for graph layout have been devised over the last 30 years spanning both the graph drawing and information visualisation communities. This article first reviews the advances made in the field of graph drawing that have then often been ...
Vickers, Paul, Gibson, Helen, Faith, Joe
core +1 more source
Research and Application of Hypernetwork Energy
Jisuanji kexue yu tansuo, 2021 Graph energy plays an important role in research of graph theory. Graph energy and many other similar variants have been applied in many other types of graphs, e.g., undirected graphs, oriented graphs, mixed graphs, and so on.
LIU Shengjiu, LI Tianrui, LIU Jia, XIE Peng
doaj +1 more source
On Dominating Energy in Bipolar Single-Valued Neutrosophic Graph [PDF]
Neutrosophic Sets and Systems, 2023 One of the most important concepts in graph theory for dealing with unpredictable phenomena is the concept of domination and it has gained attention from many scholars.
Siti Nurul Fitriah Mohamad +2 more
doaj +1 more source
On Spectra Of Variants Of The Corona Of Two Graphs And Some New Equienergetic Graphs
Discussiones Mathematicae Graph Theory, 2016 Let G and H be two graphs. The join G ∨ H is the graph obtained by joining every vertex of G with every vertex of H. The corona G ○ H is the graph obtained by taking one copy of G and |V (G)| copies of H and joining the i-th vertex of G to every vertex ...
Adiga Chandrashekar, Rakshith B.R.
doaj +1 more source
Spectra of the extended neighborhood corona and extended corona of two graphs
Electronic Journal of Graph Theory and Applications, 2016 In this paper we define extended corona and extended neighborhoodcorona of two graphs $G_{1}$ and $G_{2}$, which are denoted by$G_{1}\bullet G_{2}$ and $G_{1}\ast G_{2}$ respectively.
Chandrashekar Adiga +2 more
doaj +1 more source
, 2011 In this paper, we introduce ideal graph of a graph and study some of its properties. We characterize connectedness, isomorphism of graphs and coloring property of a graph using ideal graph.
Manoharan, R., Vasuki, R.
core +1 more source