Sciweavers

AB
2008
Springer
14 years 5 months ago
Process Algebra Models of Population Dynamics
Chris McCaig, Rachel Norman, Carron Shankland
SP
2008
IEEE
100views Security Privacy» more  SP 2008»
14 years 5 months ago
Towards Practical Privacy for Genomic Computation
Many basic tasks in computational biology involve operations on individual DNA and protein sequences. These sequences, even when anonymized, are vulnerable to re-identification a...
Somesh Jha, Louis Kruger, Vitaly Shmatikov
RECOMB
2010
Springer
14 years 6 months ago
On the Genealogy of Asexual Diploids
Given molecular genetic data from diploid individuals that, at present, reproduce mostly or exclusively asexually without recombination, an important problem in evolutionary biolog...
Fumei Lam, Charles H. Langley, Yun S. Song
RECOMB
2010
Springer
14 years 6 months ago
Hierarchical Generative Biclustering for MicroRNA Expression Analysis
Clustering methods are a useful and common first step in gene expression studies, but the results may be hard to interpret. We bring in explicitly an indicator of which genes tie ...
José Caldas, Samuel Kaski
DNA
2009
Springer
100views Bioinformatics» more  DNA 2009»
14 years 6 months ago
Self-assembly of the Discrete Sierpinski Carpet and Related Fractals
It is well known that the discrete Sierpinski triangle can be defined as the nonzero residues modulo 2 of Pascal’s triangle, and that from this definition one can easily const...
Steven M. Kautz, James I. Lathrop
DNA
2009
Springer
120views Bioinformatics» more  DNA 2009»
14 years 6 months ago
Strand Algebras for DNA Computing
We present a process algebra for DNA computing, discussing compilation of other formal systems into the algebra, and compilation of the algebra into DNA structures.
Luca Cardelli
DNA
2009
Springer
173views Bioinformatics» more  DNA 2009»
14 years 6 months ago
Time-Complexity of Multilayered DNA Strand Displacement Circuits
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using DNA strand displacement reactions. The potential application...
Georg Seelig, David Soloveichik
DNA
2009
Springer
145views Bioinformatics» more  DNA 2009»
14 years 6 months ago
Distributed Agreement in Tile Self-assembly
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
Aaron Sterling
DNA
2009
Springer
158views Bioinformatics» more  DNA 2009»
14 years 6 months ago
Design of a Biomolecular Device That Executes Process Algebra
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
Urmi Majumder, John H. Reif
DNA
2009
Springer
185views Bioinformatics» more  DNA 2009»
14 years 6 months ago
NP-Completeness of the Direct Energy Barrier Problem without Pseudoknots
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
Ján Manuch, Chris Thachuk, Ladislav Stacho,...