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
In non-viral gene delivery, the variance of transgenic expression stems from the low number of plasmids successfully transferred. Here, we experimentally determine Lipofectamine- and PEI-mediated exogenous gene expression distributions from single cell time-lapse analysis. Broad Poisson-like distributions of steady state expression are observed for both transfection agents, when used with synchronized cell lines. At the same time, co-transfection analysis with YFP- and CFP-coding plasmids shows that multiple plasmids are simultaneously expressed, suggesting that plasmids are delivered in correlated units (complexes). We present a mathematical model of transfection, where a stochastic, two-step process is assumed, with the first being the low-probability entry step of complexes into the nucleus, followed by the subsequent release and activation of a small number of plasmids from a delivered complex. This conceptually simple model consistently predicts the observed fraction of transfected cells, the cotransfection ratio and the expression level distribution. It yields the number of efficient plasmids per complex and elucidates the origin of the associated noise, consequently providing a platform for evaluating and improving non-viral vectors.
On flat substrates, several cell types exhibit amoeboid migration, which is characterized by restless stochastic successions of pseudopod protrusions. The orientation and frequency of new membrane protrusions characterize efficient search modes, which can respond to external chemical stimuli as observed during chemotaxis in amoebae. To quantify the influence of mechanical stimuli induced by surface topography on the migration modes of the amoeboid model organism Dictyostelium discoideum, we apply high resolution motion analysis in microfabricated pillar arrays of defined density and geometry. Cell motion is analyzed by a two-state motility-model, distinguishing directed cellular runs from phases of isotropic migration that are characterized by randomly oriented cellular protrusions. Cells lacking myosin II or cells deprived of microtubules show significantly different behavior concerning migration velocities and migrational angle distribution, without pronounced attraction to pillars. We conclude that microtubules enhance cellular ability to react with external 3D structures. Our experiments on wild-type cells show that the switching from randomly formed pseudopods to a stabilized leading pseudopod is triggered by contact with surface structures. These alternating processes guide cells according to the available surface in their 3D environment, which we observed dynamically and in steady-state situations. As a consequence, cells perform ''home-runs'' in low-density pillar arrays, crawling from pillar to pillar, with a characteristic dwell time of $75 s. At the boundary between a flat surface and a 3D structured substrate, cells preferentially localize in contact with micropillars, due to the additionally available surface in the microstructured arrays. Such responses of cell motility to microstructures might open new possibilities for cell sorting in surface structured arrays.
The spreading of motile cells on a substrate surface is accompanied by reorganization of their actin network. We show that spreading in the highly motile cells of Dictyostelium is nonmonotonic, and thus differs from the passage of spreading cells through a regular series of stages. Quantification of the gain and loss of contact area revealed fluctuating forces of protrusion and retraction that dominate the interaction of Dictyostelium cells with a substrate. The molecular basis of these fluctuations is elucidated by dual-fluorescence labeling of filamentous actin together with proteins that highlight specific activities in the actin system. Frontto-tail polarity is established by the sorting out of myosin-II from regions where dense actin assemblies are accumulating. Myosin-IB identifies protruding front regions, and the Arp2/3 complex localizes to lamellipodia protruded from the fronts. Coronin is used as a sensitive indicator of actin disassembly to visualize the delicate balance of polymerization and depolymerization in spreading cells. Short-lived actin patches that co-localize with clathrin suggest that membrane internalization occurs even when the substrateattached cell surface expands. We conclude that non-monotonic cell spreading is characterized by spatiotemporal patterns formed by motor proteins together with regulatory proteins that either promote or terminate actin polymerization on the scale of seconds.
The development of high-throughput live cell imaging is currently limited by the capabilities of image analysis. Software is required to generate single cell time courses from large data sets of time-lapse movies and to follow properties of individual cells. Automated cell tracking faces notorious problems associated with cell division, high cell density and cell mobility. In particular, a large number of cell traces are discarded in experiments with extended observation times due to image analysis ambiguities. Here we develop an algorithm for robust tracking based on cost matrices from multiple cell parameters such as object size, position or texture. Singularities in cost indicate tracking conflicts, which can be categorized into event classes such as cell division, lysis or overlap of cells. We demonstrate that multiple parameter tracking (MPT) generates single cell fluorescence time traces more reliably than algorithms based on position tracking only. Context-sensitive automatic evaluation and event management increase the yield of continuous and correctly assigned time traces by 27%.
International audienceThis paper presents a generic abstract machine for simulating a broad range of process calculi with an arbitrary reaction-based simulation algorithm. The abstract machine is instantiated to a particular calculus by defining two functions: one for transforming a process of the calculus to a set of species, and another for computing the set of possible reactions between species. Unlike existing simulation algorithms for chemical reactions, the abstract machine can simulate process calculi that generate potentially unbounded numbers of species and reactions. This is achieved by means of a just-in-time compiler, which dynamically updates the set of possible reactions and chooses the next reaction in an iterative cycle. As a proof of concept, the generic abstract machine is instantiated for the stochastic pi-calculus, and the instantiation is implemented as part of the SPiM stochastic simulator. The structure of the abstract machine facilitates a significant optimisation by allowing channel restrictions to be stored as species complexes. We also present a novel algorithm for simulating chemical reactions with general distributions, based on the Next Reaction Method of Gibson and Bruck. We use our generic framework to simulate a stochastic pi-calculus model of plasmid co-transfection, where plasmids can form aggregates of arbitrary size and where rates of mRNA degradation are non-exponential. The example illustrates the flexibility of our framework, which allows an appropriate high-level language to be paired with the required simulation algorithm, based on the biological system under consideration
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.