The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists...

Schizosaccharomyces pombe has been used extensively as a model organism, however it is only recently that the first prion in this organism, a copper transporter protein encoded by ctr4, has been conclusively demonstrated. Prions are found in a wide range of organisms and have been implicated in a number of human neurodegenerative diseases. Research into the biology of prions has been carried ou...

This paper presents closed-form expressions to exactly match three moments and a correlation parameter into a Markovian arrival process of second order (MAP(2)), whose marginal distribution is a mixture of two exponentials. Mixtures of exponential distributions are popular in distribution fitting. In the two-dimensional setting, we study to which extent correlations can be introduced in a seque...

Processing map for hot working of Ti-IF steel has been developed in the temperature range of 750 to 1100 °C and strain rate of 0.01 to 100 s-1. This map in the austenite region exhibits a single domain with a peak efficiency of 45% occurring at 1025 °C and strain rate of 0.02 s-1. The domain extends over the temperature range of 1000 to 1100 °C and strain rate range of 0.01 to 1 s-1. The true s...

In this paper we prove existence of fixed point theorems for Z-contractive map, Geraghty type contractive map and interpolative Hardy-Rogers type contractive mapping in the setting of SJS- metric spaces with two metrics. Examples are constructed to high light the significance of newly obtained results.