Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (446)
+
Events (415)
 
Groups (143)
+
News (2637)
 
People (732)
 
Projects (1065)
+
Publications (12156)
+
Videos (5344)
Labs
Research areas
Algorithms and theory47205 (58)
Communication and collaboration47188 (61)
Computational linguistics47189 (8)
Computational sciences47190 (69)
Computer systems and networking47191 (118)
Computer vision208594 (17)
Data mining and data management208595 (7)
Economics and computation47192 (25)
Education47193 (82)
Gaming47194 (21)
Graphics and multimedia47195 (62)
Hardware and devices47196 (63)
Health and well-being47197 (28)
Human-computer interaction47198 (149)
Machine learning and intelligence47200 (81)
Mobile computing208596 (12)
Quantum computing208597 (16)
Search, information retrieval, and knowledge management47199 (61)
Security and privacy47202 (24)
Social media208598 (10)
Social sciences47203 (41)
Software development, programming principles, tools, and languages47204 (31)
Speech recognition, synthesis, and dialog systems208599 (7)
Technology for emerging markets208600 (4)
1–25 of 5344
Sort
Show 25 | 50 | 100
1234567Next 
Amit Sharma
The Interplay of Social Influence and Own Preference in Social NetworksSocial 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 we are often exposed to our friends' preferences online. This raises the question of how those preferences interact with our own, both at the individual level – how do people influence each other's choices – and globally – how do these preferences affect the diffusion of items through networks?In this talk, I...
Video details
Date: 21 January 2015
Duration: 01:01:04
Collection: Candidate Talk
Konstantin Kashin
Causal Inference without Control UnitsRandomized experiments are the gold standard for causal claims, yet randomization is not feasible or ethical for many questions in the social sciences. Researchers have thus devised methods that approximate experiments with observational data, usually via regression or matching. These techniques use nonexperimental control units to estimate counterfactuals. However, control units may be costly to obtain, incomparable to the treated units, or completely unavailable when all units are treated. We explore the...
Video details
Date: 20 January 2015
Duration: 01:05:31
Collection: Candidate Talk
Kai-Wei Chang
Practical Learning Algorithms for Structured PredictionMachine learning techniques have been widely applied in many areas. In many cases, high accuracy requires training on large amount of data, adding more expressive features and/or exploring complex input and output structures, often resulting in scalability problems. Nevertheless, we observed that by carefully selecting and caching samples, structures, or latent items, we can reduce the problem size and improve the training speed and eventually improve the performance. Based on this observation, we...
Video details
Date: 20 January 2015
Duration: 00:55:41
Collection: Candidate Talk
Shayan Oveis-Gharan
Effective-Resistance-Reducing Flows, Spectrally Thin Trees and Asymmetric TSPWe show that the integrality gap of the natural LP relaxation of the Asymmetric Traveling Salesman Problem is at most polyloglog(n). In other words, there is a polynomial time algorithm that approximates the value of the optimum tour within a factor of polyloglog(n). To prove this, we show that any k-edge-connected graph (for k=Omega(log(n))) has a polylog(k)/k thin tree. In this talk I will highlight the main ideas of our proof. This is a joint work with Nima Anari.
Video details
Date: 16 January 2015
Duration: 01:00:03
Collection: MSR Talk Series
Rebecca Yale Taft and Anant Bharadwaj
DataHub: A Hosted Platform for Organizing, Managing, Sharing, Collaborating, and Processing Data; E-Store: Fine-Grained Elastic Partitioning for Distributed Transaction Processing SystemsTitle: DataHub: A Hosted Platform for Organizing, Managing, Sharing, Collaborating, and Processing DataIn this talk, I will describe DataHub – a hosted data collaboration platform we are building at MIT. DataHub is a unified data management and collaboration platform. The DataHub platform is (a) a flexible data-store (files, relational databases, extendible to other data-storage backends) with sharing/collaboration, security, and other data management capabilities, managed on behalf of different...
Video details
Date: 15 January 2015
Duration: 01:29:08
Collection: MSR Talk Series
Alptekin Kupcu
Dynamic PDP vs. Dynamic POR: Are they really different ?As many services are moving to the cloud, we are losing control of our own data. This constitutes one of the biggest problems that we face in this decade. The talk will start simple, presenting basics of cryptographic mechanisms for security protection of outsourced data. The basics will include data structures, such as rank-based authenticated skip lists, used in dynamic provable data possession (DPDP) schemes. Later, we will switch gears, and talk about dynamic proofs of retrievability (DPOR) schemes....
Video details
Date: 14 January 2015
Duration: 00:52:51
Collection: UK Cambridge - Lecture/Seminar
Video details
Date: 12 January 2015
Duration: 00:19:48
Collection: Social Computing Symposium
Video details
Date: 12 January 2015
Duration: 00:19:08
Collection: Social Computing Symposium
Video details
Date: 12 January 2015
Duration: 00:15:56
Collection: Social Computing Symposium
Video details
Date: 12 January 2015
Duration: 00:22:26
Collection: Social Computing Symposium
Video details
Date: 12 January 2015
Duration: 00:31:18
Collection: Social Computing Symposium
Meryl Alper
"Making a difference. One app at a time”? : Disability, Distinction, and Domestic AccessThe new media landscape for youth with communication disabilities is currently undergoing a significant technological and cultural shift. Costly traditional electronic speech aids (used most famously by physicist Stephen Hawking) are increasingly being replaced with more affordable, accessible, and socially acceptable tablet computers such as the Apple iPad and assistive speech apps. With these communication technologies, youth and their families have the potential to develop voice and assert more...
Video details
Date: 9 January 2015
Duration: 00:56:39
Collection: Candidate Talk
Lance Hayes
The Forza Motorsport 5 Original Soundtrack, An InsiderThe session 'The Forza Motorsport 5 Original Soundtrack, An Insider's View' is a detailed look at how the soundtrack to the one of the first next gen video game soundtracks for the Xbox One was conceived and executed. Augmented by notes, images and video, Lead Composer Lance Hayes will detail the process of creating the 180 minute soundtrack using live orchestra and electronics from initial concepts to the composition phase to nation-wide recording at top facilities to final implementation and then on to...
Video details
Date: 8 January 2015
Duration: 01:52:16
Collection: MSR Talk Series
Ola Svensson
A Simple O(loglog(rank))-Competitive Algorithm for the Matroid Secretary ProblemThe last decade has seen an increased interest in generalizations of the secretary problem, a classical online selection problem. These generalizations have numerous applications in mechanism design for settings involving the selling of a good (e.g. ads) to agents (e.g. page views) arriving online. The matroid secretary problem is one of the most well-studied variants. It is general enough to deal with complex settings and, at the same time, it is sufficiently restricted to admit strong algorithms. A...
Video details
Date: 7 January 2015
Duration: 00:49:16
Collection: MSR Talk Series
Mark Dredze
Mining Web Data for Public HealthRecent years have seen the adoption of new Web data sources in a wide range of health areas. Of all areas, public health applications in behavioral medicine have the most potential to change how we conduct research, opening up exciting new opportunities. Fundamentally, behavioral medicine requires understanding how people make health decisions: what influences their decision, how they weigh information, and how social connections impact decisions. Web data sources provide new opportunities for studying...
Video details
Date: 6 January 2015
Duration: 00:58:55
Richard Mortier
Interacting with Infrastructure: Home Networking and BeyondDoes your home network work, the way you want it to, every day? Does your parents'? Your neighbours'? Home networking has become mundane but remains one of the most complex domestic technologies that people have to install and manage. Solving the associated problems requires an interesting mix of human-computer interaction and systems/networking: simply bolting fancy UIs onto existing infrastructure isn't good enough.In the Homework project we started exploring this mix by explicitly considering the users'...
Video details
Date: 6 January 2015
Duration: 00:54:36
Collection: UK Cambridge - Lecture/Seminar
Xim 1.3 Adds Support for Xbox OneXim 1.3 now allows you to share your photos on the big screen using Xbox One. Available December 17 in the Windows Phone Store.http://www.getxim.com/
Video details
Date: 17 December 2014
Duration: 00:00:30
Publisher: Microsoft
Xim 1.3 now allows you to share your photos on the big screen using Chromecast. Available December 17 in Google play.http://www.getxim.com/
Video details
Date: 17 December 2014
Duration: 00:00:30
Publisher: Microsoft
Xim 1.3 now allows you to share your photos on the big screen using Apple TV. Available December 17 in the Apple App Store.http://www.getxim.com/
Video details
Date: 17 December 2014
Duration: 00:00:30
Publisher: Microsoft
Konstantin Makarychev
Solving Optimization Problems with Diseconomies of ScaleWe present a new framework for solving optimization problems with a diseconomy of scale. In such problems, our goal is to minimize the cost of resources used to perform a certain task. The cost of resources grows superlinearly, as xq, with the amount x of resources used. We define a novel linear programming relaxation for such problems, and then show that the integrality gap of the relaxation is Aq, where Aq is the q-th moment of the Poisson random variable with parameter 1. Using our framework, we obtain...
Video details
Date: 15 December 2014
Duration: 00:57:27
Collection: MSR Talk Series
Adam Chlipala
Bedrock: A Software Development Ecosystem Inside a Proof AssistantThe benefits of formal correctness proofs for software are clear intuitively, but the high human costs of proof construction have generally been viewed as prohibitive. The speaker believes that pervasive verification of deep theorems about software will never be common until formal methods are integrated within the software development process. To support that integration, we need to rethink the familiar programming toolchains. The new world needn't be all about doing prodigious extra work to achieve...
Video details
Date: 15 December 2014
Duration: 01:04:36
Collection: UK Cambridge - Lecture/Seminar
Mari Ostendorf
Finding Information in DisfluenciesOne of the characteristics of spontaneous speech that distinguishes it from written text is the presence of disfluencies, including filled pauses (um, uh), repetitions, and self corrections. In spoken language processing applications, disfluencies are typically thought of as 'noise' in the speech signal. However, there are several systematic patterns associated with where disfluencies occur that can be leveraged to automatically detect them and to improve natural language processing. Further, rates of...
Video details
Date: 11 December 2014
Duration: 01:26:33
Collection: MSR Talk Series
Lynn Brunelle
Mama Gone Geek: Calling on My Inner Science Nerd to Help Navigate the Ups and Downs of ParenthoodHow do you connect the artsy, science-nerd mom with the art and science of parenting? Mama Gone Geek reads like a field trip through pregnancy and parenting, sprinkled with the sparkle of science, wrapped in a hilarious and awe-inspiring memoir. With great enthusiasm, Lynn shows how she shares her inner geek—the part of her that is gleefully curious and wide-eyed with wonderment—with her children. If science is the stardust that makes common things glow, why not pass that magic along to the kids? When she...
Video details
Date: 9 December 2014
Duration: 00:41:35
Collection: Visiting Speaker Series
Paxon Frady
Computational Microscopy: Interactive Machine-Learning for Brain Activity Mapping and Understanding High-Dimensional SystemsHigh-dimensional or complex systems, such as the brain, fundamentally require acquisition of large-scale data in order to collect enough information to understand the system's dynamics. Novel techniques in neuroscience, such as imaging or multi-electrode array recordings, have enabled the collection of large-scale data, but new tools and algorithms are needed for comprehending this large-scale data. Machine-learning is essential for making sense of high-dimensional systems, but machine-learning algorithms...
Video details
Date: 9 December 2014
Duration: 01:20:38
Collection: MSR Talk Series
Ethan Katz-Bassett
Reverse Traceroute Network Diagnostic UtilityTraceroute is the most widely used Internet diagnostic tool today. Network operators use it to help identify routing failures, path inflation, and router misconfigurations. Researchers use it to map the Internet, predict performance, geolocate routers, and classify the performance of ISPs. However, traceroute has long had a fundamental limitation that affects all these applications: it does not provide reverse path information. Although various public traceroute servers across the Internet provide some...
Video details
Date: 8 December 2014
Duration: 00:59:47
Collection: MSR Talk Series
1–25 of 5344
Sort
Show 25 | 50 | 100
1234567Next 
> Our research