Sciweavers

461 search results - page 89 / 93
» Bounds for Validation
Sort
View
78
Voted
BMCBI
2007
97views more  BMCBI 2007»
14 years 9 months ago
Relating destabilizing regions to known functional sites in proteins
Background: Most methods for predicting functional sites in protein 3D structures, rely on information on related proteins and cannot be applied to proteins with no known relative...
Benoit H. Dessailly, Marc F. Lensink, Shoshana J. ...
CORR
2008
Springer
105views Education» more  CORR 2008»
14 years 9 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
72
Voted
BMCBI
2006
159views more  BMCBI 2006»
14 years 9 months ago
EpiJen: a server for multistep T cell epitope prediction
Background: The main processing pathway for MHC class I ligands involves degradation of proteins by the proteasome, followed by transport of products by the transporter associated...
Irini A. Doytchinova, Pingping Guan, Darren R. Flo...
CORR
2006
Springer
97views Education» more  CORR 2006»
14 years 9 months ago
Explicit Space-Time Codes Achieving The Diversity-Multiplexing Gain Tradeoff
A recent result of Zheng and Tse states that over a quasi-static channel, there exists a fundamental tradeoff, referred to as the diversity-multiplexing gain (D-MG) tradeoff, betwe...
Petros Elia, K. Raj Kumar, Sameer A. Pawar, P. Vij...
BMCBI
2005
158views more  BMCBI 2005»
14 years 9 months ago
Automated generation of heuristics for biological sequence comparison
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
Guy St. C. Slater, Ewan Birney