10715 search results - page 358 / 2143 » Proofs from Tests |
163
click to vote
ECCC
2010
15 years 7 months ago
2010
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
221
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The small sample sizes often used for microarray experiments result in poor estimates of variance if each gene is considered independently. Yet accurately estimating v...
171
click to vote
JUCS
2007
15 years 6 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
199
click to vote
JCB
2000
15 years 6 months ago
2000
Although two-color uorescent DNA microarrays are now standard equipment in many molecular biology laboratories, methods for identifying differentially expressed genes in microarra...
192
click to vote
SCFBM
2008
15 years 6 months ago
2008
Background: Life Science Identifiers (LSIDs) are persistent, globally unique identifiers for biological objects. The decentralised nature of LSIDs makes them attractive for identi...