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.
This library implements the algorithms in our paper for computing robust radii for different smoothing distributions against different adversaries.
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…
