299 search results - page 60 / 60 » Mechanizing common knowledge logic using COQ |
BMCBI
2006
13 years 5 months ago
2006
Background: Identifying functional elements, such as transcriptional factor binding sites, is a fundamental step in reconstructing gene regulatory networks and remains a challengi...
BMCBI
2007
13 years 5 months ago
2007
Background: The wide use of Affymetrix microarray in broadened fields of biological research has made the probeset annotation an important issue. Standard Affymetrix probeset anno...
RAS
2000
13 years 5 months ago
2000
In the last two decades, the barn owl, a nocturnal predator with accurate visual and auditory capabilities, has become a common experimental system for neuroscientists investigati...
SP
2010
IEEE
13 years 9 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...