The computation of counterexamples for probabilistic systems has gained a lot of attention during the last few years. All of the proposed methods focus on the situation when the probabilities of certain events are too high. In this paper we investigate how counterexamples for properties concerning expected costs (or, equivalently, expected rewards) of events can be computed. We propose methods ...

this study was carried out to discover: 1) whether provision of medical care and social welfare affected the size of the family among laborers. 2) compare laborers family size with that of the total population of isfahan. 3) since social security receives its premium on the basis of salary rather than the number of dependents, then what is the cost of medical care for groups of single and marri...

Abstract A network game assigns a level of collectively generated wealth to every that can form on given set players. variable combines with formation probability distribution, describing certain restrictions formation. Expected levels and expected individual payoffs be formulated in this setting. We investigate properties the resulting as well variants well-established values allocation rules ...

We develop a weakest-precondition-style calculus à la Dijkstra for reasoning about amortized expected runtimes of randomized algorithms with access to dynamic memory — the aert calculus. Our is truly quantitative, i.e. instead Boolean valued predicates, it manipulates real-valued functions. En route calculus, we study ert Kaminski et al. [2018] extended by capabilities handling memory, thus ena...

Diabetes is one of the most common metabolic diseases in the world. Vitamin E reduces protein glycation and improves insulin sensitivity, while cumin is effective in remission of diabetes. Therefore this study was designed to evaluate the effects of vitamin E and cumin essential oil, on the blood level of leptin,glycosylated hemoglobin (HbA1C) and also on lipid profile in diabetic patients.In t...

over a three years period, from march1977 to feb. 1979, a total of 821 women receiving oral contraceptive from ibn-e-sina clinic were studied. the continuation rate, using the life table method, was calculated to be 75% by the end of the first year, and 51% by the end of the second year. amongst the various reasons for termination, non medical reasons were the most important ones and were equal...

We studied the influences of antimicrobial agents on the colonization of the respiratory tract and infection with Enterococcus faecalis in intensive care unit (ICU) patients receiving mechanical respiration for at least 3 days. In a matched-cohort analysis, patients receiving topical antimicrobial prophylaxis (TAP) of the oropharynx and stomach with antimicrobial agents not treating E. faecalis...