Sciweavers

2370 search results - page 474 / 474
» The Characterization of Data-Accumulating Algorithms
Sort
View
BMCBI
2011
13 years 1 months ago
Flexible taxonomic assignment of ambiguous sequencing reads
Background: To characterize the diversity of bacterial populations in metagenomic studies, sequencing reads need to be accurately assigned to taxonomic units in a given reference ...
José Carlos Clemente, Jesper Jansson, Gabri...
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
14 years 4 days ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
JCSS
2008
120views more  JCSS 2008»
13 years 6 months ago
Quantum certificate complexity
Given a Boolean function f, we study two natural generalizations of the certificate complexity C (f): the randomized certificate complexity RC (f) and the quantum certificate comp...
Scott Aaronson
COMPGEOM
2006
ACM
13 years 12 months ago
Locked and unlocked chains of planar shapes
We extend linkage unfolding results from the well-studied case of polygonal linkages to the more general case of linkages of polygons. More precisely, we consider chains of nonove...
Robert Connelly, Erik D. Demaine, Martin L. Demain...
BMCBI
2010
131views more  BMCBI 2010»
13 years 3 months ago
A two-step site and mRNA-level model for predicting microRNA targets
Background: Despite experiments showing that the number of microRNA (miRNA) target sites is critical for miRNA targeting, most existing methods focus on identifying individual miR...
Takaya Saito, Pål Sætrom