Sciweavers

2717 search results - page 526 / 544
» Evaluation in Context
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
14 years 11 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...
CORR
2008
Springer
139views Education» more  CORR 2008»
14 years 11 months ago
Exact two-terminal reliability of some directed networks
Abstract-- The calculation of network reliability in a probabilistic context has long been an issue of practical and academic importance. Conventional approaches (determination of ...
Christian Tanguy
77
Voted
BMCBI
2006
137views more  BMCBI 2006»
14 years 11 months ago
A maximum likelihood framework for protein design
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...
Claudia L. Kleinman, Nicolas Rodrigue, Céci...
BMCBI
2006
144views more  BMCBI 2006»
14 years 11 months ago
methBLAST and methPrimerDB: web-tools for PCR based methylation analysis
Background: DNA methylation plays an important role in development and tumorigenesis by epigenetic modification and silencing of critical genes. The development of PCR-based methy...
Filip Pattyn, Jasmien Hoebeeck, Piet Robbrecht, Ev...
BMCBI
2006
127views more  BMCBI 2006»
14 years 11 months ago
Construction of phylogenetic trees by kernel-based comparative analysis of metabolic networks
Background: To infer the tree of life requires knowledge of the common characteristics of each species descended from a common ancestor as the measuring criteria and a method to c...
Sok June Oh, Je-Gun Joung, Jeong Ho Chang, Byoung-...