Results 31 to 40 of about 582,695 (345)
Distance-transitive digraphs: descendant-homogeneity, property $Z$ and reachability [PDF]
European Journal of Combinatorics 107 (2023) 103597, 2022 We investigate the class of infinite distance-transitive digraphs $D$ of finite out-valency. We show that if $D$ is a weakly descendant-homogeneous in such a class then either (1) $D$ has property $Z$ and the reachability relation is not universal; or (2) $D$ does not have property $Z$, the reachability relation is universal and $D$ has infinite in ...
arxiv +1 more source
Interpolant-Based Transition Relation Approximation [PDF]
Logical Methods in Computer Science, 2005 In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, software model checkers typically use a weak approximation of the image. This can result in a failure to prove a property, even given an adequate set of predicates.
Kenneth L. McMillan, Ranjit Jhala
openaire +8 more sources
Relational state transition dynamics
The Journal of Logic and Algebraic Programming, 2008 AbstractBasic concepts of classical dynamics are analysed in the simple mathematical setting of state transition systems, where both time and space are discrete, and no structure is assumed on the state space besides a binary transition relation. This framework proves useful to the dynamical analysis of computations and biomolecular processes.
G. Scollo +2 more
openaire +3 more sources
A simple relation between frustration and transition points in diluted spin glasses [PDF]
Phys. Rev. E 102, 012135 (2020), 2020 We investigate a possible relation between frustration and phase-transition points in spin glasses. The relation is represented as a condition of the number of frustrated plaquettes in the lattice at phase-transition points at zero temperature and was reported to provide very close points to the phase-transition points for several lattices.
arxiv +1 more source
Types of Complex Fuzzy Relations with Applications in Future Commission Market
Journal of Mathematics, 2021 In this paper, we introduce types of relations on complex fuzzy sets such as the complex fuzzy (CF) inverse relation, complex fuzzy reflexive relation, complex fuzzy symmetric relation, complex fuzzy antisymmetric relation, complex fuzzy transitive ...
Madad Khan +3 more
doaj +1 more source
Transitive closure and betweenness relations
Fuzzy Sets and Systems, 2001 Indistinguishability operators fuzzify the concept of equivalence relation and have been proved a useful tool in theoretical studies as well as in di0erent applications such as fuzzy control or approximate reasoning. One interesting problem is their construction. There are di0erent ways depending on how the data are given and on their future use.
Boixader Ibáñez, Dionís +2 more
openaire +3 more sources
What the Welfare State Left Behind—Securing the Capability to Move for the Vulnerable
Asian Economic Policy Review, Volume 18, Issue 1, Page 124-143, January 2023., 2023 Abstract The purpose of the present paper is to measure the disadvantage of the vulnerable in contemporary Japan, focusing on their capabilities in moving both outside and inside the home. Our research interest is to find a new informational base other than consumption expenditure, which provides a strong clue about how to assess the eligibility for ...
Reiko Gotoh, Ryo Kambayashi
wiley +1 more source
Discretization of fuzzy transitive relations
2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011), 2011 Peer ...
Boixader Ibáñez, Dionís +1 more
openaire +3 more sources
Observations on relation-theoretic coincidence theorems under Boyd–Wong type nonlinear contractions
Fixed Point Theory and Applications, 2019 In this article, we carry out some observations on existing metrical coincidence theorems of Karapinar et al. (Fixed Point Theory Appl. 2014:92, 2014) and Erhan et al. (J. Inequal. Appl.
Aftab Alam +2 more
doaj +1 more source
Relational Meir-Keeler Contractions and Common Fixed Point Theorems
Journal of Function Spaces, 2022 In this article, we prove some coincidence and common fixed point theorems under the relation-theoretic Meir-Keeler contractions in a metric space endowed with a locally finitely T-transitive binary relation.
Faizan Ahmad Khan +4 more
doaj +1 more source