22.06.16 1:02:49 What are the prospects for automatic theorem proving?
For several decades people have tried to write computer programs that can find proofs of mathematical statements.
119
22.06.16 3:32 Planetary Predictions: Spring 2014
Showcasing some of the predictions of ecological and environmental phenomena made by the Computational Ecology and Environmental Science group.
116
22.06.16 4:05 RoomAlive: Magical Experiences Enabled by Scalable, Adaptive Projector-Camera Units
RoomAlive is a proof-of-concept prototype that transforms any room into an immersive, augmented entertainment experience.
1 576
30.6
22.06.16 4:27 Sample-Oriented Task-Driven Visualizations: Allowing Users to Make Better, More Confident Decisions
We often use datasets that reflect samples, but many visualization tools treat data as full populations.
3 670
36.7
22.06.16 1:10:37 Improving Access to Clinical Data Locked in Narrative Reports: An Informatics Approach
What symptoms are associated with the patient's genotype? Did patients treated with medication fare better than patients treated surgically?
72
22.06.16 2:19 Demo of an 802.11a/g sniffer implemented in Ziria
This demo shows an 802.11a/g sniffer implemented in Ziria. We have implemented a standard-compliant 802.11a/g transceiver in Ziria and we have deployed it to eavesdrop 802.11a/g packets in channel 1.
534
88.7
22.06.16 4:22 (s|qu)eries: Visual Regular Expressions for Querying and Exploring Event Sequences
(s j qu)eries is a visual query interface for creating queries on sequences (series) of data, based on regular expressions.
184
22.06.16 3:18 Irides: Attaining Quality, Responsiveness and Mobility for Virtual Reality Head-mounted Displays
In this video, we present Irides, a stereo HMD system that simultaneously attains quality, responsiveness and mobility.
398
26.2
22.06.16 3:05 Juggling the Effects of Latency: Motion Prediction Approaches to Reducing Latency in Dynamic Project
Jarrod Knibbe, Hrvoje Benko, Andrew D.
392
64.8
22.06.16 2:36 Exploring Interactive Furniture with EmotoCouch
People respond emotionally to other people, animals, or even objects like furniture.
644
30.2
22.06.16 5:01 Outatime: Using Speculation to Enable Low-Latency Continuous Interaction for Mobile Cloud Gaming
Gaming on phones, tablets and laptops is very popular.
419
17.1
22.06.16 43:05 Advances in Quantum Algorithms and Devices: A Quantum Approximate Optimization Algorithm
Advances in Quantum Algorithms and Devices: A Quantum Approximate Optimization Algorithm
1 482
16.1
22.06.16 18:46 Social Computing Symposium 2016: Post Screen Personas and Listening Machines, Tim Hwang
Social Computing Symposium 2016: Post Screen Personas and Listening Machines, Tim Hwang
12
22.06.16 30:59 Symposium: Algorithms Among Us - Panel "Near-term issues"
Panel discussion: “Near-term issues” Panel: Tom Dietterich, Ian Kerr, Erik Brynjolfsson, Finale Doshi-Velez, Neil Lawrence, Cynthia Dwork. Moderated by Mike Osborne.
89
22.06.16 2:21:29 Design Expo 2015
In 2014, the World Health Organization radically revised their definition of disability. The crux of this change was to define disability as context dependent rather than as an attribute of a person.
142
22.06.16 58:41 Automated SMT-based Verification for Reasoning about Approximations
Approximate computing is an emerging area for trading off the accuracy of an application for improved performance, lower energy costs, and tolerance to unreliable hardware.
123
22.06.16 53:51 Exploiting Energy-Aware Programming to Build Energy-Efficient System Software
Optimization of application and system software for energy efficiency is of ecological, economical, and technical importance—and still challenging.
468
19.1
22.06.16 38:19 NSF Interdisciplinary Workshop on Statistical NLP and Software Engineering - Session 6
4:15pm - 5:00pm Ontologies and Understanding of Software Semantics Jane Cleland-Huang: Leveraging Software Project Knowledge to Build Ontology (Chairs: Dana Movshovitz-Attias, Tao Xie)
91
22.06.16 37:40 Advances in Quantum Algorithms & Devices: Exact synthesis for qubit unitaries
The Solovay-Kitaev Theorem shows that any finite subset of SU(2) generating a dense subgroup can be used to epsilon-approximate an arbitrary qubit unitary using a quantum circuit of length
666
13.5
22.06.16 1:28:01 Towards Understandable Neural Networks for High Level AI Tasks - Part 3
Towards understandable neural networks for high level AI tasks - Part III Overview of talk series: Current AI software relies increasingly on neural networks (NNs).
77
22.06.16 41:00 IMS-Microsoft Research Workshop: Foundations of Data Science - Opening Remarks and Morning Session I
Axel Munk Institute for Mathematical Stochastics, Georg August University Goettingen Session Chair Intro: Imaging in Sciences: The Big Data Challenge Timo Aspelmeier Goettingen University and Max
169
22.06.16 44:55 Peter Lee Address to Summer School 2014 Attendees
Software defined radios are a powerful tool for experimenting with wireless PHY and MAC layers.
52
22.06.16 52:42 Approximating Integer Programming Problems by Partial Resampling
A common technique for solving integer programming problems is to first relax the problem to a linear program, in which the assignments may be fractional.
716
59.3
22.06.16 36:32 IMS-Microsoft Research Workshop: Foundations of Data Science - Opening Remarks and Morning Session I
Axel Munk Institute for Mathematical Stochastics, Georg August University Goettingen Session Chair Intro: Imaging in Sciences: The Big Data Challenge Timo Aspelmeier Goettingen University and Max
315
22.06.16 1:07:20 Proof Engineering, from the Four Colour to the Odd Order Theorem
Thirty-five years ago, computers made a dramatic debut in mathematics with the famous proof of the Four Colour Theorem by Appel and Haken.
389
32
22.06.16 1:09:31 Thinking for Programmers: Rising Above the Code
Architects draw detailed blueprints before a brick is laid or a nail is hammered.Programmers and software engineers seldom do.A blueprint for software is called a specification.
3 899
19.9
22.06.16 1:03:02 Optimal and Adaptive Online Learning
Online learning is one of the most important and well-established learning models in machine learning.
104
22.06.16 2:18:36 Tutorial: Introduction to Reinforcement Learning with Function Approximation
Reinforcement learning is a body of theory and techniques for optimal sequential decision making developed in the last thirty years primarily within the machine learning and operations research
6 854
19.5
22.06.16 1:33:05 Towards Understandable Neural Networks for High Level AI Tasks - Part 5
Towards understandable neural networks for high level AI tasks - Part 5 Overview of talk series: Current AI software relies increasingly on neural networks (NNs).
85