Skip to main content
SpringerLink
Log in

Kaemika App: Integrating Protocols and Chemical Simulation

Integrating Protocols and Chemical Simulation

  • Conference paper
  • First Online:
Computational Methods in Systems Biology (CMSB 2020)

Part of the book series: Lecture Notes in Computer Science ((LNBI,volume 12314))

Included in the following conference series:

Abstract

Kaemika is an app available on the four major app stores. It provides deterministic and stochastic simulation, supporting natural chemical notation enhanced with recursive and conditional generation of chemical reaction networks. It has a liquid-handling protocol sublanguage compiled to a virtual digital microfluidic device. Chemical and microfluidic simulations can be interleaved for full experimental-cycle modeling. A novel and unambiguous representation of directed multigraphs is used to lay out chemical reaction networks in graphical form.

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

Notes

  1. 1.

    /’kimika/, a homophone of the Italian word for chemistry.

References

  1. Abate, A., Cardelli, L., Kwiatkowska, M., Laurenti, L., Yordanov, B.: Experimental biological protocols with formal semantics. In: Češka, M., Šafránek, D. (eds.) CMSB 2018. LNCS, vol. 11095, pp. 165–182. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99429-1_10

    Chapter  Google Scholar 

  2. Alistar, M., Gaudenz, U.: OpenDrop: an integrated do-it-yourself platform for personal use of biochips. Bioengineering (Basel) 4(2), 45 (2017)

    Article  Google Scholar 

  3. Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: a tool for the evaluation and reduction of ordinary differential equations. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10206, pp. 310–328. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-54580-5_19

    Chapter  MATH  Google Scholar 

  4. Cardelli, L.: https://github.com/luca-cardelli/KaemikaXM

  5. Cook, D.: Design and development of a grammar oriented parsing system. MSc Project, California State University Sacramento (2004)

    Google Scholar 

  6. Crole, R., Nebel, F.: Nominal lambda calculus: an internal language for FM-Cartesian closed categories. ENTCS 298, 93–117 (2013)

    MathSciNet  MATH  Google Scholar 

  7. Dalchau, N.: Open solving library for ODEs. https://www.microsoft.com/en-us/research/project/open-solving-library-for-odes/

  8. Ethier, S., Kurtz, T.: Markov Processes. Wiley, Hoboken (2009)

    MATH  Google Scholar 

  9. Freire, S.: Perspectives on digital microfluidics. Sens. Actuators A: Phys. 250, 15–28 (2016)

    Article  Google Scholar 

  10. Pedersen, M., Phillips, A.: Towards programming languages for genetic engineering of living cells. J. R. Soc. Interface 6, S437–S450 (2009)

    Article  Google Scholar 

  11. Petricek, T.: What we talk about when we talk about monads. Art Sci. Eng. Program. 2(2), 12 (2018)

    Article  Google Scholar 

  12. Vasic, M., Soloveichik, D., Khurshid, S.: CRN++: molecular programming language. Nat. Comput. 19(12), 1–17 (2020)

    MathSciNet  MATH  Google Scholar 

  13. Willsey, M., et al.: Puddle: a dynamic, error-correcting, full-stack microfluidics platform. In: ASPLOS (2019)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Oxford, Oxford, UK

    Luca Cardelli

Authors
  1. Luca Cardelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Luca Cardelli .

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Oxford, Oxford, UK

    Alessandro Abate

  2. Department of Computer and Information Science, University of Konstanz, Konstanz, Germany

    Tatjana Petrov

  3. Department of Computer Science, Saarland University, Saarbrücken, Germany

    Verena Wolf

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Cardelli, L. (2020). Kaemika App: Integrating Protocols and Chemical Simulation. In: Abate, A., Petrov, T., Wolf, V. (eds) Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science(), vol 12314. Springer, Cham. https://doi.org/10.1007/978-3-030-60327-4_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-60327-4_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-60326-7

  • Online ISBN: 978-3-030-60327-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation