1,752 research outputs found
Property-Based Testing - The ProTest Project
The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis.
The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang
Detection of an ultra-bright submillimeter galaxy in the Subaru/XMM-Newton Deep Field using AzTEC/ASTE
We report the detection of an extremely bright (37 mJy at 1100 m
and 91 mJy at 880 m) submillimeter galaxy (SMG),
AzTEC-ASTE-SXDF1100.001 (hereafter referred to as SXDF1100.001 or Orochi),
discovered in 1100 m observations of the Subaru/XMM-Newton Deep Field
using AzTEC on ASTE. Subsequent CARMA 1300 m and SMA 880 m
observations successfully pinpoint the location of Orochi and suggest that it
has two components, one extended (FWHM of 4) and one
compact (unresolved). Z-Spec on CSO has also been used to obtain a wide band
spectrum from 190 to 308 GHz, although no significant emission/absorption lines
are found. The derived upper limit to the line-to-continuum flux ratio is
0.1--0.3 (2 ) across the Z-Spec band.
Based on the analysis of the derived spectral energy distribution from
optical to radio wavelengths of possible counterparts near the SMA/CARMA peak
position, we suggest that Orochi is a lensed, optically dark SMG lying at behind a foreground, optically visible (but red) galaxy at . The deduced apparent (i.e., no correction for magnification) infrared
luminosity () and star formation rate (SFR) are
and 11000 yr, respectively, assuming that the
is dominated by star formation. These values suggest that Orochi
will consume its gas reservoir within a short time scale (
yr), which is indeed comparable to those in extreme starbursts like the centres
of local ULIRGs.Comment: 18 pages, 13 figure
Measurement of the Positive Muon Lifetime and Determination of the Fermi Constant to Part-per-Million Precision
We report a measurement of the positive muon lifetime to a precision of 1.0
parts per million (ppm); it is the most precise particle lifetime ever
measured. The experiment used a time-structured, low-energy muon beam and a
segmented plastic scintillator array to record more than 2 x 10^{12} decays.
Two different stopping target configurations were employed in independent
data-taking periods. The combined results give tau_{mu^+}(MuLan) =
2196980.3(2.2) ps, more than 15 times as precise as any previous experiment.
The muon lifetime gives the most precise value for the Fermi constant:
G_F(MuLan) = 1.1663788 (7) x 10^-5 GeV^-2 (0.6 ppm). It is also used to extract
the mu^-p singlet capture rate, which determines the proton's weak induced
pseudoscalar coupling g_P.Comment: Accepted for publication in Phys. Rev. Let
Improved Measurement of the Positive Muon Lifetime and Determination of the Fermi Constant
The mean life of the positive muon has been measured to a precision of 11 ppm
using a low-energy, pulsed muon beam stopped in a ferromagnetic target, which
was surrounded by a scintillator detector array. The result, tau_mu =
2.197013(24) us, is in excellent agreement with the previous world average. The
new world average tau_mu = 2.197019(21) us determines the Fermi constant G_F =
1.166371(6) x 10^-5 GeV^-2 (5 ppm). Additionally, the precision measurement of
the positive muon lifetime is needed to determine the nucleon pseudoscalar
coupling g_P.Comment: As published version (PRL, July 2007
Transformational Sexualities: Motivations of women who pay for sexual services
Previous research on client motivations to purchase sexual services in the UK has predominantly focused on the experiences of men. Women who buy sex have largely been overlooked, as it is commonly assumed that women provide, rather than purchase sexual services. In addressing this empirical absence, this article examines data gained from 50 interviews with women clients and sex workers. It examines the reasons why women decide to purchase sexual services in the UK. We argue that the increasing importance of contemporary capitalism and consumerism has shaped women’s engagement in the sex industry as clients. We show how women’s sexual agency and assertiveness as clients, inverts the female sex worker/male client binary assumed to characterize commercial sex and illustrates the overlap and convergence of male and female sexuality. Our research thus contributes to an understanding of female sexuality more broadly, as exemplifying the hallmarks of ‘transformational sexualities’ in cosmopolitanism (Plummer, 2015)
Detection of an ultra-bright submillimeter galaxy in the Subaru/XMM-Newton Deep Field using AzTEC/ASTE
We report the detection of an extremely bright (37 mJy at 1100 m
and 91 mJy at 880 m) submillimeter galaxy (SMG),
AzTEC-ASTE-SXDF1100.001 (hereafter referred to as SXDF1100.001 or Orochi),
discovered in 1100 m observations of the Subaru/XMM-Newton Deep Field
using AzTEC on ASTE. Subsequent CARMA 1300 m and SMA 880 m
observations successfully pinpoint the location of Orochi and suggest that it
has two components, one extended (FWHM of 4) and one
compact (unresolved). Z-Spec on CSO has also been used to obtain a wide band
spectrum from 190 to 308 GHz, although no significant emission/absorption lines
are found. The derived upper limit to the line-to-continuum flux ratio is
0.1--0.3 (2 ) across the Z-Spec band.
Based on the analysis of the derived spectral energy distribution from
optical to radio wavelengths of possible counterparts near the SMA/CARMA peak
position, we suggest that Orochi is a lensed, optically dark SMG lying at behind a foreground, optically visible (but red) galaxy at . The deduced apparent (i.e., no correction for magnification) infrared
luminosity () and star formation rate (SFR) are
and 11000 yr, respectively, assuming that the
is dominated by star formation. These values suggest that Orochi
will consume its gas reservoir within a short time scale (
yr), which is indeed comparable to those in extreme starbursts like the centres
of local ULIRGs.Comment: 18 pages, 13 figure
Testing and development of transfer functions for weighing precipitation gauges in WMO-SPICE
Weighing precipitation gauges are used widely for the measurement of all forms of precipitation, and are typically more accurate than tipping-bucket precipitation gauges. This is especially true for the measurement of solid precipitation; however, weighing precipitation gauge measurements must still be adjusted for undercatch in snowy, windy conditions. In WMO-SPICE (World Meteorological Organization Solid Precipitation InterComparison Experiment), different types of weighing precipitation gauges and shields were compared, and adjustments were determined for the undercatch of solid precipitation caused by wind. For the various combinations of gauges and shields, adjustments using both new and previously existing transfer functions were evaluated. For most of the gauge and shield combinations, previously derived transfer functions were found to perform as well as those more recently derived. This indicates that wind shield type (or lack thereof) is more important in determining the magnitude of wind-induced undercatch than the type of weighing precipitation gauge. It also demonstrates the potential for widespread use of the previously developed transfer functions. Another overarching result was that, in general, the more effective shields, which were associated with smaller unadjusted errors, also produced more accurate measurements after adjustment. This indicates that although transfer functions can effectively reduce measurement biases, effective wind shielding is still required for the most accurate measurement of solid precipitation
Independent measurement of the total active B8 solar neutrino flux using an array of He3 proportional counters at the Sudbury Neutrino Observatory
The Sudbury Neutrino Observatory (SNO) used an array of 3He proportional counters to measure the rate of neutral-current interactions in heavy water and precisely determined the total active (νx) 8B solar neutrino flux. This technique is independent of previous methods employed by SNO. The total flux is found to be 5.54-0.31+0.33(stat)-0.34+0.36(syst)×106  cm-2 s-1, in agreement with previous measurements and standard solar models. A global analysis of solar and reactor neutrino results yields Δm2=7.59-0.21+0.19×10-5  eV2 and θ=34.4-1.2+1.3 degrees. The uncertainty on the mixing angle has been reduced from SNO’s previous results
- …