Camporesi, F. ; Feret, J. ; Koeppl, H. ; Petrov, T. (2010)
Combining Model Reductions.
In: Electronic Notes in Theoretical Computer Science, 265
doi: 10.1016/j.entcs.2010.08.006
Artikel, Bibliographie

Kurzbeschreibung (Abstract)

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. © 2010 Elsevier B.V. All rights reserved.

Typ des Eintrags:	Artikel
Erschienen:	2010
Autor(en):	Camporesi, F. ; Feret, J. ; Koeppl, H. ; Petrov, T.
Art des Eintrags:	Bibliographie
Titel:	Combining Model Reductions
Sprache:	Englisch
Publikationsjahr:	September 2010
Verlag:	Elsevier
Titel der Zeitschrift, Zeitung oder Schriftenreihe:	Electronic Notes in Theoretical Computer Science
Jahrgang/Volume einer Zeitschrift:	265
DOI:	10.1016/j.entcs.2010.08.006
URL / URN:	http://linkinghub.elsevier.com/retrieve/pii/S157106611000085...
Zugehörige Links:	Verlags-DOI
Kurzbeschreibung (Abstract):	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. © 2010 Elsevier B.V. All rights reserved.
Freie Schlagworte:	abstract interpretation,model reduction,rules-based modeling,symmetries
Fachbereich(e)/-gebiet(e):	18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Nachrichtentechnik > Bioinspirierte Kommunikationssysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Nachrichtentechnik
Hinterlegungsdatum:	04 Apr 2014 14:18
Letzte Änderung:	13 Mai 2024 09:55
PPN:
Export:	T2T_XMLASCII CitationMODSMultiline CSVRDF+XMLDublin CoreHTML CitationEndNoteJSONAtomSimple MetadataBibTeXIBW_RDAEP3 XML
Suche nach Titel in:	TUfind oder in Google

Verfügbare Versionen dieses Eintrags

• Combining Model Reductions. (deposited 30 Apr 2024 09:11)
  • Combining Model Reductions. (deposited 04 Apr 2014 14:18) [Gegenwärtig angezeigt]

Frage zum Eintrag

Optionen (nur für Redakteure)

Redaktionelle Details anzeigen