Results 31 to 40 of about 2,863,239 (299)
A note on first-order spectra with binary relations [PDF]
Logical Methods in Computer Science, 2018 The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables.
Eryk Kopczynski, Tony Tan
doaj +1 more source
Fractal and FractionalThis study has developed a unified framework for modeling economic growth through Caputo fractional differential equations. The framework has established the existence and uniqueness of solutions by employing a generalized fixed-point approach.
Min Wang, Muhammad Din, Mi Zhou
doaj +1 more source
AxiomsThe objective of this paper is to propose some fixed-point findings under a relational contraction of Pant type employing a pair of auxiliary functions and through a generalized class of transitive binary relations.
Doaa Filali +5 more
doaj +1 more source
Fixed Point Theorems for Nonexpansive Mappings under Binary Relations
Mathematics, 2021 In the present article, we establish relation-theoretic fixed point theorems in a Banach space, satisfying the Opial condition, using the R-Krasnoselskii sequence. We observe that graphical versions (Fixed Point Theory Appl.
Aftab Alam +3 more
doaj +1 more source
Constructing internally 4-connected binary matroids [PDF]
, 2012 This is the post-print version of the Article - Copyright @ 2013 ElsevierIn an earlier paper, we proved that an internally 4-connected binary matroid with at least seven elements contains an internally 4-connected proper minor that is at most six ...
Chun, Carolyn +8 more
core +1 more source
Relation-theoretic metrical coincidence and common fixed point theorems under nonlinear contractions
Applied General Topology, 2018 In this paper, we prove coincidence and common fixed points results under nonlinear contractions on a metric space equipped with an arbitrary binary relation.
Md Ahmadullah +2 more
doaj +1 more source
Advanced Engineering Materials, Volume 27, Issue 6, March 2025.The stability criteria affecting the formation of high‐entropy alloys, particularly focusing in supersaturated solid solutions produced by mechanical alloying, are analyzed. Criteria based on Hume–Rothery rules are distinguished from those derived from thermodynamic relations. The formers are generally applicable to mechanically alloyed samples.
Javier S. Blázquez +5 more
wiley +1 more source
Towards Defect Phase Diagrams: From Research Data Management to Automated Workflows
Advanced Engineering Materials, EarlyView.A research data management infrastructure is presented for the systematic integration of heterogeneous experimental and simulation data required for defect phase diagrams. The approach combines openBIS with a companion application for large‐object storage, automated metadata extraction, provenance tracking and federated data access, thereby supporting ...
Khalil Rejiba +5 more
wiley +1 more source
On the Structure of Acyclic Binary Relations
, 2018 We investigate the structure of acyclic binary relations from different points of view. On the one hand, given a nonempty set we study real-valued bivariate maps that satisfy suitable functional equations, in a way that their associated binary relation is acyclic. On the other hand, we consider acyclic directed graphs as well as their representation by
José Carlos R. Alcantud +4 more
openaire +3 more sources
Compressed Dynamic Binary Relations [PDF]
2012 Data Compression Conference, 2012 We introduce a dynamic data structure for the compact representation of binary relations R ? A × B. Apart from checking whether two objects (a, b) ? A × B are related, and listing the objects of B related to some a ? A and vice versa, the structure allows inserting and deleting pairs (a, b) in the relation, as well as modifying the base sets A and B ...
Nieves R. Brisaboa +2 more
openaire +2 more sources