research
∙
03/17/2023
Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems
Quadratization of polynomial and nonpolynomial systems of ordinary diffe...
share
research
∙
01/27/2023
Exact linear reductions of dynamical models
Dynamical models described by ordinary differential equations (ODEs) are...
research
∙
04/04/2022
More Efficient Identifiability Verification in ODE Models by Reducing Non-Identifiability
Structural global parameter identifiability indicates whether one can de...
research
∙
03/07/2022
On realizing differential-algebraic equations by rational dynamical systems
Real-world phenomena can often be conveniently described by dynamical sy...
research
∙
02/13/2022
Faster Gröbner Bases via Domain-Specific Ordering in Parameter Identifiability of ODE Models
We consider a specific class of polynomial systems that arise in paramet...
research
∙
01/31/2022
Exact linear reduction for rational dynamical systems
Detailed dynamical systems models used in life sciences may include doze...
research
∙
11/19/2021
Multiplicity structure of the arc space of a fat point
The equation x^m = 0 defines a fat point on a line. The algebra of regul...
research
∙
11/01/2021
Differential elimination for dynamical models via projections with applications to structural identifiability
Elimination of unknowns in a system of differential equations is often r...
research
∙
06/29/2021
Web-based Structural Identifiability Analyzer
Parameter identifiability describes whether, for a given differential mo...
research
∙
03/14/2021
Optimal monomial quadratization for ODE systems
Quadratization problem is, given a system of ODEs with polynomial right-...
research
∙
11/21/2020
Multi-experiment parameter identifiability of ODEs and model theory
Structural identifiability is a property of an ODE model with parameters...
research
∙
07/28/2020
Parameter identifiability and input-output equations
Structural parameter identifiability is a property of a differential mod...
research
∙
04/24/2020
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations
Motivation: Detailed mechanistic models of biological processes can pose...
research
∙
04/22/2020
Algorithms yield upper bounds in differential algebra
Consider an algorithm computing in a differential field with several com...
research
∙
04/16/2020
Computing all identifiable functions of parameters for ODE models
Parameter identifiability is a structural property of an ODE model for r...
research
∙
02/04/2020
Separating Variables in Bivariate Polynomial Ideals
We present an algorithm which for any given ideal I⊆𝕂 [x,y] finds all el...
research
∙
10/09/2019
Input-output equations and identifiability of linear ODE models
Structural identifiability is a property of a differential model with pa...
research
∙
01/31/2019
The Dynamics of Canalizing Boolean Networks
Boolean networks are a popular modeling framework in computational biolo...
research
∙
12/26/2018
SIAN: software for structural identifiability analysis of ODE models
Biological processes are often modeled by ordinary differential equation...
research
∙
09/18/2018
Degree bound for toric envelope of a linear algebraic group
Algorithms working with linear algebraic groups often represent them via...
research
∙
05/29/2017
Power series expansions for the planar monomer-dimer problem
We compute the free energy of the planar monomer-dimer model. Unlike the...
research
∙
01/26/2017
Bounds for Substituting Algebraic Functions into D-finite Functions
It is well known that the composition of a D-finite function with an alg...
research
∙
10/13/2016
Bounds for elimination of unknowns in systems of differential-algebraic equations
Elimination of unknowns in systems of equations, starting with Gaussian ...
research
∙
10/13/2016