6800 search results - page 315 / 1360 » Testing with Functions as Specifications |
212
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: The rapid annotation of genes on a genome-wide scale is now possible for several organisms using high-throughput RNA interference assays to knock down the expression o...
222
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Many different aspects of cellular signalling, trafficking and targeting mechanisms are mediated by interactions between proteins and peptides. Representative examples...
204
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: High throughput methods of the genome era produce vast amounts of data in the form of gene lists. These lists are large and difficult to interpret without advanced com...
247
click to vote
TIT
2010
15 years 2 months ago
2010
This paper considers the construction and analysis of pseudo-random functions (PRFs) with specific reference to modes of operations of a block cipher. In the context of message aut...
317
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Conditional functional dependencies (CFDs) have recently been proposed as extensions of classical functional dependencies that apply to a certain subset of the relation, as specif...