Documents The Concurrent Constraint Programming Research Programmes -- Redux (part2)

1. IBM Research: Computing as a ServiceCombinatorial Problem Solving in C10How to write programmable solvers declarativelyVijay Saraswat<firstname>@<lastname>.orgIBM…

Documents MURI Telecon, Update 7/26/2012 Summary, Part I: Completed: proving and validating numerically...

MURI Telecon, Update 7/26/2012 Summary, Part I: Completed: proving and validating numerically optimality conditions for Distributed Optimal Control (DOC) problem; conservation…