the purpose of this research was to study the effects of four personal and social variables including the age, literacy, job experience and size of herd on different variables such as implementing of managerial strategies in transition period, relevant costs of these strategies, average production per head and gross income of milk sale per head. for this purpose all required information were co...

Let / = [0, 1], ® = Lebesgue measurable subsets of [0, 1], and let A denote the Lebesgue measure on (/, ©). Let t: / —> / be measurable and surjective. We say t is full, if for all A e «, AL4) > 0, r(A), t\A), ..., measurable, the condition (1) n|im \(t"(A)) = 1 holds. We say t is interval full if (1) holds for any interval A c /. In this note, we give an example of t: / -> / which is continuou...

This paper presents VaqUoT – a University of Toronto tool for vacuity detection, built on top of NuSMV. In one model-checking pass, VaqUoT establishes the truth value of a CTL formula as well as the largest set of nonoverlapping subformulas in which that formula is vacuous. We describe the tool and evaluate its performance. During model-checking, properties are sometimes satisfied by models for...