Research
Discover an index of datasets, SDKs, APIs and open-source tools developed by Microsoft researchers and shared with the global academic community below. These experimental technologies—available through Azure AI Foundry Labs (opens in new tab)—offer a glimpse into the future of AI innovation.
mai is a free and open-source tool for computer-assisted mathematics (opens in new tab). It includes a comprehensive coverage of the language of mathematics and its ‘standard’ foundations; namely, first-order logic (opens in new tab) and the Zermelo–Fraenkel axioms (opens…
horc is a free and open-source tool for programming with Horn clauses (opens in new tab). Horn clauses are the core of Prolog (opens in new tab) and logic programming (opens in new tab) in general. horc is an extension to Prolog’s interpreter…
Service that synchronizes topics between OneBusAway servers and the Microsoft Embedded Social service.
CryptoNets is a demonstration of the use of Neural-Networks over data encrypted with Homomorphic Encryption. Homomorphic Encryptions allow performing operations such as addition and multiplication over data while it is encrypted.
The Gait and Balance app uses the Kinect for Windows (V2) to measure different metrics related to gait and balance. This can be used, for example, for assessing risk of fall among older adults or…
Caption Crawler is assistive technology that allows screen reader users to automatically replace bad or missing descriptions of images on their favorite websites with image captions from other pages that have similar images. Learn more…
Caption Crawler is assistive technology that allows screen reader users to automatically replace bad or missing descriptions of images on their favorite websites with image captions from other pages that have similar images. Learn more…
Current virtual reality applications do not support people who have low vision, i.e., vision loss that falls short of complete blindness but is not correctable by glasses. We present SeeingVR, a set of 14 tools…
Gaussian Process for Any Neural Architecture: Reference Implementations This repo is a companion to the paper linked below, which shows that the Gaussian process behavior arises in wide, randomly initialized, neural networks regardless of architecture.…