default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. CMSB 2014: Manchester, UK
- Pedro Mendes
, Joseph O. Dada, Kieran Smallbone:
Computational Methods in Systems Biology - 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings. Lecture Notes in Computer Science 8859, Springer 2014, ISBN 978-3-319-12981-5
Formalisms for Modelling Biological Processes
- François Lemaire, Alexandre Temperville:
On Defining and Computing "Good" Conservation Laws. 1-19 - Sabine Pérès, Martin Morterol, Laurent Simon:
SAT-Based Metabolics Pathways Analysis without Compilation. 20-31 - Kirsten Thobe, Adam Streck, Hannes Klarner, Heike Siebert:
Model Integration and Crosstalk Analysis of Logical Regulatory Networks. 32-44
Model Inference from Experimental Data
- Attila Gábor, Julio R. Banga:
Improved Parameter Estimation in Kinetic Models: Selection and Tuning of Regularization Methods. 45-60 - Fabian Fröhlich, Fabian J. Theis, Jan Hasenauer:
Uncertainty Analysis for Non-identifiable Dynamical Systems: Profile Likelihoods, Bootstrapping and More. 61-72 - Fabian Fröhlich, Sabrina Hross, Fabian J. Theis, Jan Hasenauer:
Radial Basis Function Approximations of Bayesian Parameter Posterior Densities for Uncertainty Analysis. 73-85
Frameworks for Model Verification, Validation, and Analysis of Biological Systems
- Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti:
Precise Parameter Synthesis for Stochastic Biochemical Systems. 86-98 - Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke:
Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions. 99-113 - Pauline Traynard, François Fages, Sylvain Soliman:
Trace Simplifications Preserving Temporal Logic Formulae with Case Study in a Coupled Model of the Cell Cycle and the Circadian Clock. 114-128 - Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon:
Characterization of Reachable Attractors Using Petri Net Unfoldings. 129-142 - Nicola Bombieri, Rosario Distefano, Giovanni Scardoni, Franco Fummi, Carlo Laudanna, Rosalba Giugno:
Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework. 143-154
Models and Their Biological Applications
- Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate:
Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. 155-172 - Agnes Köhler, Jean Krivine, Jakob Vidmar:
A Rule-Based Model of Base Excision Repair. 173-195 - Rachel Lintott, Stephen McMahon, Kevin M. Prise, Celine Addie-Lagorio, Carron Shankland:
Using Process Algebra to Model Radiation Induced Bystander Effects. 196-210 - Rafael S. Costa, Son Nguyen, András Hartmann, Susana Vinga:
Exploring the Cellular Objective in Flux Balance Constraint-Based Models. 211-224
Computational Approaches for Synthetic Biology
- Irene Otero-Muras, Julio R. Banga:
Optimization Based Design of Synthetic Oscillators from Standard Biological Parts. 225-238
Flash Posters
- Abhishekh Gupta, Jason Lloyd-Price, Andre S. Ribeiro:
Modelling Polar Retention of Complexes in Escherichia coli. 239-243 - Argyris Zardilis, João Dias, Animesh Acharjee, James Smith:
Extensible and Executable Stochastic Models of Fatty Acid and Lipid Metabolism. 244-247 - Donal Stewart, Stephen Gilmore, Michael A. Cousin:
FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays. 248-251 - Arne T. Bittig, Florian Reinhardt, Simone Baltrusch, Adelinde M. Uhrmacher:
Predictive Modelling of Mitochondrial Spatial Structure and Health. 252-255 - Baudoin Delépine, Pablo Carbonell, Jean-Loup Faulon:
XTMS in Action: Retrosynthetic Design in the Extended Metabolic Space of Heterologous Pathways for High-Value Compounds. 256-259 - Natasa Miskov-Zivanov, Peter Wei, Chang Sheng Clement Loh:
THiMED: Time in Hierarchical Model Extraction and Design. 260-263
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.
last updated on 2025-10-24 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
