Sciweavers

11212 search results - page 600 / 2243
» Semi-persistent Data Structures
Sort
View
BMCBI
2007
63views more  BMCBI 2007»
15 years 7 months ago
Prediction of the burial status of transmembrane residues of helical membrane proteins
Background: Helical membrane proteins (HMPs) play a crucial role in diverse cellular processes, yet it still remains extremely difficult to determine their structures by experimen...
Yungki Park, Sikander Hayat, Volkhard Helms
ENTCS
2008
121views more  ENTCS 2008»
15 years 7 months ago
Building Certified Static Analysers by Modular Construction of Well-founded Lattices
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
David Pichardie
PR
2006
107views more  PR 2006»
15 years 7 months ago
Pyramid segmentation algorithms revisited
The main goal of this work is to compare pyramidal structures proposed to solve segmentation tasks. Segmentation algorithms based on regular and irregular pyramids are described, ...
Rebeca Marfil, Luis Molina-Tanco, Antonio Bandera,...
INFSOF
2007
81views more  INFSOF 2007»
15 years 7 months ago
An infrastructure to support interoperability in reverse engineering
An infrastructure is a set of interconnected structural elements, such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering c...
Nicholas A. Kraft, Brian A. Malloy, James F. Power
TCBB
2008
108views more  TCBB 2008»
15 years 6 months ago
Statistical Characterization of Protein Ensembles
When accounting for structural fluctuations or measurement errors, a single rigid structure may not be sufficient to represent a protein. One approach to solve this problem is to r...
Diego Rother, Guillermo Sapiro, Vijay Pande