
handle: 11368/3070478
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge number of distinct chemical species (i.e. non-isomorphic connected components of proteins). Thus we cannot generate explicitly the quantitative semantics of these models, and even less compute their properties. Model reduction aims at reducing this complexity by providing another grain of observation. In this paper, we propose two unifying frameworks for combining model reductions: we propose a symmetric product operator for combining model reductions for stochastic semantics and we show how to abstract further existing reduced differential systems by the means of linear projections. We apply both frameworks so as to abstract further existing reduced quantitative semantics of the models that are written in Kappa, by taking into account symmetries among binding sites in proteins.
rules-based modeling, symmetries, Theoretical Computer Science, rules-based modeling, model reduction, abstract interpretation, symmetries, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], abstract interpretation; model reduction; rules-based modeling; symmetries, model reduction, abstract interpretation, info:eu-repo/classification/ddc/004, Computer Science(all)
rules-based modeling, symmetries, Theoretical Computer Science, rules-based modeling, model reduction, abstract interpretation, symmetries, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], abstract interpretation; model reduction; rules-based modeling; symmetries, model reduction, abstract interpretation, info:eu-repo/classification/ddc/004, Computer Science(all)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 8 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
