Results 141 to 150 of about 117,160 (165)

Approximation of Metric Spaces by Partial Metric Spaces

Applied Categorical Structures, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Aggregation of partial T-indistinguishability operators and partial pseudo–metrics

Fuzzy Sets and Systems, 2021
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tomasa Calvo Sánchez, Pilar Fuster-Parra   +1 more
openaire   +2 more sources

Partial soft metric spaces: Convergence

Journal of Interdisciplinary Mathematics, 2022
Matthew introduced a non-zero self distance which is called a partial metric as a part of the study of denotational semantics of dataflow network. In this study, we aim to extend the Matthew's notion to the soft universe and so, we give the definition of a partial soft metric.
openaire   +2 more sources

The partial metrics system: modeling the stepwise refinement process using partial metrics

Communications of the ACM, 1987
The Partial Metrics System design is explained, with an emphasis on the refinement process. A model, with its three phases, shows that the pseudocode refinement process can be monitored in partial metric terms.
openaire   +1 more source

Fuzzy partial (pseudo-)metric spaces

Journal of Intelligent & Fuzzy Systems, 2014
This paper attempts to generalize partial (pseudo-)metric and fuzzy (pseudo-)metric to a more general framework (in this paper, we call it fuzzy (pseudo-)partial metric). Firstly, the concept of fuzzy partial (pseudo-)metric is given. Then the relationships between partial (pseudo-)metric, fuzzy (pseudo-)metric and fuzzy partial (pseudo-)metric are ...
Yueli Yue, Meiqi Gu
openaire   +1 more source

DIFFERENT TYPES OF QUASI-METRIC AND PARTIAL METRIC SPACES

Bukovinian Mathematical Journal, 2023
The notion of a partial metric space was introduced by S. Matthews \cite{Matthews1992} in 1992. This notion arose as a certain extension of the notion of metric spaces and was used in computer science, where there are non-Hausdorff topological models. A function $p:X^2\to [0,+\infty)$ is called {\it a partial metric} on $X$ if for all $x,y,z\in X$ the ...
V. Myronyk, V. Mykhaylyuk
openaire   +1 more source

Partial Metric Spaces

2014
The topic of this section has its origins in the study of theoretical computer science. In 1992, S.G. Matthews [149] introduced the notion of a “partial metric space” with the aim of providing a quantitative mathematical model suitable for programming verification. See [149, 200] for further discussion.
William Kirk, Naseer Shahzad
openaire   +1 more source

What Is the Aggregation of a Partial Metric and a Quasi-metric?

2018
Generalized metrics have been shown to be useful in many fields of Computer Science. In particular, partial metrics and quasi-metrics are used to develop quantitative mathematical models in denotational semantics and in asymptotic complexity analysis of algorithms, respectively.
Juan-José Miñana, Óscar Valero
openaire   +1 more source

Some Remarks on Partial Metric Spaces

Bulletin of the Malaysian Mathematical Sciences Society, 2019
In the present paper, some topological properties of partial metric spaces are investigated. Section 1 is introductory. In Section 2, after studying some general relationships between metric-like partial metric spaces, sequentially isosceles partial metric spaces and sequentially equilateral partial metric spaces, a special variant of Urysohn's lemma ...
Lu, Hanchuan, Zhang, Heng, He, Wei
openaire   +1 more source

Metrics to measure the complexity of partial programs

Journal of Systems and Software, 1984
Abstract Many metrics exist to measure the structural complexity of completed programs. Here, metrics are developed which allow the measurement of the structural complexity of partially developed programs. These metrics support the description of both sequential and concurrent programs.
openaire   +1 more source