Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix [PDF]
This paper establishes a bridge between linear logic and mainstream graph theory, building on previous work by Retor\'e (2003). We show that the problem of correctness for MLL+Mix proof nets is equivalent to the problem of uniqueness of a perfect ...
Lê Thành Dũng Nguyên
doaj +1 more source
Linking Off-Road Points to Routing Networks
Although graph theory has already been introduced in spatial reasoning, current spatial database systems do not provide out-of-the-box routing on geometric points that are not matched on the graph.
Dominik Köppl
doaj +1 more source
Structural matrices for Signed Petri net
The developments in the field of Graph Theory and Petri net Theory in the form of balanceness and negative tokens respectively motivated the authors to bridge the gap between Petri net and Signed graph and introduce a new concept of Signed Petri net (SPN)
Payal, Sangita Kansal
doaj +1 more source
On Generalized Topological Indices for Some Special Graphs
Topological indices are numeric values associated with a graph and characterize its structure. There are various topological indices in graph theory such as degree-based, distance-based, and counting-related topological indices.
Sheeba Afridi+2 more
doaj +1 more source
Graph theory has been used in cognitive neuroscience to understand how organisational properties of structural and functional brain networks relate to cognitive function.
M. C. Litwińczuk+3 more
semanticscholar +1 more source
Certain Notions of Picture Fuzzy Information with Applications
In this manuscript, the theory of constant picture fuzzy graphs (CPFG) is developed. A CPFG is a generalization of constant intuitionistic fuzzy graph (CIFG) and a special case of picture fuzzy graph (PFG).
Rukhshanda Anjum+2 more
doaj +1 more source
Placing Green Bridges Optimally, with a Multivariate Analysis [PDF]
We study the problem of placing wildlife crossings, such as green bridges, over human-made obstacles to challenge habitat fragmentation. The main task herein is, given a graph describing habitats or routes of wildlife animals and possibilities of building green bridges, to find a low-cost placement of green bridges that connects the habitats.
arxiv +1 more source
RECENT ADVANCES IN GRAPH THEORY AND ITS APPLICATIONS
In different fields the field of mathematics plays a key role. In mathematics, graph theory is one of the important fields used in structural models. This structural structure of different objects or technologies leads to new developments and changes in ...
Dankan V. Gowda+5 more
semanticscholar +1 more source
Unified Graph Theory-Based Modeling and Control Methodology of Lattice Converters
Lattice converters combine the merits of both cascaded-bridge converters and multi-paralleled converters, leading to infinitely large current and voltage capabilities with modularity and scalability as well as small passive components.
Jingyang Fang
semanticscholar +1 more source
Chemical applicability and predictive potential of certain graphical indices for determining structure-property relationships in polycrystalline acid magenta (C<sub>20</sub>H<sub>17</sub>N<sub>3</sub>Na<sub>2</sub>O<sub>9</sub>S<sub>3</sub>). [PDF]
Acid Magenta, also known as Fuchsine acid, is a polycrystalline material with an anorthic structure that stands out for its eco-friendliness, cost-effectiveness, and versatility.
Tang JH+5 more
europepmc +2 more sources