Summary: The Visual DSD (DNA Strand Displacement) tool allows rapid prototyping and analysis of computational devices implemented using DNA strand displacement, in a convenient web-based graphical interface. It is an implementation of the DSD programming language and compiler described by Lakin et al. (2011) with additional features such as support for polymers of unbounded length. It also supports stochastic and deterministic simulation, construction of continuous-time Markov chains and various export formats which allow models to be analysed using third-party tools.Availability: Visual DSD is available as a web-based Silverlight application for most major browsers on Windows and Mac OS X at http://research.microsoft.com/dna. It can be installed locally for offline use. Command-line versions for Windows, Mac OS X and Linux are also available from the web page.Contact: aphillip@microsoft.comSupplementary Information:Supplementary data are available at Bioinformatics online.

DNA strand displacement techniques have been used to implement a broad range of information processing devices, from logic gates, to chemical reaction networks, to architectures for universal computation. Strand displacement techniques enable computational devices to be implemented in DNA without the need for additional components, allowing computation to be programmed solely in terms of nucleotide sequences. A major challenge in the design of strand displacement devices has been to enable rapid analysis of high-level designs while also supporting detailed simulations that include known forms of interference. Another challenge has been to design devices capable of sustaining precise reaction kinetics over long periods, without relying on complex experimental equipment to continually replenish depleted species over time. In this paper, we present a programming language for designing DNA strand displacement devices, which supports progressively increasing levels of molecular detail. The language allows device designs to be programmed using a common syntax and then analysed at varying levels of detail, with or without interference, without needing to modify the program. This allows a trade-off to be made between the level of molecular detail and the computational cost of analysis. We use the language to design a buffered architecture for DNA devices, capable of maintaining precise reaction kinetics for a potentially unbounded period. We test the effectiveness of buffered gates to support long-running computation by designing a DNA strand displacement system capable of sustained oscillations.

Directed cell migration toward spatio-temporally varying chemotactic stimuli requires rapid cytoskeletal reorganization. Numerous studies provide evidence that actin reorganization is controlled by intracellular redistribution of signaling molecules, such as the PI4,5P2/PI3,4,5P3 gradient. However, exploring underlying mechanisms is difficult and requires careful spatio-temporal control of external chemotactic stimuli. We designed a microfluidic setup to generate alternating chemotactic gradient fields for simultaneous multicell exposure, greatly facilitating statistical analysis. For a quantitative description of intracellular response dynamics, we apply alternating time sequences of spatially homogeneous concentration gradients across 300 μm, reorienting on timescales down to a few seconds. Dictyostelium discoideum amoebae respond to gradient switching rates below 0.02 Hz by readapting their migration direction. For faster switching, cellular repolarization ceases and is completely stalled at 0.1 Hz. In this "chemotactically trapped" cell state, external stimuli alternate faster than intracellular feedback is capable to respond by onset of directed migration. To investigate intracellular actin cortex rearrangement during gradient switching, we correlate migratory cell response with actin repolymerization dynamics, quantified by a fluorescence distribution moment of the GFP fusion protein LimEΔcc. We find two fundamentally different cell polarization types and we could reveal the role of PI3-Kinase for cellular repolarization. In the early aggregation phase, PI3-Kinase enhances the capability of D. discoideum cells to readjust their polarity in response to spatially alternating gradient fields, whereas in aggregation competent cells the effect of PI3-Kinase perturbation becomes less relevant.eukaryotic chemotaxis | pseudopod-based motility | gradient sensing | flow chamber