Comparison of PBO solvers in a dependency solving domain

Linux package managers have to deal with dependencies and conflicts of packages required to be installed by the user. As an NP-complete problem, this is a hard task to solve. In this context, several approaches have been pursued. Apt-pbo is a package manager based on the apt project that encodes the dependency solving problem as a pseudo-Boolean optimization (PBO) problem. This paper compares different PBO solvers and their effectiveness on solving the dependency solving problem.Comment: In Proceedings LoCoCo 2010, arXiv:1007.083

A MMT/Hectospec Redshift Survey of 24 Micron Sources in the Spitzer First Look Survey

We present a spectroscopic survey using the MMT/Hectospec fiber spectrograph of 24 micron sources selected with the Spitzer Space Telescope in the Spitzer First Look Survey. We report 1296 new redshifts for 24 micron sources, including 599 with f(24micron) > 1 mJy. Combined with 291 additional redshifts for sources from the Sloan Digital Sky Survey (SDSS), our observing program was highly efficient and is ~90% complete for i' 1 mJy, and is 35% complete for i' < 20.5 mag and 0.3 mJy < f(24micron) < 1 mJy. Our Hectospec survey includes 1078 and 168 objects spectroscopically classified as galaxies and QSOs, respectively. Combining the Hectospec and SDSS samples, we find 24 micron-selected galaxies to z < 0.98 and QSOs to z < 3.6, with mean redshifts of = 0.27 and =1.1. As part of this publication, we include the redshift catalogs and the reduced spectra; these are also available online (http://mips.as.arizona.edu/~papovich/fls) and through the NASA/IPAC Infrared Science Archive (http://irsa.ipac.caltech.edu).Comment: Accepted for publication in the Astronomical Journal, AASTEX format, 23 pages, 7 figures (some in color). This replacement is the accepted version, and includes minor changes from previous version. Data tables and spectra available at http://mips.as.arizona.edu/~papovich/fls or at http://irsa.ipac.caltech.ed

Damped Lyman Alpha Systems at z<1.65: The Expanded SDSS HST Sample

We present results of our HST Cycle 11 Survey for low-redshift (z<1.65) DLAs in the UV spectra of quasars selected from the SDSS Early Data Release. These quasars have strong intervening MgII-FeII systems which are known signatures of high column density neutral gas. In total, UV observations of Ly-alpha absorption in 197 MgII systems with z<1.65 and rest equivalent width (REW) W2796 \ge 0.3A have now been obtained. The main results are: (1) 36(+/- 6)% of systems with W2796 \ge 0.5 A and FeII W2600 \ge 0.5 A are DLAs. This increases to 42(+/- 7)% for systems with W2796/W2600 0.1 A. (2) The mean N(HI) of MgII systems with 0.3 A \le W2796 < 0.6 A is a factor of ~36 lower than that of systems with W2796 \ge 0.6 A. (3) The DLA incidence per unit redshift is consistent with no evolution for z <~ 2 (Omega_L=0.7, Omega_M = 0.3), but exhibits significant evolution for z >~ 2. (4) Omega_{DLA} is constant for 0.5<z<5.0 to within the uncertainties. This is larger than Omega_{gas}(z=0) by a factor of ~2. (5) The slope of the N(HI) distribution does not change significantly with redshift. However, the low redshift distribution is marginally flatter due to the higher fraction of high N(HI) systems in our sample. (6) Finally, using the precision of MgII survey statistics, we find that there may be evidence of a decreasing Omega_{DLA} from z=0.5 to z=0. We reiterate the conclusion of Hopkins, Rao, & Turnshek that very high columns of neutral gas might be missed by DLA surveys because of their very small cross sections, and therefore, that Omega_{DLA} might not include the bulk of the neutral gas mass in the Universe. (Abridged)Comment: Accepted for publication in ApJ. 22 pages, 22 figure

Patterns of expressed emotion in adolescent eating disorders

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/135121/1/jcpp12594.pdfhttp://deepblue.lib.umich.edu/bitstream/2027.42/135121/2/jcpp12594_am.pd

Stable carbon isotopic compositions of individual aromatic hydrocarbons as source and age indicators in oils from western Australian basins

The present study aims to establish the factors controlling the stable carbon isotopic compositions (d13C) of individual aromatic hydrocarbons analysed by compound specific isotope analysis (CSIA) in crude oils from western Australian petroleum basins of varying age and facies type. This paper reports d13C values of individual aromatic hydrocarbons, like alkylbenzenes, alkylnaphthalenes, alkylphenanthrenes and methylated biphenyls. The main aims are to confirm the origin (source) and age of these oils based on CSIA of selected aromatic compounds and to understand why the Sofer plot is ineffective in establishing the source of western Australian petroleum systems. The bulk d13C of saturated and aromatic hydrocarbon fractions of crude oils have been previously used to differentiate sources, however, many Australian crude oils are not classified correctly using this method. The oils were classified as marine by the d13C values of individual aromatic compounds and as terrigenous based on the bulk d13C data (Sofer plot). The oils where the d13C values of 1,6-DMN and 1,2,5-TMN isomers are most negative are indicative of a marine source, whereas oils with a less negative values for the 1,6-DMN and 1,2,5-TMN isomers are derived from marine source rocks that contain a significant terrigenous component. Similarly, oils with the least negative d13C values for the 1-MP and 1,9-DMP isomers reflect varying inputs of terrigenous organic matter to the their marine source rocks. Plots of P/DBT and Pr/Ph concentration ratios versus d13C values of DMP, 1,6-DMN, 1,2,5-TMN, 1-MP and 1,9-MP are constructed to establish the relative amount of terrigenous organic matter contributing to the source rock of a series of marine oils. The ratios of P/DBT and Pr/Ph plotted against the d13C values of the aromatic isomers (such as 1,6-DMN, 1,2,5-TMN, 1-MP and 1,9-MP) provide a novel and convenient way to discriminate crude oils derived from different source rocks that contain varying amounts of marine and terrigenous organic matter

Gamma-Ray Bursts as a Probe of the Very High Redshift Universe

We show that, if many GRBs are indeed produced by the collapse of massive stars, GRBs and their afterglows provide a powerful probe of the very high redshift (z > 5) universe.Comment: To appear in Proc. of the 5th Huntsville Gamma-Ray Burst Symposium, 5 pages, LaTe

On ionisation effects and abundance ratios in damped Lyman-alpha systems

The similarity between observed velocity structures of Al III and singly ionised species in damped Lyman-alpha systems (DLAs) suggests the presence of ionised gas in the regions where most metal absorption lines are formed. To explore the possible implications of ionisation effects we construct a simplified two-region model for DLAs consisting of an ionisation bounded region with an internal radiation field and a neutral region with a lower metal content. Within this framework we find that ionisation effects are important. If taken into account, the element abundance ratios in DLAs are quite consistent with those observed in Milky Way stars and in metal-poor H II regions in blue compact dwarf galaxies. In particular we cannot exclude the same primary N origin in both DLAs and metal-poor galaxies. From our models no dust depletion of heavy elements needs to be invoked; little depletion is however not excluded.Comment: to appear in "Evolution of Galaxies. I. Observational clues", Eds. J.M. Vilchez, G. Stasinska, Astrophysics and Space Science, in press. 5 pages, including 3 figure

Towards micro-arcsecond spatial resolution with Air Cherenkov Telescope arrays as optical intensity interferometers

In this poster contribution we highlight the equivalence between an Imaging Air Cherenkov Telescope (IACT) array and an Intensity Interferometer for a range of technical requirements. We touch on the differences between a Michelson and an Intensity Interferometer and give a brief overview of the current IACT arrays, their upgrades and next generation concepts (CTA, AGIS, completion 2015). The latter are foreseen to include 30-90 telescopes that will provide 400-4000 different baselines that range in length between 50m and a kilometre. Intensity interferometry with such arrays of telescopes attains 50 micro-arcseconds resolution for a limiting V magnitude of ~8.5. This technique opens the possibility of a wide range of studies, amongst others, probing the stellar surface activity and the dynamic AU scale circumstellar environment of stars in various crucial evolutionary stages. Here we discuss possibilities for using IACT arrays as optical Intensity Interferometers.Comment: Appeared in the proceedings of "The Universe under the Microscope - Astrophysics at High Angular Resolution", Journal of Physics:Conference Series (IOP; http://www.iop.org/EJ/toc/1742-6596/131/1

Invariant Peano curves of expanding Thurston maps

We consider Thurston maps, i.e., branched covering maps $f\colon S^2\to S^2$ that are postcritically finite. In addition, we assume that $f$ is expanding in a suitable sense. It is shown that each sufficiently high iterate $F=f^n$ of $f$ is semi-conjugate to $z^d\colon S^1\to S^1$, where $d$ is equal to the degree of $F$. More precisely, for such an $F$ we construct a Peano curve $\gamma\colon S^1\to S^2$ (onto), such that $F\circ \gamma(z) = \gamma(z^d)$ (for all $z\in S^1$).Comment: 63 pages, 12 figure

Loss of the tumor suppressor, Tp53, enhances the androgen receptor-mediated oncogenic transformation and tumor development in the mouse prostate.

Recent genome analysis of human prostate cancers demonstrated that both AR gene amplification and TP53 mutation are among the most frequently observed alterations in advanced prostate cancer. However, the biological role of these dual genetic alterations in prostate tumorigenesis is largely unknown. In addition, there are no biologically relevant models that can be used to assess the molecular mechanisms for these genetic abnormalities. Here, we report a novel mouse model, in which elevated transgenic AR expression and Trp53 deletion occur simultaneously in mouse prostatic epithelium to mimic human prostate cancer cells. These compound mice developed an earlier onset of high-grade prostatic intraepithelial neoplasia and accelerated prostate tumors in comparison with mice harboring only the AR transgene. Histological analysis showed prostatic sarcomatoid and basaloid carcinomas with massive squamous differentiation in the above compound mice. RNA-sequencing analyses identified a robust enrichment of the signature genes for human prostatic basal cell carcinomas in the above prostate tumors. Master regulator analysis revealed SOX2 as a transcriptional regulator in prostatic basal cell tumors. Elevated expression of SOX2 and its downstream target genes were detected in prostatic tumors of the compound mice. Chromatin immunoprecipitation analyses implicate a coregulatory role of AR and SOX2 in the expression of prostatic basal cell signature genes. Our data demonstrate a critical role of SOX2 in prostate tumorigenesis and provide mechanistic insight into prostate tumor aggressiveness and progression mediated by aberrant AR and p53 signaling pathways