Sciweavers

2735 search results - page 448 / 547
» Comparing notions of randomness
Sort
View
TVLSI
2008
151views more  TVLSI 2008»
13 years 10 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
TWC
2008
126views more  TWC 2008»
13 years 10 months ago
Quadratic forms in normal RVs: theory and applications to OSTBC over hoyt fading channels
In this paper, the statistics of quadratic forms in normal random variables (RVs) are studied and their impact on performance analysis of wireless communication systems is explored...
George A. Ropokis, Athanasios A. Rontogiannis, P. ...
BMCBI
2004
154views more  BMCBI 2004»
13 years 10 months ago
Accuracy of cDNA microarray methods to detect small gene expression changes induced by neuregulin on breast epithelial cells
Background: cDNA microarrays are a powerful means to screen for biologically relevant gene expression changes, but are often limited by their ability to detect small changes accur...
Bin Yao, Sanjay N. Rakhade, Qunfang Li, Sharlin Ah...
CI
2004
116views more  CI 2004»
13 years 10 months ago
Solution Generation with Qualitative Models of Preferences
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...
Boi Faltings, Marc Torrens, Pearl Pu
COMBINATORICS
2004
90views more  COMBINATORICS 2004»
13 years 10 months ago
Strings with Maximally Many Distinct Subsequences and Substrings
A natural problem in extremal combinatorics is to maximize the number of distinct subsequences for any length-n string over a finite alphabet ; this value grows exponentially, but...
Abraham Flaxman, Aram Wettroth Harrow, Gregory B. ...