Results 301 to 310 of about 2,646,852 (331)

Weighted Quasi‐Metrics

Annals of the New York Academy of Sciences, 1994
ABSTRACT: We study the class of topologies which are induced by weighted quasi‐metrics (equivalently, partial metrics). Partial metrics were introduced by S. Matthews in his study of topological models appropriate for the denotational semantics of programming languages.It follows from our results that each T0‐space with a s̀‐disjoint base admits a ...
HANS‐PETER A. KÜNZI, VÁCLAV VAJNER
openaire   +1 more source

The monad on strong quasi-metric spaces

Theoretical Computer Science, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Quasi-metric geometry

2021
[ACCESS RESTRICTED TO THE UNIVERSITY OF MISSOURI AT AUTHOR'S REQUEST.] Every time one sees |x-y|, one is looking at a specific metric acting on x and y, whatever they may happen to be, usually numbers or vectors. The notion of the distance between two objects is one of the most fundamental and ubiquitous in many branches of mathematics.
openaire   +2 more sources

Scott quasi-metric and Scott quasi-uniformity based on pointwise quasi-metrics

Fuzzy Sets and Systems
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Chong Shen 0003, Fu-Gui Shi, Xinchao Zhao   +2 more
openaire   +2 more sources

On the Upper Completeness of Quasi-metric Spaces

2010 Third International Symposium on Intelligent Information Technology and Security Informatics, 2010
This paper is concerned with the problem of upper completeness in the quasi-metric spaces. In this paper, firstly, some new basic concepts of quasi-metric spaces such as the upper limit and lower limit are put forward. Correspondingly, the concepts of upper closed set, upper Cauchy sequence and upper completeness are obtained. Secondly, three important
Xiaodan Chen, Shaobai Chen
openaire   +1 more source

QUASI-METRICS AND THE SEMANTICS OF LOGIC PROGRAMS

Fundamenta Informaticae, 1997
Quasi-metrics have been used in several places in the literature on domain theory and the formal semantics of programming languages. In this paper, we consider the role of quasi-metrics in the fixed point semantics of logic programs, examining in detail a quite general process by which fixed points of immediate consequence operators can be found.
openaire   +2 more sources

Hitting time quasi-metric and its forest representation

Optimization Letters, 2018
Let $$\widehat{m}_{ij}$$ m ^ ij be the hitting (mean first passage) time from state i to state j in an n -state ergodic homogeneous Markov chain with transition matrix  T . Let $$\Gamma $$ Γ be the weighted digraph whose vertex set coincides with the set
P. Chebotarev, E. Deza
semanticscholar   +1 more source

Caristi's fixed point theorem, Ekeland's variational principle and Takahashi's maximization theorem in fuzzy quasi-metric spaces

, 2021
J. Wu, X. Tang
semanticscholar   +1 more source

Quasi-metric spaces, quasi-metric hyperspaces and uniform local compactness

2011
A quasi-uniform space \((X,{\mathcal U})\) is uniformly locally compact provided that there exists \(V\in{\mathcal U}\) such that for each \(x\in X\), \(\overline{V(x)}\) is locally compact. A quasi-metric space \((X,d)\) is uniformly locally compact provided that the quasi-uniformity generated by \(d\) is uniformly locally compact.
Künzi, Hans-Peter A., Romaguera, Salvador   +1 more
openaire   +2 more sources

Point-Free Geometries: Proximities and Quasi-Metrics

Mathematics in Computer Science, 2013
In [Math. Struct. Comput. Sci. 16, No. 1, 115--137 (2006; Zbl 1112.54012)], \textit{A. Di Concilio} and \textit{G. Gerla} proposed a `point-free' approach to metric spaces substantially different from what is usually understood by that term (see the review of the paper in [Zbl 1112.54012] for more information), assuming as only primitives the concepts ...
openaire   +2 more sources