In this paper, we propose a new definition of intuitionistic fuzzyquasi-metric and pseudo-metric spaces based on intuitionistic fuzzy points. Weprove some properties of intuitionistic fuzzy quasi- metric and pseudo-metricspaces, and show that every intuitionistic fuzzy pseudo-metric space is intuitionisticfuzzy regular and intuitionistic fuzzy completely normal and henceintuitionistic fuzzy nor...

This paper provides a case-study in the field of metric semantics for probabilistic programming. Both an operational and a denotational semantics are presented for an abstract process language Lpr , which features action refinement and probabilistic choice. The two models are constructed in the setting of complete ultrametric spaces, here based on probability measures of compact support over se...

By a hyperbolization of a locally compact non-complete metric space (X, d) we mean equipping X with a Gromov hyperbolic metric dh so that the boundary at infinity ∂∞X of (X, dh) can be identified with the metric boundary ∂X of (X, d) via a quasisymmetric map. The aim of this note is to show that the Gromov hyperbolic metric dh, recently introduced by the author, hyperbolizes the space X. In add...

The Baire theory of category, which classifies sets into two distinct categories, is an important topic in the study of metric spaces. Many results in topology arise from category theory; in particular, the Baire categories are related to a topological property. Because the Baire Category Theorem involves nowhere dense sets in a complete metric space, this paper first develops the concepts of n...

Dense image alignment from RGB-D images remains a critical issue for real-world applications, especially under challenging lighting conditions and in wide baseline setting. In this letter, we propose new framework to learn pixel-wise deep feature map feature-metric uncertainty predicted by Convolutional Neural Network (CNN), which together formulate probabilistic residual of the two-view constr...

This study deals with an establishment of some common fixed point theorems for weak sub sequential continuous and compatibility of type (E) maps via C-class functions in a non Archimedean Menger Probabilistic Metric space.

In this paper, we prove several coupled common fixed point theorems for nonlinear mappings in a partially ordered probabilistic metric space. An example is presented to illustrate the main result of this paper.

motivated by samet et al. [nonlinear anal., 75(4) (2012), 2154-2165], we introduce the notions of $alpha$-$phi$-fuzzy contractive mapping and $beta$-$psi$-fuzzy contractive mapping and prove two theorems which ensure the existence and uniqueness of a fixed point for these two types of mappings. the presented theorems extend, generalize and improve the corresponding results given in the literature.

in this paper, the matsumoto metric with special ricci tensor has been investigated. it is proved that, if  is ofpositive (negative) sectional curvature and f is of  -parallel ricci curvature with constant killing 1-form ,then (m,f) is a riemannian einstein space. in fact, we generalize the riemannian result established by akbar-zadeh.