Results 11 to 20 of about 2,643,984 (289)

Undecidability of representability as binary relations

open access: yesThe Journal of Symbolic Logic, 2012
AbstractIn this article we establish the undecidability of representability and of finite representability as algebras of binary relations in a wide range of signatures. In particular, representability and finite representability are undecidable for Boolean monoids and lattice ordered monoids, while representability is undecidable for Jónsson's ...
R. Hirsch, M. Jackson
semanticscholar   +4 more sources

Hyperstructures associated with binary relations

open access: yesComputers and Mathematics With Applications, 2006
Given a binary relation \(R\) on a non-empty set \(H\), a hyperoperation \(\odot_R\) is defined on \(H \times H\) by \(x \odot_R y = \{z \in H \mid xRz, zRy\}\). \((H,\odot_R) \) is a hypergroupoid \(\Leftrightarrow R \circ R = H \times H\) [\textit{P. Corsini}, ``Binary relations and hypergroupoids'', Ital. J. Pure Appl. Math.
Spartalis Spartalis, C. Mamaloukas
exaly   +2 more sources

Normal forms for binary relations

open access: yesTheoretical Computer Science, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Claudio Gutierrez, Daniel J Dougherty
exaly   +2 more sources

Almost Nonlinear Contractions under Locally Finitely Transitive Relations with Applications to Integral Equations

open access: yesMathematics, 2023
This article consists of some new fixed point theorems verifying relation-theoretic strict almost nonlinear contractions that are preserved by a locally finitely transitive relation. Our results improve certain well-known results in the literature.
Faizan Ahmad Khan   +5 more
doaj   +1 more source

Modelling the host galaxies of binary compact object mergers with observational scaling relations [PDF]

open access: yesMonthly notices of the Royal Astronomical Society, 2022
The merger rate density evolution of binary compact objects and the properties of their host galaxies carry crucial information to understand the sources of gravitational waves.
F. Santoliquido   +3 more
semanticscholar   +1 more source

Geraghty Type Contractions in Relational Metric Space with Applications to Fractional Differential Equations

open access: yesFractal and Fractional, 2023
The present manuscript is devoted to investigating some existence and uniqueness results on fixed points by employing generalized contractions in the context of metric space endued with a weak class of transitive relation.
Ahmed Alamer   +4 more
doaj   +1 more source

Finding Structure in the Speed of Sound of Supranuclear Matter from Binary Love Relations. [PDF]

open access: yesPhysical Review Letters, 2021
Analyses that connect observations of neutron stars with nuclear-matter properties can rely on equation-of-state insensitive relations. We show that the slope of the binary Love relations (between the tidal deformabilities of binary neutron stars ...
H. Tan   +3 more
semanticscholar   +1 more source

Algorithms for Converting Finite Automata Corresponding to Infinite Iterative Trees

open access: yesСовременные информационные технологии и IT-образование, 2021
In this paper, we work with some different variants of finite automata, each of which corresponds to an infinite iterative tree constructed for some given morphism.
Mikhail Abramyan, Boris Melnikov
doaj   +1 more source

Relation-Theoretic Weak Contractions and Applications

open access: yesMathematics, 2023
In this article, we discuss the relation-theoretic aspects of weakly contractive mappings to prove fixed point results in the setting of metric spaces endowed with a certain binary relation.
Asik Hossain   +3 more
doaj   +1 more source

Knowledge Hypergraphs: Prediction Beyond Binary Relations

open access: yesInternational Joint Conference on Artificial Intelligence, 2019
Knowledge graphs store facts using relations between two entities. In this work, we address the question of link prediction in knowledge hypergraphs where relations are defined on any number of entities.
Bahare Fatemi   +3 more
semanticscholar   +2 more sources

Home - About - Disclaimer - Privacy