This paper reports on the minimization of the average waiting time of the customers in the M/G/1 queue with vacation. Explicit formula for the unknown service parameter of a particular customer has been obtained by considering the exhaustive service discipline in the case of multi-user with unlimited service system. Moreover, results in case of partially gated and gated service disciplines unde...

introduction: educational justice is a process by which all those involved in education are pondering and seeking to establish it in their regulatory environments. this study aimed to investigate effective factors in an ideal educational justice and the current condition of educational justice from the students’ viewpoint and ultimately increase the awareness and understanding of authorities an...

laan in (ph.d thesis, tartu. 1999) introduced the principal weak form of condition $(p)$ as condition $(pwp)$ and gave some characterization of monoids by this condition of their acts. in this paper first we introduce condition (g-pwp), a generalization of condition $(pwp)$ of acts over monoids and then will give a characterization of monoids when all right acts satisfy this condition. we also ...

A connection graph represents resolvability in a set of clauses explicitly. The corresponding connection graph proof procedure has the deeciency that the graphs may grow, becoming impractical to handle. We present a novel proof procedure for condition graphs, which is a reenement of connection graphs. Our idea is to control the growth of the graph by recognizing tests in clauses and translating...

Laan in (Ph.D Thesis, Tartu. 1999) introduced the principal weak form of Condition $(P)$ as Condition $(PWP)$ and gave some characterization of monoids by this condition of their acts. In this paper first we introduce Condition (G-PWP), a generalization of Condition $(PWP)$ of acts over monoids and then will give a characterization of monoids when all right acts satisfy this condition. We also ...