A strand graph semantics for DNA-based computation.

DNA nanotechnology is a promising approach for engineering computation at the nanoscale, with potential applications in biofabrication and intelligent nanomedicine. DNA strand displacement is a general strategy for implementing a broad range of nanoscale computations, including any computation that can be expressed as a chemical reaction network. Modelling and analysis of DNA strand displacement systems is an important part of the design process, prior to experimental realisation. As experimental techniques improve, it is important for modelling languages to keep pace with the complexity of structures that can be realised experimentally. In this paper we present a process calculus for modelling DNA strand displacement computations involving rich secondary structures, including DNA branches and loops. We prove that our calculus is also sufficiently expressive to model previous work on non-branching structures, and propose a mapping from our calculus to a canonical strand graph representation, in which vertices represent DNA strands, ordered sites represent domains, and edges between sites represent bonds between domains. We define interactions between strands by means of strand graph rewriting, and prove the correspondence between the process calculus and strand graph behaviours. Finally, we propose a mapping from strand graphs to an efficient implementation, which we use to perform modelling and simulation of DNA strand displacement systems with rich secondary structure.

Circulating miRNAs as Potential Biomarkers for Patient Stratification in Bipolar Disorder: A Combined Review and Data Mining Approach.

Bipolar disorder is a debilitating psychiatric condition that is shaped in a concerted interplay between hereditary and triggering risk factors. Profound depression and mania define the disorder, but high clinical heterogeneity among patients complicates diagnosis as well as pharmacological intervention. Identification of peripheral biomarkers that capture the genomic response to the exposome may thus progress the development of personalized treatment. MicroRNAs (miRNAs) play a prominent role in of post-transcriptional gene regulation in the context of brain development and mental health. They are coordinately modulated by multifarious effectors, and alteration in their expression profile has been reported in a variety of psychiatric conditions. Intriguingly, miRNAs can be released from CNS cells and enter circulatory bio-fluids where they remain remarkably stable. Hence, peripheral circulatory miRNAs may act as bio-indicators for the combination of genetic risk, environmental exposure, and/or treatment response. Here we provide a comprehensive literature search and data mining approach that summarize current experimental evidence supporting the applicability of miRNAs for patient stratification in bipolar disorder.

Computational design of nucleic acid feedback control circuits.

The design of synthetic circuits for controlling molecular-scale processes is an important goal of synthetic biology, with potential applications in future in vitro and in vivo biotechnology. In this paper, we present a computational approach for designing feedback control circuits constructed from nucleic acids. Our approach relies on an existing methodology for expressing signal processing and control circuits as biomolecular reactions. We first extend the methodology so that circuits can be expressed using just two classes of reactions: catalysis and annihilation. We then propose implementations of these reactions in three distinct classes of nucleic acid circuits, which rely on DNA strand displacement, DNA enzyme and RNA enzyme mechanisms, respectively. We use these implementations to design a Proportional Integral controller, capable of regulating the output of a system according to a given reference signal, and discuss the trade-offs between the different approaches. As a proof of principle, we implement our methodology as an extension to a DNA strand displacement software tool, thus allowing a broad range of nucleic acid circuits to be designed and analyzed within a common modeling framework.