SearcharxivSearch

arXiv subjects

John Gallagher

Publications and source records attributed to John Gallagher.

13 recordsLinked to original sources

FOXGLOVE: Understanding Goal-Oriented and Anchored Writing Feedback from Experts and LLMs on Argumentative Essays

While large language models (LLMs) are increasingly used to generate writing feedback, there remains no systematic comparison of LLM and expert feedback on the dimensions that writing research identifies as central to revision: goal-orientation, anchoring to specific sentences, and prioritization. We introduce FOXGLOVE, a dataset of 696 feedback comments written by trained writing instructors on 69 twelfth-grade argumentative essays, paired with 1,644 comments generated from four frontier LLMs under a shared protocol, totaling 2,340 comments. We provide expert quality ratings on a subset of both instructor and LLM comments. We find that instructors and LLMs distribute feedback similarly across goals and essay positions, yet instructors and models diverge on the specific sentences on which to provide feedback. Additionally, we find that models tend to write more complex feedback and use fewer questions than instructors. LLM feedback also receives higher ratings on most dimensions of quality, as rated by instructors, but much of this advantage appears to be attributable to lengthier comments. FOXGLOVE enables systematic comparison of where human and LLM feedback align, diverge, and differ.

cs.CL

From Crafting Text to Crafting Thought: Grounding AI Writing Support to Writing Center Pedagogy

As AI writing tools evolve from fixing surface errors to creating language with writers, new capabilities raise concerns about negative impacts on student writers, such as replacing their voices and undermining critical thinking skills. To address these challenges, we look at a parallel transition in university writing centers from focusing on fixing errors to preserving student voices. We develop design guidelines informed by writing center literature and interviews with 10 writing tutors. We illustrate these guidelines in a prototype AI tool, Writor. Writor helps writers revise text by setting goals, providing balanced feedback, and engaging in conversations without generating text verbatim. We conducted an expert review with 30 writing instructors, tutors, and AI researchers on Writor to assess the pedagogical soundness, alignment with writing center pedagogy, and integration contexts. We distill our findings into design implications for future AI writing feedback systems, including designing for trust among AI-skeptical educators.

cs.HC

The fountain of the luminous infrared galaxy Zw049.057 as traced by its OH megamaser

High resolution (0."037-0."13 [10-35 pc]) e-MERLIN ($\lambda6-18$ cm) and (0."024 [6.5 pc]) ALMA ($\lambda 1.1$ mm) observations have been used to image OH (hydroxyl) and H$_2$CO (formaldehyde) megamaser emission, and HCN 3->2 emission towards the nuclear (<100 pc) region of the luminous infrared galaxy Zw049.057. Zw049.057 hosts a compact obscured nucleus (CON), thus representing a class of galaxies that are often associated with inflow and outflow motions. Formaldehyde megamaser emission is detected towards the nuclear region, <30 pc (<0."1), and traces a structure along the disk major axis. OH megamaser (OHM) emission is detected along the minor axis of the disk, ~30 pc (0."1) from the nucleus, where it exhibits a velocity gradient with extrema of -20 km/s south-east (SE) of the disk and -110 km/s north-west (NW) of the disk. HCN 3->2 emission reveals extended emission, along the disk minor axis out to ~60 pc (0."2). Analysis of the minor axis HCN emission reveals high-velocity features, extending out to 600 km/s, redshifted on the SE side and blueshifted on the NW side. We propose that the high-velocity HCN emission traces a fast >250 km/s and collimated outflow, that is enveloped by a wide-angle and slow ~50 km/s outflow that is traced by the OHM emission. Analysis of the outflow kinematics suggests that the slow wide-angle outflow will not reach escape velocity and instead will fall back to the galaxy disk, evolving as a so-called fountain flow, while the fast collimated outflow traced by HCN emission will likely escape the nuclear region. We suggest that the absence of OHM emission in the nuclear region is due to high densities there. Even though OHMs associated with outflows are an exception to conventional OHM emission, we expect them to be common in CON sources that host both OHM and H$_2$CO megamasers.

astro-ph.GA

On a topological Erdős similarity problem

A pattern is called universal in another collection of sets, when every set in the collection contains some linear and translated copy of the original pattern. Paul Erdős proposed a conjecture that no infinite set is universal in the collection of sets with positive measure. This paper explores an analogous problem in the topological setting. Instead of sets with positive measure, we investigate the collection of dense $G_δ$ sets and in the collection of generic sets (dense $G_δ$ and complement has Lebesgue measure zero). We refer to such pattern as topologically universal and generically universal respectively. It is easy to show that any countable set is topologically universal, while any set containing an interior cannot be topologically universal. In this paper, we will show that Cantor sets on ${\mathbb R}^d$ are not topologically universal and Cantor sets with positive Newhouse thickness on ${\mathbb R}^1$ are not generically universal. This gives a positive partial answer to a question by Svetic concerning the Erdős similarity problem on Cantor sets. Moreover, we also obtain a higher dimensional generalization of the generic universality problem.

math.CA

The Radio Universe at Low Surface Brightness: Feedback & accretion in the circumgalactic medium

Massive galaxies at high-z are known to co-evolve with their circumgalactic medium (CGM). If we want to truly understand the role of the CGM in the early evolution of galaxies and galaxy-clusters, we need to fully explore the multi-phase nature of the CGM. We present two novel science cases that utilize low-surface-brightness observations in the radio regime to better understand the CGM around distant galaxies. At the lowest temperatures, observations of widespread molecular gas are providing evidence for the cold baryon cycle that grows massive galaxies. At the highest temperatures, observations of the Sunyaev-Zeldovich Effect are starting to reveal the effect of quasar feedback onto the hot gas in the CGM. We discuss the critical role that radio interferometers with compact configurations in the millimeter regime will play over the next decade in understanding the crucial role of the multi-phase CGM in galaxy evolution.

astro-ph.GA

The Nature of Low-Density Star Formation

How do stars manage to form within low-density, HI-dominated gas? Such environments provide a laboratory for studying star formation with physical conditions distinct from starbursts and the metal-rich disks of spiral galaxies where most effort has been invested. Here we outline fundamental open questions about the nature of star formation at low-density. We describe the wide-field, high-resolution UV-optical-IR-radio observations of stars, star clusters and gas clouds in nearby galaxies needed in the 2020's to provide definitive answers, essential for development of a complete theory of star formation.

astro-ph.GA

Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009)

This volume contains the papers presented at the 19th Workshop on Logic- based methods in Programming Environments (WLPE'09), which was held in Pasadena, USA, on July 14th, 2009. WLPE aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analy- sis. This year, we have continued and consolidated the shift in focus from en- vironmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. All the papers submitted to WLPE'09 have gone through a careful process of peer reviewing, with at least three reviews for each paper and a subsequent in-depth discussion in the Program Committee.

cs.LO

The Magellanic Clouds Survey: a Bridge to Nearby Galaxies

We outline to the community the value of a Magellanic Clouds Survey that consists of three components: I) a complete-area, high resolution, multi-band UV-near-IR broadband survey; II) a narrowband survey in 7 key nebular filters to cover a statistically significant sample of representative HII regions and a large-area, contiguous survey of the diffuse, warm ISM; and III) a comprehensive FUV spectroscopic survey of 1300 early-type stars. The science areas enabled by such a dataset are as follows: A) assessment of massive star feedback in both HII regions and the diffuse, warm ISM; B) completion of a comprehensive study of the 30 Doradus giant extragalactic HII region (GEHR); C) development and quantitative parameterization of stellar clustering properties; D) extensive FUV studies of early-type stellar atmospheres and their energy distributions; and E) similarly extensive FUV absorption-line studies of molecular cloud structure and ISM extinction properties. These data will also allow a number of additional studies relating to the underlying stellar populations.

astro-ph.CO

The Star Formation Camera

The Star Formation Camera (SFC) is a wide-field (~15'x19, >280 arcmin^2), high-resolution (18x18 mas pixels) UV/optical dichroic camera designed for the Theia 4-m space-borne space telescope concept. SFC will deliver diffraction-limited images at lambda > 300 nm in both a blue (190-517nm) and a red (517-1075nm) channel simultaneously. Our aim is to conduct a comprehensive and systematic study of the astrophysical processes and environments relevant for the births and life cycles of stars and their planetary systems, and to investigate and understand the range of environments, feedback mechanisms, and other factors that most affect the outcome of the star and planet formation process. This program addresses the origins and evolution of stars, galaxies, and cosmic structure and has direct relevance for the formation and survival of planetary systems like our Solar System and planets like Earth. We present the design and performance specifications resulting from the implementation study of the camera, conducted under NASA's Astrophysics Strategic Mission Concept Studies program, which is intended to assemble realistic options for mission development over the next decade. The result is an extraordinarily capable instrument that will provide deep, high-resolution imaging across a very wide field enabling a great variety of community science as well as completing the core survey science that drives the design of the camera. The technology associated with the camera is next generation but still relatively high TRL, allowing a low-risk solution with moderate technology development investment over the next 10 years. We estimate the cost of the instrument to be $390M FY08.

astro-ph.IM

Understanding Global Galactic Star Formation

We propose to the community a comprehensive UV/optical/NIR imaging survey of Galactic star formation regions to probe all aspects of the star formation process. The primary goal of such a study is to understand the evolution of circumstellar protoplanetary disks and other detailed aspects of star formation in a wide variety of different environments. This requires a comprehensive emission-line survey of nearby star-forming regions in the Milky Way, where a high spatial resolution telescope+camera will be capable of resolving circumstellar material and shock structures. In addition to resolving circumstellar disks themselves, such observations will study shocks in the jets and outflows from young stars, which are probes of accretion in the youngest protoplanetary disks still embedded in their surrounding molecular clouds. These data will allow the measurement of proper motions for a large sample of stars and jets/shocks in massive star-forming regions for the first time, opening a new window to study the dynamics of these environments. It will require better than 30 mas resolution and a stable PSF to conduct precision astrometry and photometry of stars and nebulae. Such data will allow production of precise color-color and color magnitude diagrams for millions of young stars to study their evolutionary states. One can also determine stellar rotation, multiplicity, and clustering statistics as functions of environment and location in the Galaxy. For the first time we can systematically map the detailed excitation structure of HII regions, stellar winds, supernova remnants, and supershells/superbubbles. This survey will provide the basic data required to understand star formation as a fundamental astrophysical process that controls the evolution of the baryonic contents of the Universe.

astro-ph.GA

A Systematic Study of the Stellar Populations and ISM in Galaxies out to the Virgo Cluster

We present a compelling case for a systematic and comprehensive study of the resolved and unresolved stellar populations, ISM, and immediate environments of galaxies throughout the local volume, defined here as D < 20 Mpc. This volume is our cosmic backyard and the smallest volume that encompasses environments as different as the Virgo, Ursa Major, Fornax and (perhaps) Eridanus clusters of galaxies, a large number and variety of galaxy groups, and several cosmic void regions. In each galaxy, through a pan-chromatic (160--1100nm) set of broad-band and diagnostic narrow-band filters, ISM structures and individual luminous stars to >~1 mag below the TRGB should be resolved on scales of <5 pc (at D <~ 20 Mpc, lambda ~ 800nm, for mu_I >~ 24 mag/arcsec^2 and m_{I,TRGB} <~ 27.5 mag). Resolved and unresolved stellar populations would be analyzed through color-magnitude and color-color diagram fitting and population synthesis modeling of multi-band colors and would yield physical properties such as spatially resolved star formation histories. The ISM within and around each galaxy would be analyzed using key narrow-band filters that distinguish photospheric from shock heating and provide information on the metallicity of the gas. Such a study would finally allow unraveling the global and spatially resolved star formation histories of galaxies, their assembly, satellite systems, and the dependences thereof on local and global environment within a truly representative cosmic volume. The proposed study is not feasible with current instrumentation but argues for a wide-field (>~250 arcmin^2), high-resolution (<~0.020"--0.065" [300--1000nm]), ultraviolet--near-infrared imaging facility on a 4m-class space-based observatory.

astro-ph.CO

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Convex polyhedral abstractions of logic programs have been found very useful in deriving numeric relationships between program arguments in order to prove program properties and in other areas such as termination and complexity analysis. We present a tool for constructing polyhedral analyses of (constraint) logic programs. The aim of the tool is to make available, with a convenient interface, state-of-the-art techniques for polyhedral analysis such as delayed widening, narrowing, "widening up-to", and enhanced automatic selection of widening points. The tool is accessible on the web, permits user programs to be uploaded and analysed, and is integrated with related program transformations such as size abstractions and query-answer transformation. We then report some experiments using the tool, showing how it can be conveniently used to analyse transition systems arising from models of embedded systems, and an emulator for a PIC microcontroller which is used for example in wearable computing systems. We discuss issues including scalability, tradeoffs of precision and computation time, and other program transformations that can enhance the results of analysis.

cs.PL

A Web-based Tool Combining Different Type Analyses

There are various kinds of type analysis of logic programs. These include for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can be accessed from a web browser, allowing various type analyses to be run. The first goal of the tool is to allow the analysis results to be examined conveniently by clicking on points in the original program clauses, and to highlight ill-typed program constructs, empty types or other type anomalies. Secondly the tool allows combination of the various styles of analysis. For example, a descriptive regular type can be automatically inferred for a given program, and then that type can be used to generate the minimal "domain model" of the program with respect to the corresponding pre-interpretation, which can give more precise information than the original descriptive type.

cs.PL