3239 search results - page 641 / 648 » A Logical Process Calculus |
106
Voted
ENTCS
2006
15 years 13 days ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
153
click to vote
ENTCS
2006
15 years 13 days ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
96
Voted
ENTCS
2006
15 years 13 days ago
2006
Anonymity means that the identity of the user performing a certain action is maintained secret. The protocols for ensuring anonymity often use random mechanisms which can be descr...
BMCBI
2007
15 years 13 days ago
2007
Background: High density oligonucleotide tiling arrays are an effective and powerful platform for conducting unbiased genome-wide studies. The ab initio probe selection method emp...
114
click to vote
BMCBI
2007
15 years 13 days ago
2007
Background: Gene clustering has been widely used to group genes with similar expression pattern in microarray data analysis. Subsequent enrichment analysis using predefined gene s...