MIRACH: Efficient model checker for quantitative biological pathway models

MIRACH: Efficient model checker for quantitative biological pathway models

10.1093/bioinformatics/btq727

Saved in:

書目詳細資料
Main Authors:	Koh, C.H., Nagasaki, M., Saito, A., Li, C., Wong, L., Miyano, S.
其他作者:	COMPUTER SCIENCE
格式:	Article
出版:	2013
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/39878
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

DA 1.0: Parameter estimation of biological pathways using data assimilation approach
由: Koh, C.H., et al.
出版: (2013)

Principles of the Spin model checker
由: Mordechai Ben-Ari
出版: (2017)

Developing model checkers using PAT
由: Liu, Y., et al.
出版: (2013)

Developing model checkers using PAT
由: LIU, Yang, et al.
出版: (2010)

A memory model sensitive checker for C#
由: Huynh, T.Q., et al.
出版: (2013)

Intelligent checkers
由: Alino, Emily R., et al.
出版: (1993)

Build your own model checker in one month
由: Dong, J.S., et al.
出版: (2014)

Computational modelling of biological pathways
由: Kumar Selvarajoo
出版: (2008)

A model checker for hierarchical probabilistic real-time systems
由: Song, S., et al.
出版: (2013)

A model checker for hierarchical probabilistic real-time systems
由: SONG, Songzheng, et al.
出版: (2012)

Model checking a model checker: A code contract combined approach
由: SUN, Jun, et al.
出版: (2010)

Wire layout checker
由: Raja Ravi
出版: (2008)

USMMC: A self-contained model checker for UML state machines
由: LIU, Shuang, et al.
出版: (2013)

Towards a model checker for NesC and wireless sensor networks
由: Zheng, M., et al.
出版: (2013)

PAT 3: An extensible architecture for building multi-domain model checkers
由: Liu, Y., et al.
出版: (2013)

Towards a model checker for NesC and wireless sensor networks
由: ZHENG, Manchun, et al.
出版: (2011)

PAT 3: An extensible architecture for building multi-domain model checkers
由: LIU, Yang, et al.
出版: (2011)

USMMC: A self-contained model checker for UML state machines
由: Liu, S., et al.
出版: (2014)

GraSp: Grammar and Spelling checker
由: Lao, Jocelyn Grace T., et al.
出版: (1996)

Generating Hardware Assertion Checkers
由: Boulé, Marc, et al.
出版: (2017)

Improved statistical model checking methods for pathway analysis.
由: Koh C.H., et al.
出版: (2018)

Probabilistic Approaches to Modeling Uncertainty in Biological Pathway Dynamics
由: BENJAMIN MATE GYORI
出版: (2014)

RIS home checker: Source code
由: Inamarga, Harold N.
出版: (2006)

Finding an optimal solution for the game of checkers
由: Delena, Raymund E., et al.
出版: (1996)

Summary and findings on faculty checker's report
由: Canasa, Carmel Elaine V.
出版: (2016)

A quantitative model for efficient maintenance of plastered and painted façades
由: Teo, E.A.-L., et al.
出版: (2014)

INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA
由: Alam Hasabie, Nur

Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01
由: Bùi, Phi Điệp
出版: (2017)

Self-service point of sale sytem with portable price checker
由: Ang, Jan Otaner L., et al.
出版: (2007)

The hippo pathway in biological control and cancer development
由: Chan, S.W., et al.
出版: (2014)

Developing a grammar checker for Filipino using language tool
由: Oco, Nathaniel A., et al.
出版: (2011)

Gramatika: A grammar checker for the low-resourced Filipino language
由: Go, Matthew Phillip, et al.
出版: (2017)

Ailbot: a Respiratory-Focused Symptom Checker Chatbot For Children
由: Arco, Gabrielle Mae V., et al.
出版: (2022)

Kota Kinabalu: checkered past, present challenges, bright future?
由: Simone Chung Shu Yeng, et al.
出版: (2019)

RULE-BASED AND STATISTIC APPROACH COMPARISON FOR ARABIC GRAMMAR CHECKER
由: Akbar Nugraha, Dias

A STATISTICAL AND RULE-BASED GRAMMAR CHECKER FOR INDONESIAN TEXT
由: FAHDA (NIM : 13513079), ASANILTA

PERFORMANCE OPTIMIZATION OF RUNTIME SEMANTIC CHECKER BASED ON T2C
由: Shidqi Parikesit, Dimas

SYNTACS: A spelling and grammar checker geared towards computer science
由: Ang, Judy, et al.
出版: (1993)

A spell checker for a low-resourced and morphologically rich language
由: Octaviano, Manolito, et al.
出版: (2017)

Singlish Checker: A tool for understanding and analysing an English Creole language
由: HSIEH, Lee-Hsun, et al.
出版: (2022)