366 research outputs found
Graph Creation, Visualisation and Transformation
We describe a tool to create, edit, visualise and compute with interaction
nets - a form of graph rewriting systems. The editor, called GraphPaper, allows
users to create and edit graphs and their transformation rules using an
intuitive user interface. The editor uses the functionalities of the TULIP
system, which gives us access to a wealth of visualisation algorithms.
Interaction nets are not only a formalism for the specification of graphs, but
also a rewrite-based computation model. We discuss graph rewriting strategies
and a language to express them in order to perform strategic interaction net
rewriting
Physics, Topology, Logic and Computation: A Rosetta Stone
In physics, Feynman diagrams are used to reason about quantum processes. In
the 1980s, it became clear that underlying these diagrams is a powerful analogy
between quantum physics and topology: namely, a linear operator behaves very
much like a "cobordism". Similar diagrams can be used to reason about logic,
where they represent proofs, and computation, where they represent programs.
With the rise of interest in quantum cryptography and quantum computation, it
became clear that there is extensive network of analogies between physics,
topology, logic and computation. In this expository paper, we make some of
these analogies precise using the concept of "closed symmetric monoidal
category". We assume no prior knowledge of category theory, proof theory or
computer science.Comment: 73 pages, 8 encapsulated postscript figure
Observation of the Ankle and Evidence for a High-Energy Break in the Cosmic Ray Spectrum
We have measured the cosmic ray spectrum at energies above eV using
the two air fluorescence detectors of the High Resolution Fly's Eye experiment
operating in monocular mode. We describe the detector, PMT and atmospheric
calibrations, and the analysis techniques for the two detectors. We fit the
spectrum to models describing galactic and extragalactic sources. Our measured
spectrum gives an observation of a feature known as the ``ankle'' near eV, and strong evidence for a suppression near eV.Comment: 14 pages, 9 figures. To appear in Physics Letters B. Accepted versio
Observation of exclusive DVCS in polarized electron beam asymmetry measurements
We report the first results of the beam spin asymmetry measured in the
reaction e + p -> e + p + gamma at a beam energy of 4.25 GeV. A large asymmetry
with a sin(phi) modulation is observed, as predicted for the interference term
of Deeply Virtual Compton Scattering and the Bethe-Heitler process. The
amplitude of this modulation is alpha = 0.202 +/- 0.028. In leading-order and
leading-twist pQCD, the alpha is directly proportional to the imaginary part of
the DVCS amplitude.Comment: 6 pages, 5 figure
A Kinematically Complete Measurement of the Proton Structure Function F2 in the Resonance Region and Evaluation of Its Moments
We measured the inclusive electron-proton cross section in the nucleon
resonance region (W < 2.5 GeV) at momentum transfers Q**2 below 4.5 (GeV/c)**2
with the CLAS detector. The large acceptance of CLAS allowed for the first time
the measurement of the cross section in a large, contiguous two-dimensional
range of Q**2 and x, making it possible to perform an integration of the data
at fixed Q**2 over the whole significant x-interval. From these data we
extracted the structure function F2 and, by including other world data, we
studied the Q**2 evolution of its moments, Mn(Q**2), in order to estimate
higher twist contributions. The small statistical and systematic uncertainties
of the CLAS data allow a precise extraction of the higher twists and demand
significant improvements in theoretical predictions for a meaningful comparison
with new experimental results.Comment: revtex4 18 pp., 12 figure
The ANTARES Optical Beacon System
ANTARES is a neutrino telescope being deployed in the Mediterranean Sea. It
consists of a three dimensional array of photomultiplier tubes that can detect
the Cherenkov light induced by charged particles produced in the interactions
of neutrinos with the surrounding medium. High angular resolution can be
achieved, in particular when a muon is produced, provided that the Cherenkov
photons are detected with sufficient timing precision. Considerations of the
intrinsic time uncertainties stemming from the transit time spread in the
photomultiplier tubes and the mechanism of transmission of light in sea water
lead to the conclusion that a relative time accuracy of the order of 0.5 ns is
desirable. Accordingly, different time calibration systems have been developed
for the ANTARES telescope. In this article, a system based on Optical Beacons,
a set of external and well-controlled pulsed light sources located throughout
the detector, is described. This calibration system takes into account the
optical properties of sea water, which is used as the detection volume of the
ANTARES telescope. The design, tests, construction and first results of the two
types of beacons, LED and laser-based, are presented.Comment: 21 pages, 18 figures, submitted to Nucl. Instr. and Meth. Phys. Res.
First validation of high-resolution satellite-derived methane emissions from an active gas leak in the UK
Atmospheric methane (CH4) is the second-most-important anthropogenic greenhouse gas and has a 20-year global warming potential 82 times greater than carbon dioxide (CO2). Anthropogenic sources account for âŒâ60â% of global CH4 emissions, of which 20â% come from oil and gas exploration, production and distribution. High-resolution satellite-based imaging spectrometers are becoming important tools for detecting and monitoring CH4 point source emissions, aiding mitigation. However, validation of these satellite measurements, such as those from the commercial GHGSat satellite constellation, has so far not been documented for active leaks. Here we present the monitoring and quantification, by GHGSat's satellites, of the CH4 emissions from an active gas leak from a downstream natural gas distribution pipeline near Cheltenham, UK, in the spring and summer of 2023 and provide the first validation of the satellite-derived emission estimates using surface-based mobile greenhouse gas surveys. We also use a Lagrangian transport model, the UK Met Office's Numerical Atmospheric-dispersion Modelling Environment (NAME), to estimate the flux from both satellite- and ground-based observation methods and assess the leak's contribution to observed concentrations at a local tall tower site (30âkm away). We find GHGSat's emission estimates to be in broad agreement with those made from the in situ measurements. During the study period (MarchâJune 2023) GHGSat's emission estimates are 236â1357âkgâCH4âhâ1, whereas the mobile surface measurements are 634â846âkgâCH4âhâ1. The large variability is likely down to variations in flow through the pipe and engineering works across the 11-week period. Modelled flux estimates in NAME are 181â1243âkgâCH4âhâ1, which are lower than the satellite- and mobile-survey-derived fluxes but are within the uncertainty. After detecting the leak in March 2023, the local utility company was contacted, and the leak was fixed by mid-June 2023. Our results demonstrate that GHGSat's observations can produce flux estimates that broadly agree with surface-based mobile measurements. Validating the accuracy of the information provided by targeted, high-resolution satellite monitoring shows how it can play an important role in identifying emission sources, including unplanned fugitive releases that are inherently challenging to identify, track, and estimate their impact and duration. Rapid, widespread access to such data to inform local action to address fugitive emission sources across the oil and gas supply chain could play a significant role in reducing anthropogenic contributions to climate change
Surface Plasmon mediated near-field imaging and optical addressing in nanoscience
We present an overview of recent progress in plasmonics. We focus our study
on the observation and excitation of surface plasmon polaritons (SPPs) with
optical near-field microscopy. We discuss in particular recent applications of
photon scanning tunnelling microscope (PSTM) for imaging of SPP propagating in
metal and dielectric wave guides. We show how near-field scanning optical
microscopy (NSOM) can be used to optically and actively address remotely
nano-objects such as quantum dots. Additionally we compare results obtained
with near-field microscopy to those obtained with other optical far-field
methods of analysis such as leakage radiation microscopy (LRM)
Novel Stress-responsive Genes EMG1 and NOP14 Encode Conserved, Interacting Proteins Required for 40S Ribosome Biogenesis
- âŠ