⎯ Technology scaling is in the era where the chip performance is constrained by its power dissipation. Although the power limits vary with the application domain, they dictate th...
To ensure multi-agent based simulation models reproducibility, particular attention must be payed on its possible implementation ambiguities. This concerns every aspect of simulat...
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
A predictive functional control (PFC) technique is applied to the temperature control of a pilot-plant batch reactor equipped with a mono-fluid heating/cooling system. A cascade c...
This document formalizes and discusses the implementation of a new, more efficient probabilistic plan recognition algorithm called Yet Another Probabilistic Plan Recognizer, (Yapp...
Christopher W. Geib, John Maraist, Robert P. Goldm...