Combining Model Reductions

Cite This

Files in this item

Checksum: MD5:ef00f19a99edabe6bf981b2c30ae7544

CAMPORESI, Ferdinanda, Jérôme FERET, Heinz KOEPPL, Tatjana PETROV, 2010. Combining Model Reductions. In: Electronic Notes in Theoretical Computer Science. 265, pp. 73-96. ISSN 1571-0661. Available under: doi: 10.1016/j.entcs.2010.08.006

@article{Camporesi2010Combi-42227, title={Combining Model Reductions}, year={2010}, doi={10.1016/j.entcs.2010.08.006}, volume={265}, issn={1571-0661}, journal={Electronic Notes in Theoretical Computer Science}, pages={73--96}, author={Camporesi, Ferdinanda and Feret, Jérôme and Koeppl, Heinz and Petrov, Tatjana} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dcterms:rights rdf:resource=""/> <dcterms:title>Combining Model Reductions</dcterms:title> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:abstract xml:lang="eng">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.</dcterms:abstract> <dcterms:issued>2010</dcterms:issued> <dcterms:available rdf:datatype="">2018-05-02T08:10:35Z</dcterms:available> <dspace:isPartOfCollection rdf:resource=""/> <dc:date rdf:datatype="">2018-05-02T08:10:35Z</dc:date> <dcterms:isPartOf rdf:resource=""/> <dc:contributor>Koeppl, Heinz</dc:contributor> <bibo:uri rdf:resource=""/> <dc:rights>terms-of-use</dc:rights> <dc:creator>Petrov, Tatjana</dc:creator> <dc:contributor>Petrov, Tatjana</dc:contributor> <dc:creator>Feret, Jérôme</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dspace:hasBitstream rdf:resource=""/> <dc:creator>Koeppl, Heinz</dc:creator> <dc:contributor>Camporesi, Ferdinanda</dc:contributor> <dc:creator>Camporesi, Ferdinanda</dc:creator> <dc:contributor>Feret, Jérôme</dc:contributor> <dc:language>eng</dc:language> <dcterms:hasPart rdf:resource=""/> </rdf:Description> </rdf:RDF>

Downloads since May 2, 2018 (Information about access statistics)

Camporesi_2-m9zzw1bc6grt8.pdf 96

This item appears in the following Collection(s)

Search KOPS


My Account