Login / Signup

Modular verification of chemical reaction network encodings via serializability analysis.

Matthew R. LakinDarko StefanovicAndrew Phillips
Published in: Theor. Comput. Sci. (2016)
Keyphrases
  • chemical reaction
  • data analysis
  • neural network
  • statistical analysis
  • formal analysis
  • image analysis
  • peer to peer
  • orders of magnitude
  • communication cost