— Models of biochemical reaction networks can be decomposed into a stoichiometric part and a kinetic part. The stoichiometric part describes the structural mass flows while the ...
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
We present an approach to the bid-evaluation problem in a system for multi-agent contract negotiation, called MAGNET. The MAGNET market infrastructure provides support for a variet...
Erik S. Steinmetz, John Collins, Scott Jamison, Ra...
Dynamic simulation is a promising complement to kinematic motion synthesis, particularly in cases where simulated characters need to respond to unpredictable interactions. Moving ...
Brian F. Allen, Derek Chu, Ari Shapiro, Petros Fal...
Today's driving simulators are used in vehicle research and design as well as in training. However, most simulators are not convincing because the degree of realism is not ad...
Fernando G. Gonzalez, Patrick Grejs, Avelino J. Go...