13 citations · 14 across the 7 of their papers we have counts for
7 papers
BASS: Boolean Automorphisms Signature Scheme
Dima Grigoriev, Ilia Ilmer, Alexey Ovchinnikov +1
We offer a digital signature scheme using Boolean automorphisms of a multivariate polynomial algebra over integers. Verification part of this scheme is based on the approximation o…
Robust Parameter Estimation for Rational Ordinary Differential Equations
Oren Bassik, Yosef Berman, Soo Go +6
We present a new approach for estimating parameters in rational ODE models from given (measured) time series data. In typical existing approaches, an initial guess for the paramete…
More Efficient Identifiability Verification in ODE Models by Reducing Non-Identifiability
Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin +1
Structural global parameter identifiability indicates whether one can determine a parameter's value from given inputs and outputs in the absence of noise. If a given model has para…
Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova +3
Symbolic computation for systems of differential equations is often computationally expensive. Many practical differential models have a form of polynomial or rational ODE system w…
Lightweight Projective Derivative Codes for Compressed Asynchronous Gradient Descent
Pedro Soto, Ilia Ilmer, Haibin Guan +1
Coded distributed computation has become common practice for performing gradient descent on large datasets to mitigate stragglers and other faults. This paper proposes a novel algo…
Web-based Structural Identifiability Analyzer
Ilia Ilmer, Alexey Ovchinnikov, Gleb Pogudin
Parameter identifiability describes whether, for a given differential model, one can determine parameter values from model equations. Knowing global or local identifiability proper…
On the interplay of harvesting and various diffusion strategies for spatially heterogeneous populations
Elena Braverman, Ilia Ilmer
The paper explores the influence of harvesting (or culling) on the outcome of the competition of two species in a spatially heterogeneous environment. The harvesting effort is assu…