2016-09-06 | WACE 2005 - Inter-Partition Networking, a Hybrid Network Platform for Collaborative Applications | 22:50 | 83 | |
|
2016-09-06 | The Giant Component | 1:06:33 | 1,389 | |
|
2016-09-06 | Exact 2-CSP Optimization Using Matrix Multiplication | 48:01 | 692 | |
|
2016-09-06 | TechFest - Applications of Automated Reasoning | 29:55 | 1,459 | |
|
2016-09-06 | Automatizability and Learnability | 43:26 | 78 | |
|
2016-09-06 | On the measure of intersecting families, spectral methods | 43:27 | 219 | |
|
2016-09-06 | The Number of Linear Extensions of the Boolean Lattice | 1:11:20 | 350 | |
|
2016-09-06 | Abelian surfaces with a given number of points | 1:05:17 | 153 | |
|
2016-09-06 | Rapt: Attention and the Focused Life | 48:52 | 16,871 | |
|
2016-09-06 | A brief synopsis of recent research at Multimedia Communications and Systems Lab | 1:45:01 | 83 | |
|
2016-09-06 | The End of Alchemy: Empirical Software Security Assurance | 1:09:57 | 76 | |
|
2016-09-06 | Partially Observable Markov Decision Processes for Spoken Dialogue Systems | 1:13:49 | 2,445 | Vlog |
|
2016-09-06 | Technical Presentations | 1:17:17 | 106 | |
|
2016-09-06 | The Posthuman Dada Guide: Tzara and Lenin Play Chess | 50:22 | 530 | |
|
2016-09-06 | Hit the Ground Running: A Manual for New Leaders | 1:10:09 | 134 | |
|
2016-09-06 | Interprocedural Analysis and the Verification of Concurrent Programs | 1:10:46 | 291 | |
|
2016-09-06 | Putting our digital information in its place | 1:21:23 | 31 | Guide |
|
2016-09-06 | Integrating art with information visualization to create interactive tabletop applications | 1:09:22 | 20 | Guide |
|
2016-09-06 | Ecological Intelligence: How Knowing the Hidden Impacts of What We Buy Can Change Everything | 53:28 | 562 | Vlog |
|
2016-09-06 | Organizing Flickr: Object Mining using Particular Object Retrieval | 1:00:40 | 41 | |
|
2016-09-06 | Augmented Social Cogniton [1/12] | 1:04:45 | 20 | |
|
2016-09-06 | Automatically Finding Patches Using Genetic Programming | 1:10:24 | 1,058 | |
|
2016-09-06 | Transforming Software Powerhouse to Knowledge Systems Powerhouse | 1:13:11 | 589 | |
|
2016-09-06 | Your Money or Your Life: Nine Steps to Transforming Your Relationship with Money | 1:11:46 | 142,023 | |
|
2016-09-06 | Scheduling and Synchronization for Multicores | 1:11:26 | 99 | |
|
2016-09-06 | Developing Game-Themed Applications With XNA Game Studio: Session 2 | 1:41:13 | 304 | |
|
2016-09-06 | Making Large Legacy Software Run Twice as Fast on a Quad-Core with Just 1 Month of Programmer Effort | 1:07:58 | 79 | |
|
2016-09-06 | (4,4)-split Jacobians of curves of genus 2 | 57:28 | 299 | |
|
2016-09-06 | Advances in the CM method for elliptic curves | 54:00 | 170 | |
|
2016-09-06 | Normalisation by Evaluation | 49:54 | 357 | |
|
2016-09-06 | Utilising the Ubiquity of the Cell Phone to Record Physiological Activities | 41:17 | 32 | Vlog |
|
2016-09-06 | Distributed Storage Systems Made Easy | 1:10:39 | 4,966 | |
|
2016-09-06 | Software Model Checking for Confidentiality | 1:15:08 | 54 | |
|
2016-09-06 | Out of Our Heads: Why You Are Not Your Brain and Other Lessons from the Biology of Consciousness | 1:05:38 | 804 | |
|
2016-09-06 | Bill Gates, Warren Buffett and Other Great Minds Show how Creative Capitalism Can Save the World | 55:28 | 591 | |
|
2016-09-06 | Bayesian infinite matrix factorization | 48:14 | 810 | |
|
2016-09-06 | Securing the Web Platform | 1:01:26 | 8 | |
|
2016-09-06 | Volumetric Light Transport for Vision and Graphics | 1:12:10 | 346 | |
|
2016-09-06 | Automatic Workload Evaluation (AWE): Predicting Web 2.0 Workload Behavior | 38:43 | 81 | |
|
2016-09-06 | Using Wireless Sensor Data to Enable Intelligent Cooling Control in Data Centers - Case Studies | 55:21 | 95 | |
|
2016-09-06 | Play: How it Shapes the Brain, Opens the Imagination, and Invigorates the Soul | 1:11:12 | 3,759 | |
|
2016-09-06 | Modular verification of concurrent programs with heap | 58:29 | 72 | |
|
2016-09-06 | Designing Robust Enterprise Wireless Networks | 1:15:55 | 402 | |
|
2016-09-06 | Enabling Easily Learnable Eyes-free Interaction by Exploiting Human Experience | 51:06 | 32 | |
|
2016-09-06 | A Dirty-Slate Approach to Routing Scalability | 1:16:11 | 97 | |
|
2016-09-06 | Towards Contextual Text Mining | 1:13:06 | 208 | |
|
2016-09-06 | Managing Large-scale Probabilistic Databases | 1:06:51 | 231 | |
|
2016-09-06 | Genus-2 curves with a given number of points | 1:02:25 | 431 | |
|
2016-09-06 | Building a Safer Web | 1:13:43 | 42 | |
|
2016-09-06 | Network Coded Wireless Architecture | 51:48 | 52 | |
|
2016-09-06 | Virtex-6 and Spartan-6 Overview | 1:08:49 | 284 | |
|
2016-09-06 | Mobile Personal Sensing Systems: Applications and Architecture | 1:17:32 | 39 | |
|
2016-09-06 | Making ISP (Dynamic Verification for MPI) Practical | 51:17 | 98 | |
|
2016-09-06 | Enlightened Trial and Error - Gaining Design Insight Through New Prototyping Tools | 1:03:43 | 80 | |
|
2016-09-06 | Behind the Code with Eric Horvitz | 1:00:18 | 197 | |
|
2016-09-06 | Seeding Bugs to Find Bugs - Mutation Testing Revisited | 1:09:32 | 121 | |
|
2016-09-06 | Relevance Heuristics for Program Analysis | 1:23:19 | 83 | |
|
2016-09-06 | Programming for Everyone: How Scratch is Making Programming More Accessible, Meaningful, and Social | 1:26:04 | 113 | | Scratches
|
2016-09-06 | Solving the parallel programming problem: patterns, programmability and choice | 1:19:09 | 178 | |
|
2016-09-06 | Outliers: Why Some People Succeed and Some Don't | 1:16:05 | 2,969,692 | |
|
2016-09-06 | The Sample Compression Framework in Machine Learning | 52:05 | 81 | |
|
2016-09-06 | PlanAhead Design and Analysis | 56:10 | 382 | |
|
2016-09-06 | Capo: An Operating System Interface for Practical Deterministic Multiprocessor Replay | 54:19 | 57 | |
|
2016-09-06 | Making it All Work: Winning at the Game of Work and the Business of Life | 1:14:56 | 15,948 | |
|
2016-09-06 | Daemon | 47:37 | 35 | |
|
2016-09-06 | Extracting and Managing Structured Web Data | 1:07:25 | 7,784 | |
|
2016-09-06 | Emergency Informatics and the Survivor Buddy Project | 51:05 | 107 | | The Survivors
|
2016-09-06 | Developing Game-Themed Applications With XNA Game Studio: Session 1 | 1:45:43 | 2,043 | |
|
2016-09-06 | Towards Reliable Storage Systems | 1:14:08 | 52 | |
|
2016-09-06 | Large Scale Scene Matching for Graphics and Vision | 1:05:32 | 88 | |
|
2016-09-06 | Cooperative Content Distribution and Traffic Engineering in an ISP Network | 1:16:03 | 166 | |
|
2016-09-06 | Constraint-Based Analysis in the Presence of Uncertainty and Imprecision | 1:08:52 | 149 | |
|
2016-09-06 | The Invention of Air: A Story of Science, Faith, Revolution and the Birth of America | 58:43 | 326 | |
|
2016-09-06 | Candidate Talk | 1:13:53 | 10 | |
|
2016-09-06 | Efficient Data-Parallel Computing on Small Heterogeneous Clusters | 47:22 | 331 | |
|
2016-09-06 | Towards more Practical Secure Computation: Efficient Protocols for Secure Linear Algebra [1/2] | 41:29 | 60 | |
|
2016-09-06 | Faster Symmetry Discovery using Sparsity of Symmetries | 1:06:55 | 94 | |
|
2016-09-06 | A filesystem for next-generation flash disks | 1:17:50 | 156 | |
|
2016-09-06 | The Sage Mathematical Software Project [1/5] | 1:08:00 | 4,314 | |
|
2016-09-06 | Remix: Making Art and Commerce Thrive in the Hybrid Economy | 1:02:55 | 244 | |
|
2016-09-06 | From Disasters to WoW: Enabling Knowledge Networks in the 21st century | 1:28:00 | 14 | |
|
2016-09-06 | Panta Rhei: Database Evolution | 1:10:42 | 148 | |
|
2016-09-06 | From Company Man, Family Dinners & Affluence to Home Office, Blackberry Moms and Economic Anxiety | 1:09:06 | 26 | |
|
2016-09-06 | Iterative Methods in Combinatorial Optimization | 1:05:33 | 953 | |
|
2016-09-06 | Inventing the Future: Humanity's Future in Space | 1:05:51 | 9 | |
|
2016-09-06 | Mixing in Time and Space | 1:00:21 | 37 | |
|
2016-09-06 | Abstraction-Guided Hybrid Symbolic Execution for Testing Concurrent Systems | 1:04:41 | 77 | Guide |
|
2016-09-06 | The Church-Turing Thesis: Story and Recent Progress | 1:20:48 | 6,636 | |
|
2016-09-06 | Investigating the Fundamental Network Burden of Distributed Cooperation | 1:07:04 | 8 | |
|
2016-09-06 | Techniques for combinatorial optimization: Spectral Graph Theory and Semidefinite Programming | 52:01 | 2,211 | |
|
2016-09-06 | Visual Search for an Object in a 3D Environment using a Mobile Robot | 1:04:20 | 165 | |
|
2016-09-06 | Deterministic Parallel Java: Towards Deterministic-by-default Parallel Programming | 1:18:40 | 139 | |
|
2016-09-06 | A Calculus of Atomic Actions | 1:11:06 | 169 | |
|
2016-09-06 | The Edge of Medicine: The Technology that will Change Our Lives | 1:21:24 | 98 | Vlog |
|
2016-09-06 | Approximating the optimum: Efficient algorithms and their limits | 48:37 | 130 | |
|
2016-09-06 | Modeling and Enacting Electronic Contracts | 1:01:13 | 202 | |
|
2016-09-06 | eScience: Closing Keynote - eScience and the Fourth Paradigm: Supporting Data-centric Science | 52:15 | 20 | |
|
2016-09-06 | eScience: Plenary, Keynote - Digital Repositories, Archives and Infrastructures | 1:02:04 | 9 | |
|
2016-09-06 | eScience: Closing Keynote - Distributed and Parallel Programming Environments and their Performance | 39:34 | 5 | |
|
2016-09-06 | eScience: Birds of a Feather Session - eScience Inspired Education | 1:54:55 | 24 | |
|