Abstract Datatypes for Real Numbers in Type Theory

Abstract. We propose an abstract datatype for a closed interval of real numbers to type theory, providing a representation-independent approach to programming with real numbers. The abstract datatype requires only function types and a natural numbers type for its formulation, and so can be added to any type theory that extends Gödel’s System datatype is equivalent in power to programming intensionally with representations of real numbers. We also consider representing arbitrary real numbers using a mantissa-exponent representation in which the mantissa is taken from the abstract interval.

Assessment of groundwater discharges into West Neck Bay, New York, via natural tracers

Author Posting. © Elsevier B.V., 2006. This is the author's version of the work. It is posted here by permission of Elsevier B.V. for personal use, not for redistribution. The definitive version was published in Continental Shelf Research 29 (2006): 1971-1983, doi:10.1016/j.csr.2006.07.011.A field experiment to compare methods of assessing submarine groundwater discharge (SGD) was held on Shelter Island, NY, in May 2002. We evaluated the use of radon, radium isotopes, and methane to assess SGD rates and dynamics from a glacial aquifer in the coastal zone. Fluxes of radon across the sediment-water interface were calculated from changes in measured surface water inventories following evaluation and correction for tidal effects, atmospheric evasion, and mixing with offshore waters. These fluxes were then converted to SGD rates using the measured radon concentration in the groundwater. We used the short-lived radium isotopes to calculate a horizontal mixing coefficient to assess radon loss by mixing between nearshore and offshore waters. We also made an independent calculation of SGD using the Ra-derived mixing coefficient and the long-lived 226Ra concentration gradient in the bay. Seepage rates were calculated to range between 0 and 34 cm.day-1 using the radon measurements and 15 cm.day-1 as indicated by the radium isotopes. The radiotracer results were consistent and comparable to SGD rates measured directly with vented benthic chambers (seepage meters) deployed during this experiment. These meters indicated rates between 2 and 200 cm.day-1 depending on their location. Both the calculated radon fluxes and rates measured directly by the automated seepage meters revealed a clear reproducible pattern of higher fluxes during low tides. Considering that the two techniques are completely independent, the agreement in the SGD dynamics is significant. Methane concentration in groundwater was very low (~30 nM) and not suitable as SGD tracer at this study site.The SGD intercomparison experiment was partially funded by SCOR, LOICZ, and UNESCO (IOC and IHP). W. C. Burnett acknowledges support from CICEET (Grant# 1368-810-41) and ONR (Grant# 1368-769-27). J. P. Chanton acknowledges support from Seagrant (R\C-E-44). The WHOI researchers acknowledge funding from CICEET (#NA07OR0351, NA17OZ2507)

A review of applications of the Bayes factor in psychological research

The last 25 years have shown a steady increase in attention for the Bayes factor as a tool for hypothesis evaluation and model selection. The present review highlights the potential of the Bayes factor in psychological research. We discuss six types of applications: Bayesian evaluation of point null, interval, and informative hypotheses, Bayesian evidence synthesis, Bayesian variable selection and model averaging, and Bayesian evaluation of cognitive models. We elaborate what each application entails, give illustrative examples, and provide an overview of key references and software with links to other applications. The paper is concluded with a discussion of the opportunities and pitfalls of Bayes factor applications and a sketch of corresponding future research lines

Search for pair production of the scalar top quark in muon+tau final states

We present a search for the pair production of scalar top quarks ($\tilde{t}_{1}$), the lightest supersymmetric partners of the top quarks, in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV, using data corresponding to an integrated luminosity of {7.3 $fb^{-1}$} collected with the \dzero experiment at the Fermilab Tevatron Collider. Each scalar top quark is assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino ($\tilde{\nu}$). We investigate final states arising from $\tilde{t}_{1} \bar{\tilde{t}_{1}} \rightarrow b\bar{b}\mu\tau \tilde{\nu} \tilde{\nu}$ and $\tilde{t}_{1} \bar{\tilde{t}_{1}} \rightarrow b\bar{b}\tau\tau \tilde{\nu} \tilde{\nu}$. With no significant excess of events observed above the background expected from the standard model, we set exclusion limits on this production process in the ($m_{\tilde{t}_{1}}$,$m_{\tilde{\nu}}$) plane.Comment: Submitted to Phys. Lett.

Dataflow Analysis for Datarace-Free Programs

Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly. Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio