1 option
Molecular Logic and Computational Synthetic Biology : First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers / edited by Madalena Chaves, Manuel A. Martins.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 11415
- Theoretical Computer Science and General Issues, 2512-2029 ; 11415
- Language:
- English
- Subjects (All):
- Machine theory.
- Artificial intelligence.
- Algorithms.
- Numerical analysis.
- Formal Languages and Automata Theory.
- Artificial Intelligence.
- Numerical Analysis.
- Local Subjects:
- Formal Languages and Automata Theory.
- Artificial Intelligence.
- Algorithms.
- Numerical Analysis.
- Physical Description:
- 1 online resource (XI, 157 pages) : 174 illustrations, 17 illustrations in color.
- Edition:
- 1st ed. 2019.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2019.
- System Details:
- text file PDF
- Summary:
- 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 symposium. One of the goals of the MLCSB 2018 was to explore the potential of molecular logic frameworks to study the emerging behavioural patterns in biological networks, combining discrete, continuous and stochastic features, and resorting both to specific or general-purpose analysis and verification techniques.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-19432-1
- 9783030194321
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.