Publications (8)
Problems with fixpoints of polynomials of polynomials
Cécilia Pradic, Ian Price
Motivated by applications in computable analysis, we study fixpoints of certain endofunctors over categories of containers. More specifically, we focus on fibred endofunctors over…
GHOST Commissioning Science Results: Identifying a new chemically peculiar star in Reticulum II
Christian R. Hayes, Kim A. Venn, Fletcher Waller +79
The Gemini High-resolution Optical SpecTrograph (GHOST) is the newest high resolution spectrograph to be developed for a large aperture telescope, recently deployed and commissione…
Weihrauch problems as containers
Cécilia Pradic, Ian Price
We note that Weihrauch problems can be regarded as containers over the category of projective represented spaces and that Weihrauch reductions correspond exactly to container morph…
The 2dF Galaxy Redshift Survey: The Number and Luminosity Density of Galaxies
Nicholas Cross, Simon P. Driver, Warrick Couch +29
We present the bivariate brightness distribution (BBD) for the 2dF Galaxy Redshift Survey (2dFGRS) based on a preliminary subsample of 45,000 galaxies. The BBD is an extension of t…
Emu: A Case Study for TDI-like Imaging for Infrared Observation from Space
Joice Mathew, James Gilbert, Robert Sharp +14
A wide-field zenith-looking telescope operating in a mode similar to Time-Delay-Integration (TDI) or drift scan imaging can perform an infrared sky survey without active pointing c…
Converting the ANU 2.3 telescope to fully automated operation
Ian Price, Jon Nielsen, Chris Lidman +3
The operation of the ANU 2.3m telescope transitioned from classically scheduled remote observing to fully autonomous queue scheduled observing in March 2023. The instrument current…