In silico implementation of synthetic gene networks

Methods in Molecular Biology

Volumn 813, Issue , 2012, Pages 3-21

  Marchisio, Mario Andrea ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Automation; DNA assembly; Formal language; Gene circuits; Part composability; Standard Biological Parts; Visual design

Indexed keywords

PROTEIN;

ANIMAL; ARTICLE; BIOLOGY; COMPUTER PROGRAM; GENE REGULATORY NETWORK; GENETICS; METHODOLOGY; SYNTHETIC BIOLOGY;

ANIMALS; COMPUTATIONAL BIOLOGY; GENE REGULATORY NETWORKS; PROTEINS; SOFTWARE; SYNTHETIC BIOLOGY;

EID: 82355171270     PISSN: 10643745     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-61779-412-4_1     Document Type: Article

References (98)

1. Nagel, L. W., and Pederson, D. O. (1973). SPICE (Simulation Program with Integrated Circuit Emphasis). Memorandum No. ERLM382 , University of California, Berkley.
2. Endy, D. (2005) Foundations for engineering biology, Nature 438 , 449-453. (Pubitemid 41742010)
3. Szallasi, Z., Stelling, J., and Periwal (2006) System Modeling in Cellular Biology , The MIT Press, Cambridge, MA.
4. Funahashi, A., Tanimura, N., Morohashi, M., and Kitano, H. (2003) CellDesigner: a process diagram editor for gene-regulatory and biochemical networks, BIOSILICO 1 , 159-162.
5. Funahashi, A., Matsuoka, Y., Jourako, A., Morohashi, M., Kikuchi, N., and Kitano, H. CellDesigner 3.5: A Versatile Modeling Tool for Biochemical Networks, In Proceedings of the IEEE 8 ed., pp 1254-1265.
6. Hucka, M., and others. (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models, Bioinformatics 19 , 524-531. (Pubitemid 36336519)
7. Novere, N. L., Bornstein, B., Broicher, A., Courtot, M. l., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., Snoep, J. L., and Hucka, M. (2006) BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems, Nucleic Acids Res 34 , D689-D691.
8. Shannon, P., Markiel, A., Ozier, O., Baliga, N. S., Wang, J. T., Ramage, D., Amin, N., Schwikowski, B., and Ideker, T. (2003) Cytoscape: a software environment for integrated models of biomolecular interaction networks, Genome Res 13 , 2498-2504. (Pubitemid 37428274)
9. Martin, A., Ochagavia, M. E., Rabasa, L. C., Miranda, J., de Cossio, J. F., and Bringas, R. BisoGenet: a new tool for gene network building, visualization and analysis, BMC Bioinformatics 11 :91.
10. Kurata, H., Matoba, N., and Shimizu, N. (2003) CADLIVE for constructing a large-scale biochemical network based on a simulationdirected notation and its application to yeast cell cycle, Nucleic Acids Res 31 , 4071-4084. (Pubitemid 37442287)
11. Kurata, H., Masaki, K., Sumida, Y., and Iwasaki, R. (2005) CADLIVE dynamic simulator: direct link of biochemical networks to dynamic models, Genome Res 15 , 590-600. (Pubitemid 41057822)
12. Loew, L. M., and Schaff, J. C. (2001) The Virtual Cell: a software environment for computational cell biology, Trends Biotechnol 19 , 401-406. (Pubitemid 32925033)
13. Sauro, H. M., Hucka, M., Finney, A., Wellock, C., Bolouri, H., Doyle, J., and Kitano, H. (2003) Next generation simulation tools: the Systems Biology Workbench and BioSPICE integration, OMICS 7 , 355-372. (Pubitemid 38018642)
14. Longabaugh, W. J. R., Davidson, E. H., and Bolouri, H. (2005) Computational representation of developmental genetic regulatory networks, Dev Biol 283 , 1-16. (Pubitemid 40828838)
15. Goler, J. A. (2004) BioJADE: A Design and Simulation Tool for Synthetic Biological Systems. AITR-2004-003. MIT, Cambridge, MA.
16. Goler, J. A., Bramlett, B. W., and Peccoud, J. (2008) Genetic design: rising above the sequence, Trends Biotechnol 26 , 538-544.
17. Kosuri, S., Kelly, J., and Endy, D. (2007) TABASCO: A single molecule, base-pair resolved gene expression simulator, BMC Bioinformatics 8 :480.
18. Endy, D., Deese, I., and the, M. I. T. S. B. W. G. (2005). Adventures in synthetic biology. Appeared in Foundations for engineering biology p449, Nature , 438 , 449-453.
19. Marchisio, M. A., and Stelling, J. (2008) Computational design of synthetic gene circuits with composable parts, Bioinformatics 24 , 1903-1910.
20. Marchisio, M. A., and Stelling, J. Synthetic gene network computational design, In Proc. IEEE International Symposium on Circuits and Systems, ISCAS 2009 , pp 309-312.
21. Serganov, A., and Patel, D. J. (2007) Ribozymes, riboswitches and beyond: regulation of gene expression without proteins, Nat Rev Genet 8 , 776-790. (Pubitemid 47429208)
22. Mirschel, S., Steinmetz, K., Rempel, M., Ginkel, M., and Gilles, E. D. (2009) PROMOT: modular modeling for systems biology, Bioinformatics 25 , 687-689.
23. Ginkel, M., Kremling, A., Nutsch, T., Rehner, R., and Gilles, E. D. (2003) Modular modeling of cellular systems with ProMoT/Diva, Bioinformatics 19 , 1169-1176. (Pubitemid 36790021)
24. Hoops, S., Sahle, S., Gauges, R., Lee, C., Pahle, Jr., Simus, N., Singhal, M., Xu, L., Mendes, P., and Kummer, U. (2006) COPASI - a COmplex PAthway SImulator, Bioinformatics 22 , 3067-3074. (Pubitemid 44884083)
25. Rodrigo, G., Carrera, J., and Jaramillo, A. (2008) Asmparts: assembly of biological model parts, Syst Synth Biol 1 , 167-170.
26. Cooling, M. T., Rouilly, V., Misirli, G., Lawson, J., Yu, T., Hallinan, J., and Wipat, A. Standard virtual biological parts: a repository of modular modeling components for synthetic biology, Bioinformatics 26 , 925-931.
27. Rouilly, V., Canton, B., Nielsen, P., and Kitney, R. (2007) Registry of BioBrick models using CellML, BMC System Biology 1 Suppl 1, 79-80.
28. Cuellar, A. A., Lloyd, C. M., Nielsen, P. F., Bullivant, D. P., Nickerson, D. P., and Hunter, P. J. (2003) An Overview of CellML 1.1, a Biological Model Description Language, Simulation 79 , 740-747.
29. Garny, A., Nickerson, D. P., Cooper, J., dos Santos, R. W., Miller, A. K., McKeever, S., Nielsen, P. M. F., and Hunter, P. J. (2008) CellML and associated tools and techniques, Philos Transact A Math Phys Eng Sci 366 , 3017-3043.
30. Chandran, D., Bergmann, F. T., and Sauro, H. M. (2009) TinkerCell: modular CAD tool for synthetic biology, J Biol Eng 3 :19.
31. Smith, L. P., Bergmann, F. T., Chandran, D., and Sauro, H. M. (2009) Antimony: a modular model definition language, Bioinformatics 25 , 2452-2454.
32. Hill, A. D., Tomshine, J. R., Weeding, E. M. B., Sotiropoulos, V., and Kaznessis, Y. N. (2008) SynBioSS: the synthetic biology modeling suite, Bioinformatics 24 , 2551-2553.
33. Weeding, E., Houle, J., and Kaznessis, Y. N. SynBioSS designer: a web-based tool for the automated generation of kinetic models for synthetic biological constructs, Brief Bioinform 11 , 394-402.
34. Salis, H., Sotiropoulos, V., and Kaznessis, Y. N. (2006) Multiscale Hy3S: hybrid stochastic simulation for supercomputers, BMC Bioinformatics 7 :93.
35. Blinov, M. L., Faeder, J. R., Goldstein, B., and Hlavacek, W. S. (2004) BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics 20 , 3289-3291. (Pubitemid 39619231)
36. Faeder, J. R., Blinov, M. L., and Hlavacek, W. S. (2009) Rule-based modeling of biochemical systems with BioNetGen, Methods Mol Biol 500 , 113-167.
37. Danos, V., and Laneve, C. (2004) Formal molecular biology, Theoretical Computational Science 325 , 69-110.
38. Novere, N. L., and Shimizu, T. S. (2001) STOCHSIM: modelling of stochastic biomolecular processes, Bioinformatics 17 , 575-576. (Pubitemid 32600510)
39. Feret, Jrm., Danos, V., Krivine, J., Harmer, R., and Fontana, W. (2009) Internal coarse-graining of molecular systems, Proc Natl Acad Sci USA 106 , 6453-6458.
40. Fages, F., Soliman, S., and Chabrier-Rivier, N. (2004) Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM, Journal of Biological Physics and Chemistry 4 , 64-73.
41. Regev, A., Silverman, W., and Shapiro, E. (2001) Representation and simulation of biochemical processes using the pi-calculus process algebra, Pac Symp Biocomput , 459-470.
42. Ciocchetta, F., and Hillston, J. (2008) Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks, Electronic Notes in Theoretical Computational Science 194 , 103-117. (Pubitemid 351173025)
43. Pedersen, M., and Phillips, A. (2009) Towards programming languages for genetic engineering of living cells, J R Soc Interface 6 Suppl 4 , S437-S450.
44. Cai, Y., Hartnett, B., Gustafsson, C., and Peccoud, J. (2007) A syntactic model to design and verify synthetic genetic constructs derived from standard biological parts, Bioinformatics 23 , 2760-2767. (Pubitemid 350048342)
45. Czar, M. J., Cai, Y., and Peccoud, J. (2009) Writing DNA with GenoCAD, Nucleic Acids Res 37 , W40-W47.
46. Monteiro, P. T., Dumas, E., Besson, B., Mateescu, R., Page, M., Freitas, A. T., and de Jong, H. (2009) A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks, BMC Bioinformatics 10 :450.
47. Saez-Rodriguez, J., Gayer, S., Ginkel, M., and Gilles, E. D. (2008) Automatic decomposition of kinetic models of signaling networks minimizing the retroactivity among modules, Bioinformatics 24 , 213-219.
48. Beal, J., and Bachrach, J. (2006) Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems 21 (2) , 10-19.
49. Mallavarapu, A., Thomson, M., Ullian, B., and Gunawardena, J. (2009) Programming with models: modularity and abstraction provide powerful capabilities for systems biology, J R Soc Interface 6 , 257-270.
50. Batt, Gg., Yordanov, B., Weiss, R., and Belta, C. (2007) Robustness analysis and tuning of synthetic gene networks, Bioinformatics 23 , 2415-2422. (Pubitemid 47423839)
51. Francois, P., and Hakim, V. (2004) Design of genetic networks with specified functions by evolution in silico, Proc Natl Acad Sci USA 101 , 580-585. (Pubitemid 38084679)
52. Paladugu, S. R., Chickarmane, V., Deckard, A., Frumkin, J. P., McCormack, M., and Sauro, H. M. (2006) In silico evolution of functional modules in biochemical networks, Syst Biol (Stevenage) 153 , 223-235. (Pubitemid 44151482)
53. Rodrigo, G., Carrera, J., and Jaramillo, A. (2007) Genetdes: automatic design of transcriptional networks, Bioinformatics 23 , 1857-1858. (Pubitemid 47250327)
54. Kirkpatrick, S., Gelatt, C. D., and Vecchi, M. P. (1983) Optimization by Simulated Annealing, Science 220 , 671-680.
55. Rodrigo, G., and Jaramillo, A. (2007) Computational design of digital and memory biological devices, Syst Synth Biol 1 , 183-195.
56. Dasika, M. S., and Maranas, C. D. (2008) OptCircuit: an optimization based method for computational design of genetic circuits, BMC Syst Biol 2 :24.
57. Marchisio, M. A., and Stelling, Jr. (2011) Automatic Design of Digital Synthetic Gene Circuits, PLoS Comput Biol 7 , e1001083.
58. Karnaugh, M. (1953) The Map Method for Synthesis of Combinational Logic Circuits, Transactions of the American Institute of Electrical Engineers 72 (9) , 593-599.
59. Richardson, S. M., Nunley, P. W., Yarrington, R. M., Boeke, J. D., and Bader, J. S. GeneDesign 3.0 is an updated synthetic biology toolkit, Nucleic Acids Res 38 , 2603-2606.
60. Villalobos, A., Ness, J. E., Gustafsson, C., Minshull, J., and Govindarajan, S. (2006) Gene Designer: a synthetic biology tool for constructing artificial DNA segments, BMC Bioinformatics 7 :285.
61. Jayaraj, S., Reid, R., and Santi, D. V. (2005) GeMS: an advanced software package for designing synthetic genes, Nucleic Acids Res 33 , 3011-3016. (Pubitemid 41511238)
62. Hoover, D. M., and Lubkowski, J. (2002) DNAWorks: an automated method for designing oligonucleotides for PCR-based gene synthesis, Nucleic Acids Res 30 (10) :e43.
63. Rouillard, J.-M., Lee, W., Truan, G., Gao, X., Zhou, X., and Gulari, E. (2004) Gene2Oligo: oligonucleotide design for in vitro gene synthesis, Nucleic Acids Res 32 , W176-W180. (Pubitemid 38997324)
64. Mandell, J. G., and Barbas, C. F. (2006) Zinc Finger Tools: custom DNA-binding domains for transcription factors and nucleases, Nucleic Acids Res 34 , W516-W523. (Pubitemid 44529824)
65. Vincze, T., Posfai, J., and Roberts, R. J. (2003) NEBcutter: A program to cleave DNA with restriction enzymes, Nucleic Acids Res 31 , 3688-3691. (Pubitemid 37442224)
66. Lee, P. A., Dymond, J. S., Scheifele, L. Z., Richardson, S. M., Foelber, K. J., Boeke, J. D., and Bader, J. S. CLONEQC: lightweight sequence verification for synthetic biology, Nucleic Acids Res 38 , 2617-2623.
67. Markham, N. R., and Zuker, M. (2008) UNAFold: software for nucleic acid folding and hybridization, Methods Mol Biol 453 , 3-31.
68. Markham, N. R., and Zuker, M. (2005) DINAMelt web server for nucleic acid melting prediction, Nucleic Acids Res 33 , W577-W581. (Pubitemid 44529988)
69. Hofacker, I. L., Fontana, W., Stadler, P. F., Bonhoeffer, L. S., Tacker, M., and Schuster, P. (1994) Fast Folding and Comparision of RNA Secondary Strucutre, Monatshefte fuer Chemie 125 , 167-188.
70. Hofacker, I. L. (2003) Vienna RNA secondary structure server, Nucleic Acids Res 31 , 3429-3431. (Pubitemid 37442172)
71. Popenda, M., Szachniuk, M., Blazewicz, M., Wasik, S., Burke, E. K., Blazewicz, J., and Adamiak, R. W. RNA FRABASE 2.0: an advanced web-accessible database with the capacity to search the three-dimensional fragments within RNA structures, BMC Bioinformatics 11 :231.
72. Simons, K. T., Bonneau, R., Ruczinski, I., and Baker, D. (1999) Ab initio protein structure prediction of CASP III targets using ROSETTA, Proteins Suppl 3 , 171-176. (Pubitemid 29463528)
73. Xu, J., Li, M., Kim, D., and Xu, Y. (2003) RAPTOR: optimal protein threading by linear programming, J Bioinform Comput Biol 1 , 95-117.
74. Soeding, J., Biegert, A., and Lupas, A. N. (2005) The HHpred interactive server for protein homology detection and structure prediction, Nucleic Acids Res 33 , W244-W248. (Pubitemid 44529917)
75. Eswar, N., Webb, B., Marti-Renom, M. A., Madhusudhan, M. S., Eramian, D., Shen, M.-Y., Pieper, U., and Sali, A. (2007) Comparative protein structure modeling using MODELLER, Curr Protoc Protein Sci Chapter 2:Unit 2.9.
76. Pokala, N., and Handel, T. M. (2005) Energy functions for protein design: adjustment with protein-protein complex affinities, models for the unfolded state, and negative design of solubility and specificity, J Mol Biol 347 , 203-227. (Pubitemid 40283639)
77. Suarez, M., Tortosa, P., and Jaramillo, A. (2008) PROTDES: CHARMM toolbox for computational protein design, Syst Synth Biol 2 , 105-113.
78. Hawkins, T., Luban, S., and Kihara, D. (2006) Enhanced automated function prediction using distantly related sequences and contextual association by PFP, Protein Sci 15 , 1550-1556. (Pubitemid 43800030)
79. Hawkins, T., Chitale, M., Luban, S., and Kihara, D. (2009) PFP: Automated prediction of gene ontology functional annotations with confidence scores using protein sequence data, Proteins 74 , 566-582.
80. Kelley, L. A., and Sternberg, M. J. E. (2009) Protein structure prediction on the Web: a case study using the Phyre server, Nat Protoc 4 , 363-371.
81. Roy, A., Kucukural, A., and Zhang, Y. I-TASSER: a unified platform for automated protein structure and function prediction, Nat Protoc 5 , 725-738.
82. Morris, G. M., Huey, R., Lindstrom, W., Sanner, M. F., Belew, R. K., Goodsell, D. S., and Olson, A. J. (2009) AutoDock4 and AutoDockTools4: Automated docking with selective receptor fl exibility, J Comput Chem 30 , 2785-2791.
83. Macindoe, G., Mavridis, L., Venkatraman, V., Devignes, M.-D., and Ritchie, D. W. HexServer: an FFT-based protein docking server powered by graphics processors, Nucleic Acids Res 38 Suppl , W445-W449.
84. Gruenberg, R., Nilges, M., and Leckner, J. (2007) Biskit-a software platform for structural bioinformatics, Bioinformatics 23 , 769-770. (Pubitemid 46554731)
85. Canton, B., Labno, A., and Endy, D. (2008) Refinement and standardization of synthetic biological parts and devices, Nat Biotechnol 26 , 787-793. (Pubitemid 351961452)
86. Kramer, B. P., Fischer, C., and Fussenegger, M. (2004) BioLogic gates enable logical transcription control in mammalian cells, Biotechnol Bioeng 87 , 478-484. (Pubitemid 39150049)
87. Ajo-Franklin, C. M., Drubin, D. A., Eskin, J. A., Gee, E. P. S., Landgraf, D., Phillips, I., and Silver, P. A. (2007) Rational design of memory in eukaryotic cells, Genes Dev 21 , 2271-2276. (Pubitemid 47443332)
88. Tigges, M., Marquez-Lago, T. T., Stelling, J., and Fussenegger, M. (2009) A tunable synthetic mammalian oscillator, Nature 457 , 309-312.
89. Isaacs, F. J., Dwyer, D. J., and Collins, J. J. (2006) RNA synthetic biology, Nat Biotechnol 24 , 545-554.
90. Breaker, R. R. (2008) Complex riboswitches, Science 319 , 1795-1797. (Pubitemid 351451558)
91. Win, M. N., and Smolke, C. D. (2008) Higher-order cellular information processing with synthetic RNA devices, Science 322 , 456-460.
92. Bayer, T. S., and Smolke, C. D. (2005) Programmable ligand-controlled riboregulators of eukaryotic gene expression, Nat Biotechnol 23 , 337-343. (Pubitemid 41094422)
93. Win, M. N., Liang, J. C., and Smolke, C. D. (2009) Frameworks for programming biological function through RNA parts and devices, Chem Biol 16 , 298-310.
94. Marchisio, M. A., and Rudolf, F. (2011) Synthetic biosensing systems, Int J Biochem Cell Biol 43 , 310-319.
95. Gruenberg, R., and Serrano, L. (2010) Strategies for protein synthetic biology, Nucleic Acids Res 38 , 2663-2675.
96. Rialle, S. p., Felicori, L., Dias-Lopes, C., Peres, S., Atia, S. E., Thierry, A. R., Amar, P., and Molina, F. BioNetCAD: design, simulation and experimental validation of synthetic biochemical networks, Bioinformatics 26 (18) , 2298-2304.
97. Densmore, D., Hsiau, T. H. C., Kittleson, J. T., DeLoache, W., Batten, C., and Anderson, J. C. Algorithms for automated DNA assembly, Nucleic Acids Res 38 , 2607-2616.
98. Linshiz, G., Yehezkel, T. B., Kaplan, S., Gronau, I., Ravid, S., Adar, R., and Shapiro, E. (2008) Recursive construction of perfect DNA molecules from imperfect oligonucleotides, Mol Syst Biol 4 :191