Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Circumscription is a representative example of a nonmonotonic reasoning inference technique. Circumscription has often been studied for first order theories, but its propositional version has also been the subject of extensive research, having been shown equivalent to extended closed world assumption (ECWA). Moreover, entailment in propositional circumscription is a well-known example of a decision problem in the second level of the polynomial hierarchy. This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for entailment in propositional circumscription that explores the relationship of propositional circumscription to minimal models. The new algorithm is inspired by ideas commonly used in SAT-based model checking, namely counterexample guided abstraction refinement. In addition, the new algorithm is refined to compute the theory closure for generalized close world assumption (GCWA). Experimental results show that the new algorithm can solve problem instances that other solutions are unable to solve

4f spin density in the reentrant ferromagnet SmMn2Ge2

The spin contribution to the magnetic moment in SmMn2Ge2 has been measured by magnetic Compton scattering in both the low and high temperature ferromagnetic phases. At low temperature, the Sm site is shown to possess a large 4f spin moment of 3.4 +/- 0.1 Bohr magnetons, aligned antiparallel to the total magnetic moment. At high temperature, the data show conclusively that ordered magnetic moments are present on the samarium site.Comment: 5 pages, 2 figures, transferred from PRL to PRB (Rapid Comm.

Thermomagnetic history effects in SmMn2_2Ge2_2

The intermetallic compound SmMn$_2$Ge$_2$, displaying multiple magnetic phase transitions, is being investigated in detail for its magnetization behavior near the 145 K first order ferromagnetic to antiferromagnetic transition occuring on cooling, in particular for thermomagnetic history effects in the magnetization data. The most unusual finding is that the thermomagnetic irreversibility, [= M$^{FCW}$(T)-M$^{ZFC}$(T)] at 135 K is higher in intermediate magnetic field strengths. By studying the response of the sample (i.e., thermomagnetic irreversibility and thermal hysteresis) to different histories of application of magnetic field and temperature, we demonstrate how the supercooling and superheating of the metastable magnetic phases across the first order transition at 145 K contribute to overall thermomagnetic irreversibility.Comment: 15 pages, 5 figures, to appear in Physical Review

A Framework for Multi-Omic Prediction of Treatment Response to Biologic Therapy for Psoriasis.

Biologic therapies have shown high efficacy in psoriasis, but individual response varies and is poorly understood. To inform biomarker discovery in the Psoriasis Stratification to Optimise Relevant Therapy (i.e., PSORT) study, we evaluated a comprehensive array of omics platforms across three time points and multiple tissues in a pilot investigation of 10 patients with severe psoriasis, treated with the tumor necrosis factor (TNF) inhibitor, etanercept. We used RNA sequencing to analyze mRNA and small RNA transcriptome in blood, lesional and nonlesional skin, and the SOMAscan platform to investigate the serum proteome. Using an integrative systems biology approach, we identified signals of treatment response in genes and pathways associated with TNF signaling, psoriasis pathology, and the major histocompatibility complex region. We found association between clinical response and TNF-regulated genes in blood and skin. Using a combination of differential expression testing, upstream regulator analysis, clustering techniques, and predictive modeling, we show that baseline samples are indicative of patient response to biologic therapies, including signals in blood, which have traditionally been considered unreliable for inference in dermatology. In conclusion, our pilot study provides both an analytical framework and empirical basis to estimate power for larger studies, specifically the ongoing PSORT study, which we show as powered for biomarker discovery and patient stratification

Large enhancement of deuteron polarization with frequency modulated microwaves

We report a large enhancement of 1.7 in deuteron polarization up to values of 0.6 due to frequency modulation of the polarizing microwaves in a two liters polarized target using the method of dynamic nuclear polarization. This target was used during a deep inelastic polarized muon-deuteron scattering experiment at CERN. Measurements of the electron paramagnetic resonance absorption spectra show that frequency modulation gives rise to additional microwave absorption in the spectral wings. Although these results are not understood theoretically, they may provide a useful testing ground for the deeper understanding of dynamic nuclear polarization.Comment: 10 pages, including the figures coming in uuencoded compressed tar files in poltar.uu, which also brings cernart.sty and crna12.sty files neede

Fitting the integrated Spectral Energy Distributions of Galaxies

Fitting the spectral energy distributions (SEDs) of galaxies is an almost universally used technique that has matured significantly in the last decade. Model predictions and fitting procedures have improved significantly over this time, attempting to keep up with the vastly increased volume and quality of available data. We review here the field of SED fitting, describing the modelling of ultraviolet to infrared galaxy SEDs, the creation of multiwavelength data sets, and the methods used to fit model SEDs to observed galaxy data sets. We touch upon the achievements and challenges in the major ingredients of SED fitting, with a special emphasis on describing the interplay between the quality of the available data, the quality of the available models, and the best fitting technique to use in order to obtain a realistic measurement as well as realistic uncertainties. We conclude that SED fitting can be used effectively to derive a range of physical properties of galaxies, such as redshift, stellar masses, star formation rates, dust masses, and metallicities, with care taken not to over-interpret the available data. Yet there still exist many issues such as estimating the age of the oldest stars in a galaxy, finer details ofdust properties and dust-star geometry, and the influences of poorly understood, luminous stellar types and phases. The challenge for the coming years will be to improve both the models and the observational data sets to resolve these uncertainties. The present review will be made available on an interactive, moderated web page (sedfitting.org), where the community can access and change the text. The intention is to expand the text and keep it up to date over the coming years.Comment: 54 pages, 26 figures, Accepted for publication in Astrophysics & Space Scienc

Search for Higgs bosons decaying to tautau pairs in ppbar collisions at sqrt(s) = 1.96 TeV

We present a search for the production of neutral Higgs bosons decaying into tautau pairs in ppbar collisions at a center-of-mass energy of 1.96 TeV. The data, corresponding to an integrated luminosity of 5.4 fb-1, were collected by the D0 experiment at the Fermilab Tevatron Collider. We set upper limits at the 95% C.L. on the product of production cross section and branching ratio for a scalar resonance decaying into tautau pairs, and we then interpret these limits as limits on the production of Higgs bosons in the minimal supersymmetric standard model (MSSM) and as constraints in the MSSM parameter space.Comment: 7 pages, 5 figures, submitted to PL

Measurement of three-jet differential cross sections d sigma-3jet / d M-3jet in p anti-p collisions at sqrt(s)=1.96 TeV

We present the first measurement of the inclusive three-jet differential cross section as a function of the invariant mass of the three jets with the largest transverse momenta in an event in p anti-p collisions at sqrt(s) = 1.96 TeV. The measurement is made in different rapidity regions and for different jet transverse momentum requirements and is based on a data set corresponding to an integrated luminosity of 0.7 fb^{-1} collected with the D0 detector at the Fermilab Tevatron Collider. The results are used to test the three-jet matrix elements in perturbative QCD calculations at next-to-leading order in the strong coupling constant. The data allow discrimination between parametrizations of the parton distribution functions of the proton.Comment: 10 pages, 4 figures, 2 tables, submitted to Phys. Lett. B, corrected chi2 values for NNPD

Search for pair production of the scalar top quark in muon+tau final states

We present a search for the pair production of scalar top quarks ($\tilde{t}_{1}$), the lightest supersymmetric partners of the top quarks, in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV, using data corresponding to an integrated luminosity of {7.3 $fb^{-1}$} collected with the \dzero experiment at the Fermilab Tevatron Collider. Each scalar top quark is assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino ($\tilde{\nu}$). We investigate final states arising from $\tilde{t}_{1} \bar{\tilde{t}_{1}} \rightarrow b\bar{b}\mu\tau \tilde{\nu} \tilde{\nu}$ and $\tilde{t}_{1} \bar{\tilde{t}_{1}} \rightarrow b\bar{b}\tau\tau \tilde{\nu} \tilde{\nu}$. With no significant excess of events observed above the background expected from the standard model, we set exclusion limits on this production process in the ($m_{\tilde{t}_{1}}$,$m_{\tilde{\nu}}$) plane.Comment: Submitted to Phys. Lett.