-
Computing exponentially faster: Implementing a nondeterministic universal Turing machine using DNA
Authors:
Andrew Currin,
Konstantin Korovin,
Maria Ababi,
Katherine Roper,
Douglas B. Kell,
Philip J. Day,
Ross D. King
Abstract:
The theory of computer science is based around Universal Turing Machines (UTMs): abstract machines able to execute all possible algorithms. Modern digital computers are physical embodiments of UTMs. The nondeterministic polynomial (NP) time complexity class of problems is the most significant in computer science, and an efficient (i.e. polynomial P) way to solve such problems would be of profound…
▽ More
The theory of computer science is based around Universal Turing Machines (UTMs): abstract machines able to execute all possible algorithms. Modern digital computers are physical embodiments of UTMs. The nondeterministic polynomial (NP) time complexity class of problems is the most significant in computer science, and an efficient (i.e. polynomial P) way to solve such problems would be of profound economic and social importance. By definition nondeterministic UTMs (NUTMs) solve NP complete problems in P time. However, NUTMs have previously been believed to be physically impossible to construct. Thue string rewriting systems are computationally equivalent to UTMs, and are naturally nondeterministic. Here we describe the physical design for a NUTM that implements a universal Thue system. The design exploits the ability of DNA to replicate to execute an exponential number of computational paths in P time. Each Thue rewriting step is embodied in a DNA edit implemented using a novel combination of polymerase chain reactions and site-directed mutagenesis. We demonstrate that this design works using both computational modelling and in vitro molecular biology experimentation. The current design has limitations, such as restricted error-correction. However, it opens up the prospect of engineering NUTM based computers able to outperform all standard computers on important practical problems.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
Large-scale generation of computational models from biochemical pathway maps
Authors:
Finja Büchel,
Nicolas Rodriguez,
Neil Swainston,
Clemens Wrzodek,
Tobias Czauderna,
Roland Keller,
Florian Mittag,
Michael Schubert,
Mihai Glont,
Martin Golebiewski,
Martijn van Iersel,
Sarah Keating,
Matthias Rall,
Michael Wybrow,
Henning Hermjakob,
Michael Hucka,
Douglas B. Kell,
Wolfgang Müller,
Pedro Mendes,
Andreas Zell,
Claudine Chaouiya,
Julio Saez-Rodriguez,
Falk Schreiber,
Camille Laibe,
Andreas Dräger
, et al. (1 additional authors not shown)
Abstract:
Background: Systems biology projects and omics technologies have led to a growing number of biochemical pathway reconstructions. However, mathematical models are still most often created de novo, based on reading the literature and processing pathway data manually. Results: To increase the efficiency with which such models can be created, we automatically generated mathematical models from pathway…
▽ More
Background: Systems biology projects and omics technologies have led to a growing number of biochemical pathway reconstructions. However, mathematical models are still most often created de novo, based on reading the literature and processing pathway data manually. Results: To increase the efficiency with which such models can be created, we automatically generated mathematical models from pathway representations using a suite of freely available software. We produced models that combine data from KEGG PATHWAY, BioCarta, MetaCyc and SABIO-RK; According to the source data, three types of models are provided: kinetic, logical and constraint-based. All models are encoded using SBML Core and Qual packages, and available through BioModels Database. Each model contains the list of participants, the interactions, and the relevant mathematical constructs, but, in most cases, no meaningful parameter values. Most models are also available as easy to understand graphical SBGN maps. Conclusions: to date, the project has resulted in more than 140000 models freely available. We believe this resource can tremendously accelerate the development of mathematical models by providing initial starting points ready for parametrization.
△ Less
Submitted 10 October, 2013; v1 submitted 26 July, 2013;
originally announced July 2013.
-
Iron Behaving Badly: Inappropriate Iron Chelation as a Major Contributor to the Aetiology of Vascular and Other Progressive Inflammatory and Degenerative Diseases
Authors:
Douglas B. Kell
Abstract:
The production of peroxide and superoxide is an inevitable consequence of aerobic metabolism, and while these particular "reactive oxygen species" (ROSs) can exhibit a number of biological effects, they are not of themselves excessively reactive and thus they are not especially damaging at physiological concentrations. However, their reactions with poorly liganded iron species can lead to the ca…
▽ More
The production of peroxide and superoxide is an inevitable consequence of aerobic metabolism, and while these particular "reactive oxygen species" (ROSs) can exhibit a number of biological effects, they are not of themselves excessively reactive and thus they are not especially damaging at physiological concentrations. However, their reactions with poorly liganded iron species can lead to the catalytic production of the very reactive and dangerous hydroxyl radical, which is exceptionally damaging, and a major cause of chronic inflammation. We review the considerable and wide-ranging evidence for the involvement of this combination of (su)peroxide and poorly liganded iron in a large number of physiological and indeed pathological processes and inflammatory disorders, especially those involving the progressive degradation of cellular and organismal performance. These diseases share a great many similarities and thus might be considered to have a common cause (i.e. iron-catalysed free radical and especially hydroxyl radical generation). The studies reviewed include those focused on a series of cardiovascular, metabolic and neurological diseases, where iron can be found at the sites of plaques and lesions, as well as studies showing the significance of iron to aging and longevity. The effective chelation of iron by natural or synthetic ligands is thus of major physiological (and potentially therapeutic) importance. As systems properties, we need to recognise that physiological observables have multiple molecular causes, and studying them in isolation leads to inconsistent patterns of apparent causality when it is the simultaneous combination of multiple factors that is responsible. This explains, for instance, the decidedly mixed effects of antioxidants that have been observed, etc...
△ Less
Submitted 9 August, 2008;
originally announced August 2008.
