Skip to main content
SpringerLink
Log in

Minimal Multiset Grammars for Recurrent Dynamics

  • Conference paper
  • First Online:
Membrane Computing (CMC 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10105))

Included in the following conference series:

  • 395 Accesses

Abstract

A biochemical network modeled by a multiset grammar may be investigated from a dynamical viewpoint by a linear recurrence system. This interesting connection between computation by a multiset grammar and a (network) recurrent dynamics poses a minimization problem, which turns out to be NP-hard.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bradley, S.P., Hax, A.C., Magnanti, T.L.: Applied Mathematical Programming. Addison-Wesley, Boston (1977)

    Google Scholar 

  2. Alhazov, A., Aman, B., Freund, R., Păun, G.: Matter and anti-matter in membrane systems. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 65–76. Springer, Heidelberg (2014). doi:10.1007/978-3-319-09704-6_7

    Google Scholar 

  3. Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., et al.: Semilinear sets, machines, and integer vector addition (P) systems. In: Leporati, A., Zandron, C. (eds.) Preproceedings of the 17th International Conference on Membrane Computing, CMC 17, Milano, pp. 39–55 (2016)

    Google Scholar 

  4. Annaluru, N., Muller, H., Mitchell, L.A., Ramalingam, S., et al.: Total synthesis of a functional designer eukaryotic chromosome. Science 344(6186), 816 (2014)

    Google Scholar 

  5. Besozzi, D., Cazzaniga, P., Pescini, D., Mauri, G.: Modelling metapopulations with stochastic membrane systems. BioSystems 91(3), 499–514 (2008)

    Article  Google Scholar 

  6. Castellini, A., Franco, G., Pagliarini, R.: Data analysis pipeline from laboratory to MP models. Nat. Comput. 10, 55–76 (2011)

    Article  MathSciNet  Google Scholar 

  7. Cazzaniga, P., Damiani, C., Besozzi, D., Colombo, R., et al.: Computational strategies for a system-level understanding of metabolism. Metabolites 4(4), 1034–1087 (2014)

    Article  Google Scholar 

  8. Franco, G., Jonoska, N., Osborn, B., Plaas, A.: Knee joint injury and repair modeled by membrane systems. BioSystems 91, 473–488 (2008)

    Article  Google Scholar 

  9. Franco, G., Manca, V., Pagliarini, R.: Regulation and covering problems in MP systems. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 242–251. Springer, Heidelberg (2010). doi:10.1007/978-3-642-11467-0_18

    Chapter  Google Scholar 

  10. Frisco, P., Gheorghe, M., Péréz-Jiménez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. Springer, Heidelberg (2014)

    Google Scholar 

  11. Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., NY (1979)

    MATH  Google Scholar 

  12. Gibson, D.G., Glass, J.I., Lartigue, C., Noskov, V.N., et al.: Creation of a bacterial cell controlled by a chemically synthesized genome. Science 329(5987), 52–56 (2010)

    Article  Google Scholar 

  13. Gibson, D.G., Venter, J.C.: Synthetic biology: construction of a yeast chromosome. Nature 509, 168–169 (2014)

    Article  Google Scholar 

  14. Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E., et al. (eds.) Complexity of Computer Computations. Plenum Press, NY (1972)

    Google Scholar 

  15. Manca, V.: Infobiotics. Springer, Heidelberg (2013)

    Book  MATH  Google Scholar 

  16. Manca, V., Castellini, A., Franco, G., Pagliarini, R.: Metabolic P systems: a discrete model for biological dynamics. Chin. J. Electron. 22, 717–723 (2013)

    Google Scholar 

  17. Manca, V., Marchetti, L.: Recurrent solutions to dynamics inverse problems: a validation of MP regression. J. of Appl. Comput. Math. 3, 1–8 (2014)

    Google Scholar 

  18. Mangasarian, O.L.: Minimum-support solutions of polyhedral concave programs. Optimization 45(1–4), 149–162 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  19. Mante, V., Sussillo, D., Shenoy, K.V., Newsome, W.T.: Context-dependent computation by recurrent dynamics in prefrontal cortex. Nature 503(7474), 78–84 (2013)

    Article  Google Scholar 

  20. Păun, G.: Membrane Computing - An Introduction. Springer, Heidelberg (2002)

    Book  MATH  Google Scholar 

  21. Pagliarini, R., Sangiovanni, M., Peron, A., Di Bernardo, D.: Combining flux balance analysis and model checking for metabolic network validation and analysis. Nat. Comput. 14(3), 341–354 (2015)

    Article  MathSciNet  Google Scholar 

  22. Szalkai, I., Dósa, G., Tuza, Z., Szalkai, B.: On minimal solutions of systems of linear equations with applications. Miskolc Math. Notes 13(2), 529–541 (2012)

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Verona, Verona, Italy

    Alessandro Farinelli, Giuditta Franco & Romeo Rizzi

Authors
  1. Alessandro Farinelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giuditta Franco
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Romeo Rizzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Giuditta Franco .

Editor information

Editors and Affiliations

  1. University of Milano-Bicocca , Milan, Italy

    Alberto Leporati

  2. Leiden University , Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Center for Computer Science , Turku, Finland

    Arto Salomaa

  4. University of Milan-Bicocca , Milan, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Farinelli, A., Franco, G., Rizzi, R. (2017). Minimal Multiset Grammars for Recurrent Dynamics. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2016. Lecture Notes in Computer Science(), vol 10105. Springer, Cham. https://doi.org/10.1007/978-3-319-54072-6_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-54072-6_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-54071-9

  • Online ISBN: 978-3-319-54072-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation