The paper presents a new schematization of in nite families of terms called the primal grammars, based on the notion of primitive recursive rewrite systems. This schematization is...
Nowadays it has become increasingly common for family members to be distributed in different time zones. These time differences pose specific challenges for communication within t...
Xiang Cao, Abigail Sellen, A. J. Bernheim Brush, D...
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
The cross-entropy method (CE) developed by R. Rubinstein is an elegant practical principle for simulating rare events. The method approximates the probability of the rare event by...