• ### A Lightcone Catalogue from the Millennium-XXL Simulation(1701.06581)

June 17, 2017 astro-ph.CO
Future galaxy surveys require realistic mock catalogues to understand and quantify systematics in order to make precise cosmological measurements. We present a halo lightcone catalogue and halo occupation distribution (HOD) galaxy catalogue built using the Millennium-XXL (MXXL) simulation. The halo catalogue covers the full sky, extending to z = 2 with a mass resolution of ~1e11 Msun/h . We use this to build a galaxy catalogue, which has an r-band magnitude limit of r < 20.0, with a median redshift of z~0.2. A Monte Carlo HOD method is used to assign galaxies to the halo lightcone catalogue, and we evolve the HODs to reproduce a target luminosity function; by construction, the luminosity function of galaxies in the mock is in agreement with the Sloan Digital Sky Survey (SDSS) at low redshifts and the Galaxy and Mass Assembly (GAMA) survey at high redshifts. A Monte Carlo method is used to assign a 0.1(g-r) colour to each galaxy, and the colour distribution of galaxies at different redshifts agrees with measurements from GAMA. The clustering of galaxies in the mock for galaxies in different magnitude and redshift bins is in good agreement with measurements from SDSS and GAMA, and the colour-dependent clustering is in reasonable agreement. We show that the baryon acoustic oscillation (BAO) can be measured in the mock catalogue, and the redshift space distortions (RSDs) are in agreement with measurements from SDSS, illustrating that this catalogue will be useful for upcoming surveys.
• DESI (Dark Energy Spectroscopic Instrument) is a Stage IV ground-based dark energy experiment that will study baryon acoustic oscillations (BAO) and the growth of structure through redshift-space distortions with a wide-area galaxy and quasar redshift survey. To trace the underlying dark matter distribution, spectroscopic targets will be selected in four classes from imaging data. We will measure luminous red galaxies up to $z=1.0$. To probe the Universe out to even higher redshift, DESI will target bright [O II] emission line galaxies up to $z=1.7$. Quasars will be targeted both as direct tracers of the underlying dark matter distribution and, at higher redshifts ($2.1 < z < 3.5$), for the Ly-$\alpha$ forest absorption features in their spectra, which will be used to trace the distribution of neutral hydrogen. When moonlight prevents efficient observations of the faint targets of the baseline survey, DESI will conduct a magnitude-limited Bright Galaxy Survey comprising approximately 10 million galaxies with a median $z\approx 0.2$. In total, more than 30 million galaxy and quasar redshifts will be obtained to measure the BAO feature and determine the matter power spectrum, including redshift space distortions.
• DESI (Dark Energy Spectropic Instrument) is a Stage IV ground-based dark energy experiment that will study baryon acoustic oscillations and the growth of structure through redshift-space distortions with a wide-area galaxy and quasar redshift survey. The DESI instrument is a robotically-actuated, fiber-fed spectrograph capable of taking up to 5,000 simultaneous spectra over a wavelength range from 360 nm to 980 nm. The fibers feed ten three-arm spectrographs with resolution $R= \lambda/\Delta\lambda$ between 2000 and 5500, depending on wavelength. The DESI instrument will be used to conduct a five-year survey designed to cover 14,000 deg$^2$. This powerful instrument will be installed at prime focus on the 4-m Mayall telescope in Kitt Peak, Arizona, along with a new optical corrector, which will provide a three-degree diameter field of view. The DESI collaboration will also deliver a spectroscopic pipeline and data management system to reduce and archive all data for eventual public use.
• ### From bounded affine types to automatic timing analysis(1307.2473)

July 9, 2013 cs.PL
Bounded linear types have proved to be useful for automated resource analysis and control in functional programming languages. In this paper we introduce an affine bounded linear typing discipline on a general notion of resource which can be modeled in a semiring. For this type system we provide both a general type-inference procedure, parameterized by the decision procedure of the semiring equational theory, and a (coherent) categorical semantics. This is a very useful type-theoretic and denotational framework for many applications to resource-sensitive compilation, and it represents a generalization of several existing type systems. As a non-trivial instance, motivated by our ongoing work on hardware compilation, we present a complex new application to calculating and controlling timing of execution in a (recursion-free) higher-order functional programming language with local store.
• ### Recent Results From CLEO-c(hep-ex/0505068)

May 23, 2005 hep-ex
This paper describes recent preliminary results from the CLEO-c experiment using an initial ~60 pb^-1 sample of data collected in e^+e^- collisions at a center of mass energy around the mass of the psi(3770). A first measurement of the branching fraction BR(D^+ -> mu^+ nu) = (3.5 +/- 1.4 +/- 0.6)x 10^-4 and the corresponding decay constant f_D = (202 +/- 41 +/- 17) MeV has been made. Several charged and neutral D meson absolute exclusive semileptonic branching fractions have been measured, including first measurements of the branching fractions BR(D^0 -> rho^-e^+ nu) = (0.19 +/- 0.04 +/- 0.02)% and BR(D^+ -> omega e^+ nu) = (0.17 +/- 0.006 +/- 0.01)%. Estimated uncertainties for inclusive D semileptonic decay modes are also presented. Fits to single and double D tagged events are used to extract absolute branching fractions of several hadronic D decay modes and DDbar production cross sections. Most of these results from this small preliminary sample are already of greater sensitivity than previously published results.
• ### Recent Advances in Charm Physics(hep-ex/0209033)

Sept. 16, 2002 hep-ex
New results from charm experiments have led to renewed interest in this physics. The charm sector is now seen as a powerful tool to search for new physics and to advance our understanding of the standard model. We owe much of this progress to the combination of precision vertexing and large data samples collected by recent e+e- and fixed target experiments. Sensitivities to D0-D0bar mixing and CP violation are approaching some non-standard model predictions. Recent measurements of charmed particle lifetimes and semileptonic decays have added to our understanding of decay mechanisms and the dynamics of heavy-to-light quark transitions. Many of these provide vital input to QCD models and are an essential ingredient in extracting standard model parameters from other measurements. Studies of charmonium production continue to offer new surprises. A recent measurement from Belle indicates that ~60% of J/psi events produced in continuum e+e- collisions are produced with an additional charm quark pair. Fueled by new data from a host of continuing and future experiments, we can expect significant improvement to the standard model and possibly some new surprises.