HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
721.
▲
What really happened on Mars? (1997)
research.microsoft.com
discuss
10 years ago
hamparawa
1 points
722.
▲
The “Hoare Logic” of CSP, and All That ( GO ) [pdf]
research.microsoft.com
discuss
10 years ago
laex
1 points
723.
▲
Surviving an “Eternal September”: How NoSleep Managed a Surge of Newcomers [pdf]
research.microsoft.com
discuss
10 years ago
fitzwatermellow
1 points
724.
▲
Filo: consolidated consensus as a cloud service
research.microsoft.com
discuss
10 years ago
blopeur
1 points
725.
▲
MSR-VTT: A Large Video Description Dataset for Bridging Video and Language
research.microsoft.com
discuss
10 years ago
putdat
1 points
726.
▲
How Much is Your Time Worth?
research.microsoft.com
discuss
16 years ago
prakash
1 points
727.
▲
EntityCube - An entity search and summarization engine
entitycube.research.microsoft.com
discuss
16 years ago
jaydub
1 points
728.
▲
Ironclad Apps: End-To-End Security via Automated Full-System Verification [pdf]
research.microsoft.com
discuss
10 years ago
luu
1 points
729.
▲
Threadscope goes live: Peformance Tuning Parallel Haskell Programs : MSR
research.microsoft.com
discuss
16 years ago
dons
1 points
730.
▲
Project Tuva (Bill Gates's new Project - Feynman lectures)
research.microsoft.com
discuss
16 years ago
malkia
1 points
731.
▲
Research skills
research.microsoft.com
discuss
11 years ago
ingve
1 points
732.
▲
A computer-checked proof of the Four Colour Theorem (2005) [pdf]
research.microsoft.com
discuss
11 years ago
gunao
1 points
733.
▲
LIQUi|: Language-Integrated Quantum Operations
research.microsoft.com
discuss
11 years ago
yread
1 points
734.
▲
Software Defined Batteries [pdf]
research.microsoft.com
discuss
11 years ago
sidereal
1 points
735.
▲
Two Screens Are Better Than One (Microsoft Research, 2003)
research.microsoft.com
discuss
11 years ago
Oatseller
1 points
736.
▲
Botivist: Calling Volunteers to Action Using Online Bots
research.microsoft.com
discuss
11 years ago
Oatseller
1 points
737.
▲
High-Level Specifications: Lessons from Industry (2003) [pdf]
research.microsoft.com
discuss
11 years ago
pron
1 points
738.
▲
Reverse Engineering the Twelve Days of Christmas
research.microsoft.com
discuss
17 years ago
markerdmann
1 points
739.
▲
Naiad
research.microsoft.com
discuss
11 years ago
vilda
1 points