Microsoft Research

Microsoft Research

Views:
48,658,209
Subscribers:
351,000
Videos:
9,418
Duration:
297:18:41:14

Microsoft Research is a YouTube channel which has at least 351 thousand subscribers, with his content totaling at least 48.66 million views views across around 9.42 thousand videos.

Created on ● Channel Link: https://www.youtube.com/channel/UCCb9_Kn8F_Opb3UCGm-lILQ



All Videos by Microsoft Research



PublishedVideo TitleDurationViewsCategoryGame
2016-08-17Mini-course around Event-B and Rodin, lecture 254:221,653
2016-08-17Applications 21:34:523
2016-08-17Coming to Grips with Complexity in Computer-Aided Verification1:04:56308
2016-08-17Mini-course around Event-B and Rodin1:02:146,602
2016-08-17Frenetic: A Network Programming Language1:07:23678
2016-08-17Applications 31:20:4911
2016-08-17Co-opetition in network tasks32:29190
2016-08-17Phase Transitions for Modified Erdos-Renyi Processes49:48227
2016-08-17Applications 11:36:479
2016-08-17PEPSI: Privacy-Enhanced Participatory Sensing Infrastructure31:45149
2016-08-17Windows Azure Tutorial, Part 21:34:49176
2016-08-17Systems 21:30:3782
2016-08-17Systems 11:31:0517
2016-08-17Efficient space-variant deconvolution'52:36208
2016-08-17Education1:35:4137
2016-08-17Systems 456:3035
2016-08-17Introduction to Windows Phone Silverlight Programming1:07:4051
2016-08-17Windows Azure Tutorial, Part 11:33:183,022
2016-08-17More Degrees, More Pixels, More Lumens, More Real- The Evolution of the Modern Planetarium55:3936
2016-08-17Is my model too complex? Evaluating model formulation using model reduction41:1381
2016-08-17Keynote - Making Sense at Scale with Algorithms, Machines, and People1:01:2618
2016-08-17Separating Succinct Non-Interactive Arguments From All Falsifiable Assumptions53:58535
2016-08-17Managing Self-Confidence: Theory and Experimental Evidence1:24:23310
2016-08-17Keynote - The Cloud Will Change Everything1:07:4720
2016-08-17On a conjecture of Brouwer regarding the connectivity of strongly regular graphs48:21401
2016-08-17Efficient Non-Interactive Secure Computation1:15:31366
2016-08-17Tutorial on Domain Adaptation2:22:2912,205Tutorial
2016-08-17Strong LP Formulations and Primal-Dual Approximation Algorithms1:06:321,065Let's Play
2016-08-17Avatar-Facilitated Therapy and Virtual Worlds: Next-Generation Tools for Physical Rehabilitation1:26:32211
2016-08-17Signal Processing in Physical Environments: Crossing the Barrier of Traditional Assumptions57:3177
2016-08-17Towards Intelligent Tutoring with Mathematical Sketching56:1048
2016-08-17Play with Data: Game Visualization and Analytics54:431,164
2016-08-17LATAM 2011: Water from the Mountains, the Fourth Paradigm, and the Color of Snow46:3314
2016-08-17Structured Prediction with Indirect Supervision58:59160
2016-08-17Fences and Stability in Weak Memory Models57:45846
2016-08-17Fast Averaging, and Applications to MapReduce and Consensus on Graphs45:4573
2016-08-17LATAM 2011: Keynote Pesentation - Open Science, Open Data, and Open Source1:08:4615
2016-08-17Law and the GeoWeb3:38:5915
2016-08-17LATAM 2011: Future Trends in Software Engineering55:24316
2016-08-17LATAM 2011: Keynote - Addressing Societal Challenges Through Innovation and Partnerships55:545
2016-08-17LATAM 2011: The Microsoft Biology Foundation1:05:1486
2016-08-17Designing for Remixing: Computer-supported Social Creativity57:3633
2016-08-17LATAM 2011: Cloud Computing for Science in Europe and VENUS-C and Towards Exaflop Supercomputers1:12:3022
2016-08-17LATAM 2011: LACCIR Projects57:3522
2016-08-17LATAM 2011: Audio and Video Research for Kinect48:3042
2016-08-17Analyzing Large-Scale Object-Oriented Software to Find, Remove, and Prevent Runtime Bloat1:10:1056
2016-08-17LATAM 2011: The Microsoft .NET Gadgeteer Hardware Platform: Advances in Automatic Translation57:5034
2016-08-17LATAM 2011: Tools of the Trade: Cluster & Cloud Computing on the Operating System that is not Linux!52:4532
2016-08-17LATAM 2011: Visualizing Scientific Data: Yesterday, Today, and Tomorrow43:4521
2016-08-17Minimal Multithreading - Exploiting Redundancy in Parallel Systems1:17:59109
2016-08-17LATAM 2011: Overview of Recent Projects from Microsoft Research51:117
2016-08-17LATAM 2011: LACCIR & FAPESP Projects1:03:2212
2016-08-17Scalable Management of Enterprise and Data Center Networks1:14:35113
2016-08-17LATAM 2011: Scientific Computing using Windows Azure55:4319
2016-08-17Collaborative Information Seeking: The Art & Science of Making the Whole Greater than the Sum of All55:14398Guide
2016-08-17Human-Computer Persuasive Interaction: Designing the emotional bond with customers55:43552
2016-08-17Photographing events over time56:0521
2016-08-17LATAM 2011: Plenary Session - Computing and the Future53:2212
2016-08-17LATAM 2011: Plenary Session - The Path to Open Science with Illustrations from Computational Biology57:5710
2016-08-17Robust Semi-Supervised Learning1:12:182,934
2016-08-17LATAM 2011: Semantic Computing for eScience45:0829
2016-08-17LATAM 2011: High-Fidelity Augmented Reality Interactions57:5663
2016-08-17LATAM 2011: The Role of Basic Research in Technology58:5520
2016-08-17Learning Efficient Nash Equilibria in Distributed Systems51:32243
2016-08-17Data Triggered Threads -- Eliminating Redundant Computation58:3798
2016-08-17LATAM 2011: Scaling Science in the Cloud: From Satellite to Science Variables with MODISAzure50:218
2016-08-17LATAM 2011: Science, Technology and Innovation Strategies for Promoting Competitiveness44:5310Vlog
2016-08-17Functional connectomics of neural networks1:20:32228
2016-08-17Decision-Theoretic Control for Crowdsourcing1:11:4750
2016-08-17Protecting Circuits from Leakage: The Computationally-Bounded and Noisy Cases58:04125
2016-08-17LATAM 2011: Natural User Interface - A New Frontier for Heman Centric Computing23:4735
2016-08-17Improving server efficiency through exception-less system calls1:04:3185
2016-08-17How to Shop for Free Online: Security Analysis of Cashier-as-a-Service Based Web Stores43:06110
2016-08-17Statistical Dialogue Modelling1:21:452,793Vlog
2016-08-17Network Formation in the Presence of Contagious Risk1:02:0957
2016-08-17All Pairs Shortest Path in Quadratic Time with High Probability1:14:51105
2016-08-17Staged Concurrent Program Analysis1:21:5080
2016-08-17The Network as a Platform1:21:51413
2016-08-17Injective Tensor Norms: Hardness and Reductions1:01:30188
2016-08-17Sensing and Feedback of Everyday Activities to Promote Environmentally Sustainable Behaviors1:11:3420
2016-08-17Structure and Knowledge in Natural Language Processing1:05:14761
2016-08-17Dynamic Social Network Analysis: Model, Algorithm, Theory, & Application CMU Research Speaker Series47:486,191
2016-08-17TUTORIAL: Software Engineering for Mobile Computing2:01:531,312Tutorial
2016-08-17Turing and Darwin: Saving the environment by combining computation and human insight58:5313
2016-08-17Allocating Goods to Maximize Fairness59:2073
2016-08-17WORKSHOP: SAT/SMT Solvers1:50:544,492
2016-08-17Sexy Types ΓÇô Are We Done Yet?1:29:27695
2016-08-17Algorithmic Market Design: Spectrum Sales and BitTorrent Communities1:00:5032
2016-08-17Computing Mistake-Exploiting Strategies in Very Large Zero-Sum Games1:07:43161
2016-08-17Closing Keynote Session on Open Source1:38:32119
2016-08-17TUTORIAL: Microsoft .NET Gadgeteer2:00:43196Tutorial
2016-08-17Verified Computing Tools1:28:1362
2016-08-17Reconfigurable Computing Comes of Age1:32:36247
2016-08-17Verified Software Experiments1:27:4249
2016-08-17Cumulus and BlueSky: Migrating Enterprise Storage to the Cloud1:16:3845
2016-08-17Putting Real Tools in the Hands of Students1:29:3972
2016-08-17PANEL: Technologies for Natural User Interactions1:38:5773Vlog
2016-08-17Can technology and privacy be friends at last?55:3425Vlog
2016-08-17Data-driven Research at Web Scale1:35:5246
2016-08-17Data, Results, Myths and Software: the Road to Empirical Software Engineering1:35:25368