Sciweavers

439 search results - page 2 / 88
» Testing in the Fourth Dimension
Sort
View
DAM
2007
67views more  DAM 2007»
13 years 5 months ago
The state of SAT
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
Henry A. Kautz, Bart Selman
JSCIC
2010
142views more  JSCIC 2010»
13 years 6 days ago
Recent Developments in the Pure Streamfunction Formulation of the Navier-Stokes System
In this paper we review fourth-order approximations of the biharmonic operator in one, two and three dimensions. In addition, we describe recent developments on second and fourth o...
Dalia Fishelov, Matania Ben-Artzi, Jean-Pierre Cro...
STACS
2005
Springer
13 years 11 months ago
Information Theory in Property Testing and Monotonicity Testing in Higher Dimension
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...
Nir Ailon, Bernard Chazelle
BMCBI
2010
123views more  BMCBI 2010»
13 years 5 months ago
An improved classification of G-protein-coupled receptors using sequence-derived features
Background: G-protein-coupled receptors (GPCRs) play a key role in diverse physiological processes and are the targets of almost two-thirds of the marketed drugs. The 3 D structur...
Zhen-Ling Peng, Jian-Yi Yang, Xin Chen
JMIV
2008
119views more  JMIV 2008»
13 years 5 months ago
An Improved Hybrid Model for Molecular Image Denoising
Abstract In this paper an improved hybrid method for removing noise from low SNR molecular images is introduced. The method provides an improvement over the one suggested by Jian L...
Jeny Rajan, K. Kannan, M. R. Kaimal