4377 search results - page 253 / 876 » Mass problems and randomness |
169
Voted
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
211
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
Background: The computer-assisted detection of small molecules by mass spectrometry in biological samples provides a snapshot of thousands of peptides, protein fragments and prote...
214
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...
173
click to vote
HIS
2004
15 years 8 months ago
2004
In this paper, we describe how certain aspects of the biological phenomena of stigmergy can be imported into multiagent reinforcement learning (MARL), with the purpose of better e...
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Recent advances in proteomics technologies such as SELDI-TOF mass spectrometry has shown promise in the detection of early stage cancers. However, dimensionality reduc...