Improved statistical model checking methods for pathway analysis.

Improved statistical model checking methods for pathway analysis.

10.1186/1471-2105-13-S17-S15

Saved in:

書目詳細資料
Main Authors:	Koh C.H., Palaniappan S.K., Thiagarajan P.S., Wong L.
其他作者:	DEPARTMENT OF COMPUTER SCIENCE
格式:	Article
出版:	BioMed Central Ltd. 2018
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/143479
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Statistical model checking based calibration and analysis of bio-pathway models
由: Palaniappan, S.K., et al.
出版: (2014)

Dynamic bayesian networks: A factored model of probabilistic dynamics
由: Palaniappan, S.K., et al.
出版: (2013)

On the sequential massart algorithm for statistical model checking
由: JEGOUREL, Cyrille, et al.
出版: (2018)

Incremental signaling pathway modeling by data integration
由: Koh, G., et al.
出版: (2013)

Component-based construction of bio-pathway models: The parameter estimation problem
由: Koh, G., et al.
出版: (2013)

Sequential schemes for frequentist estimation of properties in statistical model checking
由: JEGOUREL, Cyrille, et al.
出版: (2017)

A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways
由: Palaniappan, S.K., et al.
出版: (2013)

A decompositional approach to parameter estimation in pathway modeling: A case study of the Akt and MAPK pathways and their crosstalk
由: Koh, G., et al.
出版: (2013)

Statistics-based rule generation for Filipino style and grammar checking
由: Oco, Nathaniel A.
出版: (2014)

IMPROVED BAYESIAN MODEL SPECIFICATION VIA ROBUST METHODS AND CHECKING FOR PRIOR-DATA CONFLICT
由: WANG XUEOU
出版: (2017)

Probabilistic approximations of signaling pathway dynamics
由: Liu, B., et al.
出版: (2013)

Improved Symbolic Model Checking of Real-Time Systems
由: NGUYEN TRUONG KHANH
出版: (2014)

Composing globally consistent pathway parameter estimates through belief propagation
由: Koh, G., et al.
出版: (2013)

Probabilistic approximations of ODEs based bio-pathway dynamics
由: Liu, B., et al.
出版: (2013)

Enhancing State Space Reduction Methods for Model Checking
由: ZHANG SHAOJIE
出版: (2013)

Improvement of optical misalignment checking instrument
由: Ng, Wei Xuan Samuel
出版: (2016)

Modeling and analysis of biopathways dynamics
由: Liu, B., et al.
出版: (2013)

Improved EGT-based robustness analysis of negotiation strategies in multiagent systems via model checking
由: SONG, Songzheng, et al.
出版: (2016)

APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
由: YAMILET ROSARIO SERRANO LLERENA
出版: (2018)

Compliance through model checking
由: MAHAJAN, Avishkar, et al.
出版: (2022)

METHOD TO ELIMINATE AVOIDABLE CHECKING OF INTEGRITY CONSTRAINTS.
由: Ling, Tok-Wang, et al.
出版: (2014)

MODELLING AND FORMAL VERIFICATION ON TRAIN INTERLOCKING SYSTEM USING MODEL CHECKING METHOD
由: PRADITYO (NIM : 13313022) ; BENEDICTUS ARSTYO NUGROHO (NIM : 13313096), KEVIN

Innate immune memory and homeostasis may be conferred through crosstalk between the TLR3 and TLR7 pathways
由: Liu, Bing, et al.
出版: (2021)

MIRACH: Efficient model checker for quantitative biological pathway models
由: Koh, C.H., et al.
出版: (2013)

A hybrid factored frontier algorithm for dynamic bayesian networks with a biopathways application
由: Palaniappan, S.K., et al.
出版: (2013)

Approximate probabilistic analysis of biopathway dynamics
由: Liu, B., et al.
出版: (2013)

Model Checking and Artificial Intelligence
出版: (2017)

Planning as model checking tasks
由: Li, Y., et al.
出版: (2014)

Extensions of the External Validation for Checking Learned Model Interpretability and Generalizability
由: Ho, S.Y., et al.
出版: (2021)

Two-server model: A check on queue explosion in PAL common check-in section
由: Amacio, Leonor T., et al.
出版: (1986)

Quality check : improving the quality of screen time for young children
由: Ng, Corinna, et al.
出版: (2022)

Improving model checking stateful timed CSP with non-zenoness through clock-symmetry reduction
由: SI, Yuanjie, et al.
出版: (2013)

Statistical methods for discovery sampling.
由: Koh, Kristine Ai Ping., et al.
出版: (2008)

Model Checking in the Absence of Code, Model and Properties
由: LO, David, et al.
出版: (2007)

Verification, Model Checking, and Abstract Interpretation
出版: (2017)

Verification, Model Checking, and Abstract Interpretation
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm.
出版: (2017)

Verification, Model Checking, and Abstract Interpretation
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg
出版: (2017)

Model checking in isomorphic module systems
由: Wang, Weilin, et al.
出版: (2020)

Model checking software architecture design
由: Zhang, Jiexin, et al.
出版: (2013)

Towards model checking android applications
由: Bai, Guangdong, et al.
出版: (2020)