- Hierarchical graph reduction approach to symbolic circuit analysis with data sharing and cancellation-free properties Yang Song Guoyong Shi Fri 02 March 2012
- A note on the bottleneck counting argument J. Simon Shi-Chun Tsai Fri 02 March 2012
- Finite limits and monotone computations: the lower bounds criterion S. Jukna Fri 02 March 2012
- The complexity of solving equations over finite groups M. Goldmann A. Russell Fri 02 March 2012
- Relativized NP search problems and propositional proof systems J. Buresh-Oppenheim T. Morioka Fri 02 March 2012
- FO[textbackslashle]-Uniformity C. Behl K.-J. Lange Fri 02 March 2012
- Planar Graph Isomorphism is in Log-Space Samir Datta Nutan Limaye Prajakta Nimbhorkar Thomas Thierauf Fabian Wagner Fri 02 March 2012
- Relationless Completeness and Separations Pavel Hrubes Avi Wigderson Amir Yehudayoff Fri 02 March 2012
- Construction of Lyapunov functions using Grobner bases K. Forsman Fri 02 March 2012
- The synthesis of controllers for linear hybrid automata H. Wong-Toi Fri 02 March 2012
- On the construction of Lyapunov functions using the sum of squares decomposition A. Papachristodoulou S. Prajna Fri 02 March 2012
- Identification of hybrid linear time-invariant systems via subspace embedding and segmentation (SES) Kun Huang A. Wagner Yi Ma Fri 02 March 2012
- Subspace identification of piecewise linear systems V. Verdult M. Verhaegen Fri 02 March 2012
- Recursive Identification of Switched ARX Models with Unknown Number of Models and Unknown Orders Y. Hashambhoy R. Vidal Fri 02 March 2012
- Reachability analysis of linear systems with uncertain parameters and inputs Matthias Althoff Olaf Stursberg Martin Buss Fri 02 March 2012
- Optimizing robust limit cycles for legged locomotion on unknown terrain Hongkai Dai Russ Tedrake Fri 02 March 2012
- Practical polynomial formulas in MIMO nonlinear realization problem J. Belikov P. Kotta U. Kotta M. Tonso Fri 02 March 2012
- Abstraction-based solution of optimal stopping problems under uncertainty Gunther Reissig Matthias Rungger Fri 02 March 2012
- Transverse contraction criteria for existence, stability, and robustness of a limit cycle Ian R. Manchester Jean-Jacques E. Slotine Fri 02 March 2012
- Feedback refinement relations for symbolic controller synthesis Gunther Reissig Matthias Rungger Fri 02 March 2012
Library Size: 13G (12947 entries),
Last Updated: Apr 09, 2026, 18:14:57,
Build Time: N/A
