Let L be a countable language. We say that a countable infinite L-structure M admits an invariant measure when there is a probability measure on the space of L-structures with the same underlying setâ€¦ (More)

We report the observation of two-neutrino double-beta decay in (136)Xe with T(1/2) = 2.11 Â± 0.04(stat) Â± 0.21(syst) Ã— 10(21) yr. This second-order process, predicted by the standard model, has beenâ€¦ (More)

We describe a source capable of producing single barium ions through nuclear recoils in radioactive decay. The source is fabricated by electroplating (148)Gd onto a silicon Î±-particle detector andâ€¦ (More)

EXO-200 uses 468 large area avalanche photodiodes (LAAPDs) for detection of scintillation light in an ultra-lowbackground liquid xenon (LXe) detector. We describe initial measurements of dark noise,â€¦ (More)

We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under theâ€¦ (More)

Several Turing-complete probabilistic programming languages such as Church, Venture and Anglican support so-called exchangeable random processes (XRPs) as built-in abstract data types. Instances ofâ€¦ (More)