Please use this identifier to cite or link to this item:
|Title:||MicroRNA target validation by formal methods||Authors:||Yang, Y.
|Issue Date:||2011||Citation:||Yang, 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||Abstract:||MicroRNA, 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.||Source Title:||IEEE International Conference on Control and Automation, ICCA||URI:||http://scholarbank.nus.edu.sg/handle/10635/51208||ISBN:||9781457714757||ISSN:||19483449||DOI:||10.1109/ICCA.2011.6138075|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Aug 18, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.