Please use this identifier to cite or link to this item:
https://doi.org/10.1093/bioinformatics/btq727
DC Field | Value | |
---|---|---|
dc.title | MIRACH: Efficient model checker for quantitative biological pathway models | |
dc.contributor.author | Koh, C.H. | |
dc.contributor.author | Nagasaki, M. | |
dc.contributor.author | Saito, A. | |
dc.contributor.author | Li, C. | |
dc.contributor.author | Wong, L. | |
dc.contributor.author | Miyano, S. | |
dc.date.accessioned | 2013-07-04T07:51:40Z | |
dc.date.available | 2013-07-04T07:51:40Z | |
dc.date.issued | 2011 | |
dc.identifier.citation | Koh, C.H., Nagasaki, M., Saito, A., Li, C., Wong, L., Miyano, S. (2011). MIRACH: Efficient model checker for quantitative biological pathway models. Bioinformatics 27 (5) : 734-735. ScholarBank@NUS Repository. https://doi.org/10.1093/bioinformatics/btq727 | |
dc.identifier.issn | 13674803 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/39878 | |
dc.description.abstract | Summary: Model checking is playing an increasingly important role in systems biology as larger and more complex biological pathways are being modeled. In this article we report the release of an efficient model checker MIRACH 1.0, which supports any model written in popular formats such as CSML and SBML. MIRACH is integrated with a Petri-net-based simulation engine, enabling efficient online (on-the-fly) checking. In our experiment, by using Levchenko et al. model, we reveal that timesaving gains by using MIRACH easily surpass 400% compared with its offline-based counterpart. © The Author 2011. Published by Oxford University Press. All rights reserved. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1093/bioinformatics/btq727 | |
dc.source | Scopus | |
dc.type | Article | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1093/bioinformatics/btq727 | |
dc.description.sourcetitle | Bioinformatics | |
dc.description.volume | 27 | |
dc.description.issue | 5 | |
dc.description.page | 734-735 | |
dc.description.coden | BOINF | |
dc.identifier.isiut | 000287758400026 | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.