301. | Opportunities and Challenges in End-to-End Verification of Software Systems | 0 | |
|
302. | Inference in Online Education | 0 | |
|
303. | XAPfest 2011 Finalists and Awards | 0 | |
|
304. | Building Quantitative Models in Software: Understanding, Predicting, and controlling Quality | 0 | |
|
305. | Precise and Automated Symbolic Analysis of Concurrent Programs | 0 | |
|
306. | Squash Your Security Bugs, Before They Squash You! | 0 | |
|
307. | Toolkit for Construction and Maintenance of Extensible Proof Search Tactics | 0 | |
|
308. | It's Magic | 0 | |
|
309. | Masses' Data: Helping Regular People Communicate on the Web | 0 | |
|
310. | Rock 'n Roll : Earthquake & Disaster Preparedness | 0 | |
|
311. | Invited Demonstrations (Session I; 10 minutes/demonstrator) Phil Bourne | 0 | |
|
312. | 2010 Microsoft Research eScience Workshop - Session TA2 Health & Wellbeing V | 0 | |
|
313. | GeoS Video Tutorial 09 - How to load segment or brushes | 0 | Tutorial |
|
314. | Scarce Attention and the Value of Page Rank in Online Search | 0 | |
|
315. | Automatic program analysis for overlaid data structures | 0 | |
|
316. | User Centric and Infrastructure Aspects of Pervasive Computing | 0 | |
|
317. | LATAM 2011: The Microsoft .NET Gadgeteer Hardware Platform: Advances in Automatic Translation | 0 | |
|
318. | JSBench: Automatically Constructing Realistic JavaScript Benchmarks | 0 | |
|
319. | Project Adam demo from Faculty Summit 2014 | 0 | |
|
320. | Characterizing Large-Scale Click Fraud in ZeroAccess | 0 | |
|
321. | Metastabiity and logarithmic energy barriers for a polymer dynamics | 0 | Vlog |
|
322. | Inferring Information Status for Reference Generation in Open Domains [1/12] | 0 | Guide |
|
323. | Why Don't Software Developers Use their Tools? | 0 | |
|
324. | RARE: Rethinking Architectural Research and Education | 0 | |
|
325. | DataUp: A tutorial for end-users | 0 | |
|
326. | Devices and Networking Summit - Demo 1, Fast Personal Fabrication | 0 | |
|
327. | Social Networks and Success | 0 | |
|
328. | Computing with Selfish Agents [1/2] | 0 | |
|
329. | Interview of Design Expo Students Participants | 0 | |
|
330. | MSR Workshop on Voting Technology - Session 4 | 0 | |
|
331. | 2010 Microsoft Research eScience Workshop - Session TM7 Database Diversity | 0 | |
|
332. | Xim 1.3 Adds Support for Xbox One | 0 | |
|
333. | Systems without Cooperation | 0 | |
|
334. | Quantum Loop Gas Approach to Topological Phases of Correlated Electrons | 0 | Vlog |
|
335. | GNM2012: Harvesting the Wisdom of Crowds | 0 | |
|
336. | Science Commons Symposium - Session 1 | 0 | |
|
337. | 2010 Microsoft Research eScience Workshop - Session TM6 Health & Wellbeing IV | 0 | |
|
338. | Microsoft Research Design Expo 2014 | 0 | |
|
339. | Invited Demonstrations (Session I; 10 minutes/demonstrator) Tim Clark | 0 | |
|
340. | Runtime Refinement Checking for Concurrent Data Structures | 0 | |
|
341. | On Network (Un)Fairness and Reservations in Cloud Data Centers | 0 | |
|
342. | LATAM 2011: Keynote Pesentation - Open Science, Open Data, and Open Source | 0 | |
|
343. | 2010 Microsoft Research eScience Workshop - Session MA6 - Complex Biological Systems in Action | 0 | Vlog |
|
344. | Layout Design for Augmented Reality Applications | 0 | |
|
345. | Turing and Darwin: Saving the environment by combining computation and human insight | 0 | |
|
346. | Feedback-Directed Optimistic Optimizations in Virtual Machines | 0 | |
|
347. | I am a Mobile Device and I can Sense my User's Location [1/2] | 0 | |
|
348. | LATAM 2011: Plenary Session - Computing and the Future | 0 | |
|
349. | Rank Bounds for Design Matrices | 0 | |
|
350. | The Future of Looking Back | 0 | |
|
351. | How To Write a Paper to Optimize its Chances for Publication Success, Part 1 | 0 | Guide |
|
352. | 2010 Microsoft Research eScience Workshop - Welcome and Monday Keynote Presentation | 0 | |
|
353. | Plenary 4 Keynote: Data Challenges and Opportunities in the Next Decade | 0 | |
|
354. | LATAM 2011: High-Fidelity Augmented Reality Interactions | 0 | |
|
355. | The Brand New World of Lying | 0 | |
|
356. | Generalized Algorithm for DLP with Auxiliary Inputs | 0 | Let's Play |
|
357. | Intersection Workshop - Exploring Shape Variations by 3D-Model Decomposition and Recombination | 0 | |
|
358. | eXtreme Research? What might it look like? | 0 | |
|
359. | Research in Focus: Meet Office Mix—Microsoft’s Bet on Blended Learning | 0 | |
|
360. | Research Bits: Rafa Calvo | 0 | |
|
361. | Limiting shapes for a nonabelian sandpile growth model | 0 | |
|
362. | Cloud Enabled Mobile Computing - An Introduction. Lecture 3 Location and Context | 0 | |
|
363. | MSR-INRIA Workshop On Computer Vision and Machine Learning | 0 | |
|
364. | Large-Context Models for Large-Scale Machine Translation | 0 | |
|
365. | Botness 2016: Report Back: Platform vs. Startups, Andy Mauro | 0 | |
|
366. | HIV Research: Seeking Solutions in Africa | 0 | |
|
367. | VENUS-C: eScience in the Cloud | 0 | |
|
368. | Scientific Workflow / WeatheratHome | 0 | |
|
369. | PACNW Workshop - USER CASE-STUDIES Part 1 | 0 | |
|
370. | Multiparty Computation for Dishonest Majority: from Passive to Active Security at Low Cost | 0 | |
|
371. | Putting India at the forefront of IoT Research | 0 | |
|
372. | Bing Mobil | 0 | |
|
373. | Welcome and Keynote: Beyond Software | 0 | |
|
374. | MSRNE 5th Anniversary Symposium - Society, Politics and the Algorithm: Social Science in the Lab | 0 | |
|
375. | From White Board to White Coats | 0 | |
|
376. | Building a global phenology model | 0 | Vlog |
|
377. | Social Computing Symposium 2016: Post Screen Personas and Listening Machines | 0 | |
|
378. | AstroInformatics 2012: Day 1 Session 2 | 0 | |
|
379. | Mileage Data Atttribution | 0 | |
|
380. | Tools for WP8 | 0 | |
|
381. | Tutorial 1: Azure Platform for Cloud Computing - Windows Azure SOI Database and Storage | 0 | |
|
382. | Invited Demonstrations (Session II; 10 minutes/demonstrator) Ashfaq Munshi | 0 | |
|
383. | Oral Session 7 | 0 | |
|
384. | Pizza, Generators, and the Transfer of Funds: Resource Allocation by OccupyNYC via Twitter | 0 | |
|
385. | Inferno Early Demo | 0 | |
|
386. | One Mouse per Child | 0 | |
|
387. | The Value of the Gut Feeling | 0 | |
|
388. | Law and the GeoWeb | 0 | |
|
389. | UW - MSR Machine Learning workshop 2015 - Session 4 | 0 | |
|
390. | Faculty Fellows Inspiring the Next Generation of Computer Scientists | 0 | |
|
391. | Sequence Assembler: Protein Alignments | 0 | |
|
392. | A mobile context monitoring platform for dynamic mobile computing environments | 0 | |
|
393. | Working Playfully to Learn: The Roles of Mediated Environments for Meaning-Making | 0 | |
|
394. | LATAM 2011: Keynote - Addressing Societal Challenges Through Innovation and Partnerships | 0 | |
|
395. | WIPTTE: Sponsor Talks - OneNote: New Developments | 0 | |
|
396. | Reasoning with MAD Distributed Systems - Part 1 A | 0 | |
|
397. | Election TechnologiesΓÇöToday and Tomorrow | 0 | Vlog |
|
398. | Modeling Brain Circuitry over a Wide Range of Scales | 0 | |
|
399. | Measuring and improving the readability of network visualizations | 0 | |
|
400. | A Master Bijection for Planar Maps, and Its Applications | 0 | |
|