A process ∆ is regular if it is bisimilar to a process ∆′ with finitely many states. We prove that regularity of normed PA processes is decidable and we present a practically usable polynomial-time algorithm. Moreover, if the tested normed PA process ∆ is regular then the process ∆′ can be effectively constructed. It implies decidability of bisimulation equivalence for any pair of processes suc...

Neuropsychologists frequently rely on a battery of neuropsychological tests which are normally distributed to determine impaired functioning. The statistical likelihood of Type I error in clinical decision-making is in part determined by the base rate of normative individuals obtaining atypical performance on neuropsychological tests. Base rates are most accurately obtained by co-normed measure...

The purpose of this paper is to introduce and discuss the concept of orthogonality in normed spaces. A concept of orthogonality on normed linear space was introduced. We obtain some subspaces of Banach spaces which are topologically complemented.

 The main purpose of this paper is to study the existence of afixed point in locally convex topology generated by fuzzy n-normed spaces.We prove our main results, a fixed point theorem for a self mapping and acommon xed point theorem for a pair of weakly compatible mappings inlocally convex topology generated by fuzzy n-normed spaces. Also we givesome remarks in locally convex topology generate...

We study algebraic and geometric properties of metric spaces endowed with dilatation structures, which are emergent during the passage through smaller and smaller scales. In the limit we obtain a generalization of metric affine geometry, endowed with a noncommutative vector addition operation and with a modified version of ratio of three collinear points. This is the geometry of normed affine g...

In this paper, we give a general solution of a refined quadratic functional equation and then investigate its generalized Hyers–Ulam stability in quasi-normed spaces and in non-Archimedean normed spaces. AMS Subject Classification: 39B82, 39B62

In this paper we prove result for Jensen type mapping in the setting of intuitionistic fuzzy normed spaces. We generalize a Hyers-Ulam stability result in the framework of classical normed spaces.

In this paper, we consider random multi-normed spaces introduced by Dales and Polyakov (Multi-Normed Spaces, 2012). Next, by the fixed point method, we approximate the multiplicatives on these spaces.

in this paper, we introduce the cone normed spaces and cone bounded linear mappings. among other things, we prove the baire category theorem and the banach--steinhaus theorem in cone normed spaces.