视频
Project Catapult Academic Tutorial: Example Project
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
Hardware & devices
Driving advances in hardware, devices, and cyber-physical systems that expand the possibilities of computing.
视频
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key
We propose a new class of post-quantum digital signature schemes that: (a) derive their security entirely from the security of symmetric-key primitives, believed to be quantum-secure, and (b) have extremely small keypairs, and, (c) are…
活动
Microsoft Research @ HCOMP 2017
We are excited to be a gold sponsor of Human Computation and Crowdsourcing (HCOMP) 2017, the premier venue for disseminating the latest research findings on crowdsourcing and human computation. While artificial intelligence (AI) and human-computer…
活动
Role of Simulation in Computer Vision ICCV 2017
Role of Simulation in Computer Vision – ICCV 2017 Workshop
活动
Microsoft Research @ SPLASH 2017
We are excited to be participating in SPLASH 2017, the ACM SIGPLAN conference that embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and…
视频
Project Catapult Academic Tutorial: Getting Started and Intro to APIs
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
视频
Asynchronous Reactive Models – Event-based Analysis of Networks of Actors
Rebeca is designed for modeling and formal verification of asynchronous and reactive systems in 2001, and is supported by a model-checking tool, Afra. Followed by that, an actor-based family of languages are introduced to enable…
视频
Project Catapult Academic Tutorial
We will be presenting a series of online tutorial sessions to introduce and provide examples of the work that is possible in the Catapult Academic environment.
