Computing with Synthetic Protocells

作者: Alexis Courbet , Franck Molina , Patrick Amar

DOI: 10.1007/S10441-015-9258-8

关键词: SatisfiabilityComputationMathematicsMassively parallelSIGNAL (programming language)Boolean functionSet (abstract data type)Logic gateTheoretical computer scienceTrue quantified Boolean formula

摘要: In this article we present a new kind of computing device that uses biochemical reactions networks as building blocks to implement logic gates. The architecture machine relies on these generic and composable blocks, computation units, can be used in multiple instances perform complex boolean functions. Standard logical operations are implemented by networks, encapsulated insulated within synthetic vesicles called protocells. These protocells capable exchanging energy information with each other through transmembrane electron transfer. the paradigm propose, protoputing, solve only one problem therefore has built specifically. Thus, programming phase standard is represented our approach set assembly instructions (specific attachments) directs wiring constitute itself. To demonstrate power protocellular machines, apply it NP-complete problem, known very demanding power, 3-SAT problem. We show how program verify satisfiability given formula. Then use massive parallelism machines less than 20 min all valuations input variables output fluorescent signal when formula satisfiable or no at otherwise.

参考文章(49)
Deepak Chandran, Frank T. Bergmann, Herbert M. Sauro, Douglas Densmore, Computer-Aided Design for Synthetic Biology Springer, New York, NY. pp. 203- 224 ,(2011) , 10.1007/978-1-4419-6766-4_10
Makoto Yoshimoto, Stabilization of enzymes through encapsulation in liposomes Methods of Molecular Biology. ,vol. 679, pp. 9- 18 ,(2011) , 10.1007/978-1-60761-895-9_2
Jozef Hanes, Christiane Schaffitzel, Achim Knappik, Andreas Plückthun, Picomolar affinity antibodies from a fully synthetic naive library selected and evolved by ribosome display Nature Biotechnology. ,vol. 18, pp. 1287- 1292 ,(2000) , 10.1038/82407
Christopher C. Page, Christopher C. Moser, Xiaoxi Chen, P. Leslie Dutton, Natural engineering principles of electron tunnelling in biological oxidation-reduction. Nature. ,vol. 402, pp. 47- 52 ,(1999) , 10.1038/46972
V. Noireaux, A. Libchaber, A vesicle bioreactor as a step toward an artificial cell assembly Proceedings of the National Academy of Sciences of the United States of America. ,vol. 101, pp. 17669- 17674 ,(2004) , 10.1073/PNAS.0408236101
Patrick Amar, Guillaume Legent, Michel Thellier, Camille Ripoll, Gilles Bernot, Thomas Nystrom, Milton H Saier, Vic Norris, A stochastic automaton shows how enzyme assemblies may contribute to metabolic efficiency BMC Systems Biology. ,vol. 2, pp. 27- 27 ,(2008) , 10.1186/1752-0509-2-27
Sandro Matosevic, Brian M. Paegel, Stepwise Synthesis of Giant Unilamellar Vesicles on a Microfluidic Assembly Line Journal of the American Chemical Society. ,vol. 133, pp. 2798- 2800 ,(2011) , 10.1021/JA109137S
Shia-Yen Teh, Ruba Khnouf, Hugh Fan, Abraham P. Lee, Stable, biocompatible lipid vesicle generation by solvent extraction-based droplet microfluidics Biomicrofluidics. ,vol. 5, pp. 044113- ,(2011) , 10.1063/1.3665221