Rate Equations for Graphs
| العنوان: | Rate Equations for Graphs |
|---|---|
| المؤلفون: | Tobias Heindel, Sandro Stucki, Ricardo Honorato-Zimmer, Vincent Danos |
| المساهمون: | Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS), Analyse Statique par Interprétation Abstraite (ANTIQUE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Technical University of Berlin / Technische Universität Berlin (TU), Centro Interdisciplinario de Neurociencia de Valparaiso (CINV), Universidad de Valparaiso [Chile], University of Gothenburg (GU), RH-Z was supported by ANIDFONDECYT/POSTDOCTORADO/No320054, Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Inria de Paris, Technische Universität Berlin (TU), Département d'informatique de l'École normale supérieure (DI-ENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris) |
| المصدر: | CMSB 2020-18th International Conference Computational Methods in Systems Biology CMSB 2020-18th International Conference Computational Methods in Systems Biology, Sep 2020, Konstanz / Virtual, Germany. pp.3-26, ⟨10.1007/978-3-030-60327-4_1⟩ Computational Methods in Systems Biology ISBN: 9783030603267 CMSB |
| بيانات النشر: | HAL CCSD, 2020. |
| سنة النشر: | 2020 |
| مصطلحات موضوعية: | FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 050101 languages & linguistics, Graph rewriting, Theoretical computer science, Rule-based Modelling, Computer science, Concurrency, 05 social sciences, Algebraic Graph Rewriting, Order (ring theory), 02 engineering and technology, Expression (mathematics), Logic in Computer Science (cs.LO), Complex dynamics, Mean Field Approximations, Mean field theory, Formal language, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, [INFO]Computer Science [cs], Algebraic number, Graph Transformation Systems |
| الوصف: | In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2) mean field approximations (MFAs), a collection of approximation techniques ubiquitous in the study of complex dynamics. Using existing tools from algebraic graph rewriting, as well as new ones, we build a framework which generates rate equations for stochastic GTSs and from which one can derive MFAs of any order (no longer limited to the humanly computable). The procedure for deriving rate equations and their approximations can be automated. An implementation and example models are available online at https://rhz.github.io/fragger. We apply our techniques and tools to derive an expression for the mean velocity of a two-legged walker protein on DNA. Comment: to be presented at the 18th International Conference on Computational Methods in Systems Biology (CMSB 2020) |
| اللغة: | English |
| ردمك: | 978-3-030-60326-7 |
| DOI: | 10.1007/978-3-030-60327-4_1⟩ |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b37bd90b819371c8f5ea7293fa26bd4 https://hal.science/hal-03096240/file/2008.11066.pdf |
| Rights: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....5b37bd90b819371c8f5ea7293fa26bd4 |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783030603267 |
|---|---|
| DOI: | 10.1007/978-3-030-60327-4_1⟩ |