Results 31 to 40 of about 1,050,506 (284)
Two-variable Logic with Counting and a Linear Order [PDF]
, 2015 We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures.
Charatonik, Witold, Witkowski, Piotr
core +3 more sources
Relation-Theoretic Contraction Principle In Metric Spaces Using Multiplicative Contraction
Ratio Mathematica, 2023 Alam and Imdad have presented a novel application of the Banach contraction principle on a complete metric spaces with a binary relation. We have extended the concept of binary relation with the multiplicative contraction in a complete metric spaces.
Radha Yadav, Balbir Singh
doaj +1 more source
, 2020 The relational width of a finite structure, if bounded, is always (1,1) or (2,3). In this paper we study the relational width of first-order expansions of finitely bounded homogeneous binary cores where binary cores are structures with equality and some ...
Bodirsky Manuel +3 more
core +1 more source
Operations on binary relations
Discrete Mathematics, 1978 AbstractThe effects of five basic operations (asymmetrization, complementation, dualization, symmetrization, transitive closure) on binary relations are examined. Identifies between compound operations are developed (e.g. the symmetric part of the transitive closure of the complement of the transitive closure equals the transitive closure of the ...
openaire +2 more sources
Multivalued Mizoguchi-Takahashi type rational contraction in relational metric spaces [PDF]
Surveys in Mathematics and its Applications, 2023 In this paper we establish a result in the fixed point theory of multivalued mappings. This is done by combining three prevalent trends in fixed point theory. Some consequences of the main theorem are discussed.
Binayak S. Choudhury +3 more
doaj
A multiwavelength investigation of the massive eclipsing binary Cyg OB2 #5 [PDF]
, 2008 The properties of the early-type binary Cyg OB2 #5 have been debated for many years and spectroscopic and photometric investigations yielded conflicting results.
Abbott +58 more
core +1 more source
pH‐mediated activation of the lysosomal arginine sensor SLC38A9
FEBS Letters, EarlyView.Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley +1 more source
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 +1 more source
Relaxing the Φ-Family Auxiliary Functions and Related Results
AxiomsThis article establishes the existence of fixed points and common fixed points for set-valued mappings satisfying an implicit-type contraction inequality involving a new auxiliary function in a complete metric space equipped with a binary relation ...
Salvatore Sessa +4 more
doaj +1 more source
Molecular Oncology, Volume 20, Issue 6, Page 1429-1452, June 2026.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source