Sentence examples for mappings using an from inspiring English sources

Determination of REAction Mechanisms (DREAM) [19] is a Web tool that identifies atom mappings using an optimisation-based approach known as Mixed Integer Linear Optimisation (MILP).

They also proved a strong convergence theorem for this class of single-valued mappings using an idea of mean convergence in Hilbert spaces.

We provide a comprehensive evaluation of our annotation method and the proposed matching algorithms using real-world schemas and reference ontologies and demonstrate the feasibility of generating executable mappings using a state of the art mapping system.

In 1991, Schu [11] established weak and strong convergence results for asymptotically nonexpansive mappings using a modified Mann iteration.

They further studied the iterative approximation of fixed point of total asymptotically nonexpansive mappings using a modified Mann iteration process.

In the paper by Hu in 2008, the author proved a strong convergence result for nonexpansive mappings using a modified Halpern's iteration algorithm.

The purpose of this paper is to prove fixed point theorems for nonself multivalued -contractive type mappings using a new condition.

In 2000, Osilike and Aniagbosor [18] obtained weak and strong convergence results for asymptotically nonexpansive mappings using a modified Ishikawa iteration.

Recently, Yildirim and Özdemir [15] approximated a common fixed point of a finite family of asymptotically quasi-nonexpansive mappings using a new general iteration in a Banach space setting as follows.

In this paper, we consider the setting of multiplicative metric spaces to establish results regarding the common fixed points of four mappings, using a contraction condition defined by means of a comparison function.

The aim of this paper is to consider and establish results on the setting of b-metric spaces, regarding common fixed points of two mappings, using a contraction condition defined by means of a comparison function.