Sciweavers

11808 search results - page 383 / 2362
» Isometries and Computability Structures
Sort
View
BMCBI
2007
89views more  BMCBI 2007»
15 years 6 months ago
Selective prediction of interaction sites in protein structures with THEMATICS
Background: Methods are now available for the prediction of interaction sites in protein 3D structures. While many of these methods report high success rates for site prediction, ...
Ying Wei, Jaeju Ko, Leonel F. Murga, Mary Jo Ondre...
IANDC
2006
83views more  IANDC 2006»
15 years 6 months ago
Implicit complexity over an arbitrary structure: Quantifier alternations
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We...
Olivier Bournez, Felipe Cucker, Paulin Jacob&eacut...
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 6 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
COLING
2002
15 years 6 months ago
Effective Structural Inference for Large XML Documents
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
Jason Sankey, Raymond K. Wong
JCISD
2002
63views more  JCISD 2002»
15 years 6 months ago
Prediction of Ultraviolet Spectral Absorbance Using Quantitative Structure-Property Relationships
High performance liquid chromatography (HPLC) with ultraviolet (UV) spectrophotometric detection is a common method for analyzing reaction products in organic chemistry. This proc...
William L. Fitch, Malcolm McGregor, Alan R. Katrit...