3 papers
q-bio.QM2013
Accurate Decoding of Pooled Sequenced Data Using Compressed Sensing
Denisa Duma, Mary Wootters, Anna C. Gilbert +6
In order to overcome the limitations imposed by DNA barcoding when multiplexing a large number of samples in the current generation of high-throughput sequencing instruments, we ha…
q-bio.GN2011
Barcoding-free BAC Pooling Enables Combinatorial Selective Sequencing of the Barley Gene Space
Stefano Lonardi, Denisa Duma, Matthew Alpert +10
We propose a new sequencing protocol that combines recent advances in combinatorial pooling design and second-generation sequencing technology to efficiently approach de novo selec…
cs.LO2009
Parallel symbolic state-space exploration is difficult, but what is the alternative?
Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin
State-space exploration is an essential step in many modeling and analysis problems. Its goal is to find the states reachable from the initial state of a discrete-state model descr…