default search action
15. CMSB 2017: Darmstadt, Germany
- Jérôme Feret, Heinz Koeppl:
Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10545, Springer 2017, ISBN 978-3-319-67470-4
Invited Paper
- Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko:
Bio-Curation for Cellular Signalling: The KAMI Project. 3-19
Regular Papers
- Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Quantitative Regular Expressions for Arrhythmia Detection Algorithms. 23-39 - Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek:
Detecting Attractors in Biological Models with Uncertain Parameters. 40-56 - Célia Biane, Franck Delaplace:
Abduction Based Drug Target Discovery Using Boolean Control Network. 57-73 - Arthur Carcano, François Fages, Sylvain Soliman:
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. 74-90 - Jean Coquet, Nathalie Théret, Vincent Legagneux, Olivier Dameron:
Identifying Functional Families of Trajectories in Biological Pathways by Soft Clustering: Application to TGF-β Signaling. 91-107 - François Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly:
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. 108-127 - Emmanuel Klinger, Jan Hasenauer:
A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte Carlo. 128-144 - Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov:
Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. 145-159 - Alexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf:
A Stochastic Model for the Formation of Spatial Methylation Patterns. 160-178 - Hugues Mandon, Stefan Haar, Loïc Paulevé:
Temporal Reprogramming of Boolean Networks. 179-195 - Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney:
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes. 196-213 - Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin:
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. 214-232 - Robert Schwieger, Heike Siebert:
Graph Representations of Monotonic Boolean Model Pools. 233-248 - Carolyn L. Talcott, Merrill Knapp:
Explaining Response to Drugs Using Pathway Logic. 249-264 - Jun Zhou, R. Ramanathan, Weng-Fai Wong, P. S. Thiagarajan:
Automated Property Synthesis of ODEs Based Bio-pathways Models. 265-282
Tool Papers
- Patrick Boba, Kay Hamacher:
TransferEntropyPT: An R Package to Assess Transfer Entropies via Permutation Tests. 285-290 - Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý:
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. 291-299 - Bree Cummins, Tomás Gedeon, Shaun Harker, Konstantin Mischaikow:
Database of Dynamic Signatures Generated by Regulatory Networks (DSGRN). 300-308 - Loïc Paulevé:
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. 309-316
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.