In optimal planning as heuristic search, admissible pruning techniques are paramount. One idea is dominance pruning, identifying states “better than” other states. Prior approaches are limited to simple dominance notions, like “more STRIPS facts true” or “higher resource supply”. We apply simulation, well-known in model checking, to compute much more general dominance relations based on compari...

‎it is well known that every (real or complex) normed linear space $l$ is isometrically embeddable into $c(x)$ for some compact hausdorff space $x$‎. ‎here $x$ is the closed unit ball of $l^*$ (the set of all continuous scalar-valued linear mappings on $l$) endowed with the weak$^*$ topology‎, ‎which is compact by the banach--alaoglu theorem‎. ‎we prove that the compact hausdorff space $x$ can ...

The algebra of functions on κ-Minkowski noncommutative spacetime is studied as algebra of operators on Hilbert spaces. The representations of this algebra are constructed and classified. This new approach leads to a natural construction of integration in κ-Minkowski spacetime defined in terms of the usual trace of operators.

based on a complete heyting algebra l, the relations between lfuzzifyingconvergence spaces and l-fuzzifying topological spaces are studied.it is shown that, as a reflective subcategory, the category of l-fuzzifying topologicalspaces could be embedded in the category of l-fuzzifying convergencespaces and the latter is cartesian closed. also the specialization l-preorderof l-fuzzifying convergenc...

Let $H$ and $K$ be compact subgroups of locally compact group $G$. By considering the double coset space $Ksetminus G/H$, which equipped with an $N$-strongly quasi invariant measure $mu$, for $1leq pleq +infty$, we make a norm decreasing linear map from $L^p(G)$ onto $L^p(Ksetminus G/H,mu)$ and demonstrate that it may be identified with a quotient space of $L^p(G)$. In addition, we illustrate t...

‎It is well known that every (real or complex) normed linear space $L$ is isometrically embeddable into $C(X)$ for some compact Hausdorff space $X$‎. ‎Here $X$ is the closed unit ball of $L^*$ (the set of all continuous scalar-valued linear mappings on $L$) endowed with the weak$^*$ topology‎, ‎which is compact by the Banach--Alaoglu theorem‎. ‎We prove that the compact Hausdorff space $X$ can ...