ct We introduce a new family of spectral partitioning methods. Edge separators of a graph are produced by iteratively reweighting the edges until the graph disconnects into the pre...
The revolution in life sciences research brought about by the sequencing of the human genome creates new challenges for scientists and new opportunities for computing support orga...
Craig A. Stewart, David Hart, Anurag Shankar, Eric...
The broadening array of technologies available to support the design of classroom activity has the potential to reshape science learning in schools. This paper presents a ubiquito...
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...