Results 21 to 30 of about 6,904,652 (331)
A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the λβ or the least sensible λ-theory ℋ (which is generated by equating all the unsolvable terms). A related question is whether, given a class of lambda models, there are a minimal λ-theory and a minimal ...
BUCCIARELLI A, SALIBRA, Antonino
openaire +4 more sources
In graph theory, the term graph refers to a set of vertices and a set of edges. A vertex can be used to represent any object. Graphs may contain undirected or directed edges. An undirected edge is a set of two vertices. A directed edge is an ordered pair
K. Fraughnaugh
semanticscholar +1 more source
The Determinant of Matching Matrix in the Evaluation of Matching Polynomial
A characterization is given for graphs whose matching polynomial is the determinant of their matching matrices. The matching matrix is then modified and its relation with other graph polynomials is examined.
Shanaz A. Wahid
doaj +1 more source
A Guide to Conquer the Biological Network Era Using Graph Theory
Networks are one of the most common ways to represent biological systems as complex sets of binary interactions or relations between different bioentities.
Mikaela Koutrouli +3 more
semanticscholar +1 more source
Graph Theory: A Lost Component For Development in Nigeria
Graph theory is one of the neglected branches of mathematics in Nigeria but with the most applications in other fields of research. This article shows the paucity, importance, and necessity of graph theory in the development of Nigeria.
Olayiwola Babarinsa
doaj +1 more source
Graph theory analysis, a mathematical approach, has been applied in brain connectivity studies to explore the organization of network patterns.
L. Ismail, W. Karwowski
semanticscholar +1 more source
On Total H-Irregularity Strength of the Disjoint Union of Graphs
A simple graph G admits an H-covering if every edge in E(G) belongs to at least to one subgraph of G isomorphic to a given graph H. For the subgraph H ⊆ G under a total k-labeling we define the associated H-weight as the sum of labels of all vertices and
Ashraf Faraha +5 more
doaj +1 more source
About 30 years ago a very important paper on “Applications of graph theory to enzyme kinetics and protein folding kinetics: steady and non-steady state systems”
K. Chou
semanticscholar +1 more source
Background: Analysis of the human connectome using functional magnetic resonance imaging (fMRI) started in the mid-1990s and attracted increasing attention in attempts to discover the neural underpinnings of human cognition and neurological disorders. In
F. Farahani +2 more
semanticscholar +1 more source
Solutions of Detour Distance Graph Equations
Graph theory is a useful mathematical structure used to model pairwise relations between sensor nodes in wireless sensor networks. Graph equations are nothing but equations in which the unknown factors are graphs.
S. Celine Prabha +7 more
doaj +1 more source

