Analysis and design of molecular machines

Theoretical Computer Science

Volumn 599, Issue , 2015, Pages 102-117

  Angione, C ^a   Costanza, J ^b   Carapezza, G ^c   Lio P ^a   Nicosia, G ^c  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b ISTITUTO ITALIANO DI TECNOLOGIA   (Italy)

^c UNIVERSITY OF CATANIA   (Italy)

Author keywords

Biological complexity; E. coli modelling; Flux balance analysis; Molecular machine; Pareto optimality; Petri nets; Register machines; Trade off genetic strategies; Turing machine; Von Neumann architectures

Indexed keywords

BIOMIMETICS; DECISION MAKING; ECONOMIC AND SOCIAL EFFECTS; ESCHERICHIA COLI; GENETIC ALGORITHMS; MACHINERY; PARETO PRINCIPLE; PETRI NETS;

BIOLOGICAL COMPLEXITY; E. COLI; FLUX BALANCE ANALYSIS; MOLECULAR MACHINES; NEUMANN ARCHITECTURE; PARETO-OPTIMALITY; REGISTER MACHINES; TRADE OFF;

TURING MACHINES;

EID: 84941642660     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2015.01.030     Document Type: Article

References (50)

1. Fellermann H., Cardelli L. Programming chemistry in DNA-addressable bioreactors. J. R. Soc. Interface 2014, 11(99):20130987.
2. Edwards J.S., Palsson B.O. The Escherichia coli MG1655 in silico metabolic genotype: its definition, characteristics, and capabilities. Proc. Natl. Acad. Sci. USA 2000, 97(10):5528-5533.
3. Reed J., Vo T., Schilling C., Palsson B. An expanded genome-scale model of Escherichia coli K-12 (iJR904 GSM/GPR). Genome Biol. 2003, 4(9):R54.
4. Feist A.M., Henry C.S., Reed J.L., Krummenacker M., Joyce A.R., Karp P.D., Broadbelt L.J., Hatzimanikatis V., Palsson B.Ø. A genome-scale metabolic reconstruction for Escherichia coli K-12 MG1655 that accounts for 1260 ORFs and thermodynamic information. Mol. Syst. Biol. 2007, 3(121):291-301.
5. Orth J.D., Conrad T.M., Na J., Lerman J.A., Nam H., Feist A.M., Palsson B.O. A comprehensive genome-scale reconstruction of Escherichia coli metabolism - 2011. Mol. Syst. Biol. 2011, 7(Article number 535):1-9.
6. Costanza J., Carapezza G., Angione C., Lió P., Nicosia G. Robust design of microbial strains. Bioinformatics 2012, 28(23):3097-3104.
7. Covert M.W., Xiao N., Chen T.J., Karr J.R. Integrating metabolic, transcriptional regulatory and signal transduction models in Escherichia coli. Bioinformatics 2008, 24(18):2044-2050.
8. Angione C., Costanza J., Carapezza G., Lió P., Nicosia G. A design automation framework for computational bioenergetics in biological networks. Mol. BioSyst. 2013, 9(10):2554-2564.
9. Yim H., Haselbeck R., Niu W., Pujol-Baxley C., Burgard A., Boldt J., Khandurina J., Trawick J.D., Osterhout R.E., Stephen R., Estadilla J., Teisan S., Schreyer H.B., Andrae S., Yang T.H., Lee S.Y., Burk M.J., Van Dien S. Metabolic engineering of Escherichia coli for direct production of 1,4-butanediol. Nat. Chem. Biol. 2011, 7(7):445-452.
10. Stracquadanio G., Nicosia G. Computational energy-based redesign of robust proteins. Comput. Chem. Eng. 2011, 35(3):464-473.
11. Cutello V., Narzisi G., Nicosia G. A multi-objective evolutionary approach to the protein structure prediction problem. J. R. Soc. Interface 2006, 3(6):139-151.
12. Schuetz R., Zamboni N., Zampieri M., Heinemann M., Sauer U. Multidimensional optimality of microbial metabolism. Science 2012, 336(6081):601-604.
13. Deb K., Pratap A., Agarwal S., Meyarivan T. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans. Evol. Comput. 2002, 6(2):182-197.
14. Cutello V., Narzisi G., Nicosia G. Computational studies of peptide and protein structure prediction problems via multiobjective evolutionary algorithms. Multiobjective Problem Solving from Nature 2008, 93-114. Springer.
15. Laumanns M., Thiele L., Deb K., Zitzler E. Combining convergence and diversity in evolutionary multiobjective optimization. Evol. Comput. 2002, 10(3):263-282.
16. Morris M. Factorial sampling plans for preliminary computational experiments. Technometrics 1991, 33(2):161-175.
17. Angione C., Carapezza G., Costanza J., Lió P., Nicosia G. Pareto optimality in organelle energy metabolism analysis. IEEE/ACM Trans. Comput. Biol. Bioinform. 2013, 10(4):1032-1044.
18. Hafner M., Koeppl H., Hasler M., Wagner A. "Glocal" robustness analysis and model discrimination for circadian oscillators. PLoS Comput. Biol. 2009, 5(10).
19. Turing A.M. The chemical basis of morphogenesis. Bull. Math. Biol. 1990, 52(1):153-197.
20. Bray D., et al. Protein molecules as computational elements in living cells. Nature 1995, 376(6538):307-312.
21. Bryant B. Chromatin computation. PLoS ONE 2012, 7(5):e35703.
22. Von Neumann J., Burks A.W., et al. Theory of Self-Reproducing Automata 1966.
23. Moss L. Confusion of memory. Inform. Process. Lett. 2008, 107(3):114-119.
24. Marion J. From Turing machines to computer viruses. Philos. Trans. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 2012, 370(1971):3319-3339.
25. Landweber L., Kari L. Universal molecular computation in ciliates. Evol. Comput. 2003, 257-274.
26. Adleman L. Molecular computation of solutions to combinatorial problems. Science 1994, 266(5187):1021-1024.
27. Amos M. Cellular Computing. Series in Systems Biology 2004, Oxford University Press.
28. Siuti P., Yazbek J., Lu T.K. Synthetic circuits integrating logic and memory in living cells. Nat. Biotechnol. 2013, 31:448-452.
29. Angione C., Carapezza G., Costanza J., Lió P., Nicosia G. Computing with metabolic machines. EPiC Series 2012, vol. 10:1-15. A. Voronkov (Ed.) Turing-100.
30. Brent R., Bruck J. 2020 computing: can computers help to explain biology?. Nature 2006, 440(7083):416-417.
31. Soloveichik D., Cook M., Winfree E., Bruck J. Computation with finite stochastic chemical reaction networks. Nat. Comput. 2008, 7(4):615-633.
32. Minsky M. Computation 1967, Prentice-Hall.
33. Franco G., Guzzi P.H., Manca V., Mazza T. Mitotic oscillators as MP graphs. Membrane Computing 2006, 382-394. Springer.
34. Cook M., Soloveichik D., Winfree E., Bruck J. Programmability of chemical reaction networks. Algorithmic Bioprocesses 2009, 543-584.
35. Futcher B., Latter G., Monardo P., McLaughlin C., Garrels J. A sampling of the yeast proteome. Mol. Cell. Biol. 1999, 19(11):7357-7368.
36. Bar-Even A., Noor E., Savir Y., Liebermeister W., Davidi D., Tawfik D., Milo R. The moderately efficient enzyme: evolutionary and physicochemical trends shaping enzyme parameters. Biochemistry 2011, 50(21):4402-4410.
37. Reynier P.-A., Sangnier A. Weak time Petri nets strike back!. CONCUR 2009-Concurrency Theory 2009, 557-571. Springer.
38. Fisher C.P., Plant N.J., Moore J.B., Kierzek A.M. QSSPN: dynamic simulation of molecular interaction networks describing gene regulation, signalling and whole-cell metabolism in human cells. Bioinformatics 2013, 29(24):3181-3190.
39. Heiner M., Gilbert D., Donaldson R. Petri nets for systems and synthetic biology. Formal Methods for Computational Systems Biology 2008, 215-264. Springer.
40. Baldan P., Cocco N., Marin A., Simeoni M. Petri nets for modelling metabolic pathways: a survey. Nat. Comput. 2010, 9(4):955-989.
41. Doi A., Fujita S., Matsuno H., Nagasaki M., Miyano S. Constructing biological pathway models with hybrid functional Petri nets. In Silico Biol. 2004, 4(3):271-291.
42. Karr J., Sanghvi J., Macklin D., Gutschow M., Jacobs J., Bolival B., Assad-Garcia N., Glass J., Covert M. A whole-cell computational model predicts phenotype from genotype. Cell 2012, 150(2):389-401.
43. Sikosek T., Chan H., Bornberg-Bauer E. Escape from adaptive conflict follows from weak functional trade-offs and mutational robustness. Proc. Natl. Acad. Sci. USA 2012, 109(37):14888-14893.
44. Massingham T., Davies L., Lió P. Analysing gene function after duplication. BioEssays 2001, 23(10):873-876.
45. Ben-Hur A., Siegelmann H. Computation in gene networks. Chaos 2003, 14(1):145-151.
46. Soloveichik D., Winfree E. The computational power of Benenson automata. Theoret. Comput. Sci. 2005, 344(2):279-297.
47. Woods D., Neary T. The complexity of small universal Turing machines: a survey. Theoret. Comput. Sci. 2009, 410(4):443-450.
48. Jacob F., Perrin D., Sánchez C., Monod J., Edelstein S. The operon: a group of genes with expression coordinated by an operator. C. R. Math. Acad. Sci. Paris. C. R., Biol. 2005, 328(6):514-1729.
49. Farzadfard F., Lu T.K. Genomically encoded analog memory with precise in vivo DNA writing in living cell populations. Science 2014, 346(6211):1256272.
50. Hsu P.D., Lander E.S., Zhang F. Development and applications of CRISPR-Cas9 for genome engineering. Cell 2014, 157(6):1262-1278.