Sciweavers

6465 search results - page 1276 / 1293
» On the Evaluation of Quality of Context
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 8 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»
13 years 8 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
ASE
2006
78views more  ASE 2006»
13 years 7 months ago
Using software evolution to focus architectural recovery
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...
Nenad Medvidovic, Vladimir Jakobac
BMCBI
2006
137views more  BMCBI 2006»
13 years 7 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»
13 years 7 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...
« Prev « First page 1276 / 1293 Last » Next »