In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the ring of rules can be subject to some probabilistic laws. Considering rewrite rules subject to probabilities leads to numerous questions about the underlying notions and results. We focus here on the problem of termination of a set of probabilistic rewrite rules. A probabilistic rewrite s...

Chung and Erdös (1951) are among the first to prove some form of an almost sure local limit theorem (cf. Csáki et al., 1993). Here we propose a formulation of such statements and discuss related problems. Surely, Frits will enjoy them. c ©2001, June 19.

These are the refrains from the ringside seats of STEP data analysis when it comes to questions like: What caused the apparent increase in susceptibility to infection? What’s the contribution of male circumcision or lack thereof to men’s risk of infection during insertive anal sex? Is the STEP finding related to pre-existing Ad5 immunity, or is it associated with some other factor in people’s i...

The survival protein E (SurE) family was discovered by its correlation to stationary phase survival of Escherichia coli and various repair proteins involved in sustaining this and other stress-response phenotypes. In order to better understand this ancient and well-conserved protein family, we have determined the 2.0A resolution crystal structure of SurEalpha from the hyperthermophilic crenarch...