Now showing items 1-4 of 4

  • ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra 

    Hinkelmann, Franziska; Brandon, Madison; Guang, Bonny; McNeill, Rustin; Blekherman, Grigoriy; Veliz-Cuba, Alan; Laubenbacher, Reinhard (2011-07-20)
    Abstract Background Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, to gain a better understanding of ...
  • ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra 

    Hinkelmann, Franziska; Brandon, Madison; Guang, Bonny; McNeill, Rustin; Blekherman, Grigoriy; Veliz-Cuba, Alan; Laubenbacher, Reinhard (2011-07-20)
    Abstract Background Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, to gain a better understanding of ...
  • Modeling stochasticity and variability in gene regulatory networks 

    Murrugarra, David; Veliz-Cuba, Alan; Aguilar, Boris; Arat, Seda; Laubenbacher, Reinhard (2012-06-06)
    Abstract Modeling stochasticity in gene regulatory networks is an important and complex problem in molecular systems biology. To elucidate intrinsic noise, several modeling strategies such as the Gillespie algorithm have ...
  • Steady state analysis of Boolean molecular network models via model reduction and computational algebra 

    Veliz-Cuba, Alan; Aguilar, Boris; Hinkelmann, Franziska; Laubenbacher, Reinhard (2014-06-26)
    Abstract Background A key problem in the analysis of mathematical models of molecular networks is the determination of their steady states. The present paper addresses this problem for Boolean ...