Data platforms and analytics
Tool
Excel Cloud Data Analytics
Excel Cloud Data Analytics is a Microsoft Excel add-in that enables users to execute a variety of data-centric tasks on Windows Azure through a custom Ribbon in Excel. This add-in can be used to connect…
Tool
Counterdog: Theorem Prover for Counterfactual Datalog Logic
Counterdog is an automated theorem prover for counterfactual meta-logic on propositional Datalog. The prover is complete for the logic and can prove or disprove counterfactual statements such as “if ‘p’ is false in a Datalog…
Project
Layerscape
Powered by WorldWide Telescope A cloud-based user experience, Layerscape employs powerful, everyday tools to analyze and visualize complex Earth and oceanic datasets—enabling scientists to gain environmental insights into Earth. Users can create and share 3-D…
Project
SandDance
SandDance is a web-based application that enables you to more easily explore, identify, and communicate insights about data, and provides ease of use for data visualizations, pattern identification, trends, and insights.
Publication
Inferring Taxi Status Using GPS Trajectories
Publication
A Large-Scale Study of File Prevalance
Publication
Relaxed Safeness in Datalog-Based Policies
Project
FetchClimate
FetchClimate is a fast, free, intelligent environmental information retrieval service that operates over the cloud to return only the environmental data you need. FetchClimate can be accessed either through a simple web interface or via…