Results 111 to 120 of about 177 (175)

Incremental column-wise verification of arithmetic circuits using computer algebra. [PDF]

Form Methods Syst Des, 2020
Kaufmann D, Biere A, Kauers M.
europepmc   +1 more source

A novel linear algebra-based method for complex interval linear systems in circuit analysis. [PDF]

Heliyon
Farahmand Nejad M, Farahani H, Nuraei R.
europepmc   +1 more source

Group-based phylogenetic models on 3-sunlet networks. [PDF]

Bull Math Biol
Cox S, Gross E, Martin S.
europepmc   +1 more source

Probabilistic polynomial dynamical systems for reverse engineering of gene regulatory networks. [PDF]

EURASIP J Bioinform Syst Biol, 2011
Dimitrova ES, Mitra I, Jarrah AS.
europepmc   +1 more source

Maximum likelihood estimation of log-affine models using detailed-balanced reaction networks. [PDF]

J Math Biol
Henriksson O, Améndola C, Rodriguez JI, Yu PY.   +3 more
europepmc   +1 more source

Maximum Likelihood Estimation of Symmetric Group-Based Models via Numerical Algebraic Geometry. [PDF]

Bull Math Biol, 2019
Kosta D, Kubjas K.
europepmc   +1 more source

Stanley depth of monomial ideals with small number of generators

Open Mathematics, 2009
Cimpoeaş Mircea
doaj   +1 more source

Cohomology Rings of Toric Bundles and the Ring of Conditions. [PDF]

Arnold Math J
Hofscheier J, Khovanskii A, Monin L.
europepmc   +1 more source

Rational Recursion Operators for Integrable Differential-Difference Equations. [PDF]

Commun Math Phys, 2019
Carpentier S, Mikhailov AV, Wang JP.
europepmc   +1 more source

Binary matrices and simplicial complexes: an algebraic-statistics tool to analyze co-activation of electrophysiological signals in cortical cultures [PDF]

BMC Neurosci, 2013
Pirino V, Massobrio P, Riccomagno E, Martinoia S.   +3 more
europepmc   +1 more source