2624 search results - page 117 / 525 » The 2LIP model and its implementations |
132
click to vote
IJBRA
2007
15 years 6 months ago
2007
: The model for protein folding (in silico) simulation is presented. Three steps have been implemented: • early stage folding based on the backbone conformation • hydrophobic c...
168
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
This paper proposes that social network data should be assumed public but treated private. Assuming this rather confusing requirement means that anonymity models such as kanonymity...
169
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
165
click to vote
SPAA
1996
ACM
15 years 10 months ago
1996
ACM
A quantitative comparison of the BSP and LogP models of parallel computation is developed. We concentrate on a variant of LogP that disallows the so-called stalling behavior, alth...
166
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
Time series are difficult to monitor, summarize and predict. Segmentation organizes time series into few intervals having uniform characteristics (flatness, linearity, modality,...