Intraocular melanomas, among the most com mon eye tumors in man, have seldom been reported in animals. This is particularly surprising in regard to the dog, a species that usually lives well into the "tumor age" and is affected by diverse neoplasms. In his "Pathology of Tumours" (1953) Willis (48) stated : ' 'I have not read of an intraocular melano ma in an animal." While reported cases are no...

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 establish the existence and uniqueness of common coupled xed point results for three covariant mappings in bipolar metric spaces. Moreover, we give an illustration which presents the applicability of the achieved results also we provided applications to homotopy theory as well as integral equations.

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

To celebrate the 10th anniversary of Praktyka Teoretyczna journal, we have invited our long-lasting collaborators and comrades to reflect once again on concept com-mon it’s possible futures by posing following questions: a) what is most important aspect current struggles for common?; b) are biggest challenges commonist politics future?; c) where in ongoing do you see a potential scaling-up spre...

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.