Layerscape for Earth-Science Storytelling
Every so often, a new platform comes along that really shakes things up. Well, if you’re part of the earth-sciences community, prepare to be shaken, because Microsoft Research has just released a new way to…
CompChall: Addressing Password Guessing Attacks
Mapping XML to a Wide Sparse Table
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…
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…
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…