Biomedical Engineering Reference
In-Depth Information
6. 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, pp. 1-4
(2010)
7. Lin, P. K., Khatri S.P.: Efficient cancer therapy using Boolean networks and Max-SAT-
based ATPG. Genomic Signal Processing and Statistics (GENSIPS), 2011 IEEE International
Workshop on. IEEE, pp. 87-90. (2011)
8. Lin, P. K., Khatri S.P.: Application of logic synthesis to the understanding and cure of genetic
diseases, Proceedings of the 49th Annual Design Automation Conference, pp. 734-740. (2012)
9. Jacob, F., Monod,M., Genetic regulatory mechanisms in the synthesis of proteins, J. Mol.Biol.,
3
(3), 318-356 (1961)
10. Karnaugh, M., The map method for synthesis of combinational logic circuits, Trans. AIEE.
72
(9), 593-599, (1953)
11. Gosti,W., Khatri,S.P., Sangiovanni-Vincentelli, A.L., Addressing the timing closure problem
by integrating logic optimization and placement, in Proceedings of the 2001 IEEE/ACM In-
ternational Conference on Computer-Aided Design, Piscataway, NJ, USA, 2001, ICCAD '01,
224-231, IEEE Press
12. Yamashita, S., Sawada, H., Nagoya, A.: A new method to express functional permissibilities
for LUT based FPGAs and its applications, in Proceedings of the International Conference on
Computer-Aided Design, pp. 254-61. (1996)
13. Brayton, R.: Understanding SPFDs: A new method for specifying flexibility, in Workshop
Notes, International Workshop on Logic Synthesis, Tahoe City (1997)
14. Sinha, S., Brayton, R.: Implementation and use of SPFDs in optimizing Boolean networks, in
Proceedings of the International Conference on Computer-Aided Design, pp. 103-10. (1998)
15. Lin, B., Newton, A.R.: Synthesis of Multiple Level Logic from Symbolic High-Level
Description Languages, in Proc. of the Intl. Conf. on VLSI, pp. 187-196. (1989)
16. Villa, T., Sangiovanni-Vincentelli, A.L., NOVA: State Assignment of Finite State Machines for
Optimal Two-Level Logic Implementations,IEEE Transactions on Computer-Aided Design of
Integrated Circuits.
9
(9), 905-924 (1990)
17. Een,N., Sorensson,N., The minisat page, http://minisat.se. Accessed April 6 (2010)
18. Moskewicz,M., Madigan,C., Zhao,Y., Zhang,L., Malik,S., Chaff: Engineering an efficient SAT
solver, in Proceedings of the Design Automation Conference, July (2001)
19. 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)
20. Dubrova, E., Teslenko, M..: A SAT-based algorithm for finding attractors in synchronous
Boolean networks. IEEE/ACM Trans. Computat. Biolo. Bioinform.
8
(5), 1393-1399 (2011)
21. Weinberg, R.A.: The Biology of Cancer, Garland Science, Princeton. (2006)
22. Batchelor, E., Loewer, A., Lahav, G.: The ups and downs of p53: understanding protein
dynamics in single cells. Nat. Rev. Cancer.
9
(5), 371-377 (2009)
