Sciweavers

1713 search results - page 52 / 343
» Analysis of Procedure Splitability
Sort
View
FAC
2008
108views more  FAC 2008»
13 years 9 months ago
Property-directed incremental invariant generation
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
Aaron R. Bradley, Zohar Manna
CSDA
2007
120views more  CSDA 2007»
13 years 9 months ago
Boosting ridge regression
Ridge regression is a well established method to shrink regression parameters towards zero, thereby securing existence of estimates. The present paper investigates several approac...
Gerhard Tutz, Harald Binder
BMCBI
2006
240views more  BMCBI 2006»
13 years 9 months ago
Statistical analysis of real-time PCR data
Background: Even though real-time PCR has been broadly applied in biomedical sciences, data processing procedures for the analysis of quantitative real-time PCR are still lacking;...
Joshua S. Yuan, Ann Reed, Feng Chen, C. Neal Stewa...
BMCBI
2008
141views more  BMCBI 2008»
13 years 9 months ago
EzArray: A web-based highly automated Affymetrix expression array data management and analysis system
Background: Though microarray experiments are very popular in life science research, managing and analyzing microarray data are still challenging tasks for many biologists. Most m...
Yuerong Zhu, Yuelin Zhu, Wei Xu
BMCBI
2006
100views more  BMCBI 2006»
13 years 9 months ago
Empirical array quality weights in the analysis of microarray data
Background: Assessment of array quality is an essential step in the analysis of data from microarray experiments. Once detected, less reliable arrays are typically excluded or &qu...
Matthew E. Ritchie, Dileepa S. Diyagama, Jody Neil...