Contents
Invited Paper
Bio-Curation for Cellular Signalling: The KAMI Project............... 3
Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré,
and Ievgeniia Oshurko
Regular Papers
Quantitative Regular Expressions for Arrhythmia Detection Algorithms..... 23
Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka,
and Radu Grosu
Detecting Attractors in Biological Models with Uncertain Parameters...... 40
JiříBarnat, Nikola Beneš, LubošBrim, Martin Demko, Matej Hajnal,
Samuel Pastva, and DavidŠafránek
Abduction Based Drug Target Discovery Using Boolean Control Network... 57
Célia Biane and Franck Delaplace
Probably Approximately Correct Learning of Regulatory Networks
from Time-Series Data....................................... 74
Arthur Carcano, François Fages, and Sylvain Soliman
Identifying Functional Families of Trajectories in Biological Pathways
by Soft Clustering: Application to TGF-bSignaling.................. 91
Jean Coquet, Nathalie Theret, Vincent Legagneux, and Olivier Dameron
Strong Turing Completeness of Continuous Chemical Reaction
Networks and Compilation of Mixed Analog-Digital Programs........... 108
François Fages, Guillaume Le Guludec, Olivier Bournez,
and Amaury Pouly
A Scheme for Adaptive Selection of Population Sizes in Approximate
Bayesian Computation - Sequential Monte Carlo..................... 128
Emmanuel Klinger and Jan Hasenauer
Methods to Expand Cell Signaling Models Using Automated Reading
and Model Checking........................................ 145
Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran,
Peter Spirtes, and Natasa Miskov-Zivanov