Computational genes: a tool for molecular diagnosis and therapy of aberrant mutational phenotype

<p>Abstract</p> <p>Background</p> <p>A finite state machine manipulating information-carrying DNA strands can be used to perform autonomous molecular-scale computations at the cellular level.</p> <p>Results</p> <p>We propose a new finite state machine able to detect and correct aberrant molecular phenotype given by mutated genetic transcripts. The aberrant mutations trigger a cascade reaction: specific molecular markers as input are released and induce a spontaneous self-assembly of a wild type protein or peptide, while the mutational disease phenotype is silenced. We experimentally demostrated in <it>in vitro </it>translation system that a viable protein can be autonomously assembled.</p> <p>Conclusion</p> <p>Our work demostrates the basic principles of computational genes and particularly, their potential to detect mutations, and as a response thereafter administer an output that suppresses the aberrant disease phenotype and/or restores the lost physiological function.</p

Model Checking Temporal Logic Formulas Using Sticker Automata

As an important complex problem, the temporal logic model checking problem is still far from being fully resolved under the circumstance of DNA computing, especially Computation Tree Logic (CTL), Interval Temporal Logic (ITL), and Projection Temporal Logic (PTL), because there is still a lack of approaches for DNA model checking. To address this challenge, a model checking method is proposed for checking the basic formulas in the above three temporal logic types with DNA molecules. First, one-type single-stranded DNA molecules are employed to encode the Finite State Automaton (FSA) model of the given basic formula so that a sticker automaton is obtained. On the other hand, other single-stranded DNA molecules are employed to encode the given system model so that the input strings of the sticker automaton are obtained. Next, a series of biochemical reactions are conducted between the above two types of single-stranded DNA molecules. It can then be decided whether the system satisfies the formula or not. As a result, we have developed a DNA-based approach for checking all the basic formulas of CTL, ITL, and PTL. The simulated results demonstrate the effectiveness of the new method

On the development of slime mould morphological, intracellular and heterotic computing devices

The use of live biological substrates in the fabrication of unconventional computing (UC) devices is steadily transcending the barriers between science fiction and reality, but efforts in this direction are impeded by ethical considerations, the field’s restrictively broad multidisciplinarity and our incomplete knowledge of fundamental biological processes. As such, very few functional prototypes of biological UC devices have been produced to date. This thesis aims to demonstrate the computational polymorphism and polyfunctionality of a chosen biological substrate — slime mould Physarum polycephalum, an arguably ‘simple’ single-celled organism — and how these properties can be harnessed to create laboratory experimental prototypes of functionally-useful biological UC prototypes. Computing devices utilising live slime mould as their key constituent element can be developed into a) heterotic, or hybrid devices, which are based on electrical recognition of slime mould behaviour via machine-organism interfaces, b) whole-organism-scale morphological processors, whose output is the organism’s morphological adaptation to environmental stimuli (input) and c) intracellular processors wherein data are represented by energetic signalling events mediated by the cytoskeleton, a nano-scale protein network. It is demonstrated that each category of device is capable of implementing logic and furthermore, specific applications for each class may be engineered, such as image processing applications for morphological processors and biosensors in the case of heterotic devices. The results presented are supported by a range of computer modelling experiments using cellular automata and multi-agent modelling. We conclude that P. polycephalum is a polymorphic UC substrate insofar as it can process multimodal sensory input and polyfunctional in its demonstrable ability to undertake a variety of computing problems. Furthermore, our results are highly applicable to the study of other living UC substrates and will inform future work in UC, biosensing, and biomedicine

Membrane systems with limited parallelism

Membrane computing is an emerging research field that belongs to the more general area of molecular computing, which deals with computational models inspired from bio-molecular processes. Membrane computing aims at defining models, called membrane systems or P systems, which abstract the functioning and structure of the cell. A membrane system consists of a hierarchical arrangement of membranes delimiting regions, which represent various compartments of a cell, and with each region containing bio-chemical elements of various types and having associated evolution rules, which represent bio-chemical processes taking place inside the cell. This work is a continuation of the investigations aiming to bridge membrane computing (where in a compartmental cell-like structure the chemicals to evolve are placed in compartments defined by membranes) and brane calculi (where one considers again a compartmental cell-like structure with the chemicals/proteins placed on the membranes themselves). We use objects both in compartments and on membranes (the latter are called proteins), with the objects from membranes evolving under the control of the proteins. Several possibilities are considered (objects only moved across membranes or also changed during this operation, with the proteins only assisting the move/change or also changing themselves). Somewhat expected, computational universality is obtained for several combinations of such possibilities. We also present a method for solving the NP-complete SAT problem using P systems with proteins on membranes. The SAT problem is solved in O(nm) time, where n is the number of boolean variables and m is the number of clauses for an instance written in conjunctive normal form. Thus, we can say that the solution for each given instance is obtained in linear time. We succeeded in solving SAT by a uniform construction of a deterministic P system which uses rules involving objects in regions, proteins on membranes, and membrane division. Then, we investigate the computational power of P systems with proteins on membranes in some particular cases: when only one protein is placed on a membrane, when the systems have a minimal number of rules, when the computation evolves in accepting or computing mode, etc. This dissertation introduces also another new variant of membrane systems that uses context-free rewriting rules for the evolution of objects placed inside compartments of a cell, and symport rules for communication between membranes. The strings circulate across membranes depending on their membership to regular languages given by means of regular expressions. We prove that these rewriting-symport P systems generate all recursively enumerable languages. We investigate the computational power of these newly introduced P systems for three particular forms of the regular expressions that are used by the symport rules. A characterization of ET0L languages is obtained in this context

Stochastic computational modelling of complex drug delivery systems

As modern drug formulations become more advanced, pharmaceutical companies face the need for adequate tools to permit them to model complex requirements and to reduce unnecessary adsorption rates while increasing the dosage administered. The aim of the research presented here is the development and application of a general stochastic framework with agent-based elements for building drug dissolution models, with a particular focus on controlled release systems. The utilisation of three dimensional Cellular Automata and Monte Carlo methods, to describe structural compositions and the main physico-chemical mechanisms, is shown to have several key advantages: (i) the bottom up approach simplifies the definition of complex interactions between underlying phenomena such as diffusion,polymer degradation and hydration, and the dissolution media; (ii) permits straightforward extensibility for drug formulation variations in terms of supporting various geometries and exploring effects of polymer composition and layering; (iii) facilitates visualisation, affording insight on system structural evolution over time by capturing successive stages of dissolution. The framework has been used to build models simulating several distinct release scenarios from coated spheres covering single coated erosion and swelling dominated spheres as well as the influence of multiple heterogeneous coatings. High-performance computational optimisation enables precision simulations of the very thin coatings used and allows fast realisation of model state changes. Furthermore, theoretical analysis of the comparative impact of synchronous and asynchronous Cellular Automata and the suitability of their application to pharmaceutical systems is performed. Likely parameter distributions from noisy in vitro data are reconstructed using Inverse Monte Carlo methods and outcomes are reported

X-Machines for Agent-Based Modeling

This book discusses various aspects of agent-based modeling and simulation using FLAME (Flexible Large-scale Agent-Based Modeling Environment) which is a popular agent-based modeling environment that enables automatic parallelization of models. Along with a focus on the software engineering principles in building agent-based models, the book comprehensively discusses how models can be written for various domains including biology, economics and social networks. The book also includes examples to guide readers on how to write their own models

Advances in modelling of epithelial to mesenchymal transition

Epithelial to Mesenchymal Transition (EMT) is a cellular transformation process that is employed repeatedly and ubiquitously during vertebrate morphogenesis to build complex tissues and organs. Cellular transformations that occur during cancer cell invasion are phenotypically similar to developmental EMT, and involve the same molecular signalling pathways. EMT processes are diverse, but are characterised by: a loss of cell-cell adhesion; a gain in cell-matrix adhesion; an increase in cell motility; the secretion of proteases that degrade basement membrane proteins; an increased resistance to apoptosis; a loss of polarisation; increased production of extracellular matrix components; a change from a rounded to a fibroblastic morphology; and an invasive phenotype. This thesis focuses explicitly on endocardial EMT, which is the EMT that occurs during vertebrate embryonic heart development. The embryonic heart initially forms as a tube, with myocardium externally, endocardium internally, with these tissue layers separated by a thick extracellular matrix termed the cardiac jelly. Some of the endocardial cells in specific regions of the embryonic heart tube undergo EMT and invade the cardiac jelly. This causes cellularised swellings inside the embryonic heart tube termed the endocardial cushions. The emergence of the four chambered double pump heart of mammals involves a complex remodelling that the endocardial cushions play an active role in. Even while heart remodelling is taking place, the heart tube is operating as a single-circulation pump, and the endocardial cushions are performing a valve-like function that is critical to the survival of the embryo (Nomura-Kitabayashi et al. 2009). As the endocardial cushions grow and remodel, they become the valve leaflets of the foetal heart. The endocardial cushions also contribute tissue to the septa (walls) of the heart. Their correct formation is thus essential to the development of a fully functional, fully divided, double-pump system. It has been shown that genetic mutations that cause impaired endocardial EMT lead to the development of a range of congenital heart defects (Fischer et al. 2007). An extensive review is conducted of existing experimental investigations into endocardial EMT. The information extracted from this review is used to develop a multiscale conceptual model of endocardial EMT, including the major protein signalling pathways involved, and the cellular phenotypes that they induce or inhibit. After considering the requirements for computational simulations of EMT, and reviewing the various techniques and simulation packages available for multi-cell modelling, cellular Potts modelling is selected as having the most appropriate combination of features. The open source simulation platform Compucell3D is selected for model development, due to the flexibility, range of features provided and an existing implementation of multiscale models; that include subcellular models of reaction pathways. Based on the conceptual model of endocardial EMT, abstract computational simulations of key aspects are developed, in order to investigate qualitative behaviour under different simulated conditions. The abstract simulations include a 2D multiscale model of Notch signalling lateral induction, which is the mechanism by which the embryonic heart tube is patterned into cushion and non-cushion forming regions. Additionally, a 3D simulation is used to investigate the possible role of contact-inhibited mitosis, upregulated by the VEGF protein, in maintaining an epithelial phenotype. One particular in vitro investigation of endocardial EMT (Luna-Zurita et al. 2010) is used to develop quantitative simulations. The quantitative data used for fitting the simulations consist of cell shape metrics that are derived from simple processing of the imaging results. Single cell simulations are used to investigate the relationship between cell motility and cell shape in the cellular Potts model. The findings are then implemented in multi-cell models, in order to investigate the relationship between cell-cell adhesion, cell-matrix adhesion, cell motility and cell shape during EMT

Reinforcement Learning

Brains rule the world, and brain-like computation is increasingly used in computers and electronic devices. Brain-like computation is about processing and interpreting data or directly putting forward and performing actions. Learning is a very important aspect. This book is on reinforcement learning which involves performing actions to achieve a goal. The first 11 chapters of this book describe and extend the scope of reinforcement learning. The remaining 11 chapters show that there is already wide usage in numerous fields. Reinforcement learning can tackle control tasks that are too complex for traditional, hand-designed, non-learning controllers. As learning computers can deal with technical complexities, the tasks of human operators remain to specify goals on increasingly higher levels. This book shows that reinforcement learning is a very dynamic area in terms of theory and applications and it shall stimulate and encourage new research in this field

On microelectronic self-learning cognitive chip systems

After a brief review of machine learning techniques and applications, this Ph.D. thesis examines several approaches for implementing machine learning architectures and algorithms into hardware within our laboratory. From this interdisciplinary background support, we have motivations for novel approaches that we intend to follow as an objective of innovative hardware implementations of dynamically self-reconfigurable logic for enhanced self-adaptive, self-(re)organizing and eventually self-assembling machine learning systems, while developing this new particular area of research. And after reviewing some relevant background of robotic control methods followed by most recent advanced cognitive controllers, this Ph.D. thesis suggests that amongst many well-known ways of designing operational technologies, the design methodologies of those leading-edge high-tech devices such as cognitive chips that may well lead to intelligent machines exhibiting conscious phenomena should crucially be restricted to extremely well defined constraints. Roboticists also need those as specifications to help decide upfront on otherwise infinitely free hardware/software design details. In addition and most importantly, we propose these specifications as methodological guidelines tightly related to ethics and the nowadays well-identified workings of the human body and of its psyche