Data platforms and analytics
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
A Large-Scale Study of File Prevalance
Publication
Inferring Taxi Status Using GPS Trajectories
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…
Publication