There are many reasons why cryopreservation of gametes are important: 1) maintenance of genetic diversity in domestic and wild species populations (Wildt 1992; Wildt 1997; Critser and Russell 2000), 2) facilitating the distribution of “genetically superior” domestic species lines, 3) treatment of human infertility (Kuczynski et al. 2001; Ranganathan et al. 2002; Tash et al. 2003; Agarwal et al....

Forming Limit Diagrams are useful tools for evaluation of formability in the sheet metals. In this paper the effects of yield criteria on predictions of the right and left-hand sides of forming limit diagrams (FLDs) are investigated. In prediction of FLD, Hosford 1979, “Karafillis-Boyce” (K-B) and BBC2000 anisotropy yield functions have been applied. Whereas the prediction of FLD is based on th...

Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

Waiting in long queue is undesirable due to which in some practical situations customers become impatient and leave the system. In such cases providing additional servers can reduce long queue. This investigation deals with multi-server queueing system with additional servers and discouragement. The customers arrive in poisson fashion and are served exponentially by a pool of permanent and addi...

Treatment of chicken blood smears and semithin sections from Epon-embedded mouse tissues with aqueous solutions of the 3-aminonaphthalimides FA-142, FA-2043, and FA-2143 induced a strong green-yellow fluorescence of chromatin under violet or violet-blue excitation. Chromatin emission was abolished by previous DNase or hot TCA treatment. The use of 3-methoxy (FA-655) and 3-nitro derivatives (M-4...