Sentence examples for mappings and used from inspiring English sources

We extracted flycatcher-specific gene models from these mappings and used those as templates for mapping all reads again using bwa.

Afterward, several authors (see, e.g., [25, 26, 38 41]) studied such mappings and used them to prove some interesting results in fixed point theory.

In [4, 5] we established some classical distortion theorems for quasiconformal mappings and used the theory to develop connections between Schottky's theorem and Teichmüller's theorem.

Eldred et al. [2] defined relatively nonexpansive mappings and used the proximal normal structure to prove the existence of best proximity points for such mappings.

In this article, we define a tangential property which can be used not only for single-valued mappings but also for multi-valued mappings, and used it in the prove for the existence of a common fixed point theorems of Gregus type for four mappings satisfying a strict general contractive condition of integral type in metric spaces.

In this paper, we introduce the concept of T f -orbitally lower semi-continuous mappings and, using this concept, prove Mizoguchi-Takahashi's type coincidence point theorems.

By means of a new stability result, established for symmetric and multi-additive mappings, and using the concepts of stability couple and of stability chain, we prove, by a recursive procedure, the generalized stability of two of Fréchet's polynomial equations.

In this paper we introduce a generalization of the concept of compatible mappings, and using that condition, we obtain some new fixed point theorems under both contractive and noncontractive conditions, which may allow the existence of a common fixed point or the existence of multiple fixed or coincidence points.

Four different sets of global reanalysis data (NCEP/NCAR-R1, NCEP-DOE-R2, ERA40, and 20CR) that were previously downscaled using two RCMs (MM5 and RSM) were obtained, bias-corrected on a daily basis using the CDF-mapping approach, and used to drive an integrated hydrologic model (INTB) that was previously calibrated and verified for the Tampa Bay region.

These updated definitions based on Version 8 Entrez Gene mappings were downloaded and used in addition to the Affymetrix probe set definitions.

Long term familiarization with the new mappings and use of VCs may be necessary before significant benefits in CI users can be observed.