Quasi-Borel spaces are a new mathematical structure that supports higher-order probability theory, first-order iteration, and modular semantic validation of Bayesian inference algorithms with continuous distributions. Like a measurable space, a quasi-Borel space is a set with extra structure suitable for defining probability and measure distributions. But unlikemeasurable spaces, quasi-Borel sp...

A tournament is a graph in which each pair of distinct vertices is connected by exactly one directed edge. Tournaments are an important graph class, for which isomorphism testing seems to be easier to compute than for the isomorphism problem of general graphs. We show that tournament isomorphism and tournament automorphism is hard under DLOGTIME uniform AC many-one reductions for the complexity...

In this paper we introduce strong $I^K$-convergence of functions which is common generalization of strong $I^*$-convergence of functions in probabilistic metric spaces. We also define and study strong $I^{K}$-limit points of functions in same space.

Finding paths in high-dimensional gemetric spaces is a provably hard problem. Recently, a general randomized planning scheme has emerged as an e ective approach to solve this problem. In this scheme, the planner samples the space at random and build a network of simple paths, called a probabilistic roadmap. This paper describes a basic probabilistic roadmap planner, which is easily parallelizab...

considering the increasing interest in fuzzy theory and possible applications,the concept of fuzzy metric space concept has been introduced by severalauthors from different perspectives. this paper interprets the theory in termsof metrics evaluated on fuzzy numbers and defines a strong hausdorff topology.we study interrelationships between this theory and other fuzzy theories suchas intuitionis...

A large number of results in analysis of algorithms contain fluctuations. A typical result might read “The expected number of . . . for large n behaves like log2 n + constant + delta(log2 n), where delta(x) is a periodic function of period one and mean zero.” Examples include various trie parameters, approximate counting, probabilistic counting, radix exchange sort, leader election, skip lists,...

In this paper, we introduce the notion of probabilistic valued measures as a generalization of non-negative measures and construct the corresponding Lp spaces, for distributions p > "0. It is alsoshown that if the distribution p satises p "1 then, as in the classical case, these spaces are completeprobabilistic normed spaces.

Verification of PCTL properties of MDPs with convex uncertainties has been investigated recently by Puggelli et al. However, model checking algorithms typically suffer from the state space explosion problem. In this paper, we discuss the use of probabilistic bisimulation to reduce the size of such an MDP while preserving the PCTL properties it satisfies. As a core part, we show that deciding bi...

Considering the increasing interest in fuzzy theory and possible applications,the concept of fuzzy metric space concept has been introduced by severalauthors from different perspectives. This paper interprets the theory in termsof metrics evaluated on fuzzy numbers and defines a strong Hausdorff topology.We study interrelationships between this theory and other fuzzy theories suchas intuitionis...