The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026 but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

CSAIL Digital Archive: Recent submissions

Now showing items 340-342 of 807

    • AvatarSAT: An Auto-tuning Boolean SAT Solver 

      Ganesh, Vijay; Singh, Rishabh; Near, Joseph P.; Rinard, Martin (2009-08-26)
      We present AvatarSAT, a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis. The classifiers use features of both the input and ...

    • Detecting Hazardous Intensive Care Patient Episodes Using Real-time Mortality Models 

      Hug, Caleb (2009-08-26)
      The modern intensive care unit (ICU) has become a complex, expensive, data-intensive environment. Caregivers maintain an overall assessment of their patients based on important observations and trends. If an advanced ...

    • Extending a MOOS-IvP Autonomy System and Users Guide to the IvPBuild Toolbox 

      Benjamin, Michael R.; Newman, Paul M.; Schmidt, Henrik; Leonard, John J. (2009-08-20)
      This document describes how to extend the suite of MOOS applications and IvP Helm behaviors distributed with the MOOS-IvP software bundle from www.moos-ivp.org. It covers (a) a straw-man repository with a place-holder MOOS ...