6952 search results - page 373 / 1391 » The information integrity imperative |
192
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: With the explosion of microarray studies, an enormous amount of data is being produced. Systematic integration of gene expression data from different sources increases...
213
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: To standardize gene product descriptions, a formal vocabulary defined as the Gene Ontology (GO) has been developed. GO terms have been categorized into biological proc...
211
click to vote
JAR
1998
15 years 7 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
197
click to vote
PRESENCE
2002
15 years 7 months ago
2002
The literature often suggests that proprioceptive and especially vestibular cues are required for navigation and spatial orientation tasks involving rotations of the observer. To ...
229
click to vote
ICTAC
2009
Springer
15 years 5 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...