2,619 research outputs found
Introducing a Calculus of Effects and Handlers for Natural Language Semantics
In compositional model-theoretic semantics, researchers assemble
truth-conditions or other kinds of denotations using the lambda calculus. It
was previously observed that the lambda terms and/or the denotations studied
tend to follow the same pattern: they are instances of a monad. In this paper,
we present an extension of the simply-typed lambda calculus that exploits this
uniformity using the recently discovered technique of effect handlers. We prove
that our calculus exhibits some of the key formal properties of the lambda
calculus and we use it to construct a modular semantics for a small fragment
that involves multiple distinct semantic phenomena
A Timed IO monad
Programming with explicit timing information is often tedious and error prone. This is especially visible in music programming where, when played, the specified durations of notes and rests must be shortened in order to compensate the actual duration of all surrounding processing. In this paper, we develop the notion of timed extension of a monad that aims at relieving programmers from such a burden. We show how, under simple conditions, such extensions can be built, and how useful features of monad programming such as asynchronous concurrency with promises or data-flow programming with monadic streams can be uniformly lifted to the resulting timed programming framework. Even though presented and developed in the abstract, the notion of timed extension of a monad is nevertheless illustrated by two concrete instances: a default timed IO monad where programmers specify durations in mi-croseconds, and a musically timed IO monad, where programmers specify durations in number of beats, the underlying tempo, that is, the speed of the music in beats per minute, possibly changed whenever needed
Towards Physical Hybrid Systems
Some hybrid systems models are unsafe for mathematically correct but
physically unrealistic reasons. For example, mathematical models can classify a
system as being unsafe on a set that is too small to have physical importance.
In particular, differences in measure zero sets in models of cyber-physical
systems (CPS) have significant mathematical impact on the mathematical safety
of these models even though differences on measure zero sets have no tangible
physical effect in a real system. We develop the concept of "physical hybrid
systems" (PHS) to help reunite mathematical models with physical reality. We
modify a hybrid systems logic (differential temporal dynamic logic) by adding a
first-class operator to elide distinctions on measure zero sets of time within
CPS models. This approach facilitates modeling since it admits the verification
of a wider class of models, including some physically realistic models that
would otherwise be classified as mathematically unsafe. We also develop a proof
calculus to help with the verification of PHS.Comment: CADE 201
The constrained-monad problem
In Haskell, there are many data types that would form monads were it not for the presence of type-class constraints on the operations onthat data type. This is a frustrating problem in practice, because there is a considerable amount of support and infrastructure for monads that these data types cannot use. Using several examples,we show that a monadic computation can be restructured into a normal form such that the standard monad class can be used. The technique is not specific to monads, and we show how it can also be applied to other structures, such as applicative functors. One significant use case for this technique is domain-specific languages,where it is often desirable to compile a deep embedding of a computation to some other language, which requires restricting the types that can appear in that computation
Charged-Particle Multiplicity in Proton-Proton Collisions
This article summarizes and critically reviews measurements of
charged-particle multiplicity distributions and pseudorapidity densities in
p+p(pbar) collisions between sqrt(s) = 23.6 GeV and sqrt(s) = 1.8 TeV. Related
theoretical concepts are briefly introduced. Moments of multiplicity
distributions are presented as a function of sqrt(s). Feynman scaling, KNO
scaling, as well as the description of multiplicity distributions with a single
negative binomial distribution and with combinations of two or more negative
binomial distributions are discussed. Moreover, similarities between the energy
dependence of charged-particle multiplicities in p+p(pbar) and e+e- collisions
are studied. Finally, various predictions for pseudorapidity densities, average
multiplicities in full phase space, and multiplicity distributions of charged
particles in p+p(pbar) collisions at the LHC energies of sqrt(s) = 7 TeV, 10
TeV, and 14 TeV are summarized and compared.Comment: Invited review for Journal of Physics G -- version 2: version after
referee's comment
The remote monad design pattern
Remote Procedure Calls are expensive. This paper demonstrates how to reduce the cost of calling remote procedures from Haskell by using the remote monad design pattern, which amortizes the cost of remote calls. This gives the Haskell community access to remote capabilities that are not directly supported, at a surprisingly
inexpensive cost.
We explore the remote monad design pattern through six models of remote execution patterns, using a simulated Internet of Things toaster as a running example. We consider the expressiveness and optimizations enabled by each remote execution model, and assess the feasibility of our approach. We then present a full-scale case
study: a Haskell library that provides a Foreign Function Interface to the JavaScript Canvas API. Finally, we discuss existing instances of the remote monad design pattern found in Haskell libraries
CUORE and beyond: bolometric techniques to explore inverted neutrino mass hierarchy
The CUORE (Cryogenic Underground Observatory for Rare Events) experiment will
search for neutrinoless double beta decay of Te. With 741 kg of TeO
crystals and an excellent energy resolution of 5 keV (0.2%) at the region of
interest, CUORE will be one of the most competitive neutrinoless double beta
decay experiments on the horizon. With five years of live time, CUORE projected
neutrinoless double beta decay half-life sensitivity is y
at ( y at the 90% confidence level), which
corresponds to an upper limit on the effective Majorana mass in the range
40--100 meV (50--130 meV). Further background rejection with auxiliary light
detector can significantly improve the search sensitivity and competitiveness
of bolometric detectors to fully explore the inverted neutrino mass hierarchy
with Te and possibly other double beta decay candidate nuclei.Comment: Submitted to the Proceedings of TAUP 2013 Conferenc
Exploring the Neutrinoless Double Beta Decay in the Inverted Neutrino Hierarchy with Bolometric Detectors
Neutrinoless double beta decay (0nubb) is one of the most sensitive probes
for physics beyond the Standard Model, providing unique information on the
nature of neutrinos. In this paper we review the status and outlook for
bolometric 0nubb decay searches. We summarize recent advances in background
suppression demonstrated using bolometers with simultaneous readout of heat and
light signals. We simulate several configurations of a future CUORE-like
bolometer array which would utilize these improvements and present the
sensitivity reach of a hypothetical next-generation bolometric 0nubb
experiment. We demonstrate that a bolometric experiment with the isotope mass
of about 1 ton is capable of reaching the sensitivity to the effective Majorana
neutrino mass (|mee|) of order 10-20 meV, thus completely exploring the
so-called inverted neutrino mass hierarchy region. We highlight the main
challenges and identify priorities for an R&D program addressing them.Comment: 22 pages, 15 figures, submitted to EPJ
Validation of techniques to mitigate copper surface contamination in CUORE
In this article we describe the background challenges for the CUORE
experiment posed by surface contamination of inert detector materials such as
copper, and present three techniques explored to mitigate these backgrounds.
Using data from a dedicated test apparatus constructed to validate and compare
these techniques we demonstrate that copper surface contamination levels better
than 10E-07 - 10E-08 Bq/cm2 are achieved for 238U and 232Th. If these levels
are reproduced in the final CUORE apparatus the projected 90% C.L. upper limit
on the number of background counts in the region of interest is 0.02-0.03
counts/keV/kg/y depending on the adopted mitigation technique.Comment: 10 pages, 6 figures, 6 table
Search for 14.4 keV solar axions from M1 transition of Fe-57 with CUORE crystals
We report the results of a search for axions from the 14.4 keV M1 transition
from Fe-57 in the core of the sun using the axio-electric effect in TeO2
bolometers. The detectors are 5x5x5 cm3 crystals operated at about 10 mK in a
facility used to test bolometers for the CUORE experiment at the Laboratori
Nazionali del Gran Sasso in Italy. An analysis of 43.65 kg d of data was made
using a newly developed low energy trigger which was optimized to reduce the
detectors energy threshold. An upper limit of 0.63 c kg-1 d-1 was established
at 95% C.L.. From this value, a lower bound at 95% C.L. was placed on the
Peccei-Quinn energy scale of fa >= 0.76 10**6 GeV for a value of S=0.55 for the
flavor-singlet axial vector matrix element. Bounds are given for the interval
0.15 < S < 0.55.Comment: 14 pages, 6 figures, submitted to JCA
- …