These were peer-reviewed by the Programme Committee and will be presented orally at the conference. They are included in the The conference proceedings have now been published as a volume 8859 in the Lecture Notes in Bioinformatics series. Hardcopies will be available free to all conference delegates.
Available here (CMSB 2014, LNBI 8859) until conference is over.
Dynamic modeling and simulation of leukocyte integrin activation through an electronic design automation framework. Bombieri N, Distefano R, Giugno R, Scardoni G, Fummi F, Laudanna C.
Precise parameter synthesis for stochastic biochemical systems. Češka M, Dannenberg F, Kwiatkowska M, Paoletti N.
Characterization of reachable attractors using Petri net unfoldings. Chatain T, Haar S, Jezequel L, Paulevé L, Schwoon S.
Exploring the Cellular Objective in Flux Balance Constraint-Based Models. Costa R, Nguyen S, Hartman A, Vinga S.
Radial basis function approximation of Bayesian parameter posterior densities for uncertainty analysis. Fröhlich F, Hross S, Theis F, Hasenauer J.
Uncertainty analysis for non-identifiable dynamical systems: profile likelihoods, bootstrapping and more. Fröhlich F, Theis F, Hasenauer J.
Improved Parameter Estimation in Kinetic Models: Selection and Tuning of Regularization Methods. Gábor A, Banga J.
A rule-based model of base excision repair. Koehler A, Krivine J, Vidmar J.
On defining and computing "good" conservation laws. Lemaire F, Temperville A.
Using process algebra to model radiation induced bystander effects. Lintott R, McMahon S, Prise K, Addie-Lagorio C, Shankland C.
Parameter synthesis for cardiac cell hybrid models using δ-decisions. Liu B, Kong S, Gao S, Zuliani P, Clarke E.
Towards real-time control of gene expression at the single cell level: a stochastic control approach. Maruthi L, Tkachev I, Carta A, Cinquemani E, Hersen P, Batt G, Abate A.
Optimization based design of synthetic oscillators from standard biological parts. Otero-Muras I, Banga JR.
SAT-based metabolics pathways analysis without compilation. Peres S, Morterol M, Simon L.
Model integration and crosstalk analysis of logical regulatory networks. Thobe K, Streck A, Klarner H, Siebert H.
Trace simplification for temporal logic constraint solving: Application to oscillation constraints between the circadian clock and the cell cycle. Traynard P, Fages F, Soliman S.
Posters must be smaller than A1 size (59.4 x 84.1 cm / 23.4 x 33.1 inches)
Kinetic models of biological systems: robust identifiability analysis. Arias-Méndez A, Villaverde AF, Banga JR, Balsa-Canto, E.
Topological sensitivity analysis for systems biology. Babtie A, Kirk P, Stumpf M. withdrawn
Predictive Modelling of Mitochondrial Spatial Structure and Health. Bittig AT, Reinhardt F, Baltrusch S, Uhrmacher A.
Single cell processing of inflammatory signals via the NF-kappaB network. Boddington C, Adamson A, Bagnall J, Spiller D, Jackson D, White M, Paszek P.
Ensemble of Cooperative Parallel Meta-heuristics for Cancer Diagnosis Based on Biomarker Discovery. Boucheham A, Batouche M. withdrawn
Stochastic Modelling of the Interface between Regulatory Enzymes and Transcriptional Initiation at Inducible Genes. Ceska M, Schneider C, Abate A, Šafránek D, Mahadevan L, Kwiatkowska M.
XTMS in action: retrosynthetic design in the extended metabolic space of heterologous pathways for high-value compounds. Delépine B, Carbonell P, Faulon J-L.
Latent Structures-based Modeling of Mutated Protein-Protein Interaction Networks. Folch-Fortuny A, Bosque G, Picó J, Ferrer A, Elena SF.
Enabling Network Inference Methods to Handle Missing Data. Folch-Fortuny A, Villaverde AF, Ferrer A, Banga JR.
A tissue-specific survey of the human embryonic regulome at organogenesis. Gerrard D, Berry A, Donaldson I, Bobola N, Hanley N.
Diagnostics for assessing the accuracy of approximate stochastic simulators. Gillespie C.
Modelling Polar Retention of Complexes in Escherichia coli. Gupta A, Lloyd-Price J, Ribeiro AS.
E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. Klement M, Šafránek D, Červený J, Děd T, Brim L, Mueller S, Steuer R.
THiMED: Time in Hierarchical Model Extraction and Design. Miskov-Zivanov N, Wei P, Loh C.
BioPreDyn software: an implementation of the systems biology model building cycle. Moreau B, Boix E.
Functions on Solutions — Language Extensions for ML-Rules. Nähring S, Helms T, Rybacki S, Uhrmacher AM.
FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays. Stewart D, Gilmore S, Cousin M.
Towards a Language for Specifying Properties of Simulation Trajectories. Warnke T, Peng D, Haack F, Uhrmacher A.
Extensible and Executable Stochastic Models of Fatty Acid and Lipid Metabolism. Zardilis A, Dias J, Acharjee A, Smith J.
Accepted papers will be appear in the Conference Proceedings, published by Springer in the Lecture Notes in Bioinformatics series. A free copy will be supplied, at the conference, to all the participants
This Website by Pedro Mendes is licensed under a Creative Commons Attribution 4.0 International License. This page uses the Perfect 'Left Menu' 2 Column Liquid Layout.