"This paper deals with some existence results for a class of implicit fractional q-difference equations. The are based on the fi xed point theory in Banach spaces and concept measure noncompactness. An illustrative example is given last section."

In this paper, we give some xed point theorems for '-weak contractivetype mappings on complete G-metric space, which was given by Zaed andSims [1]. Also a homotopy result is given.

This paper deals with adaptive simulation of time-dependent problems. Mesh adaptation for unsteady con gurations is especially important as the phenomenon evolves in the whole computational domain and, in order to capture such a phenomenon accurately on adapted meshes, one has to predict the evolution path. Here, we propose a new adaptive algorithm for time-dependent simulation; the idea is to ...

recently, zhang and song [q. zhang, y. song, fixed point theory forgeneralized $varphi$-weak contractions,appl. math. lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. in this paper, we prove a common fixed point theorem fora family of compatible maps. in fact, a new generalization of zhangand song's theorem is given.

We consider the problem of nding models for logic programs P via xed points of immediate consequence operators TP Certain extensions of syntax invalidate the classical approach adopted in the case of de nite programs using iterates of TP and the Knaster Tarski theorem We discuss alternatives to the use of this theorem based on elementary notions from topological dynamics This leads us to consid...

some algorithms for nding common xed point of a family of mappings isconstructed. indeed, let c be a nonempty closed convex subset of a uniformlyconvex banach space x whose norm is gateaux dierentiable and let {tn} bea family of self-mappings on c such that the set of all common fixed pointsof {tn} is nonempty. we construct a sequence {xn} generated by the hybridmethod and also we give the ...

Recently, Zhang and Song [Q. Zhang, Y. Song, Fixed point theory forgeneralized $varphi$-weak contractions,Appl. Math. Lett. 22(2009) 75-78] proved a common fixed point theorem for two mapssatisfying generalized $varphi$-weak contractions. In this paper, we prove a common fixed point theorem fora family of compatible maps. In fact, a new generalization of Zhangand Song's theorem is given.

We describe an encoding of major parts of domain theory in the PVS extension of the simply typed calculus these encodings consist of Formalizations of basic structures like partial orders and complete partial orders domains Various domain constructions Notions related to monotonic functions and continuous functions Knaster Tarski xed point theorems for monotonic and continuous functions the pro...

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 fo...

Blanck, J., 1997: Computability on topological spaces by eeective domain representations. Our aim in this thesis is to study a uniform method to introduce computability on large, usually uncountable, mathematical structures. The method we choose is domain representations using Scott{Ershov domains. Domain theory is a theory of approximations and incorporates a natural computability theory. This...