1484 search results - page 272 / 297 » The Proteogenomic Mapping Tool |
ATVA
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
145
click to vote
BMCBI
2005
14 years 9 months ago
2005
Background: The completion of the sequencing of human, mouse and rat genomes and knowledge of cross-species gene homologies enables studies of differential gene expression in anim...
NSDI
2010
14 years 11 months ago
2010
Today, large-scale web services run on complex systems, spanning multiple data centers and content distribution networks, with performance depending on diverse factors in end syst...
NIPS
2007
14 years 11 months ago
2007
Automatic relevance determination (ARD) and the closely-related sparse Bayesian learning (SBL) framework are effective tools for pruning large numbers of irrelevant features leadi...
132
click to vote
SIMVIS
2007
14 years 11 months ago
2007
This paper reports on the development of a novel mixed reality I/O device tailored to the requirements of interaction with geo-spatial data in the immediate environment of the use...