- SD-Regular Transducer Expressions for Aperiodic Transformations Luc Dartois Paul Gastin Shankara Narayanan Krishna Thu 21 January 2021
- Computability of Data-Word Transductions over Different Data Domains Léo Exibard Emmanuel Filiot Nathan Lhote Pierre-Alain Reynier Thu 21 January 2021
- One-way resynchronizability of word transducers Sougata Bose S. N. Krishna Anca Muscholl Gabriele Puppis Thu 21 January 2021
- The fundamental theorem of algebra in terms of computational complexity - preliminary report A. Schønhage Thu 21 January 2021
- On the power of random access machines Arnold Schønhage Thu 21 January 2021
- Semidefinite programming and arithmetic circuit evaluation Sergey P. Tarasov Mikhail N. Vyalyi Thu 21 January 2021
- Control synthesis for polynomial discrete-time systems under input constraints via delayed-state Lyapunov functions J.L. Pitarch A. Sala J. Lauber T.M. Guerra Wed 20 January 2021
- Lyapunov Function Synthesis - Infeasibility and Farkas' Lemma**This work is supported by the Danish Council for Independent Research under grant number DFF - 4005-00452 in the project CodeMe. Tobias Leth Christoffer Sloth Rafał Wisniewski Sriram Sankaranarayanan Wed 20 January 2021
- Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis Mohamed Amin Ben Sassi Sriram Sankaranarayanan Xin Chen Erika Abraham Wed 20 January 2021
- Lyapunov function synthesis --- Algorithm and software T. Leth C. Sloth R. Wisniewski Wed 20 January 2021
- Nonlinear Systems: Approximating Reach Sets Ashish Tiwari Gaurav Khanna Wed 20 January 2021
- Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion Thao Dang David Salinas Wed 20 January 2021
- Reverse-engineering of polynomial dynamical systems Abdul Salam Jarrah Reinhard Laubenbacher Brandilyn Stigler Michael Stillman Wed 20 January 2021
- Minimal sets in ACFA Alice Medvedev Wed 20 January 2021
- Invariant varieties for polynomial dynamical systems Alice Medvedev Thomas Scanlon Wed 20 January 2021
- On the Algebraic Geometry of Polynomial Dynamical Systems Abdul S. Jarrah Reinhard Laubenbacher Wed 20 January 2021
- Polynomial Dynamical Systems, Reaction Networks, and Toric Differential Inclusions Gheorghe Craciun Wed 20 January 2021
- ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra Franziska Hinkelmann Madison Brandon Bonny Guang Rustin McNeill Grigoriy Blekherman Alan Veliz-Cuba Reinhard Laubenbacher Wed 20 January 2021
- A computational algebra approach to the reverse engineering of gene regulatory networks Reinhard Laubenbacher Brandilyn Stigler Wed 20 January 2021
- Polynomial algebra of discrete models in systems biology Alan Veliz-Cuba Abdul Salam Jarrah Reinhard Laubenbacher Wed 20 January 2021
Library Size: 13G (12952 entries),
Last Updated: Apr 13, 2026, 17:04:26,
Build Time: N/A
