Sciweavers

15 search results - page 3 / 3
» Separation and Witnesses
Sort
View
BMCBI
2007
98views more  BMCBI 2007»
13 years 6 months ago
Evaluation of 3D-Jury on CASP7 models
Background: 3D-Jury, the structure prediction consensus method publicly available in the Meta Server http://meta.bioinfo.pl/, was evaluated using models gathered in the 7th round ...
László Kaján, Leszek Rychlews...
ECCC
2007
90views more  ECCC 2007»
13 years 6 months ago
Parameterized Proof Complexity: a Complexity Gap for Parameterized Tree-like Resolution
We propose a proof-theoretic approach for gaining evidence that certain parameterized problems are not fixed-parameter tractable. We consider proofs that witness that a given pro...
Stefan S. Dantchev, Barnaby Martin, Stefan Szeider
MST
2010
101views more  MST 2010»
13 years 4 months ago
Non-Uniform Reductions
Reductions and completeness notions form the heart of computational complexity theory. Recently non-uniform reductions have been naturally introduced in a variety of settings conc...
Harry Buhrman, Benjamin J. Hescott, Steven Homer, ...
BMCBI
2011
13 years 23 days ago
SNP-based pathway enrichment analysis for genome-wide association studies
Background: Recently we have witnessed a surge of interest in using genome-wide association studies (GWAS) to discover the genetic basis of complex diseases. Many genetic variatio...
Lingjie Weng, Fabio Macciardi, Aravind Subramanian...
CODASPY
2012
12 years 2 months ago
Towards end-to-end secure content storage and delivery with public cloud
Recent years have witnessed the trend of leveraging cloudbased services for large scale content storage, processing, and distribution. Security and privacy are among top concerns ...
Huijun Xiong, Xinwen Zhang, Danfeng Yao, Xiaoxin W...