scholarly journals A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity

2005 ◽  
pp. 93-107 ◽  
Author(s):  
Domenico Cantone ◽  
Calogero G. Zarba
Keyword(s):  
Graph Theory ◽  
Decision Procedure

Decidability of Formulas in Graph Theory

1989 ◽  
Vol 12 (2) ◽  
pp. 163-180
Author(s):  
Louise E. Moser
Keyword(s):  
Graph Theory ◽  
Model Theory ◽  
Decision Procedure ◽  
Propositional Calculus

A decision procedure is given for determining the validity of unquantified formulas in graph theory. The procedure, which decides equality and containment relations for vertex, edge, and graph terms, reduces to a decision procedure for propositional calculus. The correctness of the procedure is proved using model theory based on the axioms for graph theory provided. The complexity of the algorithm and its limitations are discussed.

Graph Theory, Coding Theory and Block Designs

1975 ◽  
Author(s):  
P. J. Cameron ◽  
J. H. van Lint
Keyword(s):  
Graph Theory ◽  
Coding Theory ◽  
Block Designs

Topics in Chromatic Graph Theory

2009 ◽  
Keyword(s):  
Graph Theory

Emergence of Stimulus Equivalence Explained by Graph Theory

2009 ◽  
Author(s):  
Celso S. Oliveira
Keyword(s):  
Graph Theory ◽  
Stimulus Equivalence

APL and graph theory in dynamic systems analysis

1981 ◽  
Vol 128 (3) ◽  
pp. 85 ◽  
Author(s):  
C. Schizas ◽  
F.J. Evans
Keyword(s):  
Graph Theory ◽  
Dynamic Systems ◽  
Systems Analysis

Pattern Recognition in Histo-Pathology: Basic Considerations

1982 ◽  
Vol 21 (01) ◽  
pp. 15-22 ◽  
Author(s):  
W. Schlegel ◽  
K. Kayser
Keyword(s):  
Pattern Recognition ◽  
Graph Theory ◽  
Normal Tissue ◽  
Diagnostic Procedures ◽  
Minimal Distance ◽  
Malignant Growth ◽  
Colon Tissue ◽  
First Results ◽  
Tissue Structures ◽  
The Given

A basic concept for the automatic diagnosis of histo-pathological specimen is presented. The algorithm is based on tissue structures of the original organ. Low power magnification was used to inspect the specimens. The form of the given tissue structures, e. g. diameter, distance, shape factor and number of neighbours, is measured. Graph theory is applied by using the center of structures as vertices and the shortest connection of neighbours as edges. The algorithm leads to two independent sets of parameters which can be used for diagnostic procedures. First results with colon tissue show significant differences between normal tissue, benign and malignant growth. Polyps form glands that are twice as wide as normal and carcinomatous tissue. Carcinomas can be separated by the minimal distance of the glands formed. First results of pattern recognition using graph theory are discussed.

Application of Graph Theory in Social Media

2018 ◽  
Vol 6 (10) ◽  
pp. 722-729 ◽  
Author(s):  
Anwesha Chakraborty ◽  
Trina Dutta ◽  
Sushmita Mondal ◽  
Asoke Nath
Keyword(s):  
Social Media ◽  
Graph Theory
Sign in / Sign up

Export Citation Format

Share Document