We extend bounds on the expressive power of firstorder logic over finite structures and over ordered finite structures, by generalizing to the situation where the finite structures are embedded in an infinite structure M , where M satisfies some simple combinatorial properties studied in model-theoretic stability theory. We first consider first-order logic over finite structures embedded in a s...

Background Granisetron is a first-generation 5-HT3-receptor antagonist that has shown efficacy in preventing postoperative nausea and vomiting (PONV). In this randomized double-blind parallel-group clinical trial, we assessed the efficacy of generic granisetron versus Kytril®, in the prevention of PONV in patients undergoing general anesthesia for gynaecological surgeries. Method One hundred an...

A convertible limited (multi-) verifier signature (CL(M)VS) provides controlled verifiability and preserves the privacy of the signer. Furthermore, limited verifier(s) can designate the signature to a third party or convert it into a publicly verifiable signature upon necessity. In this proposal, we first present a generic construction of convertible limited verifier signature (CLVS) into which...

medicines constitute a substantial proportion of out-of-pocket (oop) expenses in indian households. in order to address this issue, the government of india launched the jan aushadhi (medicine for the masses) scheme (jas) to provide cheap generic medicines to the patients (http://janaushadhi.gov.in/about_jan_aushadhi.html). these medicines are provided through the jan aushadhi stores established...

We prove a theorem computing the number of solutions to a system of equations which is generic subject to the sparsity conditions embodied in a graph. We apply this theorem to games obeying graphical models and to extensive-form games. We define emergent-node tree structures as additional structures which normal form games may have. We apply our theorem to games having such structures. We brief...

introduction: to evaluate the reliability, validity and feasibility of the persian version of the pediatric quality of life inventory (pedsql™ 4.0tm 4.0) generic core scales in iranian healthy students ages 7-15 and chronically ill children ages 2-18. methods: we followed the translation methodology proposed by developer to validate persian version of pedsql™ 4.0tm 4.0 generic core scales for c...

this descriptive correlational research sought to examine generic competencies required for university graduates from the points of view of agricultural engineers and mangers in kermanshah province. the study concentrated on the population of public agricultural managers (n= 130) as well as agricultural engineers (who were members of agricultural engineering system organization) in kermanshah p...