Title :
Dynamic behavior of cell signaling networks - Model design and analysis automation
Author :
Miskov-Zivanov, Natasa ; Marculescu, Diana ; Faeder, J.R.
Author_Institution :
Dept. of Comput. & Syst. Biol., Univ. of Pittsburgh, Pittsburgh, PA, USA
fDate :
May 29 2013-June 7 2013
Abstract :
Recent work has presented logical models and showed the benefits of applying logical approaches to studying the dynamics of biological networks. In this work, we develop a methodology for automating the design of such models by utilizing methods and algorithms from the field of electronic design automation. We anticipate that automated discrete model development will greatly improve the efficiency of qualitative analysis of biological networks.
Keywords :
biology; electronic design automation; formal logic; automated discrete model development; biological networks; cell signaling networks; electronic design automation; logical models; Analytical models; Automation; Biological system modeling; Computational modeling; Computers; Educational institutions; Systems biology; Biological networks; Design automation techniques; FPGA; Hardware description language; Hardware-based emulation; Logical modeling;
Conference_Titel :
Design Automation Conference (DAC), 2013 50th ACM/EDAC/IEEE
Conference_Location :
Austin, TX
