22.06.16 30:30 Social Computing Symposium 2015: Consequences of Humanizing Systems
Social Computing Symposium 2015: Consequences of Humanizing Systems
43
22.06.16 43:26 Hints and Principles for Computer System Design
Hints and Principles for Computer System Design
6 618
18.7
22.06.16 1:00:24 Cooperation on Social Networks
At most places, and at most times, cooperation takes place in the absence of legal or contractual enforcement. What motivates players to cooperate?
111
22.06.16 25:44 Project Catapult: Derek Chiou and Bill Barth
Project Catapult: Derek Chiou and Bill Barth
1 003
47.4
22.06.16 54:32 Automatic Device Driver Synthesis
Automatic device driver synthesis is a radical approach to creating drivers faster and with fewer defects by generating them automatically based on hardware device specifications.
191
22.06.16 40:09 Computational Thinking
Computational thinking will be a fundamental skill used by everyone in the world. To reading, writing, and arithmetic, we should add computational thinking to every child's analytical ability.
43 681
20.2
22.06.16 20:32 Time series inference with nonlinear dynamics and filtering for control.
Many tasks in finance, science and engineering require the ability to control a dynamic system to maximise some objective.
1 153
22.3
22.06.16 1:28:54 Programmability at Cloud Scale
Building interactive services that are scalable and reliable is hard. Interactivity imposes strict constraints on availability and latency, as that directly impacts end-user experience.
151
22.06.16 53:07 Computing for Global Development and Resource Constraint
As the cost of information technology falls and the reach of communication systems grows ever more pervasive, hundreds of millions of people are being exposed to computing technologies for the very
54
22.06.16 34:56 A Software only Mechanism for Device Pass-Through and Sharing
A Software only Mechanism for Device Pass-Through and Sharing
200
22.06.16 42:25 Energy-efficient Scheduling in the Non-clairvoyant Model
A fundamental problem in energy-efficient computing is to schedule multiple jobs released over time on a single machine with adjustable speed so as to minimize the sum of flow-time (delay) and energy.
239
22.06.16 41:41 F# Type Providers: DBpedia and the Combinator Framework
Wikipedia has become a knowledge repository for virtually every topic in existence, but its pages are intended to be read by humans, not computers.
571
13.3
22.06.16 44:42 Approximating ATSP by Relaxing Connectivity
The standard LP relaxation of the asymmetric traveling salesman problem has been conjectured to have a constant integrality gap in the metric case.
897
74.4
22.06.16 1:04:47 Deep clustering: discriminative embeddings for source separation
We address the problem of acoustic source separation in a deep learning framework we call "deep clustering".
5 701
28.4
22.06.16 9:13 Social Computing Symposium 2015: Muse: The Brain Sensing Headband
Social Computing Symposium 2015: Muse: The Brain Sensing Headband
109
22.06.16 44:39 Advances in Quantum Algorithms and Devices: Welcome and Distributed Denstity Matrices
The density matrix (d.m.) of a quantum state is a statistical construct, describing our best understanding of the actual state based on our prior experience with, and constant monitoring of, the
153
22.06.16 1:03:45 Circle Packing and Its Applications
The Koebe-Andreev-Thurston Circle Packing Theorem lets us draw planar graphs in a canonical way, so that the geometry of the drawing reveals analytic properties of the graph.
4 689
37.7
22.06.16 38:10 Advances in Quantum Algorithms & Devices: Quantum Monte Carlo versus Quantum Adiabatic Optimization
How many queries are needed to determine a polynomial F(X)? We look at this question when F(X) is defined over a finite field GF(q) and has degree d, such that d+1 queries are obviously sufficient.
233
22.06.16 1:05:14 Fast Algorithms for Online Stochastic Convex Programming
We introduce the Online Stochastic Convex Programming (CP) problem, a very general version of stochastic online problems which allows arbitrary convex objectives and feasibility constraints.
439
72.8
22.06.16 50:41 Research on Concert Hall Acoustics at Aalto University
This talk will be about the research conducted in Virtual Acoustics team at Aalto University lead by professors Lauri Savioja and Tapio Lokki.
2 373
27.9
22.06.16 1:01:53 RDFox — A Modern Materialisation-Based RDF System
RDFox is a new materialisation-based RDF system currently being developed at Oxford University.
833
24.8
22.06.16 53:59 Fixed-Energy Harmonic Functions
We study the map from conductances to edge energies for harmonic functions on graphs with Dirichlet boundary conditions.
403
22.1
22.06.16 1:00:53 Competitive erosion is conformally invariant
We study a graph-theoretic model of interface dynamics called competitive erosion. Each vertex of the graph is occupied by a particle, which can be either red or blue.
190
22.06.16 49:37 A Simple O(loglog(rank))-Competitive Algorithm for the Matroid Secretary Problem
The last decade has seen an increased interest in generalizations of the secretary problem, a classical online selection problem.
874
28.8
22.06.16 1:03:53 Recent Advances in Deep Learning at Microsoft: A Selected Overview
Since 2009, Microsoft has engaged with academic pioneers of deep learning and has created industry-scale successes in speech recognition as well as in speech translation, object recognition
1 117
24.5
22.06.16 1:01:25 The Interplay of Social Influence and Own Preference in Social Networks
Social media features such as social explanations of recommendations (e.g., "Amit liked this") and feeds of activity around items (e.g., listening to songs, visiting URLs, reading books) mean that
95
22.06.16 55:06 A Fast Distributed Algorithm for α-Fair Packing Problems
Over the past two decades, fair resource allocation problems received considerable attention in a variety of application areas.
1 251
51.7
22.06.16 32:29 Theory Day Session 3
Yishay Mansour - Robust inference and local algorithms Robust inference is an extension of probabilistic inference, where some of the observations are adversarially corrupted.
153