In this article we present a variant of the basic result of "T. Gnana. Bhaskar and V. Lakshmikanthan, Fixed point theorem in partially ordered metric spaces and applications, Nonlinear Anal. TMA, 65 (2006), 1379–1393." to …nd the coupled …xed points of multivalued mappings without mixed monotone property in cone metric space involving non-normal cones. As applications we prove the existence of ...

The basics of a block oriented fractal image coder, are described. The output of the coder is an IFS (Iterated Function System) code, which describes the image as a xed-point of a contractive transformation. A new hierarchical interpretation of the IFS code, which relates diierent scales of the xed-point to the code, is presented and proved. The proof is based on nding a function of a continuou...

In this paper, coupled xed point results of Bhaskar-Lakshmikantham type [T. Gnana Bhaskar, V.Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, NonlinearAnalysis 65 (2006) 1379-1393] are extend, generalized, unify and improved by using monotonemappings instead mappings with mixed monotone property. Also, an example is given to supportthese improvements.

in this paper, a vector version of the intermediate value theorem is established. the main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{on fixed point theorems for monotone increasing vector valued mappings via scalarizing}, positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...

We present a new xed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also in...

In this paper xed point and coincidence results are presented for two and three single-valued map-pings. These results extend previous results given by Rhoades (2003) and Djoudi and Merghadi(2008).

We introduce an implicit method for nding a common element of the set of solutions of systems of equilibrium problems and the set of common xed points of a sequence of nonexpansive mappings and a representation of nonexpansive mappings. Then we prove the strong convergence of the proposed implicit schemes to the unique solution of a variational inequality, which is the optimality condition for ...

Global business information systems are examined with respect to current information systems development approaches. Many of the latter are deemed to be inadequate because they are inherently static, both in nature and in the way they are developed, and because they are both functionally and at the user interface level, not adaptive enough. An explanation for why this is so is oflered, through ...

We consider foundational questions related to the de nition of functions by corecursion. This method is especially suited to functions into the greatest xed point of some monotone operator, and it is most applicable in the context of non-wellfounded sets. We review the work on the Special Final Coalgebra Theorem of Aczel [NWF] and the Corecursion Theorem of Barwise and Moss [VC]. We prove some ...