We show that the protein folding problem in the two-dimensional H-P model is NP-complete.

The lattice approach to biological structural analysis was made popular by the HP model for protein folding, but had not been used previously for RNA secondary structure prediction. We introduce the Delta toolset for the structural analysis of biological sequences on a 3D triangular lattice. The Delta toolset includes a proof-of-concept RNA folding program that is both fast and accurate in pred...

The problem: The standard Hamblin/Karttunen semantics for Polar Questions (PolQ), (1a), and alternative questions composed of two polar alternatives (AltQ∨N), (1b), induces equivalent partitions: (1a-i) and (1b-i) (the canonical intonation is as indicated ([7, 5])). (1) a. Are you making pasta L * H-H% ? (final raising) [PolQ] i. (1a)(w 0)= λq[q = λw.make(pasta, you, w) ∨q = λw.¬make(pasta, you...

This study presents a review of biodegradability modeling efforts including a detailed assessment of two models developed using an artificial intelligence based methodology. Validation results for these models using an independent, quality reviewed database, demonstrate that the models perform well when compared to another commonly used biodegradability model, against the same data. The ability...

We propose a novel approach to performance prediction of OWL reasoners that selects suitable, small ontology subsets, and then extrapolates to the whole ontology. Our second contribution concerns ontology features: we report their high intercorrelation using PCA: the ontologies basically differ in one or two features.

We explicitly show the connection between the protein folding problem and spin glass transition. This is then used to identify appropriate quantities that are required to describe the transition. A possible way of observing the spin glass transition is proposed. 87.15.-v, 89.90.+n, 61.41.+e, 75.10.Nr Typeset using REVTEX