Sciweavers

2597 search results - page 151 / 520
» On numbers of Davenport-Schinzel sequences
Sort
View
CIE
2010
Springer
15 years 3 months ago
The Limits of Tractability in Resolution-Based Propositional Proof Systems
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
Stefan S. Dantchev, Barnaby Martin
DAM
2007
60views more  DAM 2007»
15 years 1 months ago
Restricting SBH ambiguity via restriction enzymes
The expected number of n-base long sequences consistent with a given SBH spectrum grows exponentially with n, which severely limits the potential range of applicability of SBH even...
Steven Skiena, Sagi Snir
TCBB
2008
107views more  TCBB 2008»
15 years 1 months ago
Progressive Tree Neighborhood Applied to the Maximum Parsimony Problem
Abstract-- The Maximum Parsimony problem aims at reconstructing a phylogenetic tree from DNA sequences while minimizing the number of genetic transformations. To solve this NP-comp...
Adrien Goëffon, Jean-Michel Richer, Jin-Kao H...
JAT
2011
54views more  JAT 2011»
14 years 8 months ago
Rate of decay of s-numbers
For an operator T ∈ B(X, Y ), we denote by am(T), cm(T), dm(T), and tm(T) its approximation, Gelfand, Kolmogorov, and absolute numbers. We show that, for any infinite dimensiona...
T. Oikhberg
BIB
2011
14 years 8 months ago
Mutational analysis in RNAs: comparing programs for RNA deleterious mutation prediction
Programs for RNA mutational analysis that are structure-based and rely on secondary structure prediction have been developed and expanded in the past several years. They can be us...
Danny Barash, Alexander Churkin