Search: research.microsoft.com | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

What really happened on Mars? (1997) (research.microsoft.com)

1 point

10 years ago

722.

The “Hoare Logic” of CSP, and All That ( GO ) [pdf] (research.microsoft.com)

1 point

10 years ago

723.

Surviving an “Eternal September”: How NoSleep Managed a Surge of Newcomers [pdf] (research.microsoft.com)

1 point

fitzwatermellow

10 years ago

724.

Filo: consolidated consensus as a cloud service (research.microsoft.com)

1 point

10 years ago

725.

MSR-VTT: A Large Video Description Dataset for Bridging Video and Language (research.microsoft.com)

1 point

10 years ago

726.

How Much is Your Time Worth? (research.microsoft.com)

1 point

16 years ago

727.

EntityCube - An entity search and summarization engine (entitycube.research.microsoft.com)

1 point

16 years ago

728.

Ironclad Apps: End-To-End Security via Automated Full-System Verification [pdf] (research.microsoft.com)

1 point

10 years ago

729.

Threadscope goes live: Peformance Tuning Parallel Haskell Programs : MSR (research.microsoft.com)

1 point

16 years ago

730.

Project Tuva (Bill Gates's new Project - Feynman lectures) (research.microsoft.com)

1 point

16 years ago

731.

Research skills (research.microsoft.com)

1 point

11 years ago

732.

A computer-checked proof of the Four Colour Theorem (2005) [pdf] (research.microsoft.com)

1 point

11 years ago

733.

LIQUi|: Language-Integrated Quantum Operations (research.microsoft.com)

1 point

11 years ago

734.

Software Defined Batteries [pdf] (research.microsoft.com)

1 point

11 years ago

735.

Two Screens Are Better Than One (Microsoft Research, 2003) (research.microsoft.com)

1 point

11 years ago

736.

Botivist: Calling Volunteers to Action Using Online Bots (research.microsoft.com)

1 point

11 years ago

737.

High-Level Specifications: Lessons from Industry (2003) [pdf] (research.microsoft.com)

1 point

11 years ago

738.

Reverse Engineering the Twelve Days of Christmas (research.microsoft.com)

1 point

16 years ago

739.

Naiad (research.microsoft.com)

1 point

11 years ago