in this paper, several xed point theorems for t-contraction of two maps on cone metric spaces under normality condition are proved. obtained results extend and generalize well-known comparable results in the literature.

Digital mobile systems are sensitive to power consumption, chip size and costs. Therefore they are realized using xed-point architectures, either dedicated HW or xed-point processors. On the other hand, system design starts from a oating-point description. These requirements have been the motivation for FRIDGE , a design environment for the speci cation, evaluation and implementation of xed-poi...

This utility software automatically converts a oating-point digital signal processing program written in C or C++ language to a xed-point program. The conversion is conducted by deening a new xed-point data class and utilizing the operator overloading characteristic of the C++ language. A generalized xed-point format which consists of the wordlength, integer wordlength, sign, overrow, and quati...

in this paper, tripled coincidence points of mappings satisfying  -contractive conditions in the framework of partially ordered gb-metric spaces are obtained. our results extend the results of aydi et al. [h. aydi, e. karapnar and w. shatanawi, tripled xed point results in generalized metric space, j. applied math., volume 2012, article id 314279, 10 pages]. moreover, some examples of the mai...

In this paper, we will establish some xed point results for two pairs of self mappings satisfying generalized contractive condition by using a new concept as weak subsequential continuity with compatibility of type (E) in metric spaces, as an application the existence of unique common solution for a system of functional equations arising in system programming is proved.

In this paper, we have developed and analysed per models for recursive types, polymorphism, and subtyping. In developing our models, the emphasis has been on simplicity and on understanding the necessity of any conditions we impose on our structures. While similar structures have been given using the interpretation of constructive logic in a topos, the presentation of the models here is more di...

The given article describes the implicit fractional dierential equation with anti-periodic boundary conditionsin frame of Caputo-Katugampola derivative. We obtain an analogous integral thegiven problem and prove existence uniqueness results such a using Banach andKrasnoselskii xed point theorems. Further, by applying generalized Gronwall inequality, Ulam-Hyersstability are discussed. To show ee...

in this paper, we prove a fixed point theorem for a pair of generalized weakly contractive mappings in complete partial metric spaces. the theorems presented are generalizations of very recent fixed point theorems due to abdeljawad, karapinar and tas. to emphasize the very general nature of these results, we illustrate an example.

In this paper, we introduce the concept of a w-compatible mappings and utilize the same to discuss the ideas of coupled coincidence point and coupled point of coincidence for nonlinear contractive mappings in the context of complex valued metric spaces besides proving existence theorems which are following by corresponding unique coupled common fixed point theorems for such mappings. Some illus...

in this paper, we prove the existence of the solution for boundary value prob-lem(bvp) of fractional dierential equations of order q 2 (2; 3]. the kras-noselskii's xed point theorem is applied to establish the results. in addition,we give an detailed example to demonstrate the main result.