142 search results - page 29 / 29 » A Small Framework for Proof Checking |
ALGORITHMICA
2004
13 years 4 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
BMCBI
2008
13 years 3 months ago
2008
Background: Medium- to large-scale expression profiling using quantitative polymerase chain reaction (qPCR) assays are becoming increasingly important in genomics research. A majo...