• DocumentCode
    619457
  • 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
  • fYear
    2013
  • fDate
    May 29 2013-June 7 2013
  • Firstpage
    1
  • Lastpage
    6
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference (DAC), 2013 50th ACM/EDAC/IEEE
  • Conference_Location
    Austin, TX
  • ISSN
    0738-100X
  • Type

    conf

  • Filename
    6560601