Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICCA.2011.6138075
DC FieldValue
dc.titleMicroRNA target validation by formal methods
dc.contributor.authorYang, Y.
dc.contributor.authorCheng, X.
dc.contributor.authorHai, L.
dc.date.accessioned2014-04-24T08:36:26Z
dc.date.available2014-04-24T08:36:26Z
dc.date.issued2011
dc.identifier.citationYang, Y., Cheng, X., Hai, L. (2011). MicroRNA target validation by formal methods. IEEE International Conference on Control and Automation, ICCA : 1337-1342. ScholarBank@NUS Repository. https://doi.org/10.1109/ICCA.2011.6138075
dc.identifier.isbn9781457714757
dc.identifier.issn19483449
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/51208
dc.description.abstractMicroRNA, as one typical type of molecule in RNA interference mechanism, plays a significant role in carcinogenesis. The identification of the silencing targets is one critical task. The bioinformatics tools predict enormous number of targets so as to be considered that most of the results are false positive. Target validation represents a great challenge to microRNA studies. We develop a systematic way to address the above challenge. microRNA and its predicted targets are investigated in the context of biological pathways. The comparison of dynamical behaviours from the models with or without considering repression relations will determine the validity of the targets. Model-checking based formal method is introduced to facilitate this procedure. In case of lacking biological evidences, experimental design is proposed as well. The approach has been applied to mir-34a and its targets in apoptosis pathways. © 2011 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/ICCA.2011.6138075
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentELECTRICAL & COMPUTER ENGINEERING
dc.description.doi10.1109/ICCA.2011.6138075
dc.description.sourcetitleIEEE International Conference on Control and Automation, ICCA
dc.description.page1337-1342
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.