[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 10545 || Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking
- 作者Feret, Jérôme; Koeppl, Heinz
- 文件大小3867.68KB
- 发表时间2017
- DOI10.1007/978-3-319-67471-1_9
- 页码145-159
[Lecture Notes in Computer Science] Computer Science Logic Volume 2803 || Computational Mathematics, Computational Logic, and Symbolic ComputationBaaz, Matthias; Makowsky, Johann A. · 2003
[Lecture Notes in Computer Science] Computational Intelligence Volume 1625 ||Reusch, Bernd · 1999
[Lecture Notes in Computer Science] Computational Cardiology Volume 2966 ||Sachse, Frank B. · 2004
Lecture Notes in Computer Science 3146 Computational Neuroscience:Cortical DynamicsSpinger · 2004
[Lecture Notes in Computer Science] Computer Science Logic Volume 1414 || Evolution as a computational engineNielsen, Mogens; Thomas, Wolfgang · 1998
[Lecture Notes in Computer Science] Computational Forensics Volume 8915 ||Garain, Utpal; Shafait, Faisal · 2015
[Lecture Notes in Computer Science] Computational Forensics Volume 5158 ||Srihari, Sargur N.; Franke, Katrin · 2008
[Lecture Notes in Computer Science] Computational Science - ICCS 2004 Volume 3039 ||Bubak, Marian; van Albada, Geert Dick; Sloot, Peter M. A.; Dongarra, Jack · 2004
Combining Model ReductionsFerdinanda Camporesi; Jérôme Feret; Heinz Koeppl; Tatjana Petrov · 2010
[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 10545 || Detecting Attractors in Biological Models with Uncertain ParametersFeret, Jérôme; Koeppl, Heinz · 2017
[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 10545 || Bio-Curation for Cellular Signalling: The KAMI ProjectFeret, Jérôme; Koeppl, Heinz · 2017
[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 10545 || Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium ChangesFeret, Jérôme; Koeppl, Heinz · 2017
[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 10545 || Methods to Expand Cell Signaling Models Using Automated Reading and Model CheckingFeret, Jérôme; Koeppl, Heinz · 2017
[Lecture Notes in Computer Science] Computational Methods in Systems Biology Volume 10545 || A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte CarloFeret, Jérôme; Koeppl, Heinz · 2017