Data platforms and analytics
Publication
Mining Evidences for Named Entity Disambiguation
Project
Rethinking Eventual Consistency
The past five years has seen a resurgence of work on replicated, distributed database systems, to meet the demands of intermittently-connected clients and disaster-tolerant database systems that span data centers. Each product or prototype uses…
Publication
Cloud Scheduling with Setup Cost
Publication
A Machine-Checked Proof of the Odd Order Theorem
Video
From Data Science to Data Intelligence
Today, we live in a data-driven world and new directions in data-driven research have already revolutionized big data applications such as gaming, Internet vision, machine translation, and spell checking by bringing machine learning to the…
Video
Research Bits: Robert Amor
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. In this interview, Robert Amor, University of Auckland, New Zealand talks about his research in construction informatics.…
Video
Research Bits: Bill Howe and Michael Schapira
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. First, Bill Howe of the University of Washington talks about his work to make it easier for…
Video
Research Bits: Emerson Murphy-Hill and Dean Mohamedally
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. First, Emerson Murphy-Hill, North Carolina State University, talks about his research on how human computer interaction intersects…
