Gregory M. Mocko

Declarative, Multi-physics Simulation Between Applications via Constraint Hypergraphs

To avoid the blind spots and brittleness of imperatively simulating a physical system, modelers often turn to declarative methods that can autonomously execute a model. Such solvers rely on a model structure that allows procedures for transforming inputs to outputs to be automatically discovered. However, the model s...