This is a summary of the proof by G.E. Coxson [1] that P-matrix recognition is co-NP-complete. The result follows by a reduction from the MAX CUT problem using results of S. Poljak and J. Rohn [5].

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 ...