Markov Decision Process (MDP) is a well-known framework for devising the optimal decision making strategies under uncertainty. Typically, the decision maker assumes a stationary environment which is characterized by a time-invariant transition probability matrix. However, in many real-world scenarios, this assumption is not justified, thus the optimal strategy might not provide the expected per...

In this paper, we construct Ishikawa iterative scheme with errors for nonself nonexpansive maps and approximate fixed points of these maps through weak and strong convergenc of the scheme.

Suppose C is a nonempty closed convex subset of real Hilbert space H . Let T : C → H be a nonexpansive non-self-mapping and P is the nearest point projection of H onto C. In this paper, we study the convergence of the sequences {xn}, {yn}, {zn} satisfying xn = (1−αn)u+αnT[(1− βn)xn + βnTxn], yn = (1−αn)u+αnPT[(1− βn)yn + βnPTyn], and zn = P[(1 − αn)u + αnTP[(1 − βn)zn + βnTzn]], where {αn} ⊆ (0...

We study the convergence of Ishikawa iteration process for the class of asymptotically κ-strict pseudocontractive mappings in the intermediate sense which is not necessarily Lipschitzian. Weak convergence theorem is established. We also obtain a strong convergence theorem by using hybrid projection for this iteration process. Our results improve and extend the corresponding results announced by...

This paper studies the interaction of pre x iteration x with the silent step in the setting of branching bisimulation That is we present a nite equational axiomatization for Basic Process Algebra with deadlock empty process and the silent step extended with pre x iteration and prove that this axiomatization is complete with respect to rooted branching bisimulation equivalence

In this paper, we consider an iteration process for approximating common fixed points of two asymptotically quasinonexpansive mappings and we prove some strong and weak convergence theorems for such mappings in uniformly convex Banach spaces. Keywords—Asypmtotically quasi-nonexpansive mappings, Common fixed point, Strong and weak convergence, Iteration process.

Bergstra, Bethke and Ponse proposed an axiomatization for Basic Process Algebra extended with (binary) iteration. In this paper, we prove that this axiomatization is complete with respect to strong bisimulation equivalence. To obtain this result, we will set up a term rewriting system, based on the axioms, and prove that this term rewriting system is terminating, and that bisimilar normal forms...

In this paper, under the framework of Banach space with uniformly Gateaux differentiable norm and uniform normal structure, we use the existence theorem of fixed points of Li and Sims to investigate the convergence of the implicit iteration process and the explicit iteration process for asymptotically nonexpansive mappings. We get the convergence theorems.

In this paper, under the framework of Banach space with uniformly Gateauxdifferentiable norm and uniform normal structure, we use the existence theorem of fixed points of Gang Li and Sims to investigate the convergence of the implicit iteration process and the explicit iteration process for asymptotically nonexpansive semigroup. We get the convergence theorems.