Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Chaves, Madalena (Editor, http://id.loc.gov/vocabulary/relators/edt), Martins, Manuel A. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Series: Theoretical Computer Science and General Issues ; 11415
• Subjects: Mathematical logic.; Artificial intelligence.; Algorithms.; Numerical analysis.; Mathematical Logic and Formal Languages.; Artificial Intelligence.; Algorithm Analysis and Problem Complexity.; Numeric Computing.

This book collects the revised selected proceedings of the First International Symposium in Molecular Logic and Computational Synthetic Biology ( MLCSB), held in Chile, Santiago, in December 2018. The volume contains 7 full revised papers along with 2 surveys from 19 submissions presented at the sym...

Table of Contents:

• Molecular Logic: Brief Introduction and Some Philosophical Considerations
• Verification for everyone? An overview of Dynamic Logic
• Oscillatory behaviour on a non-autonomous hybrid SIR-model
• Combinatorial dynamics for regulatory networks
• Reactive models for biological regulatory networks
• Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks
• On the existence of synergies and the separability of closed reaction networks
• A Logical Framework for Modelling Breast Cancer Progression
• Random chromatin neighborhoods in 2n=40 Mus m. domesticus meiotic cells: P-percolation and image segmentation.