Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
The what-if analysis process is essential in symbiotic simulation systems. It is responsible for creating a number of alternative what-if scenarios and evaluating their performanc...
Heiko Aydt, Stephen John Turner, Wentong Cai, Malc...
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
In this paper, we present a multi-pronged approach to the "Learning from Example" problem. In particular, we present a framework for integrating learning into a standard...
Jie Sun, Tejas R. Mehta, David Wooden, Matthew Pow...
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...