We show that long-run average cost function for the (R, T) policy with normally distributed demand has a structure similar to that of the corresponding (Q, r) model so that many of the useful properties of the latter model are applicable. In particular, (i) the optimal cost is relatively insensitive to the choice of the reorder interval, T, provided a near-optimal R corresponding to the chosen ...

In this paper we prove the existence of certain Steiner systems. The results of this paper are divided into three sections: In section 1, we investigate Steiner systems of type S(3, 4, 8). In section 2, we study Steiner systems of type S(5, 6, 12), and in the last section we study Steiner systems of type (5, 8, 24), the MOG and the Hexacode. Mathematics Subject Classification: 20C15, 20E28

In this article, we show the properties of the calculating type state machines. In the first section, we have defined calculating type state machines of which the state transition only depends on the first input. We have also proved theorems of the state machines. In the second section, we defined Moore machines with final states. We also introduced the concept of result of the Moore machines. ...

Pedunculated chorangioma is extremely rare type of chorangioma. To the best of our knowledge, no case has been reported in Indian literature. We report one such rare case in a twenty two year old primi gravida who delivered a full term live female baby by lower section caesarian section (LSCS). Gross examination revealed a nodular mass attached to the placenta by a pedicle. Histopathological ex...

A total of 12 species of marine gastropods, among which two taxa are new, is reported for the first time from the Miocene deposits of Khavich section, south of Sirjan, Kerman. Gastropods assemblage in Khavich area indicates deposition in shallow, warm ramp-type carbonate platform. The Miocene and even Oligocene gastropod assemblages, relatively similar to Khavich section, reported from the othe...

IN the first section of this paper, I employ an ontological type argument to show that the possibility of God implies, in a standard system of quantified modal logic, the existence and uniqueness of God. In the second section, I argue that the very idea of a supreme being is meaningful. In the third section, I use a cosmological type argument to prove that it is possible for God to exist. In th...