BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

R. Bradford

R. Bradford contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
hep-exnucl-exSymbolic Computationphysics.ins-detmath.AGMathematical Software

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

preprint2021arXiv

The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

This abstract seeks to introduce the ISSAC community to the DEWCAD project, which is based at Coventry University and the University of Bath, in the United Kingdom. The project seeks to push back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition, through the integration of SAT/SMT technology, the extension of Lazard projection theory, and the development of new algorithms based on CAD technology but without producing CADs themselves. The project also seeks to develop applications of CAD and will focus on applications in the domains of economics and bio-network analysis.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Measurement of Muon Antineutrino Quasi-Elastic Scattering on a Hydrocarbon Target at E_ν ~ 3.5 GeV

We have isolated muon anti-neutrino charged-current quasi-elastic interactions occurring in the segmented scintillator tracking region of the MINERvA detector running in the NuMI neutrino beam at Fermilab. We measure the flux-averaged differential cross-section, dσ/dQ^2, and compare to several theoretical models of quasi-elastic scattering. Good agreement is obtained with a model where the nucleon axial mass, M_A, is set to 0.99 GeV/c^2 but the nucleon vector form factors are modified to account for the observed enhancement, relative to the free nucleon case, of the cross-section for the exchange of transversely polarized photons in electron-nucleus scattering. Our data at higher Q^2 favor this interpretation over an alternative in which the axial mass is increased.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Measurement of Muon Neutrino Quasi-Elastic Scattering on a Hydrocarbon Target at E_ν ~ 3.5 GeV

We report a study of muon neutrino charged-current quasi-elastic events in the segmented scintillator inner tracker of the MINERvA experiment running in the NuMI neutrino beam at Fermilab. The events were selected by requiring a μ^- and low calorimetric recoil energy separated from the interaction vertex. We measure the flux-averaged differential cross-section, dσ/dQ^2, and study the low energy particle content of the final state. Deviations are found between the measured dσ/dQ^2 and the expectations of a model of independent nucleons in a relativistic Fermi gas. We also observe an excess of energy near the vertex consistent with multiple protons in the final state.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

A new algorithm to compute cylindrical algebraic decompositions (CADs) is presented, building on two recent advances. Firstly, the output is truth table invariant (a TTICAD) meaning given formulae have constant truth value on each cell of the decomposition. Secondly, the computation uses regular chains theory to first build a cylindrical decomposition of complex space (CCD) incrementally by polynomial. Significant modification of the regular chains technology was used to achieve the more sophisticated invariance criteria. Experimental results on an implementation in the RegularChains Library for Maple verify that combining these advances gives an algorithm superior to its individual components and competitive with the state of the art.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Branch Cuts in Maple 17

Accurate and comprehensible knowledge about the position of branch cuts is essential for correctly working with multi-valued functions, such as the square root and logarithm. We discuss the new tools in Maple 17 for calculating and visualising the branch cuts of such functions, and others built up from them. The cuts are described in an intuitive and accurate form, offering substantial improvement on the descriptions previously available.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Design, Calibration, and Performance of the MINERvA Detector

The MINERvA experiment is designed to perform precision studies of neutrino-nucleus scattering using $ν_μ$ and ${\barν}_μ$ neutrinos incident at 1-20 GeV in the NuMI beam at Fermilab. This article presents a detailed description of the \minerva detector and describes the {\em ex situ} and {\em in situ} techniques employed to characterize the detector and monitor its performance. The detector is comprised of a finely-segmented scintillator-based inner tracking region surrounded by electromagnetic and hadronic sampling calorimetry. The upstream portion of the detector includes planes of graphite, iron and lead interleaved between tracking planes to facilitate the study of nuclear effects in neutrino interactions. Observations concerning the detector response over sustained periods of running are reported. The detector design and methods of operation have relevance to future neutrino experiments in which segmented scintillator tracking is utilized.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Demonstration of Communication using Neutrinos

Beams of neutrinos have been proposed as a vehicle for communications under unusual circumstances, such as direct point-to-point global communication, communication with submarines, secure communications and interstellar communication. We report on the performance of a low-rate communications link established using the NuMI beam line and the MINERvA detector at Fermilab. The link achieved a decoded data rate of 0.1 bits/sec with a bit error rate of 1% over a distance of 1.035 km, including 240 m of earth.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The MINER$ν$A Data Acquisition System and Infrastructure

MINER$ν$A (Main INjector ExpeRiment $ν$-A) is a new few-GeV neutrino cross section experiment that began taking data in the FNAL NuMI (Fermi National Accelerator Laboratory Neutrinos at the Main Injector) beam-line in March of 2010. MINER$ν$A employs a fine-grained scintillator detector capable of complete kinematic characterization of neutrino interactions. This paper describes the MINER$ν$A data acquisition system (DAQ) including the read-out electronics, software, and computing architecture.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The 2010 Interim Report of the Long-Baseline Neutrino Experiment Collaboration Physics Working Groups

In early 2010, the Long-Baseline Neutrino Experiment (LBNE) science collaboration initiated a study to investigate the physics potential of the experiment with a broad set of different beam, near- and far-detector configurations. Nine initial topics were identified as scientific areas that motivate construction of a long-baseline neutrino experiment with a very large far detector. We summarize the scientific justification for each topic and the estimated performance for a set of far detector reference configurations. We report also on a study of optimized beam parameters and the physics capability of proposed Near Detector configurations. This document was presented to the collaboration in fall 2010 and updated with minor modifications in early 2011.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

First Measurement of Beam-Recoil Observables Cx and Cz in Hyperon Photoproduction

Spin transfer from circularly polarized real photons to recoiling hyperons has been measured for the reactions $\vecγ+ p \to K^+ + \vecΛ$ and $\vecγ+ p \to K^+ + \vecΣ^0$. The data were obtained using the CLAS detector at Jefferson Lab for center-of-mass energies $W$ between 1.6 and 2.53 GeV, and for $-0.85<\cosθ_{K^+}^{c.m.}< +0.95$. For the $Λ$, the polarization transfer coefficient along the photon momentum axis, $C_z$, was found to be near unity for a wide range of energy and kaon production angles. The associated transverse polarization coefficient, $C_x$, is smaller than $C_z$ by a roughly constant difference of unity. Most significantly, the {\it total} $Λ$ polarization vector, including the induced polarization $P$, has magnitude consistent with unity at all measured energies and production angles when the beam is fully polarized. For the $Σ^0$ this simple phenomenology does not hold. All existing hadrodynamic models are in poor agreement with these results.

0 citations0 reviewsNo code linkedOpen access