Biomedical Engineering Reference
In-Depth Information
9. Saluja, N.S., Gulati, K., Khatri, S.P.: SAT-based ATPG using multilevel compatible don't-cares.
ACM Trans. Des. Autom. Electron. Syst.
13
, 24:1-24:18, April (2008)
10. Lin, P. K., Khatri, S.P. “Inference of gene predictor set using Boolean satisfiability,” in Genomic
Signal Processing and Statistics (GENSIPS), 2010 IEEE International Workshop on, Nov. 2010,
pp. 1-4.
11. Corbin, F., Bordeaux, L., Hamadi, Y., Fanchon, E., Trilling, L.: A SAT-based approach to
decipher gene regulatory networks. Integrative Post-Genomics, RIAMS, Lyon, (2007)
12. Dubrova, E., Teslenko, M., A SAT-based algorithm for finding attractors in synchronous
Boolean networks. IEEE/ACM Trans. Comput. Biol. Bioinforma.
8
(5) 1393-1399, Sept.
(2011)
13. Akutsu, T., Hayashida, M., Ching, W.K., Ng, M.K.: Control of Boolean networks: Hardness
results and algorithms for tree structured networks. J. Theor. Biol.,
244
(4) 670-679, (2007)
14. Langmead, C.J., Jha, S.K.: Symbolic approaches for finding control strategies in Boolean
networks. J. Bioinforma. Comput. Biol. 323-338 April (2009)
15. Li,
C.M.,
Manya,
F.,
Planes,
J.:
Maxsatz,
EnglishPage.html/,
Accessed 10 July 2011.
16. Li, C., Manya, F., Mohamedou, N., Planes, J.: Exploiting cycle structures in Max-SAT, in
Theory and Applications of Satisfiability Testing - SAT 2009, Oliver Kullmann, Ed., vol. 5584
of Lecture Notes in Computer Science, pp. 467-480. Springer, Berlin (2009)
17. Santa Cruz Biotechnology Inc, Santa cruz biotechnology, inc home,
http://www.scbt.com/,
Accessed 15 Aug 2011
18. National Center for Biotechnology Information, Pubmed health - national library of medicine,
http://www.ncbi.nlm.nih.gov/pubmedhealth/,
Accessed August 15, 2011
19. Faryabi, B., Chamberland, J.-F., G. Vahedi, Datta, A., Dougherty, E.R.: Optimal intervention
in asynchronous genetic regulatory networks. IEEE J. Sel. Top. Signal Process.
2
(3) 412-423,
June (2008)
20. Abramovici, M., Breuer, M. A., Friedman, A. D.: Digital Systems Testing and Testable Design,
Computer Science Press, (1990)
21. Kohavi, Z.: Switching and Finite Automata Theory, Computer Science Series. McGraw-Hill
Book Company. (1970)
