Advanced Search
DSpace@MIT

CSAIL Technical Reports (July 1, 2003 - present)

Research and Teaching Output of the MIT Community

CSAIL Technical Reports (July 1, 2003 - present)

 

The CSAIL Technical Reports series includes:

  • Articles (previous published or unpublished)
  • Ph.D., M.Eng., and S.M. theses
  • Technical Reports or memoranda
  • UROP or AUP report advised by a CSAIL member
For more information, contact publications@csail.mit.edu.

Recent Submissions

  • Yu, Peng (MIT CSAIL, 2016-10-14)
    Over-subscription, that is, being assigned too many tasks or requirements that are too demanding, is commonly encountered in temporal planning problems. As human beings, we often want to do more than we can, ask for things ...
  • Rosen, David M.; Carlone, Luca; Bandeira, Afonso S.; Leonard, John J. (MIT CSAIL, 2017-02-05)
    Many important geometric estimation problems naturally take the form of synchronization over the special Euclidean group: estimate the values of a set of unknown poses given noisy measurements of a subset of their pairwise ...
  • Lane, Spencer Dale (2016-12-14)
    Communication is the key to effective teamwork regardless of whether the team members are humans or machines. Much of the communication that makes human teams so effective is non-verbal; they are able to recognize the ...
  • Khan, M. Taimoor; Serpanos, Dimitrios; Shrobe, Howard (2016-12-15)
    We present a run-time security monitor that detects both known and unknown cyber attacks by checking that the run-time behavior of the application is consistent with the expected behavior modeled by an application ...
  • Chajed, Tej; Gjengset, Jon; Kaashoek, M. Frans; Mickens, James; Morris, Robert; Zeldovich, Nickolai (2016-12-08)
    In principle, the web should provide the perfect stage for user-generated content, allowing users to share their data seamlessly with other users across services and applications. In practice, the web fragments a user's ...
MIT-Mirage