Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Our research
Content type
+
Downloads (445)
+
Events (410)
 
Groups (152)
+
News (2622)
 
People (736)
 
Projects (1066)
+
Publications (12096)
+
Videos (5323)
Labs
Research areas
Algorithms and theory47205 (58)
Communication and collaboration47188 (59)
Computational linguistics47189 (8)
Computational sciences47190 (69)
Computer systems and networking47191 (116)
Computer vision208594 (17)
Data mining and data management208595 (7)
Economics and computation47192 (25)
Education47193 (81)
Gaming47194 (21)
Graphics and multimedia47195 (62)
Hardware and devices47196 (63)
Health and well-being47197 (28)
Human-computer interaction47198 (148)
Machine learning and intelligence47200 (80)
Mobile computing208596 (12)
Quantum computing208597 (16)
Search, information retrieval, and knowledge management47199 (61)
Security and privacy47202 (24)
Social media208598 (9)
Social sciences47203 (38)
Software development, programming principles, tools, and languages47204 (31)
Speech recognition, synthesis, and dialog systems208599 (5)
Technology for emerging markets208600 (2)
1–25 of 5323
Sort
Show 25 | 50 | 100
1234567Next 
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
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 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
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
Ping Tan
Direct Linear Structure-from-MotionMany structure-from-motion (SfM) systems take an incremental approach to reconstruct input images one by one. Global SfM methods that estimate all cameras simultaneously are highly desirable in terms of computation efficiency and result accuracy. We present a direct linear method for global SfM, which solve all cameras in a linear equation. We derive these linear equations from camera triplets, and generalize them to feature tracks to deal with weakly associated data. Experiments on various data...
Video details
Date: 8 December 2014
Duration: 00:45:52
Collection: MSR Talk Series
Daniel Lustig
Checking microarchitectural implementations of weak memoryIn parallel programs, threads communicate according to the memory consistency model: the set of memory ordering rules enforced by a given architecture. A great deal of research effort has gone into rigorous formalization of memory models. However, comparatively little attention has been paid to the microarchitectural implementation of these models. Standard testing-based techniques are insufficient: unobserved behaviors are not guarantees of non-observability, and failed tests offer little insight into...
Video details
Date: 8 December 2014
Duration: 01:01:22
Collection: UK Cambridge - Lecture/Seminar
David Blei
MSR NYC Data Science Seminar Series #3 - Topic Models and User BehaviorProbabilistic topic models provide a suite of tools for analyzing large document collections. Topic modeling algorithms discover the latent themes that underlie the documents and identify how each document exhibits those themes. Topic modeling can be used to help explore, summarize, and form predictions about documents. Topic modeling ideas have been adapted to many domains, including images, music, networks, genomics, and neuroscience.Traditional topic modeling algorithms analyze a document collection and...
Video details
Date: 4 December 2014
Duration: 00:59:47
Collection: MSR NYC Data Science Seminar Series
Johannes Horner
Optimal Design for Social LearningWe study the design of a recommender system for organizing social learning on a product. The optimal design trades off fully transparent social learning to improve incentives for early experimentation, by selectively over-recommending a product in the early phase of the product release. Under the optimal scheme, experimentation occurs faster than under full transparency but slower than under the first-best opti- mum, and the rate of experimentation increases over an initial phase and lasts until the...
Video details
Date: 3 December 2014
Duration: 01:15:17
Justin Domke
Coping with the Intractability of Graphical ModelsMany potential applications of graphical models (such as Conditional Random Fields) are complicated by the fact that exact inference is intractable. This talk will describe two strategies for coping with this situation. The first is based on restricting consideration to a tractable set of parameters. Rather than tree-structured parameters, as is common, I will explore a notion of tractability where Markov chain Monte Carlo is guaranteed to quickly converge to the stationary distribution. This can be...
Video details
Date: 27 November 2014
Duration: 00:54:35
Collection: UK Cambridge - Lecture/Seminar
Persi Diaconis
Random Walk on the Heisenberg groupThe Heisenberg group is the group of 3 x 3 uni-upper triangular matrices with entries in the reals,integers or mod n. This is in some sense the simplest non-commutative group. It is basic object of study in quantum physics, number theory,harmonic analysis and makes appearences in complexity theory. In joint work with Dan Bump, Angela Hicks, Laurent Miclo and Harold Widom we study simple random walk. For the integers mod n, we show that order n2 steps are necessary and sufficient for convergence. For the...
Video details
Date: 24 November 2014
Duration: 01:11:06
Collection: MSR Talk Series
Gregg Gordon, Mike Taylor, Ashlea Higgs, and Andrea Michalek
Panel 3: Measuring Content: Evaluation, Metrics and Measuring ImpactChair Gregg Gordon, President, Social Science Research Network, will lead a panel discussion on evaluation and impact “beyond citations” for articles, researchers, institutions.
Video details
Date: 24 November 2014
Duration: 01:00:26
Alex Hodgson, Robert McGrath, Eric Hellman, Marguerite Avery, William Gunn, and Jennifer Farthing
Panel 2: Accessing Content: New Thinking / New Business Models to Accessing Research LiteratureChair Alex Hodgson, Director of Marketing for ReadCube, will lead a panel discussion about the current challenges around the accessibility of scholarly content and the rise of innovative new models aimed to tackle them.
Video details
Date: 24 November 2014
Duration: 00:53:52
Courtney Soderberg, Arfon Smith, Rion Dooley, Lars Holm Nielsen, John Lees-Miller, Robert Seigel, and Tim Gardner
Panel 1 - Capturing the Research LifecycleChair: Courtney Soderberg, Statistical Consultant at the Center for Open Science, will lead a panel discussion of the challenges associated with organizing research data, disseminating and discovering new research tools.
Video details
Date: 24 November 2014
Duration: 01:13:37
Geoff Bilder
Welcome and Keynote - Geoff Bilder, Director of Strategic Initiatives at CrossRefIf we funded and ran physical infrastructure the way we fund and run scholarly cyberinfrastructure, the lights and water would go out every grant cycle and we would have architects bidding to build quonsets huts with the promise that the client would get railways and electrical grids as side-effects. Funders gather their top researchers to plot the disruption of scholarly communication and to frame the glorious future of e-science, yet these meetings routinely descend into jeremiads about lack of archive...
Video details
Date: 24 November 2014
Duration: 00:50:06
Colin Adams
Zombies and CalculusHow can calculus help you survive the zombie apocalypse? Colin Adams, one of today's most entertaining math writers, demonstrates how in this zombie adventure novel. Zombies and Calculus is the account of Craig Williams, a math professor at a small, New England liberal arts college, who, in the middle of a calculus class, finds himself suddenly confronted by a late-arriving student whose hunger is not for knowledge. As the zombie virus spreads, Williams uses calculus to help his small band of survivors...
Video details
Date: 20 November 2014
Duration: 00:42:22
Collection: Visiting Speaker Series
Justin Cranshaw
Computing and the Urban Experience: Exploring the Future of Places, Neighborhoods, and CommunitiesIt is becoming increasingly clear that computing is rapidly changing the way we live in cities. Computation has enabled radical new transportation-based technologies such as Uber, Car2Go, and Citibike that in the span of just a few years have drastically changed the way we get around in cities. Rental services like AirBnB are impacting the economics of real-estate and are changing how we think about property ownership and hospitality. And civic hacking initiatives centered around open data are changing the...
Video details
Date: 20 November 2014
Duration: 01:22:43
Collection: Candidate Talk
Tarik Moataz
Towards Practical ORAMsAlthough Oblivious RAM (ORAM) has recently received a lot of attention, its high communication and storage cost still render it impractical for real-world scenarios. We present a general construction to reduce the communication cost of all recent tree-based ORAMs. The main idea behind our new construction dubbed 'r-ORAM' is a recursive ORAM tree structure, where nodes in the tree are roots of other trees. We demonstrate that the expected cost saving is around 35% for any binary tree ORAMs. Besides...
Video details
Date: 19 November 2014
Duration: 01:19:48
Collection: MSR Talk Series
Cristopher Moore
Physics-inspired Algorithms and Phase Transitions in Community DetectionDetecting communities, and labeling nodes, is a ubiquitous problem in the study of networks. Recently, we developed scalable Belief Propagation algorithms that update probability distributions of node labels until they reach a fixed point. In addition to being of practical use, these algorithms can be studied analytically, revealing phase transitions in the ability of any algorithm to solve this problem. Specifically, there is a detectability transition in the stochastic block model, below which no...
Video details
Date: 18 November 2014
Duration: 01:15:07
Query formulation with Query Auto CompletionExample query formulation session from the eye-tracking study described in our CIKM 2014 paper 'An Eye-tracking Study of User Interactions with Query Auto Completion'.
Video details
Date: 18 November 2014
Duration: 00:00:18
Publisher: Microsoft
Matt Parker
Things to Make and Do in the Fourth Dimension: A MathematicianFor starters, take out paper and pencil, compass, straight edge, maybe a balloon or a bag of oranges, because the author will challenge you to tackle puzzles, whether it's cutting a pizza in equal slices so some pieces never touch the center or passing a quarter through a nickel-size hole. Parker begins with the easier elements like number systems, primes and the polygons of Euclidean geometry. But his approach has the acceleration of a Ferrari, so readers are quickly racing into higher dimensional space....
Video details
Date: 17 November 2014
Duration: 00:53:34
Collection: Visiting Speaker Series
1–25 of 5323
Sort
Show 25 | 50 | 100
1234567Next 
> Our research