Protein structure analysis is one of the most important research issues in the post-genomic era, and faster and more accurate index data structures fo...
We present several new results regarding ?s (n), the maximum length of a Davenport-Schinzel sequence of order s on n distinct symbols. First, we prove...
We study FO(MTC), first-order logic with monadic transitive closure, a logical formalism in between FO and MSO on trees. We characterize the expressiv...
Supervised learning-that is, learning from labeled examples-is an area of Machine Learning that has reached substantial maturity. It has generated gen...
We present new explicit constructions of deterministic randomness extractors, dispersers and related objects. We say that a distribution X on binary s...
