The data-complexity of both satisfiability and finite satisfiability for the two-variable fragment with counting is NP-complete; the data-complexity of both query-answering and finite query-answering for the two-variable guarded fragment with counting is co-NP-complete.

C 17 O J = 2 → 1 observations have been carried out towards the pre-stellar core L1689B. By comparing the relative strengths of the hyperfine components of this line, the emission is shown to be optically thin. This allows accurate CO column densities to be determined and, for reference, this calculation is described in detail. The hydrogen column densities that these measurements imply are sub...

abstract background: the aim of this study was to elucidate efficacy of transdiagnostic cognitive behavior therapy based on unified protocol (up) for reducing symptoms severity of obsessive compulsive disorder (ocd) with co-occurring anxiety and unipolar mood disorders. materials and methods: from the thirty patients who participated to treatment, twenty four participants were randomly assigned...

thermoluminecsence (tl) characteristics of pure caso4 nanoparticles produced by co-precipitation method are presented. the formation of the nanoparticles was confirmed by x-ray diffraction (xrd) and scanning electron microscope (sem). tl glow curve of this phosphor, exposed to gamma radiation exhibits five overlapping glow peaks in the complex glow curve at 463, 470, 483, 498 and521(k) respecti...

zn-co electrodeposits have attracted interest because of their significantly higher corrosion resistance in comparison with pure zinc. in this research the influence of bath temperature and electrolyte’s co 2+ concentration on the morphology and composition of the zn-co coatings, electrodeposited on an aisi1018 steel substrate from a weakly alkaline glycine solutions, has been studied. sem and ...

a sensitive high performance liquid chromathography (hplc) analytical procedure was developed for the quantitive determination of trimethoprim (tm* and sulphamethoxazole (sm) in commercial dosage forms. c18 analytical column (stainless steel, 25 cm * 4.6 mm i.d.) was packed with 5-*m particles of the reversed phase material and used for assays. mobile phase containing 0.025 m sodium phosphate a...

background: a number of former studies have shown that tuberculosis (tb) is higher in diabetes mellitus (dm) patients than non-diabetics. both dm and tb are major public health problems in iran, and because of the lack of investigation in this field in the region, we conducted this study to evaluate the prevalence of dm in admitted pulmonary tuberculosis patients. methods: the medical files of ...

adsorption of co molecule on the vanadium surface has been studied by using of the dft method with lanl2dz,6-31g* and 6-31g** basis sets by gga approximation of theory. using periodic first principles simulations we investigate the interaction of oxygen molecule with regular v (100) surface. the limitation of this approach is the use of thin metallic slabs with a limited range for their coverag...

We develop a general framework of rule based database update on the basis of prioritized logic programs. This approach has advantages in representing and handling information connict in updates. We then focus on the computational aspect of this approach. We show that under our framework, the model checking in an update is co-NP-complete, while the associated inference problem is P 2-complete. F...