Effects of Neutron Irradiation on Pinning Force Scaling in State-of-the-Art Nb3Sn Wires

We present an extensive irradiation study involving five state-of-the-art Nb3Sn wires which were subjected to sequential neutron irradiation up to a fast neutron fluence of 1.6 * 10^22 m^-2 (E > 0.1 MeV). The volume pinning force of short wire samples was assessed in the temperature range from 4.2 to 15 K in applied fields of up to 7 T by means of SQUID magnetometry in the unirradiated state and after each irradiation step. Pinning force scaling computations revealed that the exponents in the pinning force function differ significantly from those expected for pure grain boundary pinning, and that fast neutron irradiation causes a substantial change in the functional dependence of the volume pinning force. A model is presented, which describes the pinning force function of irradiated wires using a two-component ansatz involving a point-pinning contribution stemming from radiation induced pinning centers. The dependence of this point-pinning contribution on fast neutron fluence appears to be a universal function for all examined wire types.Comment: 8 page

Scavenger 0.1: A Theorem Prover Based on Conflict Resolution

This paper introduces Scavenger, the first theorem prover for pure first-order logic without equality based on the new conflict resolution calculus. Conflict resolution has a restricted resolution inference rule that resembles (a first-order generalization of) unit propagation as well as a rule for assuming decision literals and a rule for deriving new clauses by (a first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201

Long-term variability of AGN at hard X-rays

Variability at all observed wavelengths is a distinctive property of AGN. Hard X-rays provide us with a view of the innermost regions of AGN, mostly unbiased by absorption along the line of sight. Swift/BAT offers the unique opportunity to follow, on time scales of days to years and with a regular sampling, the 14-195 keV emission of the largest AGN sample available up to date for this kind of investigation. We study the amplitude of the variations, and their dependence on sub-class and on energy, for a sample of 110 radio quiet and radio loud AGN selected from the BAT 58-month survey. About 80% of the AGN in the sample are found to exhibit significant variability on months to years time scales, radio loud sources being the most variable. The amplitude of the variations and their energy dependence are incompatible with variability being driven at hard X-rays by changes of the absorption column density. In general, the variations in the 14-24 and 35-100 keV bands are well correlated, suggesting a common origin of the variability across the BAT energy band. However, radio quiet AGN display on average 10% larger variations at 14-24 keV than at 35-100 keV and a softer-when-brighter behavior for most of the Seyfert galaxies with detectable spectral variability on month time scale. In addition, sources with harder spectra are found to be more variable than softer ones. These properties are generally consistent with a variable power law continuum, in flux and shape, pivoting at energies >~ 50 keV, to which a constant reflection component is superposed. When the same time scales are considered, the timing properties of AGN at hard X-rays are comparable to those at lower energies, with at least some of the differences possibly ascribable to components contributing differently in the two energy domains (e.g., reflection, absorption).Comment: 17 pages, 11 figures, accepted for publication in A&

A UIMA wrapper for the NCBO annotator

Summary: The Unstructured Information Management Architecture (UIMA) framework and web services are emerging as useful tools for integrating biomedical text mining tools. This note describes our work, which wraps the National Center for Biomedical Ontology (NCBO) Annotator—an ontology-based annotation service—to make it available as a component in UIMA workflows

Kepler Observations of Rapid Optical Variability in Active Galactic Nuclei

Over three quarters in 2010 - 2011, Kepler monitored optical emission from four active galactic nuclei (AGN) with approx 30 min sampling, > 90% duty cycle and approx < 0.1% repeatability. These data determined the AGN optical fluctuation power spectral density functions (PSDs) over a wide range in temporal frequency. Fits to these PSDs yielded power law slopes of -2.6 to -3.3, much steeper than typically seen in the X-rays. We find evidence that individual AGN exhibit intrinsically different PSD slopes. The steep PSD fits are a challenge to recent AGN variability models but seem consistent with first order MRI theoretical calculations of accretion disk fluctuations

Extension and reconstruction theorems for the Urysohn universal metric space

We prove some extension theorems involving uniformly continuous maps of the universal Urysohn space. We also prove reconstruction theorems for certain groups of autohomeomorphisms of this space and of its open subsets.Comment: Final and shortened version, 25 pages, to appear in Czechoslovak Math.