arXiv subjects

David Wilson

Publications and source records attributed to David Wilson.

At least 19 recordsLinked to original sources

arXiv2026

Optomechanical Design of the MANTIS SmallSat: An Extreme-, Far- and Near-Ultraviolet Spectrograph for Exoplanet Host Stars

The MANTIS (Monitoring Activity of Nearby sTars with uv Imaging and Spectroscopy) observatory is a compact, multi-instrument small satellite designed for simultaneous extreme- (EUV; 100 - 560 Angstrom), far- (FUV; 1150-1800 Angstrom) and near-ultraviolet/visible (NUV/VIS; 2000-6400 Angstrom) spectroscopy of low-mass stars. The EUV optical system consists of a first-of-its-kind Hettrick-Bowyer grazing incidence telescope contributed by the Italian National Institute for Astrophysics (INAF) feeding an advanced e-beam lithographic etched variable line spacing grating developed at Pennsylvania State University (PSU). The resulting low-resolution spectrum is imaged on an advanced microchannel plate detector with a potassium iodide (KI) photocathode for extremely low background noise, resulting in a limiting sensitivity for MANTIS that exceeds that of the last EUV-sensitive astrophysics point-source spectrograph, the Deep Survey/Spectrometer (DS/S) on EUVE. The FUV and NUV/Optical channels are fed by a compact rectangular telescope that focuses onto a series of point-source apertures. The diverging beam is refocused and the FUV band dispersed by a holographic grating, then folded back onto the same detector as the EUV channel by a toroidal fold mirror. The zero-order light is picked off by a flat NUV grating, with the NUV/Optical spectrum recorded on an e2v CCD 42-10 detector. The MANTIS spacecraft is a custom build that leverages the experience derived from prior University of Colorado - LASP SmallSats for avionics, power, communications, and mechanical structure. MANTIS is projected to be completed in 2027 with an anticipated 2028 launch as an ESPA-class payload on a rideshare opportunity.

astro-ph.IM↗

arXiv2026

A Critical UV Legacy: A Hubble Roadmap for HWO Science Readiness

The Habitable Worlds Observatory (HWO) will provide the first opportunity to directly image and spectrally characterize terrestrial exoplanets in the habitable zones of nearby stars. Maximizing its scientific return requires a comprehensive understanding of the high-energy radiation environments of target stars, which shape planetary atmospheres and govern the production, destruction, and detectability of biosignatures. Ultraviolet (UV) radiation plays a particularly critical role in atmospheric chemistry. Far-ultraviolet (FUV) and near-ultraviolet (NUV) photons regulate key photochemical pathways, influence ozone stability, and drive the formation of prebiotic molecules. However, the majority of high-priority HWO target stars lack high-quality UV observations. Existing datasets are sparse, heterogeneous, or limited by calibration uncertainties, and no comparable UV observatory is expected for at least 5-10 years (with UVEX offering more limited spectral resolution, wavelength coverage, and sensitivity). The Hubble Space Telescope (HST) remains the only observatory capable of acquiring high-resolution FUV and NUV spectra for these targets over the next 10-15 years. We therefore advocate for a coordinated HST program to systematically obtain UV spectra of high-priority HWO targets, ideally in conjunction with X-ray observations. This effort is essential for enabling accurate target prioritization, constraining stellar radiation environments, and ensuring robust interpretation of future HWO observations.

astro-ph.IM↗

arXiv2026

White dwarf planetary systems in the ultraviolet

Almost every known planet host will evolve into a white dwarf, and the surviving planetary material will continue to orbit this stellar remnant. Asteroids perturbed onto star-grazing orbits will become disrupted, forming an accretion disk which causes "enrichment" of the otherwise pure hydrogen or helium atmosphere. Measurements of these photospheric abundances give detailed insights into the interior compositions of exo-planetesimals with an accuracy not possible for intact exoplanets around main sequence stars. This method has revealed the diversity of rocky material in our solar neighborhood, including primitive, chondritic planetesimals, fragments of planetary cores, and even analogues of Kuiper belt objects. The planetesimal abundances can be used as an input to interior structure models. The far-ultraviolet is a key wavelength range for this field because it contains strong transitions for almost every element of interest, many of which are undetectable using ground-based optical spectroscopy. Without the FUV, we will no longer have access to the C, N, P, S content of exoplanetary bodies and thus will no longer be able to probe how volatiles interact with refractories, which is crucial to understanding planet formation-and even the origin of life. The medium resolution and high sensitivity of COS on HST has been indispensable in determining the compositions of dozens of exo-planetesimals. However, the only two medium resolution FUV-capable spectrographs are currently onboard HST, with no plans for replacements until the 2040s. An extension to the HST mission is critical for the field of white dwarf planetary systems, because the loss of FUV capability would leave us blind to volatiles. Boosting the orbit of HST would allow us to measure volatile abundances, determine the rocky planetary occurrence rate, investigate differentiation, and probe for photospheric abundance variability.

astro-ph.IM↗

arXiv2025

A Semi-Empirical Estimate of Solar EUV Evolution from 10 Myr to 10 Gyr

The extreme-ultraviolet (EUV; 100 -- 911 \AA) spectra of F, G, K, and M stars provide diagnostics of the stellar chromosphere through the corona, with line and continuum formation temperatures spanning roughly 10$^{4}$ - 10$^{7}$ K. The EUV stellar spectrum in turn drives atmospheric photochemistry and numerous escape processes on orbiting planets. We present a new study of the EUV history of solar-type stars, using new and archival {\it Hubble Space Telescope} observations of solar analogs (T$_{\odot}$ $\pm$ 150 K for stars older than 100 Myr) and ``Young Suns" (age $<$ 100 Myr) that will evolve into main sequence early G-type stars to predict the 90 -- 360 \AA\ EUV flux from a sample of 23 stars. We find that the EUV activity evolution for solar-type stars follows a two-component behavior: a saturated L(EUV)/L$_{bol}$ plateau (at a level of about 10$^{-4}$) followed by a power law decay ($\alpha$ $\approx$ $-$1.1) after ages of $\approx$ 50 -- 100 Myr. Consequently, the EUV flux incident at 1 AU around solar analogs varies over the lifetime of the Sun, ranging from 100 $\times$ the present day UV irradiance at 10 Myr to 0.3 $\times$ the present-day level at 10 Gyr. We find that the EUV luminosity is approximately the same as the soft X-ray luminosity up to approximately 1 Gyr, after which the EUV luminosity of the stars dominate. In comparison to Sun-like stars, the EUV saturation level of early/mid M dwarfs is several times higher and lasts $\sim$10 -- 20 times longer.

astro-ph.SR↗

arXiv2024

Constraining atmospheric composition from the outflow: helium observations reveal the fundamental properties of two planets straddling the radius gap

TOI-836 is a ~2-3 Gyr K dwarf with an inner super Earth ($R=1.7 R_\oplus$, $P=3.8$ d) and an outer mini Neptune ($R=2.6 R_\oplus$, $P=8.6$ d). JWST/NIRSpec 2.8--5.2 $\mu$m transmission spectra are flat for both planets. We present Keck/NIRSPEC observations of escaping helium for super-Earth b, which shows no excess absorption in the 1083 nm triplet to deep limits (<0.2%), and mini-Neptune c, which shows strong (0.7%) excess absorption in both visits. These results demonstrate that planet c retains at least some primordial atmosphere, while planet b is consistent with having lost its entire primordial envelope. Self-consistent 1D radiative-hydrodynamic models of planet c reveal that the helium excess absorption signal is highly sensitive to metallicity: its equivalent width collapses by a factor of 13 as metallicity increases from 10x to 100x solar, and by a further factor of 12 as it increases to 200x solar. The observed equivalent width is 88% the model prediction for 100x metallicity, suggesting an atmospheric metallicity similar to K2-18b and TOI-270d, the first two mini-Neptunes with detected absorption features in JWST transmission spectra. We highlight the helium triplet as a potentially powerful probe of atmospheric composition, with complementary strengths and weaknesses to atmospheric retrievals. The main strength is its extreme sensitivity to metallicity in the scientifically significant range of 10--200x solar, and the main weakness is the enormous model uncertainties in outflow suppression and confinement mechanisms, such as magnetic fields and stellar winds, which can suppress the signal by at least a factor of ~several.

astro-ph.EP↗

arXiv2024

Generative AI Enables Medical Image Segmentation in Ultra Low-Data Regimes

Semantic segmentation of medical images is pivotal in applications like disease diagnosis and treatment planning. While deep learning has excelled in automating this task, a major hurdle is the need for numerous annotated segmentation masks, which are resource-intensive to produce due to the required expertise and time. This scenario often leads to ultra low-data regimes, where annotated images are extremely limited, posing significant challenges for the generalization of conventional deep learning methods on test images. To address this, we introduce a generative deep learning framework, which uniquely generates high-quality paired segmentation masks and medical images, serving as auxiliary data for training robust models in data-scarce environments. Unlike traditional generative models that treat data generation and segmentation model training as separate processes, our method employs multi-level optimization for end-to-end data generation. This approach allows segmentation performance to directly influence the data generation process, ensuring that the generated data is specifically tailored to enhance the performance of the segmentation model. Our method demonstrated strong generalization performance across 9 diverse medical image segmentation tasks and on 16 datasets, in ultra-low data regimes, spanning various diseases, organs, and imaging modalities. When applied to various segmentation models, it achieved performance improvements of 10-20\% (absolute), in both same-domain and out-of-domain scenarios. Notably, it requires 8 to 20 times less training data than existing methods to achieve comparable results. This advancement significantly improves the feasibility and cost-effectiveness of applying deep learning in medical imaging, particularly in scenarios with limited data availability.

eess.IV↗

arXiv2023

The MUSCLES Extension for Atmospheric and Transmission Spectroscopy: UV and X-ray Host-star Observations for JWST ERS & GTO Targets

X-ray through infrared spectral energy distributions (SEDs) are essential for understanding a star's effect on exoplanet atmospheric composition and evolution. We present a catalog of panchromatic SEDs, hosted on the Barbara A. Mikulski Archive for Space Telescopes (MAST), for 11 exoplanet hosting stars which have guaranteed JWST observation time as part of the ERS or GTO programs but have no previous UV characterization. The stars in this survey range from spectral type F4-M6 (0.14-1.57 M$_\odot$), rotation periods of ~4-132 days, and ages of approximately 0.5-11.4 Gyr. The SEDs are composite spectra using data from the Chandra X-ray Observatory and XMM-Newton, the Hubble Space Telescope, BT-Settl stellar atmosphere models, and scaled spectra of proxy stars of similar spectral type and activity. From our observations, we have measured a set of UV and X-ray fluxes as indicators of stellar activity level. We compare the chromospheric and coronal activity indicators of our exoplanet-hosting stars to the broader population of field stars and find that a majority of our targets have activity levels lower than the average population of cool stars in the solar neighborhood. This suggests that using SEDs of stars selected from exoplanet surveys to compute generic exoplanet atmosphere models may underestimate the typical host star's UV flux by an order of magnitude or more, and consequently, that the observed population of exoplanetary atmospheres receive lower high-energy flux levels than the typical planet in the solar neighborhood.

astro-ph.SR↗

arXiv2023

Extended Agriculture-Vision: An Extension of a Large Aerial Image Dataset for Agricultural Pattern Analysis

A key challenge for much of the machine learning work on remote sensing and earth observation data is the difficulty in acquiring large amounts of accurately labeled data. This is particularly true for semantic segmentation tasks, which are much less common in the remote sensing domain because of the incredible difficulty in collecting precise, accurate, pixel-level annotations at scale. Recent efforts have addressed these challenges both through the creation of supervised datasets as well as the application of self-supervised methods. We continue these efforts on both fronts. First, we generate and release an improved version of the Agriculture-Vision dataset (Chiu et al., 2020b) to include raw, full-field imagery for greater experimental flexibility. Second, we extend this dataset with the release of 3600 large, high-resolution (10cm/pixel), full-field, red-green-blue and near-infrared images for pre-training. Third, we incorporate the Pixel-to-Propagation Module Xie et al. (2021b) originally built on the SimCLR framework into the framework of MoCo-V2 Chen et al.(2020b). Finally, we demonstrate the usefulness of this data by benchmarking different contrastive learning approaches on both downstream classification and semantic segmentation tasks. We explore both CNN and Swin Transformer Liu et al. (2021a) architectures within different frameworks based on MoCo-V2. Together, these approaches enable us to better detect key agricultural patterns of interest across a field from aerial imagery so that farmers may be alerted to problematic areas in a timely fashion to inform their management decisions. Furthermore, the release of these datasets will support numerous avenues of research for computer vision in remote sensing for agriculture.

cs.CV↗

arXiv2022

On the Application of Agile Project Management Techniques, V-Model and Recent Software Tools in Postgraduate Theses Supervision

Due to the nature of most postgraduate theses in control engineering and their similarities to industrial and software engineering projects, invoking novel project control techniques could be effective. In recent decades, agile techniques have attracted popularity thanks to their attributes in delivering successful projects. Hence exploiting those methods in education and thesis supervision of engineering topics can facilitate the process. On the other hand, because of the limitations imposed by the CoVid19 pandemic, the integration of well-established online tools in collaborative education is noteworthy. This paper proposes an application of the agile project management method for the supervision of postgraduate students' theses in the general field of engineering. The study extends a Scrum technique combined with approved systems engineering and team working tools such as Jira Software, Microsoft Teams, and Git version control (Github website). A custom designed V-model to nail an outstanding thesis is presented. The overall blended method is beneficial to provide feedback and self-assessment aid for the students and the supervisors. Employing this technique has shown promising progress in easing the supervision of students whilst helping them to manage their projects.

eess.SY↗

arXiv2021

Superpixels and Graph Convolutional Neural Networks for Efficient Detection of Nutrient Deficiency Stress from Aerial Imagery

Advances in remote sensing technology have led to the capture of massive amounts of data. Increased image resolution, more frequent revisit times, and additional spectral channels have created an explosion in the amount of data that is available to provide analyses and intelligence across domains, including agriculture. However, the processing of this data comes with a cost in terms of computation time and money, both of which must be considered when the goal of an algorithm is to provide real-time intelligence to improve efficiencies. Specifically, we seek to identify nutrient deficient areas from remotely sensed data to alert farmers to regions that require attention; detection of nutrient deficient areas is a key task in precision agriculture as farmers must quickly respond to struggling areas to protect their harvests. Past methods have focused on pixel-level classification (i.e. semantic segmentation) of the field to achieve these tasks, often using deep learning models with tens-of-millions of parameters. In contrast, we propose a much lighter graph-based method to perform node-based classification. We first use Simple Linear Iterative Cluster (SLIC) to produce superpixels across the field. Then, to perform segmentation across the non-Euclidean domain of superpixels, we leverage a Graph Convolutional Neural Network (GCN). This model has 4-orders-of-magnitude fewer parameters than a CNN model and trains in a matter of minutes.

cs.CV↗

arXiv2020

The 1st Agriculture-Vision Challenge: Methods and Results

The first Agriculture-Vision Challenge aims to encourage research in developing novel and effective algorithms for agricultural pattern recognition from aerial images, especially for the semantic segmentation task associated with our challenge dataset. Around 57 participating teams from various countries compete to achieve state-of-the-art in aerial agriculture semantic segmentation. The Agriculture-Vision Challenge Dataset was employed, which comprises of 21,061 aerial and multi-spectral farmland images. This paper provides a summary of notable methods and results in the challenge. Our submission server and leaderboard will continue to open for researchers that are interested in this challenge dataset and task; the link can be found here.

cs.CV↗

arXiv2020

Agriculture-Vision: A Large Aerial Image Database for Agricultural Pattern Analysis

The success of deep learning in visual recognition tasks has driven advancements in multiple fields of research. Particularly, increasing attention has been drawn towards its application in agriculture. Nevertheless, while visual pattern recognition on farmlands carries enormous economic values, little progress has been made to merge computer vision and crop sciences due to the lack of suitable agricultural image datasets. Meanwhile, problems in agriculture also pose new challenges in computer vision. For example, semantic segmentation of aerial farmland images requires inference over extremely large-size images with extreme annotation sparsity. These challenges are not present in most of the common object datasets, and we show that they are more challenging than many other aerial image datasets. To encourage research in computer vision for agriculture, we present Agriculture-Vision: a large-scale aerial farmland image dataset for semantic segmentation of agricultural patterns. We collected 94,986 high-quality aerial images from 3,432 farmlands across the US, where each image consists of RGB and Near-infrared (NIR) channels with resolution as high as 10 cm per pixel. We annotate nine types of field anomaly patterns that are most important to farmers. As a pilot study of aerial agricultural semantic segmentation, we perform comprehensive experiments using popular semantic segmentation models; we also propose an effective model designed for aerial agricultural pattern recognition. Our experiments demonstrate several challenges Agriculture-Vision poses to both the computer vision and agriculture communities. Future versions of this dataset will include even more aerial images, anomaly patterns and image channels. More information at https://www.agriculture-vision.com.

cs.CV↗

arXiv2019

Astro 2020 Science White Paper: Evolved Planetary Systems around White Dwarfs

Practically all known planet hosts will evolve into white dwarfs, and large parts of their planetary systems will survive this transition - the same is true for the solar system beyond the orbit of Mars. Spectroscopy of white dwarfs accreting planetary debris provides the most accurate insight into the bulk composition of exo-planets. Ground-based spectroscopic surveys of ~260, 000 white dwarfs detected with Gaia will identify >1000 evolved planetary systems, and high-throughput high-resolution space-based ultraviolet spectroscopy is essential to measure in detail their abundances. So far, evidence for two planetesimals orbiting closely around white dwarfs has been obtained, and their study provides important constraints on the composition and internal structure of these bodies. Major photometric and spectroscopic efforts will be necessary to assemble a sample of such close-in planetesimals that is sufficiently large to establish their properties as a population, and to deduce the architectures of the outer planetary systems from where they originated. Mid-infrared spectroscopy of the dusty disks will provide detailed mineralogical information of the debris, which, in combination with the elemental abundances measured from the white dwarf spectroscopy, will enable detailed physical modelling of the chemical, thermodynamic, and physical history of the accreted material. Flexible multi-epoch infrared observations are essential to determine the physical nature, and origin of the variability observed in many of the dusty disks. Finally, the direct detection of the outer reservoirs feeding material to the white dwarfs will require sensitive mid- and far-infrared capabilities.

astro-ph.EP↗

arXiv2018

Equivalence of OEIS A007729 and A174868

We verify the conjecture that the sixth binary partition function is equal (aside from the initial zero term) to the partial sums of the Stern-Brocot sequence.

math.CO↗

arXiv2018

Using Machine Learning to Improve Cylindrical Algebraic Decomposition

Cylindrical Algebraic Decomposition (CAD) is a key tool in computational algebraic geometry, best known as a procedure to enable Quantifier Elimination over real-closed fields. However, it has a worst case complexity doubly exponential in the size of the input, which is often encountered in practice. It has been observed that for many problems a change in algorithm settings or problem formulation can cause huge differences in runtime costs, changing problem instances from intractable to easy. A number of heuristics have been developed to help with such choices, but the complicated nature of the geometric relationships involved means these are imperfect and can sometimes make poor choices. We investigate the use of machine learning (specifically support vector machines) to make such choices instead. Machine learning is the process of fitting a computer model to a complex function based on properties learned from measured data. In this paper we apply it in two case studies: the first to select between heuristics for choosing a CAD variable ordering; the second to identify when a CAD problem instance would benefit from Groebner Basis preconditioning. These appear to be the first such applications of machine learning to Symbolic Computation. We demonstrate in both cases that the machine learned choice outperforms human developed heuristics.

cs.SC↗

arXiv2017

A Scalable, Low-Overhead Finite-State Machine Overlay for Rapid FPGA Application Development

Productivity issues such as lengthy compilation and limited code reuse have restricted usage of field-programmable gate arrays (FPGAs), despite significant technical advantages. Recent work into overlays -- virtual coarse-grained architectures implemented atop FPGAs -- has aimed to address these concerns through abstraction, but have mostly focused on pipelined applications with minimal control requirements. Although research has introduced overlays for finite-state machines, those architectures suffer from limited scalability and flexibility, which we address with a new overlay architecture using memory decomposition on transitional logic. Although our overlay provides modest average improvements of 15% to 29% fewer lookup tables for individual finite-state machines, for the more common usage of an overlay supporting different finite-state machines, our overlay achieves a 77% to 99% reduction in lookup tables. In addition, our overlay reduces compilation time to tenths of a second to enable rapid iterative-development methodologies.

cs.AR↗

arXiv2015

Stellar archaeology with Gaia: the Galactic white dwarf population

Gaia will identify several 1e5 white dwarfs, most of which will be in the solar neighborhood at distances of a few hundred parsecs. Ground-based optical follow-up spectroscopy of this sample of stellar remnants is essential to unlock the enormous scientific potential it holds for our understanding of stellar evolution, and the Galactic formation history of both stars and planets.

astro-ph.SR↗

arXiv2015

An implementation of Sub-CAD in Maple

Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets, with applications in algebraic geometry and beyond. We have previously reported on an implementation of CAD in Maple which offers the original projection and lifting algorithm of Collins along with subsequent improvements. Here we report on new functionality: specifically the ability to build cylindrical algebraic sub-decompositions (sub-CADs) where only certain cells are returned. We have implemented algorithms to return cells of a prescribed dimensions or higher (layered {\scad}s), and an algorithm to return only those cells on which given polynomials are zero (variety {\scad}s). These offer substantial savings in output size and computation time. The code described and an introductory Maple worksheet / pdf demonstrating the full functionality of the package are freely available online at http://opus.bath.ac.uk/43911/.

cs.SC↗