3116 search results - page 340 / 624 » Positively dependent types |
169
click to vote
MIE
2008
15 years 8 months ago
2008
Background: Physicians' adherence to guidelines can be used for measuring prescribing appropriateness. We present a simple approach allowing the automation of this process. De...
202
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
160
click to vote
ARTMED
2010
15 years 6 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
195
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Considering energy function to detect a correct protein fold from incorrect ones is very important for protein structure prediction and protein folding. Knowledge-base...
172
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: For heterogeneous tissues, such as blood, measurements of gene expression are confounded by relative proportions of cell types involved. Conclusions have to rely on es...