Publications (27)
Delay-Bounded Scheduling Without Delay! (Extended Technical Report)
Andrew Johnson, Thomas Wahl
We consider the broad problem of analyzing safety properties of asynchronous concurrent programs under arbitrary thread interleavings. Delay-bounded deterministic scheduling, intro…
Thinned GaInP/GaInAs/Ge solar cells grown with reduced cracking on Ge|Si virtual substrates
Ivan GarcÃa, Laura Barrutia, Shabnam Dadgostar +3
Reducing the formation of cracks during growth of GaInP/GaInAs/Ge 3-junction solar cells on Ge|Si virtual substrates has been attempted by thinning the structure, namely the Ge bot…
2dFLenS and KiDS: Determining source redshift distributions with cross-correlations
Andrew Johnson, Chris Blake, Alexandra Amon +16
We develop a statistical estimator to infer the redshift probability distribution of a photometric sample of galaxies from its angular cross-correlation in redshift bins with an ov…
Change Ringing and Hamiltonian Cycles : The Search for Erin and Stedman Triples
Michael Haythorpe, Andrew Johnson
A very old problem in campanology is the search for peals. The latter can be thought of as a heavily constrained sequence of all possible permutations of a given size, where the ex…
Searching for Modified Gravity: Scale and Redshift Dependent Constraints from Galaxy Peculiar Velocities
Andrew Johnson, Chris Blake, Jason Dossett +3
We present measurements of both scale- and time-dependent deviations from the standard gravitational field equations. These late-time modifications are introduced separately for re…
CFHTLenS revisited: assessing concordance with Planck including astrophysical systematics
Shahab Joudaki, Chris Blake, Catherine Heymans +9
We investigate the impact of astrophysical systematics on cosmic shear cosmological parameter constraints from the Canada-France-Hawaii Telescope Lensing Survey (CFHTLenS), and the…
Are peculiar velocity surveys competitive as a cosmological probe?
Jun Koda, Chris Blake, Tamara Davis +6
Peculiar velocity surveys, which measure galaxy peculiar velocities directly from standard candles in addition to redshifts, can provide strong constraints on the linear growth rat…
Space to Teach: Content-Rich Canvases for Visually-Intensive Education
Jesse Harden, Nurit Kirshenbaum, Roderick Tabalba +8
With the decreasing cost of consumer display technologies making it easier for universities to have larger displays in classrooms, and the ubiquitous use of online tools such as co…
KiDS-450 + 2dFLenS: Cosmological parameter constraints from weak gravitational lensing tomography and overlapping redshift-space galaxy clustering
Shahab Joudaki, Chris Blake, Andrew Johnson +19
We perform a combined analysis of cosmic shear tomography, galaxy-galaxy lensing tomography, and redshift-space multipole power spectra (monopole and quadrupole) using 450 deg…
Analysis of Legal Documents via Non-negative Matrix Factorization Methods
Ryan Budahazy, Lu Cheng, Yihuan Huang +7
The California Innocence Project (CIP), a clinical law school program aiming to free wrongfully convicted prisoners, evaluates thousands of mails containing new requests for assist…
The Detailed Science Case for the Maunakea Spectroscopic Explorer: the Composition and Dynamics of the Faint Universe
Alan McConnachie, Carine Babusiaux, Michael Balogh +173
MSE is an 11.25m aperture observatory with a 1.5 square degree field of view that will be fully dedicated to multi-object spectroscopy. More than 3200 fibres will feed spectrograph…
Reference Resolution and Context Change in Multimodal Situated Dialogue for Exploring Data Visualizations
Abhinav Kumar, Barbara Di Eugenio, Abari Bhattacharya +2
Reference resolution, which aims to identify entities being referred to by a speaker, is more complex in real world settings: new referents may be created by processes the agents e…
Characterizing the Uncertainty in Cluster Magnetic Fields derived from Rotation Measures
Andrew Johnson, Lawrence Rudnick, Thomas Jones +2
Magnetic fields play vital roles in intracluster media (ICMs), but estimating their strengths and distributions from observations is a major challenge. Faraday rotation measures (R…
Effects of Head-locked Augmented Reality on User's performance and perceived workload
Yalda Ghasemi, Ankit Singh, Myunghee Kim +2
An augmented reality (AR) environment includes a set of digital elements with which the users interact while performing certain tasks. Recent AR head-mounted displays allow users t…
On the Use of Graphene to Improve the Performance of Concentrator III-V Multijunction Solar Cells
Laura Barrutia, IvÃn Lombardero1, Mario Ochoa +6
Graphene has been intensively studied in photovoltaics focusing on emerging solar cells based on thin films, dye-sensitized, quantum dots, nanowires, etc. However, the typical effi…
The Detailed Science Case for the Maunakea Spectroscopic Explorer, 2019 edition
The MSE Science Team, Carine Babusiaux, Maria Bergemann +258
(Abridged) The Maunakea Spectroscopic Explorer (MSE) is an end-to-end science platform for the design, execution and scientific exploitation of spectroscopic surveys. It will unvei…
The 6dF Galaxy Velocity Survey: Cosmological constraints from the velocity power spectrum
Andrew Johnson, Chris Blake, Jun Koda +10
We present scale-dependent measurements of the normalised growth rate of structure using only the peculiar motions of galaxies. We use data from the 6-degree Fiel…
Probing bulk flow with nearby SNe Ia data
Stephen Appleby, Arman Shafieloo, Andrew Johnson
We test the isotropy of the local Universe using low redshift supernova data from various catalogs and the non-parametric method of smoothed residuals. Using a recently developed c…
Graphs with prescribed radius, diameter, and center
Kelly Guest, Andrew Johnson, Peter Johnson +3
Among other things, it is shown that for every pair of positive integers , , satisfying , and every finite simple graph there is a connected graph with…
CANDELS: The Cosmic Assembly Near-infrared Deep Extragalactic Legacy Survey - The Hubble Space Telescope Observations, Imaging Data Products and Mosaics
Anton M. Koekemoer, S. M. Faber, Henry C. Ferguson +120
This paper describes the Hubble Space Telescope imaging data products and data reduction procedures for the Cosmic Assembly Near-IR Deep Extragalactic Legacy Survey (CANDELS). This…
Enhancing Fault-Tolerant Space Computing: Guidance Navigation and Control (GNC) and Landing Vision System (LVS) Implementations on Next-Gen Multi-Core Processors
Kyongsik Yun, David Bayard, Gerik Kubiak +5
Future planetary exploration missions demand high-performance, fault-tolerant computing to enable autonomous Guidance, Navigation, and Control (GNC) and Lander Vision System (LVS)…
The 2-degree Field Lensing Survey: photometric redshifts from a large new training sample to r<19.5
Christian Wolf, Andrew Johnson, Maciej Bilicki +13
We present a new training set for estimating empirical photometric redshifts of galaxies, which was created as part of the 2dFLenS project. This training set is located in a 700 sq…
Hiring Discrimination and the Task Content of Jobs: Evidence from a Large-Scale Resume Audit
Sharon Braun, Jonathan Bushnell, Zachary Cowell +6
We conducted a large-scale resume audit of 36,880 applications to 9,220 job advertisements for new college graduates across the United States. Firms express task preferences throug…
Hybrid III-V/SiGe solar cells on Si substrates and porous Si substrates
Pablo Caño, Manuel Hinojosa, Luis Cifuentes +6
A tandem GaAsP/SiGe solar cell has been developed employing group-IV reverse buffer layers grown on silicon substrates with a subsurface porous layer. Reverse buffer layers facilit…
The 2-degree Field Lensing Survey: design and clustering measurements
Chris Blake, Alexandra Amon, Michael Childress +16
We present the 2-degree Field Lensing Survey (2dFLenS), a new galaxy redshift survey performed at the Anglo-Australian Telescope. 2dFLenS is the first wide-area spectroscopic surve…
The 6dF Galaxy Survey: Bulk Flows on Mpc scales
Morag I. Scrimgeour, Tamara M. Davis, Chris Blake +12
We measure the bulk flow of the local Universe using the 6dF Galaxy Survey peculiar velocity sample (6dFGSv), the largest and most homogeneous peculiar velocity sample to date. 6dF…
Ge virtual substrates for high efficiency III-V solar cells: applications, potential and challenges
Iván GarcÃa, Manuel Hinojosa, Iván Lombardero +7
Virtual substrates based on thin Ge layers on Si by direct deposition have achieved high quality recently. Their application to high efficiency III-V solar cells is analyzed in thi…