20441 search results - page 103 / 4089 » Locally Computable Structures |
BMCBI
2005
13 years 9 months ago
2005
Background: Protein function is often dependent on subsets of solvent-exposed residues that may exist in a similar three-dimensional configuration in non homologous proteins thus ...
ISMVL
2007
IEEE
14 years 3 months ago
2007
IEEE
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
GCB
2010
Springer
13 years 7 months ago
2010
Springer
Abstract: The search for local RNA secondary structures and the annotation of unusually stable folding regions in genomic sequences are two well motivated bioinformatic problems. I...
JPDC
2006
13 years 9 months ago
2006
Distributed hash tables (DHTs), used in a number of structured peer-to-peer (P2P) systems provide efficient mechanisms for resource placement and location. A key distinguishing fe...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
Non-Rigid image registration has been widely developed over the last years. However, many registration techniques do not take into account any a priori information on the structur...