In this paper we present sQueezeBF, an effective preprocessor for QBFs that combines various techniques for eliminating variables and/or clauses. In particular sQueezeBF combines (i) variable elimination by Q-resolution and equality reduction, and (ii) clause simplification via subsumption and self-subsumption resolution. The experimental analysis shows that sQueezeBF can produce significant re...

Study of different patterns on a local neighborhood of a texture plays an important role in characterization, and classification of the textures. Many preprocessing steps are used in the generation of textures for a better quality. The present paper studies how the percentage of occurrence factor of a typical pattern varies after applying various local preprocessing steps. For this eight simple...

BACKGROUND Leptin is a protein product of obesity gene and is synthesized mainly by adipose tissue. OBJECTIVE The aim of this study was to determine maternal and neonatal serum leptin levels in term preeclamptic and normal pregnancies. MATERIALS AND METHODS This cross sectional study was performed on 37 preeclamptic and 40 normotensive term pregnant women without other disease. Serum level ...

the present study was conducted to compare the effect of individual and group pre-task planning on efl learners’ accuracy and complexity in speaking. to fulfill the purpose of the study, 60 intermediate female learners at the first grade of high school were chosen by means of a sample preliminary english test (pet) and randomly divided into two experimental groups of 30 students; the individual...

background: this work investigated the dosimetry limitations of the random and systematic uncertainties of sliding window (sw) intensity modulated radiation therapy (imrt). materials and methods: a varian 21ex linear accelerator, pinnacle3 treatment planning system and radiographic film dosimetry was used. the limitations of the sw were studied using beam modulation ranging from 2 to 100 mu/bea...

Researchers have worked extensively on OCR, in the past few decades. This is also visible from the fact that various types of OCR are available in the market. Out of these available OCR’s majority is to support foreign languages. In Indian context, majority of available OCR’s are for Hindi and Bangla, but a very few reports are available on Gurmukhi script which is used to write Punjabi languag...

A maximum likelihood estimate for frequency carrier, phase leakage and amplitude of digital PSK modulated signals is presented. The three optimum parameters obtained are analyzed and compared with suboptimum realizations in the synchronization process. In order to achieve an efficient system a final structure is closed where each method is selected in order to get not only appropriated performa...

This study was carried in BSMMU from July 2001 to June 2003. During the study period, 60 pregnant women were studied. Thirty patients were preeclamptic and thirty were normal healthy pregnant women served as control. Serum lipoprotein(a) was found significantly higher in preeclamptic women 56.63 +/- 22.6 mg/dl and found within limit in normal healthy pregnant women, 12.89 +/- 4.59 mg/dl. Result...

At the start of the last decade, we provided evidence that levels of the peptide neurokinin B were highly elevated in pre-eclampsia. We hypothesized that elevated levels of neurokinin B may be an indicator of pre-eclampsia and that treatment with certain neurokinin receptor antagonists may be useful in alleviating the symptoms. At the time of the original hypothesis many questions remained outs...

OBJECTIVES The purpose of this study was to compare the use of vascular indices derived from the whole placenta to those from the placental bed only for predicting preeclampsia and to determine whether the addition of pregnancy-associated plasma protein A (PAPP-A) and mean uterine artery Doppler values improves prediction. METHODS We conducted a secondary analysis of a prospective cohort of w...