1071 search results - page 65 / 215 » Programming with enumerable sets of structures |
108
Voted
COMPLIFE
2005
Springer
15 years 6 months ago
2005
Springer
During the last few years new functionalities of RNA have been discovered, renewing the need for computational tools for their analysis. To this respect, multiple sequence alignmen...
160
Voted
APBC
2004
15 years 2 months ago
2004
Pseudoknots are widely occurring structural motifs in RNA. Pseudoknots have been shown to be functionally important in different RNAs which play regulatory, catalytic, or structur...
110
Voted
ICFP
2005
ACM
16 years 16 days ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
81
Voted
BMCBI
2006
15 years 18 days ago
2006
Background: A structure alignment method based on a local geometric property is presented and its performance is tested in pairwise and multiple structure alignments. In this appr...
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In secure computation among a set P of players one considers an adversary who can corrupt certain players. The three usually considered types of corruption are active, pa...