نتایج جستجو برای: z3 06 percent
تعداد نتایج: 122112 فیلتر نتایج به سال:
Abstract Background Globally, about 25% of children suffer from subclinical vitamin A deficiency (VAD), and approximately 300 million globally had anemia as per 2011 estimates. Micronutrient deficiencies are generally referred to “hidden hunger” because these developed gradually. The present study determines the socio-economic inequalities in supplementation (VAS) Iron (IS) among aged 6–59 mont...
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier-free BAPA (QFBAPA). Deciding the satisfiability of QFBAPA formulas has been shown to be NP-complete using an eager reduction to quantifier-fr...
Taliglucerase alfa is the first available plant cell-expressed human recombinant therapeutic protein. It is indicated for treatment of patients with type 1 Gaucher disease (GD) in adult and pediatric patients in several countries. Study PB-06-002 examined the safety and efficacy of taliglucerase alfa for 9 months in patients who previously received imiglucerase. The results of adult patients fr...
The classical planning problem can be enriched with quantitative and qualitative user-defined preferences on how the system behaves on achieving the goal. In this paper, we propose the probabilistic preference planning problem for Markov decision processes, where the preferences are based on an enriched probabilistic LTL-style logic. We develop P4Solver, an SMT-based planner computing the prefe...
PURPOSE To determine the distribution of Zernike coefficients and higher order aberrations in a normal population and its relationship with age, gender, biometric components, and spherical equivalent. METHODS During the first phase of the Shahroud cohort study, 6311 people of the 40-64-year-old population of Shahroud city were selected through random cluster sampling. A subsample of participa...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید