417 search results - page 81 / 84 » The Start of an Eiffel Standard |
113
Voted
BMCBI
2006
15 years 14 days ago
2006
Background: With the advances in DNA sequencer-based technologies, it has become possible to automate several steps of the genotyping process leading to increased throughput. To e...
106
Voted
IJAR
2008
15 years 13 days ago
2008
We present Bayesian updating of an imprecise probability measure, represented by a class of precise multidimensional probability measures. Choice and analysis of our class are mot...
123
click to vote
ENTCS
2006
15 years 13 days ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
101
Voted
BMCBI
2005
15 years 10 days ago
2005
Background: Liquid chromatography coupled to mass spectrometry (LC/MS) has been widely used in proteomics and metabolomics research. In this context, the technology has been incre...
COMPUTER
2004
15 years 8 days ago
2004
partners are abstracted as Web services, we have introduced additional constructs to represent human users and define human interaction patterns. Each business process defined in o...