We present a location-aware messaging system that lets users read and post notes linked to a particular location. We developed multiple clients (designed to run on desktop compute...
In an important paper, Burer [2] recently showed how to reformulate general mixed-binary quadratic optimization problems (QPs) into copositive programs where a linear functional i...
The purpose of this note is to give upper bounds (assuming P different from NP) on how far the generalizations of Skolem sequences can be taken while still hoping to resolve the ex...
A proposed system for real-time modeling of wildfires is described. The system involves numerical weather and fire prediction, automated data acquisition from Internet sources, and...
Jan Mandel, Mingshi Chen, Leopoldo P. Franca, Crai...
The design of the defenses Internet systems can deploy against attack, especially adaptive and resilient defenses, must start from a realistic model of the threat. This requires an...
David S. H. Rosenthal, Petros Maniatis, Mema Rouss...