Sciweavers

4255 search results - page 813 / 851
» Cover
Sort
View
BMCBI
2007
115views more  BMCBI 2007»
14 years 9 months ago
Seven Golden Rules for heuristic filtering of molecular formulas obtained by accurate mass spectrometry
Background: Structure elucidation of unknown small molecules by mass spectrometry is a challenge despite advances in instrumentation. The first crucial step is to obtain correct e...
Tobias Kind, Oliver Fiehn
91
Voted
ESE
2006
100views Database» more  ESE 2006»
14 years 9 months ago
An evaluation of combination strategies for test case selection
This paper presents results from a comparative evaluation of five combination strategies. Combination strategies are test case selection methods that combine "interesting&quo...
Mats Grindal, Birgitta Lindström, Jeff Offutt...
BMCBI
2007
105views more  BMCBI 2007»
14 years 9 months ago
Finding regulatory elements and regulatory motifs: a general probabilistic framework
Over the last two decades a large number of algorithms has been developed for regulatory motif finding. Here we show how many of these algorithms, especially those that model bind...
Erik van Nimwegen
FAC
2006
122views more  FAC 2006»
14 years 9 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
CN
2007
95views more  CN 2007»
14 years 9 months ago
A survey on emerging broadband wireless access technologies
Wireless broadband technologies provide ubiquitous broadband access to wireless users, enabling services that were available only to wireline users. In this paper, we summarize em...
Mehmet S. Kuran, Tuna Tugcu