Sciweavers

261 search results - page 29 / 53
» Unavoidable sequences in constructive analysis
Sort
View
92
Voted
WSC
1997
15 years 1 months ago
A Framework for Incorporating Dynamic Strategies in Earth-Moving Simulations
Earthwork projects involve moving specific amounts of earth from a discrete set of source locations to a discrete set of destinations. Constructors use different methods and equip...
Govindan Kannan, Julio C. Martínez, Michael...
FORTE
2011
14 years 4 months ago
Analyzing BGP Instances in Maude
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Th...
107
Voted
BMCBI
2006
128views more  BMCBI 2006»
15 years 16 days ago
Comparative assessment of performance and genome dependence among phylogenetic profiling methods
Background: The rapidly increasing speed with which genome sequence data can be generated will be accompanied by an exponential increase in the number of sequenced eukaryotes. Wit...
Evan S. Snitkin, Adam M. Gustafson, Joseph C. Mell...
BMCBI
2005
133views more  BMCBI 2005»
15 years 11 days ago
Ab initio identification of putative human transcription factor binding sites by comparative genomics
Background: Understanding transcriptional regulation of gene expression is one of the greatest challenges of modern molecular biology. A central role in this mechanism is played b...
Davide Corà, Carl Herrmann, Christoph Diete...
JCB
2007
94views more  JCB 2007»
15 years 11 days ago
A Quantile Method for Sizing Optical Maps
Optical mapping is an integrated system for the analysis of single DNA molecules. It constructs restriction maps (noted as “optical map”) from individual DNA molecules present...
Haifeng Li, Anton Valouev, David C. Schwartz, Mich...