Sciweavers

4488 search results - page 872 / 898
» Properties of NP-Complete Sets
Sort
View
ENTCS
2008
103views more  ENTCS 2008»
13 years 8 months ago
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
Stefan Blom, Boudewijn R. Haverkort, Matthias Kunt...
BMCBI
2006
131views more  BMCBI 2006»
13 years 8 months ago
SIMAGE: simulation of DNA-microarray gene expression data
Background: Simulation of DNA-microarray data serves at least three purposes: (i) optimizing the design of an intended DNA microarray experiment, (ii) comparing existing pre-proce...
Casper J. Albers, Ritsert C. Jansen, Jan Kok, Osca...
BMCBI
2006
89views more  BMCBI 2006»
13 years 8 months ago
A joint model for nonparametric functional mapping of longitudinal trajectory and time-to-event
Background: The characterization of the relationship between a longitudinal response process and a time-to-event has been a pressing challenge in biostatistical research. This has...
Min Lin, Rongling Wu
BMCBI
2006
132views more  BMCBI 2006»
13 years 8 months ago
Length-dependent prediction of protein intrinsic disorder
Background: Due to the functional importance of intrinsically disordered proteins or protein regions, prediction of intrinsic protein disorder from amino acid sequence has become ...
Kang Peng, Predrag Radivojac, Slobodan Vucetic, A....
BMCBI
2006
242views more  BMCBI 2006»
13 years 8 months ago
Predicting residue-wise contact orders in proteins by support vector regression
Background: The residue-wise contact order (RWCO) describes the sequence separations between the residues of interest and its contacting residues in a protein sequence. It is a ne...
Jiangning Song, Kevin Burrage