47:58
Interactive Biotechnology: Cloud Labs, Biotic Games, DIY kits, and more
Microsoft Research
32:04
Artificial Intelligence to Ease Parents' Pain in Summer Camp Planning
1:01:54
Data Predictive Control: Bridging Machine Learning and Controls for Volatile Energy Markets
1:12:11
Rethinking Distributed Systems for the Datacenter
1:07:31
Homomorphic Encryption for Arithmetic of Approximate Numbers
53:49
Reconfigurable Acceleration of Genomic Data Processing
1:15:47
Accelerating Stochastic Gradient Descent
1:10:46
Gaussian Sampling over the Integers: Efficient, Generic, Constant-Time
1:03:44
Post-quantum cryptography from supersingular isogeny problems?
1:06:24
Understanding the Rapidly Developing Field of Mobile Mental Health
1:12:23
Cloudberry for Interactive Big Queries and TextDB for Cloud-Based Text Analytics
1:01:52
Foundations for Natural Proofs and Quantifier Instantiation
52:59
Digital Mental Health for Depression and Anxiety
59:04
Intent and Emotions in Image Search and Viewing
49:07
Two-round Secure Multiparty Computations from Minimal Assumptions
1:03:12
Vega-Lite: A Grammar of Interactive Graphics
1:02:14
The Tensor Algebra Compiler
1:15:07
Hitting the Nail on the Head: Interdisciplinary Research in Computer Networking
47:32
The Four Big Bets (Illustrated via a Journey in Program Synthesis)
1:02:26
Further Adventures in Evidence-Based Security
1:09:17
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
1:28:59
The Gift of Failure: Fostering Intrinsic Motivation and Resilience in Kids
1:08:58
Connected Self-Ownership and Implications for Online Networks and Privacy Rights
54:49
Towards Autonomous AI-based Measurement Systems
55:56
Ethics and Diversity in AI
43:09
Non-Convex Matrix Completion Against a Semi-Random Adversary
1:22:49
Anthropomorphising AI Is an Impediment to a Stable Society
53:54
Network Topologies for Large-scale Datacenters: It's the Diameter, Stupid!
1:03:36
Manifold Learning Yields Insight into Complex Biological State Space
58:39
Multiparty Computation Research
1:26:59
Reinforcement Learning: Bringing Together Computation, Behavior and Neural Coding
1:03:20
Social and Emotional Artificial Intelligence
1:03:07
Capitalism and Entrepreneurship in Socialist China
1:01:27
Higher Fidelity Systems for Online Discussion
33:12
Argosy: Verifying Layered Storage Systems With Recovery Refinement
1:14:48
The Future of Mathematics?
1:03:50
A Calculus for Brain Computation
1:04:17
Improving Doctor-Patient Interaction with ML-Enabled Clinical Note Taking
1:00:28
A Machine Learning Perspective on Managing Noisy Structured Data
58:14
Designing Restorative Approaches to Moderating Adversarial Online Interactions
1:14:42
Precision Health Engineering - Designing Health-Centered Mundane Technology to Increase Adherence
1:03:42
Can Machines Perceive Emotion?
1:04:01
Safe Real-World Autonomy in Uncertain and Unstructured Environments
57:55
SIKE Channels – zero value side-channel attacks on SIKE
