Mark Mercer

Learn More
Following recent works connecting two-variable logic to circuits and monoids, we establish, for numerical predicate sets P satisfying a certain closure property, a one-to-one correspondence between F O[<, P]-uniform linear circuits, two-variable formulas with P predicates, and weak block products of monoids. In particular, we consider the case of linear TC(More)
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dy-namical system and collect data measuring its behavior over time. These data are often used to build models that explain relationships between the measured variables, and are eventually used for planning and control purposes. However , these(More)
A particular problem with the release of dense nonaqueous phase liquids (DNAPLs) into the environment is identifying where the DNAPL is and if it is still moving. This question is particularly important at sites where thousands of cubic meters of DNAPLs were disposed of. To date, results from laboratory models have not been scaled to predict analogous(More)
  • 1