Determining gene function in boolean networks using boolean satisfiability
暂无分享,去创建一个
[1] Aniruddha Datta,et al. Systems biology Advance Access publication December 30, 2010 Cancer therapy design based on pathway logic , 2022 .
[2] E. Fanchon,et al. A SAT-based approach to decipher Gene Regulatory Networks , 2007 .
[3] Alberto L. Sangiovanni-Vincentelli,et al. Addressing the timing closure problem by integrating logic optimization and placement , 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
[4] Sunil P. Khatri,et al. Application of logic synthesis to the understanding and cure of genetic diseases , 2012, DAC Design Automation Conference 2012.
[5] P. Bourgine,et al. Topological and causal structure of the yeast transcriptional regulatory network , 2002, Nature Genetics.
[6] A. Datta,et al. From biological pathways to regulatory networks , 2010, 49th IEEE Conference on Decision and Control (CDC).
[7] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[8] R.K. Brayton,et al. Implementation and use of SPFDs in optimizing Boolean networks , 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).
[9] Tiziano Villa,et al. NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementations , 1989, 26th ACM/IEEE Design Automation Conference.
[10] S. Kauffman. Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.
[11] Maxim Teslenko,et al. A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks , 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.
[12] R. Weinberg,et al. The Biology of Cancer , 2006 .
[13] J. Monod,et al. Genetic regulatory mechanisms in the synthesis of proteins. , 1961, Journal of molecular biology.
[14] Tiziano Villa,et al. NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementations , 1989, 26th ACM/IEEE Design Automation Conference.
[15] Hiroshi Sawada,et al. A new method to express functional permissibilities for LUT based FPGAs and its applications , 1996, Proceedings of International Conference on Computer Aided Design.