Abstract: Recent advances in Boolean satisfiability have made it an attractive engine for solving many digital very-large-scale-integration design problems. Although useful in many stages of the ...
Abstract: Reversible circuits are an attractive computation model as they theoretically enable computations with close to zero power consumption. Furthermore, reversible circuits found significant ...
Daniel Zhengyu Huang, Tapio Schneider, and Andrew M. Stuart. "Iterated Kalman Methodology For Inverse Problems / Unscented Kalman Inversion." Daniel Zhengyu Huang, Jiaoyang Huang, Sebastian Reich, and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results