AIMS Conventional definitions of obesity, e.g. body mass index (BMI) ≥ 30 kg/m² or waist circumference cut-points of 102 cm (men) and 88 cm (women), may underestimate metabolic risk in non-Europeans. We prospectively identified equivalent ethnicity-specific obesity cut-points for the estimation of diabetes risk in British South Asians, African-Caribbeans and Europeans. METHODS We studied a po...

Well-known principles of induction include monotone induction and different sorts of nonmonotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing induction over well-founded sets and monotone and iterated induction. Just as the principle of positive induction has been formalized in FO(LFP), and the pri...

The postharvest vase life of cut roses was studied to determine the effects of various physiological factors that influence the vase life of cut flower. Cut roses were obtained from commercial area of Siliguri. To assess the effect of preservatives on the postharvest life of rose, cut flowers were treated with following preservative solutions: fixed amount of citric acid (CA) (300 mg/ml) and 8-...

the postharvest vase life of cut roses was studied to determine the effects of various physiological factors that influence the vase life of cut flower. cut roses were obtained from commercial area of siliguri. to assess the effect of preservatives on the postharvest life of rose, cut flowers were treated with following preservative solutions: fixed amount of citric acid (ca) (300 mg/ml) and 8-...

Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles are based on a proof theoretic notion of definition [26, 9, 13] Definitions are essentially stratified logic programs. The left and right rules for defined ...

BACKGROUND Low birthweight (LBW) is a major predictor of early neonatal mortality which disproportionately affects low-income countries. WHO recommends regional definitions for LBW to prevent misclassifications and ensure appropriate care of babies with LBW. We conducted this study to define a clinical cut-off for LBW, and to determine the predictors and adverse foetal outcomes of LBW babies in...

PURPOSE There is no universally accepted definition of bladder outlet obstruction in women. We compared 5 contemporary urodynamic definitions and determined how well they correlated with each other and with clinical suspicion of bladder outlet obstruction. MATERIALS AND METHODS A total of 154 women who underwent videourodynamics were prospectively evaluated. Clinical obstruction was suspected...