2335 search results - page 250 / 467 » Type Checking Type Classes |
110
Voted
BMCBI
2010
15 years 23 days 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...
96
Voted
BMCBI
2008
15 years 23 days ago
2008
Background: With the advent of high throughput biotechnology data acquisition platforms such as micro arrays, SNP chips and mass spectrometers, data sets with many more variables ...
122
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Outer membrane proteins (OMPs) are frequently found in the outer membranes of gram-negative bacteria, mitochondria and chloroplasts and have been found to play diverse...
94
Voted
NETWORKING
2004
15 years 2 months ago
2004
The goal of this paper is to study pricing of differentiated services and its impact on the choice of service priority at equilibrium. We consider both TCP connections as well as n...
138
click to vote
CSFW
2002
IEEE
15 years 5 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...