Emulation of biological networks in reconfigurable hardware

2011 ACM Conference on Bioinformatics, Computational Biology and Biomedicine, BCB 2011

Volumn , Issue , 2011, Pages 536-540

  Miskov Zivanov, Natasa ^a   Bresticker, Andrew ^b   Krishnaswamy, Deepa ^b   Venkatakrishnan, Sreesan ^b   Marculescu, Diana ^b   Faeder, James R ^a  

^a UNIVERSITY OF PITTSBURGH SCHOOL OF MEDICINE   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALTERNATIVE APPROACH; BIOLOGICAL NETWORKS; BOOLEAN NETWORK MODELS; LONG SIMULATION TIME; MICROPROCESSOR ARCHITECTURES; SOFTWARE SIMULATION; SOFTWARE-BASED;

BIOINFORMATICS; BIOLOGICAL SYSTEMS; COMPUTER SOFTWARE;

COMPUTER SIMULATION;

EID: 84858966889     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2147805.2147893     Document Type: Conference Paper

References (23)

1. Zhang, R., Shah, M. V., Yang, J., Nyland, S. B., Liu, X., Yun, J. K., Albert, R. and Loughran, T. P., Jr. Network model of survival signaling in large granular lymphocyte leukemia. Proc Natl Acad Sci U S A, 105, 42 (2008), 16308-16313.
2. Gillespie, D. T. Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry, 81, 25 (1977), 2340-2361.
3. Novak, M. and Tyson, J. J. A model for restriction point control of the mammalian cell cycle. Journal of Theoretical Biology, 230, 4 (2004), 563-579. (Pubitemid 39195088)
4. Faeder, J. R., Blinov, M. L. and Hlavacek, W. S. Rule-based modeling of biochemical systems with BioNetGen. Methods Mol Biol, 500(2009), 113-167.
5. Albert, I., Thakar, J., Li, S., Zhang, R. and Albert, R. Boolean network simulations for life scientists. Source Code Biol Med, 3(2008), 16.
6. Saez-Rodriguez, J., Alexopoulos, L. G., Epperlein, J., Samaga, R., Lauffenburger, D. A., Klamt, S. and Sorger, P. K. Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction. Mol Syst Biol, 5(2009), -.
7. Bornholdt, S. Boolean network models of cellular regulation: prospects and limitations. Journal of the Royal Society Interface, 5(2008), S85-S94. (Pubitemid 351915287)
8. Thomas, R., Thieffry, D. and Kaufman, M. Dynamical behaviour of biological regulatory networks-I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state. Bull Math Biol, 57, 2 (1995), 247-276.
9. Kauffman, S. A. Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol, 22, 3 (1969), 437-467.
10. Albert, R. and Othmer, H. G. The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. J Theor Biol, 223, 1 (2003), 1-18. (Pubitemid 36627542)
11. Davidich, M. I. and Bornholdt, S. Boolean Network Model Predicts Cell Cycle Sequence of Fission Yeast. PLoS One, 3, 2 (2008), -.
12. Sanchez, L. and Thieffry, D. A logical analysis of the Drosophila gapgene system. Journal of Theoretical Biology, 211, 2 (2001), 115-+.
13. Salwinski, L. and Eisenberg, D. In silico simulation of biological network dynamics. Nature Biotechnology, 22, 8 (2004), 1017-1019. (Pubitemid 39014480)
14. Keane, J. F., Bradley, C. and Ebeling, C. A compiled accelerator for biological cell signaling simulations. In Proceedings of the Proceedings of the 2004 ACM/SIGDA 12th international symposium on Field programmable gate arrays (2004), 233-241.
15. Yoshiini, M., Iwaoka, Y., Nishikawa, Y., Kojima, T., Osana, Y., Shibata, Y., Iwanaga, N., Yamada, H., Kitano, H., Funahashi, A., Hiroi, N. and Amano, H. FPGA Implementation of a Data-Driven Stochastic Biochemical Simulator with the Next Reaction Method. City, 2007.
16. Garg, A., Di Cara, A., Xenarios, I., Mendoza, L. and De Micheli, G. Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics, 24, 17 (2008), 1917-1925.
17. ModelSim - Advanced Simulation and Debugging, Mentor Grpahics, http://model.com/.
18. Brace, K. S., Rudell, R. L. and Bryant, R. E. Efficient implementation of a BDD package. In Proceedings of the Proceedings of the 27th ACM/IEEE Design Automation Conference (1990), 40-45.
19. Bjesse, P. and Claessen, K. SAT-Based Verification without State Space Traversal. In Proceedings of the Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design (2000), 372-389.
20. Burch, J. R., Clarke, E. M., McMillan, K. L., Dill, D. L. and Hwang, L. J. Symbolic model checking: states and beyond. Inf. Comput., 98, 2 (1992), 142-170.
21. Mendoza, L. A network model for the control of the differentiation process in Th cells. Biosystems, 84, 2 (2006), 101-114. (Pubitemid 43670489)
22. Miskov-Zivanov, N., Turner, M., Morel, P. and Faeder, J., Title, 2011.
23. XILINX, http://www.xilinx.com/.