Strong Turing Completeness 127
- Rizik, L., Ram, Y., Danial, R.: Noise tolerance analysis for reliable analog and
digital computation in living cells. J. Bioeng. Biomed. Sci. 6 (186) (2016) - Rizk, A., Batt, G., Fages, F., Soliman, S.: Continuous valuations of
temporal logic specifications with applications to parameter optimization
and robustness measures. Theor. Comput. Sci. 412 (26), 2827–2839 (2011).
http://lifeware.inria.fr/ soliman/publi/RBFS11tcs.pdf - Sauro, H.M., Kim, K.: Synthetic biology: it’s an analog world. Nature 497 (7451),
572–573 (2013) - Segel, L.A.: Modeling Dynamic Phenomena in Molecular and Cellular Biology.
Cambridge University Press, Cambridge (1984) - Senum, P., Riedel, M.: Rate-independent constructs for chemical computation.
PLOS One 6 (6) (2011) - Shannon, C.: Mathematical theory of the differential analyser. J. Math. Phys. 20 ,
337–354 (1941) - Valiant, L.: Probably Approximately Correct. Basic Books, New York (2013)
- Weihrauch, K.: Computable Analysis: An Introduction. Springer, Heidelberg
(2000). doi:10.1007/978-3-642-56999-9