Combining Model Reductions

Camporesi, Ferdinanda; Feret, Jérôme; Koeppl, Heinz; Petrov, Tatjana

Combining Model Reductions

Dateien

Camporesi_2-m9zzw1bc6grt8.pdfGröße: 630.1 KBDownloads: 204

Datum

2010

Autor:innen

Camporesi, Ferdinanda

Feret, Jérôme

Koeppl, Heinz

Petrov, Tatjana

Open Access-Veröffentlichung

Open Access Hybrid

Sammlungen

Informatik und Informationswissenschaft

Publikationstyp

Zeitschriftenartikel

Publikationsstatus

Published

Erschienen in

Electronic Notes in Theoretical Computer Science. 2010, 265, pp. 73-96. ISSN 1571-0661. Available under: doi: 10.1016/j.entcs.2010.08.006

Zusammenfassung

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.

Fachgebiet (DDC)

004 Informatik

Schlagwörter

rules-based modeling, model reduction, abstract interpretation, symmetries

Zitieren

ISO 690

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

BibTex

@article{Camporesi2010Combi-42227,
  year={2010},
  doi={10.1016/j.entcs.2010.08.006},
  title={Combining Model Reductions},
  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:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/42227">
    <dc:contributor>Koeppl, Heinz</dc:contributor>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/3.0/"/>
    <dc:contributor>Petrov, Tatjana</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-05-02T08:10:35Z</dcterms:available>
    <dcterms:title>Combining Model Reductions</dcterms:title>
    <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>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-05-02T08:10:35Z</dc:date>
    <dc:creator>Koeppl, Heinz</dc:creator>
    <dc:language>eng</dc:language>
    <dc:rights>Attribution-NonCommercial-NoDerivs 3.0 Unported</dc:rights>
    <dc:contributor>Feret, Jérôme</dc:contributor>
    <dc:creator>Petrov, Tatjana</dc:creator>
    <dc:creator>Feret, Jérôme</dc:creator>
    <dc:contributor>Camporesi, Ferdinanda</dc:contributor>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/42227/1/Camporesi_2-m9zzw1bc6grt8.pdf"/>
    <dc:creator>Camporesi, Ferdinanda</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/42227/1/Camporesi_2-m9zzw1bc6grt8.pdf"/>
    <dcterms:issued>2010</dcterms:issued>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/42227"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein