Search Results

19107 search results found

February 23, 2012

Center for Sustainability Science and Strategy

The Future of Ecosystems and Extremes: Using Diverse Environmental Data Sets in Support of Regional to Global Earth-System Models and Predictions

Principal Investigator C Schlosser
February 23, 2012

Center for Sustainability Science and Strategy

Understanding Chemistry, Transport and Fate of Mercury and Persistent Organic Pollutants through Global Atmospheric Modeling

Principal Investigator Noelle Selin
February 18, 2014

MIT Sloan School of Management

Advanced Mixed Integer Programming Formulations

Principal Investigator Juan Pablo Vielma Centeno
February 28, 2012

Secure Cloud Computing Systems
February 28, 2012

Program Verification for Secure Mobile Applications
February 28, 2012

Eliminating Vulnerabilities in Java Applications
February 28, 2012

Eliminating Vulnerabilities in Stripped x86 and x64 Binaries
February 28, 2012

Bedrock: A Coq Library for Verified Low-Level Programming
February 28, 2012

Ur/Web: The Ur Programming Language Family
February 28, 2012

Department of Electrical Engineering and Computer Science

Networks@MIT (NETMIT)

Principal Investigator Dina Katabi