Explicit soliton-black hole correspondence for static configurations

We construct an explicit map that transforms static, generalized sine-Gordon metrics to black hole type metrics. This, in particular, provides for a further description of the Cadoni correspondence (which extends the Gegenberg-Kunstatter correspondence) of soliton solutions and extremal black hole solutions in 2D dilaton gravity.Comment: Submitted to Phys Rev D, 7 pages, no figure

Development of a telescope for medium-energy gamma-ray astronomy

The Advanced Energetic Pair Telescope (AdEPT) is being developed at GSFC as a future NASA MIDEX mission to explore the medium-energy (5–200 MeV) gamma-ray range. The enabling technology for AdEPT is the Three- Dimensional Track Imager (3-DTI), a gaseous time projection chamber. The high spatial resolution 3-D electron tracking of 3-DTI enables AdEPT to achieve high angular resolution gamma-ray imaging via pair production and triplet production (pair production on electrons) in the medium-energy range. The low density and high spatial resolution of 3-DTI allows the electron positron track directions to be measured before they are dominated by Coulomb scattering. Further, the significant reduction of Coulomb scattering allows AdEPT to be the first medium-energy gamma-ray telescope to have high gamma-ray polarization sensitivity. We review the science goals that can be addressed with a medium-energy pair telescope, how these goals drive the telescope design, and the realization of this design with AdEPT. The AdEPT telescope for a future MIDEX mission is envisioned as a 8 m3 active volume filled with argon at 2 atm. The design and performance of the 3-DTI detectors for the AdEPT telescope are described as well as the outstanding instrument challenges that need to be met for the AdEPT mission

GRIDKIT: Pluggable overlay networks for Grid computing

A `second generation' approach to the provision of Grid middleware is now emerging which is built on service-oriented architecture and web services standards and technologies. However, advanced Grid applications have significant demands that are not addressed by present-day web services platforms. As one prime example, current platforms do not support the rich diversity of communication `interaction types' that are demanded by advanced applications (e.g. publish-subscribe, media streaming, peer-to-peer interaction). In the paper we describe the Gridkit middleware which augments the basic service-oriented architecture to address this particular deficiency. We particularly focus on the communications infrastructure support required to support multiple interaction types in a unified, principled and extensible manner-which we present in terms of the novel concept of pluggable overlay networks

A microlensing measurement of dark matter fractions in three lensing galaxies

Direct measurements of dark matter distributions in galaxies are currently only possible through the use of gravitational lensing observations. Combinations of lens modelling and stellar velocity dispersion measurements provide the best constraints on dark matter distributions in individual galaxies, however they can be quite complex. In this paper, we use observations and simulations of gravitational microlensing to measure the smooth (dark) matter mass fraction at the position of lensed images in three lens galaxies: MG 0414+0534, SDSS J0924+0219 and Q2237+0305. The first two systems consist of early-type lens galaxies, and both display a flux ratio anomaly in their close image pair. Anomalies such as these suggest a high smooth matter percentage is likely, and indeed we prefer ~50 per cent smooth matter in MG 0414+0534, and ~80 per cent in SDSS J0924+0219 at the projected locations of the lensed images. Q2237+0305 differs somewhat in that its lensed images lie in the central kiloparsec of the barred spiral lens galaxy, where we expect stars to dominate the mass distribution. In this system, we find a smooth matter percentage that is consistent with zero.Comment: 7 pages, 4 figures. Accepted for publication in Ap

Thermal noise limitations to force measurements with torsion pendulums: Applications to the measurement of the Casimir force and its thermal correction

A general analysis of thermal noise in torsion pendulums is presented. The specific case where the torsion angle is kept fixed by electronic feedback is analyzed. This analysis is applied to a recent experiment that employed a torsion pendulum to measure the Casimir force. The ultimate limit to the distance at which the Casimir force can be measured to high accuracy is discussed, and in particular the prospects for measuring the thermal correction are elaborated upon.Comment: one figure, five pages, to be submitted to Phys Rev

Psychometric properties of the revised Developmental Behaviour Checklist scales in Dutch children with intellectual disability

The present study assessed the reliability and validity of the revised scales of the Developmental Behaviour Checklist (DBC) in a Dutch sample of children with intellectual disability (ID). The psychometric properties of the parent and teacher versions of the DBC were assessed in various subsamples derived from a sample of 1057 Dutch children (age range = 6-18 years) with ID or borderline intellectual functioning. Good test-retest reliability was shown both for the parent and teacher versions. Moderate inter-parent agreement and high one-year stability was found for the scale scores. Construct validity was satisfactory, although limited by high informant variance. The DBC scales showed good criterion-related validity, as indicated by significant mean differences between referred and non-referred children, and between children with and without a corresponding DSM-IV diagnosis. The reliability and validity of the revised DBC scales are satisfactory, and the checklist is recommended for clinical and research purposes

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown coefficients. Lagrange interpolation allows us to find constraints with less unknown coefficients. Counterexample-guided refinement furthermore generates linear constraints that pinpoint the desired quantitative invariants. We evaluate our technique by several case studies with polynomial quantitative loop invariants in the experiments