The measurement of short reverberation times poses different problems depending at the same time on difficulties of measurement and the sensitivity of the analysis techniques applicable to short signals. This article presents a toolbox, which allows a reliable estimation of reverberation time for small spaces, in a software environment, and using a lightweight system, designed for in-situ measu...

We present a new one-time signature scheme having short signatures. Our new scheme is also the first one-time signature scheme that supports aggregation, batch verification, and which admits efficient proofs of knowledge. It has a fast signing algorithm, requiring only modular additions, and its verification cost is comparable to ECDSA verification. These properties make our scheme suitable for...

Earlier papers (Allen and Hayes 1985,1986) described a compact axiomatic theory which provided a formal basis for temporal reasoning. This theory makes a sharp distinction between time points and periods of time. We show here, by considering possible models of the theory, that it can be slightly extended to give a better fit to intuition. In particular, the extended theory is preserved under ch...

Previous exclosure studies measuring the top-down control of arthropod abundance and herbivory combined the effects of birds and bats. We experimentally partitioned bird predation from bat predation in a lowland tropical forest in Panama and measured the direct effects (arthropod abundance) and indirect effects (herbivory). The exclusion of birds and bats each directly increased arthropod abund...