Computational Methods in Systems Biology
312 L. Paulev ́e Fig. 2.Illustration of main features ofPintrelated to the transient reachability of a set of goal states from ( ...
PINT: A Static Analyzer for Transient Dynamics of Qualitative Networks 313 Table 1. Benchmark† of goal reachability verification ...
314 L. Paulev ́e model-checking, but the static analysis inPintallows tackling larger models, at the price of returning incomple ...
PINT: A Static Analyzer for Transient Dynamics of Qualitative Networks 315 In the next major release, we plan to add full suppor ...
316 L. Paulev ́e Leprevost, F.V., et al.: Biocontainers: an open-source and community-driven frame- work for software standardi ...
Posters ...
Discrete Bifurcation Analysis with Pithya Nikola Beneˇs, Luboˇs Brim, Martin Demko, Matej Hajnal, Samuel Pastva, and DavidˇSafr ...
320 N. Beneˇsetal. References Beneˇs, N., Brim, L., Demko, M., Pastva, S.,ˇSafr ́anek, D.: Pithya: a parallel tool for paramete ...
Discrete Stochastic Graph Dynamics for the Nuclear Architecture of Mouse Meiotic Prophase Spermatocytes (Extended Abstract) Juli ...
322 J.L. Fenner et al. Fig. 1.Parallel evolution inG.Red lines indicate direction of displace- ment (Color figure online). Upon ...
Discrete Stochastic Graph Dynamics for the Nuclear Architecture 323 References Berrios, S.: Nuclear architecture of mouse sperm ...
Non-disjoint Clustered Representation for Distributions over a Population of Cells Matthieu Pichen ́e1(B), Sucheendra Palaniappa ...
Non-disjoint Clustered Representation for Distributions 325 Alternately, one can preserve a few of the strongest correlations, s ...
326 M. Pichen ́eetal. References Murphy, K., Weiss, Y.: The factored frontier algorithm for approximate inference in DBNs. In: ...
Effects of the Dynamics of the Steps in Transcription Initiation on the Asymmetry of the Distribution of Time Intervals Between ...
Here, RNA production kinetics is controlled bykccandkoc. The probability density function (pdf) of the distribution of intervals ...
Joanes, D.N., Gill, C.A.: Comparing measures of sample skewness and kurtosis. R. Stat. Soc. 47 , 183–189 (1998) Carpenter, J., ...
Author Index Abbas, Houssam 23 Barnat, Jiří 40 Bartocci, Ezio 23 Beneš, Nikola 40 , 319 Berríos, Soledad 321 Bernot, Gilles 196 ...
Talcott, Carolyn 249 Telmer, Cheryl 145 Theret, Nathalie 91 Thiagarajan, P.S. 265 Visa, Ari 327 Walter, Jörn 160 Wang, Qinsi 145 ...
«
8
9
10
11
12
13
14
15
16
17
»
Free download pdf