1153 search results - page 122 / 231 » Compositional Specification Calculus for Information Systems... |
169
Voted
BMCBI
2010
15 years 1 months ago
2010
Background: Mass spectrometry has become a standard method by which the proteomic profile of cell or tissue samples is characterized. To fully take advantage of tandem mass spectr...
150
Voted
DLS
2008
15 years 5 months ago
2008
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
146
click to vote
MVA
1996
15 years 5 months ago
1996
To use photographs in visual simulation such as synthesizing new images by overlapping an object in an image onto the other, physically significant regions corresponding to object...
147
Voted
E4MAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
133
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Studies on the relationship between disease and genetic variations such as single nucleotide polymorphisms (SNPs) are important. Genetic variations can cause disease b...