Microsoft Research Lab – India
项目
成立:
Our goal is to enable data-driven farming. We believe that data, coupled with the farmer’s knowledge and intuition about his or her farm, can help increase farm productivity, and also help reduce costs. However, getting data from the farm is…
成立:
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. We are designing programming languages for building safe and reliable asynchronous systems. These languages are based on the programming idiom of asynchronous communicating state…
成立:
We explore theoretical properties of simple non-convex optimization methods for problems that feature prominently in several important areas such as recommendation systems, compressive sensing, computer vision etc.
成立:
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. Dhwani enables information theoretically secure Near Field Communication (NFC) on existing mobile phones without requiring any special hardware or PKI infrastructure. It uses…
成立:
Corral is a whole-program analysis tool for Boogie programs. Corral uses goal-directed symbolic search techniques to find assertion violations. It leverages the powerful theorem prover Z3. It is available open source on GitHub. Corral, by default, does a bounded search up to a recursion depth…
成立:
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. The goal of the Physical Analytics project, or Phytics, is to perform analytics on the physical actions of users. Such analytics would be…
成立:
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. “I think it’s extraordinarily important that we in computer science keep fun in computing.” Alan J. Perlis – ACM Turing Award Winner 1966.…
成立:
成立:
The Microsoft Rich Interactive Narratives (RIN) research project combined traditional forms of storytelling with new visualization technologies to create compelling interactive digital narratives.