2:12:09
Panel Discussion: The State of Audio Education in the Pacific Northwest
Microsoft Research
52:18
Coalescence in Branching Trees and Branching Random Walks
1:10:37
Improving Access to Clinical Data Locked in Narrative Reports: An Informatics Approach
1:15:09
Interactive and Interpretable Machine Learning Models for Human Machine Collaboration
59:01
Representation Power of Neural Networks
1:31:56
The Linear Algebraic Structure of Word Meanings
1:37:32
Towards Understandable Neural Networks for High Level AI Tasks - Part 6
1:25:19
Green Security Games
1:09:04
e-NABLE: A Global Network of Digital Humanitarians on an Infrastructure of Electronic Communications
1:02:13
Making Small Spaces Feel Large: Practical Illusions in Virtual Reality
59:26
Opportunities and Challenges in Global Network Cameras
50:32
Robust Spectral Inference for Joint Stochastic Matrix Factorization and Topic Modeling
1:01:51
Theory and Experiments on the Spontaneous Evolution of Culture
1:36:22
Towards Understandable Neural Networks for High Level AI Tasks - Part 7
1:26:42
Future Microprocessors Driven by Dataflow Principles
46:13
Coloring the Universe: An Insider's Look at Making Spectacular Images of Space
59:36
Machine Learning as Creative Tool for Designing Real-Time Expressive Interactions
56:45
Unsupervised Latent Faults Detection in Data Centers
52:44
System and Toolchain Support for Reliable Intermittent Computing
1:06:53
Speaker Diarization: Optimal Clustering and Learning Speaker Embeddings
1:14:35
Network Protocols: Myths, Missteps, and Mysteries
1:27:42
Multi-rate neural networks for efficient acoustic modeling
1:21:13
Gates Foundation Presents: Crucial Areas of Fintech Innovation for the Bottom of the Pyramid
52:42
Approximating Integer Programming Problems by Partial Resampling
47:47
A Lasserre-Based (1+epsilon)-Approximation for Makespan Scheduling with Precedence Constraints
1:25:57
Towards Understandable Neural Networks for High Level AI Tasks - Part 4
1:28:01
Towards Understandable Neural Networks for High Level AI Tasks - Part 3
1:08:13
Making Objects Count: A Shape Analysis Framework for Proving Polynomial Time Termination
55:59
Applications of 3-Dimensional Spherical Transforms to Acoustics and Personalization of Head-related
1:20:04
Provable Algorithms for Learning Neural Networks
1:23:09
Mathematica Tech Talk with Wolfram
1:24:50
The Electric Sheep Software Artwork
1:39:52
How To Beat Cancer
1:11:26
Creating Research and Scientific Documents Using Microsoft Word
1:19:00
On The Algorithmic and System Interface of BIG LEARNING
1:14:45
Information-Rich Programming in F# with Semantic Data
1:03:08
Candidate Indistinguishability Obfuscation and Functional Encryption for all circuits
1:28:09
Osv - The OS designed for the Cloud
55:55
Dynamic Searchable Encryption via Blind Storage
54:23
Remote Patient Monitoring: Crafting the Future Landscape of Healthcare
1:13:46
User Interfaces for Spatial Augmented Reality
1:06:11
Correctness Checking Concepts and Tools for HPC: Call for Action
1:31:23
Redesigning Learning: An International Research Story
53:47
Dissipation of Information in Channels with Input Constraints
1:08:18
Cryptography Primer Session 5 Attacks, Vulnerabilities, & Practical Considerations
57:51
Guardian Angel Technologies: Providing Right Information to the Right People
59:18
Roots of random polynomials
1:23:27
Cryptography Primer Session 6: Tools and Applications
1:07:14
Can Cascades be Predicted?
51:33
Mixing Time for Glauber Dynamics on Lozenge Tilings
1:22:14
Designing and Enabling a Symphony of Devices
1:22:58
Probabilistic Topic Models and User Behavior
1:04:11
Toward Robust Hidden Volumes Using Write-Only Oblivious RAM
1:20:09
Towards Practical ORAMs
1:15:36
A high accuracy Bioimpedance Measurement System (BMS) for time resolved measurements
54:24
Fast Conservative Garbage Collection
1:05:53
Automated Debugging as a Constraint Solving Problem
1:00:24
Isomorphism and Program Equivalence
1:02:05
Taming GPU threads with F# and Alea.GPU
1:25:52
Understanding non-convex optimization for sparse coding
1:26:54
Finding Information in Disfluencies
1:00:08
Reverse Traceroute Network Diagnostic Utility
1:10:13
Automating Program Transformations based on Examples of Systematic Edits
56:10
Internet of Things: Support IP Smart Objects over Bluetooth Smart
46:20
A Real-time Augmented Reality Processor and a Smart Glasses System
1:00:44
Fast Interpolating Bounded Model Checking
22:24
Towards a Learning Theory of Causation
56:33
Social Media Predictive Analytics: Methods and Applications
1:05:13
Inverting RANSAC: Global Model Detection via Inlier Rate Estimation
1:21:11
A Scalable Cloud-Sensor Architecture for the Internet of Things
1:14:22
Of Teams and Automation: Lessons in Social Coding from Github
1:02:25
Computational Imaging and Illumination for 3D Acquisition: Research at the NU Comp Photo Lab
53:41
Password Aging Policies and Quantifying Security Advantages
50:23
Ultrasound Doppler Radar
1:15:43
Feedforward Semantic Segmentation with Zoom-out Features
56:03
Interpolating Between Truthful and Non-Truthful Mechanisms for Combinatorial Auctions
1:00:29
To Do or Not To Do: Scheduling to Minimize Energy
1:10:52
Taking Humor Seriously
58:44
Spatial Probability for Sound Source Localization
1:23:35
Descriptive Complexity: Survey and Recent Progress
1:11:51
Random Walk on the Heisenberg group
1:27:12
Learning to Soar: Exploration-Exploitation Algorithms for Autonomous Soaring Flight
1:03:57
Finding What to Read: Visual Text Analytics Tools and Techniques to Guide Investigation
1:05:31
Build It, Break It, Fix It: Contesting Secure Development
47:52
Verifiable Functional Encryption
1:11:44
Indistinguishability Obfuscation for Turing Machines with Unbounded Memory
1:10:15
The Resurgence of Software Performance Engineering
1:13:56
Canine Aging: Can Old Dogs Teach us New Tricks?
59:10
Interactive Design Tools for the Maker Movement
55:12
Intersection of two passions
58:16
Entangling surfaces, tangibles, webs, clouds, and architectural spaces
58:26
Clothing+ (Wearable Sensor Solutions)
1:08:37
Advanced techniques for monetizing Windows Phone apps
56:15
Achieving information-theoretic limits in high-dimensional regression.
1:24:18
An introduction to probabilistic machine learning
1:20:31
Abelard to Apple: The Fate of American Colleges and Universities
1:27:49
C++ AMP: Bringing Massive Parallelism to C++ Developers
2:24:04
GPU Ocelot Tutorial
Numerical programs: from roundoff-error detection to accurate formula synthesis
1:22:16
Process Algebras for Quantum Compilation
47:27
A system for programming and verifying interacting state machines
1:12:27
Analyzing Investments in Innovation: Private and Public Perspectives
58:37
Accelerating Dynamic Software Analyses
57:54
Inference and Learning in Structured-Output Models for Computer Vision
1:01:41
SocialTFS: Augmenting Social Awareness in a Collaborative Development Environment
56:27
Coding for a Network Coded Fountain
1:25:00
Contagion, Affirmation and Lies: The Psychology of Social Media
1:23:49
Managing data in your app
47:13
Optimization Problems in Network Connectivity
1:01:29
Gaussian Processes for Inference with Implicit Likelihoods
1:18:12
Experiences and Progresses on Binary Translation system for Loongson Processor
1:06:48
Robust Shallow Semantic Parsing of Text
1:28:02
The �Moral Imperative� of Treating People with Chronic Pain
53:17
Strongly polynomial algorithm for a class of minimum-cost flow problems
50:49
WebAppBooster: Give Web Apps access to an Android Smartphone
1:02:35
Securing RFID Systems Using Lightweight Stream Cipher
52:32
The 2012 Nobel Prize in Economics
1:08:41
Collaborative Computing and the Physical World
1:11:27
The 29th UW/MS Symposium in Computational Linguistics
54:26
Graph Multi-partitioning and Higher Order Cheeger Inequalities; Anand Louis - Georgia Tech
1:21:22
Program Analysis and Symbol Elimination
1:30:06
Crowdsourcing Change: The Role of Computing in Tackling Major
49:37
Mining Software Repository Made Easy - Boa Language and its Data Store
53:45
Belief Propagation Algorithms for Crowdsourcing
57:36
Connecting Citizens and their Government
1:21:32
Supporting Sensemaking in Science
1:09:55
Modeling Complex Data with Deep Gaussian Processes
53:44
The Social Network model
1:45:50
Vroom, the interesting world of racing game sound design
1:11:33
Mobile Gesture-Based User Interfaces for People with Disabilities
1:07:54
Performance of Serializable Snapshot Isolation on Multicore Servers
Development of Speech Perception and Vocalization of Robots
56:14
MSR Talk Series: Sums of squares � characterization and distribution
55:49
Optimizing Datacenter Operations with Practical Complexity
1:10:57
Verifying Data Parallel Programs Using Sequential Program Verification Technology
1:10:24
Modeling Brain Circuitry over a Wide Range of Scales
1:04:32
When to ask for help: Optimizing projects for crowdsourcing
Riemannian manifolds, kernels and learning
1:09:49
Networking: A killer app for programming languages researchers
1:17:58
Main-Memory Join Algorithms: Sort or Hash?
1:16:58
Unflattening: a dissertation in comics form reimagines inquiry
1:07:59
Dictionary Learning for 3D Scene Representation
1:07:31
Addressing Intractable Optimization and Verification Problems in Access Control
Automatically enhancing locality in irregular applications
1:04:44
The Path to Mobile HD-Audio Communication
1:14:41
Multimedia Communications: What, Where and How?
1:11:12
The Incredible Shrinking Quantum Circuit
1:11:58
Type Inference for Dynamically-Typed Languages
1:00:21
The Emergence of Conventions in Twitter
1:05:54
Zerocoin: Anonymous Distributed E-Cash from Bitcoin
1:29:35
Improving Software Reliability through Decoupled Dynamic Analysis
1:08:20
Sound JavaScript Analysis for Securing Browser Addons
1:00:51
Building Social Life Networks
59:22
How to write your next POPL paper in Dafny
1:28:08
Integrating Algorithmic and Behavioral Approaches to Crowdsourcing
1:06:37
The Structural Theory of Pure Type Systems
1:08:58
Learning Mixtures of Arbitrary Distributions over Large Discrete Domains
1:05:06
Small Image Sensors and Big Visual Data
1:31:12
Patent Law's Perfect Storm
57:18
Why the Doorway is a Data Portal into Multi-Person Homes
51:43
Blur-Kernel Estimation from Spectral Irregularities
59:50
Coordinating Software Development through Predictive Conflict Detection
1:10:58
Decoupling Algorithms from the Organization of Computation for High-Performance Graphics & Imaging
58:21
Evaluating Open Source Software
58:24
Towards a General Automated Debugging Framework
1:03:18
Revealing the Invisible
1:05:35
VINTA: Combining Model Checking and Abstract Interpretation
54:51
Tight Bound for Online Vector Packing
1:22:06
Understanding and Reducing the User Burdens in Applications for Health and Wellbeing
1:19:47
On the difficulty of training recurrent and deep neural networks
1:25:29
Hands and pixels: from the "Minority Report" interface to a full-stack spatial computing platform
51:39
The Wisdom of (Cyborg) Crowds
1:13:21
Democratizing Mobile Computing with MIT App Inventor
1:34:07
Quantum algorithms for Hamiltonian simulation
57:31
Optimal Pairings on Abelian Varieties with Theta Functions
1:02:37
Who is Afraid of Vectors�Optimizing Cryptography Using SSE, AVX, NEON, and Co.
56:26
Creating Comics and Cartoons on Mobile Devices
1:06:34
Using Crowd Agents to Create Deployable Intelligent Systems
48:21
Touch-Enabled Programming for the Lab of Things
1:17:38
A Logical Revolution
1:06:07
Using FPGAs to Simulate Novel Datacenter Network Architecture at Scale
1:10:05
Epidermal Electronics
1:02:34
The Big Picture of Video: Opportunities and Challenges for Automatic Video Analysis at Scale
48:39
Towards a Model-Based Video Coding
1:09:48
Models, Decisions, and Better Cyber-Physical Systems
1:05:04
Efficient Cryptography for the Next Generation Secure Cloud
1:09:03
Daniel�s Adventures in Computer Vision Land
1:17:09
Let's Talk Numbers: A Gallery of Gems from Number Theory
1:07:49
Going Big on Big Data
1:00:04
Online News Sharing and Annotation in the Age of Participatory Media
1:22:59
Base-Delta-Immediate Compression: Practical Data Compression for On-Chip Caches
1:02:24
Microblogging During Small Scale Incidents
53:24
Narrating with Networks: Making Sense of Event Log Data with Socio-Technical Trajectories
1:11:24
Art and Audience Participation: What Can We Expect from the Future?
1:26:31
Parallel Coordinates: Visual Multidimensional Geometry and its Applications
59:53
Multi-Party Computation: From Theory to Practice
45:50
Algorithms and Perception for Interactive Free-Viewpoint Image-Based Navigation
1:08:28
Learning to Construct and Reason with a Large Knowledge Base of Extracted Information
57:49
Realtime Facial Animation
1:44:22
Distributed Optimization via Alternating Direction Method of Multipliers
