Results 21 to 30 of about 86,012 (266)
Ground interpolation for the theory of equality [PDF]
Logical Methods in Computer Science, 2012 Theory interpolation has found several successful applications in model checking. We present a novel method for computing interpolants for ground formulas in the theory of equality.
Alexander Fuchs +4 more
doaj +1 more source
Density-functional theory on graphs [PDF]
The Journal of Chemical Physics, 2021 The principles of density-functional theory are studied for finite lattice systems represented by graphs. Surprisingly, the fundamental Hohenberg–Kohn theorem is found void, in general, while many insights into the topological structure of the density-potential mapping can be won.
Penz, Markus, van Leeuwen, Robert
openaire +5 more sources
The Dominant Metric Dimension of Corona Product Graphs
مجلة بغداد للعلوم, 2021 The metric dimension and dominating set are the concept of graph theory that can be developed in terms of the concept and its application in graph operations.
Rembulan Putri Adirasari +2 more
doaj +1 more source
Decision-Making Approach with Fuzzy Type-2 Soft Graphs
Journal of Mathematics, 2020 Molodtsov’s theory of soft sets is free from the parameterizations insufficiency of fuzzy set theory. Type-2 soft set as an extension of a soft set has an essential mathematical structure to deal with parametrizations and their primary relationship ...
Sundas Shahzadi +2 more
doaj +1 more source
Path homology theory of edge-colored graphs
Open Mathematics, 2021 In this paper, we introduce the category and the homotopy category of edge-colored digraphs and construct the functorial homology theory on the foundation of the path homology theory provided by Grigoryan, Muranov, and Shing-Tung Yau.
Muranov Yuri V., Szczepkowska Anna
doaj +1 more source
Operations on Neutrosophic Vague Soft Graphs [PDF]
Neutrosophic Sets and Systems, 2022 This article concerns with the neutrosophic vague soft graphs for treating neutrosophic vague soft information by employing the theory of neutrosophic vague soft sets with graphs.
S. Satham Hussain +3 more
doaj +1 more source
Comparing graphs and text: Effects of complexity and task
Journal of Eye Movement Research, 2015 Graphs are commonly believed to facilitate users’ compre-hension. We explored the effect of graphs on comprehension compared to text, manipulating content complexity (single bar vs. double bar graphs) and question type (point-locating vs.
Sunjung Kim, Linda J. Lombardino
doaj +1 more source
Regularity in Vague Intersection Graphs and Vague Line Graphs
Abstract and Applied Analysis, 2014 Fuzzy graph theory is commonly used in computer science applications, particularly in database theory, data mining, neural networks, expert systems, cluster analysis, control theory, and image capturing.
Muhammad Akram +2 more
doaj +1 more source
Theory of Polysort Graphs of Knowledge-Learning
Современные информационные технологии и IT-образование, 2020 The rapid pace of development of the digital economy poses new challenges for education systems, making it extremely urgent to accelerate the deployment of new technologies and processes that ensure the timely development of digital skills demanded by ...
Marina Polyanskaya, Vladimir Sukhomlin
doaj +1 more source
Fractal and Fractional, 2023 Chemical graph theory (CGT) is a field of mathematical science that applies classical graph theory to chemical structures and processes. Chemical graphs are the principal data format used in cheminformatics to illustrate chemical interactions.
Ali Turab +2 more
doaj +1 more source