A Model Checking Approach to the Parameter Estimation of Biochemical Pathways

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-88562-7_20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

New Approach to Parameter Estimation of a Hammerstein Model

Transactions of the Society of Instrument and Control Engineers
1998English

Automated Parameter Estimation for Biological Models Using Bayesian Statistical Model Checking

BMC Bioinformatics
BiochemistryApplied MathematicsComputer Science ApplicationsStructural BiologyMolecular Biology
2015English

Regression Approach to Parameter Estimation of an Exponential Software Reliability Model

American Journal of Theoretical and Applied Statistics
2016English

A Bayesian Approach to Model Checking Biological Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Bootstrap Approach to Comparison of Alternative Methods of Parameter Estimation of a Simultaneous Equation Model

African Research Review
2008English

A Bayesian Parameter Estimation Approach to Pulsar Time-Of-Arrival Analysis

Classical and Quantum Gravity
AstronomyPhysics
2011English

Improved Differential Evolution Algorithm for Parameter Estimation to Improve the Production of Biochemical Pathway

International Journal of Interactive Multimedia and Artificial Intelligence
2012English

An Epistemic Model Checking Approach to Web Service Compositions

International Journal of Wireless and Microwave Technologies
2012English

A Novel Approach to the Estimation of the Hurst Parameter in Self-Similar Traffic

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy