6770 search results - page 191 / 1354 » How GPUs Work |
99
Voted
BIB
2006
15 years 2 months ago
2006
This review summarizes important work in open-source bioinformatics software that has occurred over the past couple of years. The survey is intended to illustrate how programs and...
124
Voted
FAC
2008
15 years 2 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
119
Voted
BIOINFORMATICS
2006
15 years 2 months ago
2006
Affymetrix high-density oligonucleotide microarrays measure expression of DNA transcripts using probesets, i.e. multiple probes per transcript. Usually, these multiple measurement...
90
Voted
FUIN
2008
15 years 2 months ago
2008
The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for...
130
Voted
ENTCS
2006
15 years 2 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...