Sciweavers

44651 search results - page 8597 / 8931
» Generalized
Sort
View
TIT
2008
92views more  TIT 2008»
15 years 6 months ago
Successive Refinement for Hypothesis Testing and Lossless One-Helper Problem
Abstract--We investigate two closely related successive refinement (SR) coding problems: 1) In the hypothesis testing (HT) problem, bivariate hypothesis H0 : PXY against H1 : PXPY ...
Chao Tian, Jun Chen
JAR
2007
104views more  JAR 2007»
15 years 6 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
BMCBI
2005
82views more  BMCBI 2005»
15 years 6 months ago
A novel method for prokaryotic promoter prediction based on DNA stability
Background: In the post-genomic era, correct gene prediction has become one of the biggest challenges in genome annotation. Improved promoter prediction methods can be one step to...
Aditi Kanhere, Manju Bansal
BMCBI
2005
136views more  BMCBI 2005»
15 years 6 months ago
Automatic detection of false annotations via binary property clustering
Background: Computational protein annotation methods occasionally introduce errors. Falsepositive (FP) errors are annotations that are mistakenly associated with a protein. Such f...
Noam Kaplan, Michal Linial
BMCBI
2005
85views more  BMCBI 2005»
15 years 6 months ago
Processing methods for differential analysis of LC/MS profile data
Background: Liquid chromatography coupled to mass spectrometry (LC/MS) has been widely used in proteomics and metabolomics research. In this context, the technology has been incre...
Mikko Katajamaa, Matej Oresic
« Prev « First page 8597 / 8931 Last » Next »