- An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits Yu-Fang Chen Kai-Min Chung Ondřej Lengál Jyun-Ao Lin Wei-Lun Tsai Di-De Yen Sun 15 March 2026
- A Symbolic Approach to Verifying Quantum Systems Parosh Aziz Abdulla Sun 15 March 2026
- On the complexity of reachability problems in counter systems Henry Sinclair-Banks Sun 15 March 2026
- A product expansion of the Chen series Hector J. Sussmann Fri 13 March 2026
- Differential Algebraic Modelling of Nonlinear Systems S. T. Glad Fri 13 March 2026
- Some new results in differential algebraic control theory X. Y. Lu Fri 13 March 2026
- Gröbner bases and differential algebra Giuseppa Carra Ferro Fri 13 March 2026
- Differential-algebraic decision methods and some applications to system theory Sette Diop Fri 13 March 2026
- Calculating all multiple parameter solutions of ODE models to avoid biological misinterpretations Maria Pia Saccomani Karl Thomaseth Fri 13 March 2026
- Structural vs Practical Identifiability of Nonlinear Differential Equation Models in Systems Biology Maria Pia Saccomani Karl Thomaseth Fri 13 March 2026
- Identifiability of Nonaccessible Nonlinear Systems Leontina DAngi Maria Pia Saccomani Stefania Audoly Giuseppina Bellu Fri 13 March 2026
- Structural Identifiability of Dynamic Systems Biology Models Alejandro F. Villaverde Antonio Barreiro Antonis Papachristodoulou Fri 13 March 2026
- Employing Observability Rank Conditions for Taking into Account Experimental Information a priori Alejandro F. Villaverde Thu 12 March 2026
- Employing observability rank conditions for taking into account experimental information a priori Alejandro F. Villaverde Thu 12 March 2026
- Nonlinear Control Systems and Lie Algebraic Methods Miloslav Kazuya Thu 12 March 2026
- On Identifiability of Nonlinear ODE Models and Applications in Viral Dynamics Hongyu Miao Xiaohua Xia Alan S. Perelson Hulin Wu Wed 11 March 2026
- Rank Invariants of Nonlinear Systems M. D. Di Benedetto J. W. Grizzle C. H. Moog Wed 11 March 2026
- Global identifiability of nonlinear models of biological systems S. Audoly G. Bellu L. DAngio M.P. Saccomani C. Cobelli Wed 11 March 2026
- On parameter and structural identifiability: Nonunique observability/reconstructibility for identifiable systems, other ambiguities, and new definitions J. DiStefano C. Cobelli Wed 11 March 2026
- On the identifiability and distinguishability of nonlinear parametric models Eric Walter Luc Pronzato Wed 11 March 2026
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
