Source author record

David Williams

David Williams appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

astro-ph.EP astro-ph.IM astro-ph.SR Computer Vision Robotics astro-ph.CO astro-ph.HE math.PR physics.ins-det Software Engineering

Catalog footprint

What is connected

10works

10topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Serendipitous discovery of radio flaring behaviour from a nearby M dwarf with MeerKAT

We report on the detection of MKT J174641.0$-$321404, a new radio transient found in untargeted searches of wide-field MeerKAT radio images centred on the black hole X-ray binary H1743$-$322. MKT J174641.0$-$321404 is highly variable at 1.3 GHz and was detected three times during 11 observations of the field in late 2018, reaching a maximum flux density of 590 $\pm$ 60 $μ$Jy. We associate this radio transient with a high proper motion, M dwarf star SCR~1746$-$3214 12 pc away from the Sun. Multiwavelength observations of this M dwarf indicate flaring activity across the electromagnetic spectrum, consistent with emission expected from dMe stars, and providing upper limits on quiescent brightness in both the radio and X-ray regimes. \textit{TESS} photometry reveals a rotational period for SCR~1746$-$3214 of $0.2292 \pm 0.0025$ days, which at its estimated radius makes the star a rapid rotator, comparable to other low mass systems. Dedicated spectroscopic follow up confirms the star as a mid-late spectral M dwarf with clear magnetic activity indicated by strong H$α$ emission. This transient's serendipitous discovery by MeerKAT, along with multiwavelength characterisation, make it a prime demonstration of both the capabilities of the current generation of radio interferometers and the value of simultaneous observations by optical facilities such as MeerLICHT. Our results build upon the literature of of M dwarfs' flaring behaviour, particularly relevant to the habitability of their planetary systems.

preprint2021arXiv

Fool Me Once: Robust Selective Segmentation via Out-of-Distribution Detection with Contrastive Learning

In this work, we train a network to simultaneously perform segmentation and pixel-wise Out-of-Distribution (OoD) detection, such that the segmentation of unknown regions of scenes can be rejected. This is made possible by leveraging an OoD dataset with a novel contrastive objective and data augmentation scheme. By combining data including unknown classes in the training data, a more robust feature representation can be learned with known classes represented distinctly from those unknown. When presented with unknown classes or conditions, many current approaches for segmentation frequently exhibit high confidence in their inaccurate segmentations and cannot be trusted in many operational environments. We validate our system on a real-world dataset of unusual driving scenes, and show that by selectively segmenting scenes based on what is predicted as OoD, we can increase the segmentation accuracy by an IoU of 0.2 with respect to alternative techniques.

preprint2020arXiv

Keep off the Grass: Permissible Driving Routes from Radar with Weak Audio Supervision

Reliable outdoor deployment of mobile robots requires the robust identification of permissible driving routes in a given environment. The performance of LiDAR and vision-based perception systems deteriorates significantly if certain environmental factors are present e.g. rain, fog, darkness. Perception systems based on FMCW scanning radar maintain full performance regardless of environmental conditions and with a longer range than alternative sensors. Learning to segment a radar scan based on driveability in a fully supervised manner is not feasible as labelling each radar scan on a bin-by-bin basis is both difficult and time-consuming to do by hand. We therefore weakly supervise the training of the radar-based classifier through an audio-based classifier that is able to predict the terrain type underneath the robot. By combining odometry, GPS and the terrain labels from the audio classifier, we are able to construct a terrain labelled trajectory of the robot in the environment which is then used to label the radar scans. Using a curriculum learning procedure, we then train a radar segmentation network to generalise beyond the initial labelling and to detect all permissible driving routes in the environment.

preprint2020arXiv

Maximizing the value of Solar System data through Planetary Spatial Data Infrastructures

Planetary spatial data returned by spacecraft, including images and higher-order products such as mosaics, controlled basemaps, and digital elevation models (DEMs), are of critical importance to NASA, its commercial partners and other space agencies. Planetary spatial data are an essential component of basic scientific research and sustained planetary exploration and operations. The Planetary Data System (PDS) is performing the essential job of archiving and serving these data, mostly in raw or calibrated form, with less support for higher-order, more ready-to-use products. However, many planetary spatial data remain not readily accessible to and/or usable by the general science user because particular skills and tools are necessary to process and interpret them from the raw initial state. There is a critical need for planetary spatial data to be more accessible and usable to researchers and stakeholders. A Planetary Spatial Data Infrastructure (PSDI) is a collection of data, tools, standards, policies, and the people that use and engage with them. A PSDI comprises an overarching support system for planetary spatial data. PSDIs (1) establish effective plans for data acquisition; (2) create and make available higher-order products; and (3) consider long-term planning for correct data acquisition, processing and serving (including funding). We recommend that Planetary Spatial Data Infrastructures be created for all bodies and key regions in the Solar System. NASA, with guidance from the planetary science community, should follow established data format standards to build foundational and framework products and use those to build and apply PDSIs to all bodies. Establishment of PSDIs is critical in the coming decade for several locations under active or imminent exploration, and for all others for future planning and current scientific analysis.

preprint2016arXiv

Geomorphologic Mapping of Titan's Polar Terrains: Constraining Surface Processes and Landscape Evolution

We present a geomorphologic map of Titan's polar terrains. The map was generated from a combination of Cassini Synthetic Aperture Radar (SAR) and Imaging Science Subsystem imaging products, as well as altimetry, SARTopo and radargrammetry topographic datasets. In combining imagery with topographic data, our geomorphologic map reveals a stratigraphic sequence from which we infer process interactions between units. In mapping both polar regions with the same geomorphologic units, we conclude that processes that formed the terrains of the north polar region also acted to form the landscape we observe at the south. Uniform, SAR-dark plains are interpreted as sedimentary deposits, and are bounded by moderately dissected uplands. These plains contain the highest density of filled and empty lake depressions, and canyons. These units unconformably overlay a basement rock that outcrops as mountains and SAR-bright dissected terrains at various elevations across both poles. All these units are then superposed by surficial units that slope towards the seas, suggestive of subsequent overland transport of sediment. From estimates of the depths of the embedded empty depressions and canyons that drain into the seas, the SAR-dark plains must be >600 m thick in places, though the thickness may vary across the poles. At the lowest elevations of each polar region, there are large seas, which are currently liquid methane/ethane filled at the north and empty at the south. The large plains deposits and the surrounding hillslopes may represent remnant landforms that are a result of previously vast polar oceans, where larger liquid bodies may have allowed for a sustained accumulation of soluble and insoluble sediments, potentially forming layered sedimentary deposits. Coupled with vertical crustal movements, the resulting layers would be of varying solubilities and erosional resistances.

preprint2014arXiv

Managing LTL properties in Event-B refinement

Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but additional reasoning is required in order to establish liveness and fairness properties. In this paper we present results which allow a closer integration of two formal methods, Event-B and linear temporal logic. In particular we show how a class of temporal logic properties can carry through a refinement chain of machines. Refinement steps can include introduction of new events, event renaming and event splitting. We also identify a general liveness property that holds for the events of the initial system of a refinement chain. The approach will aid developers in enabling them to verify linear temporal logic properties at early stages of a development, knowing they will be preserved at later stages. We illustrate the results via a simple case study.

preprint2013arXiv

Photosensor Characterization for the Cherenkov Telescope Array: Silicon Photomultiplier versus Multi-Anode Photomultiplier Tube

Photomultiplier tube technology has been the photodetector of choice for the technique of imaging atmospheric Cherenkov telescopes since its birth more than 50 years ago. Recently, new types of photosensors are being contemplated for the next generation Cherenkov Telescope Array. It is envisioned that the array will be partly composed of telescopes using a Schwarzschild-Couder two mirror design never built before which has significantly improved optics. The camera of this novel optical design has a small plate scale which enables the use of compact photosensors. We present an extensive and detailed study of the two most promising devices being considered for this telescope design: the silicon photomultiplier and the multi-anode photomultiplier tube. We evaluated their most critical performance characteristics for imaging gamma-ray showers, and we present our results in a cohesive manner to clearly evaluate the advantages and disadvantages that both types of device have to offer in the context of GeV-TeV gamma-ray astronomy.

preprint2012arXiv

A search of CO emission lines in blazars: the low molecular gas content of BL Lac objects compared to quasars

BL Lacertae (Lac) objects that are detected at very-high energies (VHE) are of fundamental importance to study multiple astrophysical processes, including the physics of jets, the properties of the extragalactic background light and the strength of the intergalactic magnetic field. Unfortunately, since most blazars have featureless optical spectra that preclude a redshift determination, a substantial fraction of these VHE extragalactic sources cannot be used for cosmological studies. To assess whether molecular lines are a viable way to establish distances, we have undertaken a pilot program at the IRAM 30m telescope to search for CO lines in three BL Lac objects with known redshifts. We report a positive detection of M_H2 ~ 3x10^8 Msun toward 1ES 1959+650, but due to the poor quality of the baseline, this value is affected by a large systematic uncertainty. For the remaining two sources, W Comae and RGB J0710+591, we derive 3sigma upper limits at, respectively, M_H2 < 8.0x10^8 Msun and M_H2 < 1.6x10^9 Msun, assuming a line width of 150 km/s and a standard conversion factor alpha=4 M_sun/(K km/s pc^2). If these low molecular gas masses are typical for blazars, blind redshift searches in molecular lines are currently unfeasible. However, deep observations are still a promising way to obtain precise redshifts for sources whose approximate distances are known via indirect methods. Our observations further reveal a deficiency of molecular gas in BL Lac objects compared to quasars, suggesting that the host galaxies of these two types of active galactic nuclei (AGN) are not drawn from the same parent population. Future observations are needed to assess whether this discrepancy is statistically significant, but our pilot program shows how studies of the interstellar medium in AGN can provide key information to explore the connection between the active nuclei and the host galaxies.

preprint2011arXiv

Chemistry of dense clumps near moving Herbig-Haro objects

Localised regions of enhanced emission from HCO+, NH3 and other species near Herbig-Haro objects (HHOs) have been interpreted as arising in a photochemistry stimulated by the HHO radiation on high density quiescent clumps in molecular clouds. Static models of this process have been successful in accounting for the variety of molecular species arising ahead of the jet; however recent observations show that the enhanced molecular emission is widespread along the jet as well as ahead. Hence, a realistic model must take into account the movement of the radiation field past the clump. It was previously unclear as to whether the short interaction time between the clump and the HHO in a moving source model would allow molecules such as HCO+ to reach high enough levels, and to survive for long enough to be observed. In this work we model a moving radiation source that approaches and passes a clump. The chemical picture is qualitatively unchanged by the addition of the moving source, strengthening the idea that enhancements are due to evaporation of molecules from dust grains. In addition, in the case of several molecules, the enhanced emission regions are longer-lived. Some photochemically-induced species, including methanol, are expected to maintain high abundances for ~10,000 years.

preprint2010arXiv

A dynamical-system picture of a simple branching-process phase transition

This paper develops ideas from a previous paper described as `an appetizer for non-linear Wiener--Hopf theory', but is completely independent of that paper. It again considers only the simplest possible case in which the underlying motion of the branching particles is described by a two-state Markov chain. Key generating functions provide solutions of a simple two-dimensional dynamical system, and the main interest is in the way in which Probability Theory and ODE theory complement each other. ODE pictures convey rather strikingly a simple phase transition. No knowledge of either ODE theory or Wiener--Hopf theory is assumed.