19798 search results - page 650 / 3960 » Is Structural Subtyping Useful |
203
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: We describe Distill, a suite of servers for the prediction of protein structural features: secondary structure; relative solvent accessibility; contact density; backbo...
178
click to vote
BIOINFORMATICS
2011
15 years 22 days ago
2011
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...
205
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
195
click to vote
APGV
2009
ACM
16 years 22 days ago
2009
ACM
Visualizations of 3D spatial structures use various techniques such as user controlled interactions or 2D projection views to convey the structure to users. Researchers have shown...
171
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...