Made as simple as possible, but not simpler.

Data Reduction for Science

Earlier this week, I wrote that In sharing scientific research data, the goal is often to provide data reductions to the extent possible without loss – the output is, in a strong sense, equivalent to the input.

Tenets of (Scalable) Data Unification

Unification is a process of combining partial-information structures. First used in computing for theorem proving,1 it is used widely for type inference in programming-language compilers and for logic-programming systems.

Page 1 of 17