A Framework for Genetic Logic Synthesis
作者： Prashant Vaidyanathan , Bryan S. Der , Swapnil Bhatia , Nicholas Roehner , Ryan Silva
DOI: 10.1109/JPROC.2015.2443832
关键词: Automation 、 Logic synthesis 、 Boolean circuit 、 Synthetic biology 、 Theoretical computer science 、 And-inverter graph 、 Logic optimization 、 Logic gate 、 Boolean function 、 Computer science
摘要: Digital electronic circuits have inspired synthetic biologists to program living cells with synthetic decision-making circuits by creating multilevel genetic logic gates. In both genetic …
sci-hub.se 参考文章(51)
Michael Pedersen, Gordon D. Plotkin, A language for biochemical systems: design and formal specification Transactions on Computational Systems Biology XII. ,vol. 12, pp. 77- 145 ,(2010) , 10.1007/978-3-642-11712-1_3
Robert Brayton, Alan Mishchenko, ABC: an academic industrial-strength verification tool computer aided verification. pp. 24- 40 ,(2010) , 10.1007/978-3-642-14295-6_5
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine, Rule-Based Modelling, Symmetries, Refinements formal methods. ,vol. 5054, pp. 103- 122 ,(2008) , 10.1007/978-3-540-68413-8_8
Stefano Cardinale, Marcin Pawel Joachimiak, Adam Paul Arkin, Effects of Genetic Variation on the E. coli Host-Circuit Interface Cell Reports. ,vol. 4, pp. 231- 237 ,(2013) , 10.1016/J.CELREP.2013.06.023
Brynne C Stanton, Alec A K Nielsen, Alvin Tamsir, Kevin Clancy, Todd Peterson, Christopher A Voigt, Genomic mining of prokaryotic repressors for orthogonal logic gates. Nature Chemical Biology. ,vol. 10, pp. 99- 105 ,(2014) , 10.1038/NCHEMBIO.1411
D. L. Shis, M. R. Bennett, Library of synthetic transcriptional AND gates built with split T7 RNA polymerase mutants Proceedings of the National Academy of Sciences of the United States of America. ,vol. 110, pp. 5028- 5033 ,(2013) , 10.1073/PNAS.1220157110
Jason R Kelly, Adam J Rubin, Joseph H Davis, Caroline M Ajo-Franklin, John Cumbers, Michael J Czar, Kim de Mora, Aaron L Glieberman, Dileep D Monie, Drew Endy, Measuring the activity of BioBrick promoters using an in vivo reference standard Journal of Biological Engineering. ,vol. 3, pp. 4- 4 ,(2009) , 10.1186/1754-1611-3-4
Ramiz Daniel, Jacob R. Rubens, Rahul Sarpeshkar, Timothy K. Lu, Synthetic analog computation in living cells Nature. ,vol. 497, pp. 619- 623 ,(2013) , 10.1038/NATURE12148
Vivek K Mutalik, Joao C Guimaraes, Guillaume Cambray, Colin Lam, Marc Juul Christoffersen, Quynh-Anh Mai, Andrew B Tran, Morgan Paull, Jay D Keasling, Adam P Arkin, Drew Endy, Precise and reliable gene expression via standard transcription and translation initiation elements Nature Methods. ,vol. 10, pp. 354- 360 ,(2013) , 10.1038/NMETH.2404
Chunbo Lou, Brynne Stanton, Ying-Ja Chen, Brian Munsky, Christopher A Voigt, Ribozyme-based insulator parts buffer synthetic circuits from genetic context Nature Biotechnology. ,vol. 30, pp. 1137- 1142 ,(2012) , 10.1038/NBT.2401