Computing and Information Systems - Research Publications

Permanent URI for this collection

http://hdl.handle.net/11343/350

Filters

2009 3
Reset filters

Settings
Statistics
Citations
Start date: 2000 × End date: 2009 × Author: Stuckey, Peter × Subject: Computer Software not elsewhere classified; Computer Software and Services not elsewhere classified × Type: Journal Article ×

Search Results

Now showing 1 - 3 of 3
  • Item
    Thumbnail Image
    Tableau-based protein substructure search using quadratic programming.
    Stivala, A ; Wirth, A ; Stuckey, PJ (Springer Science and Business Media LLC, 2009-05-19)
    BACKGROUND: Searching for proteins that contain similar substructures is an important task in structural biology. The exact solution of most formulations of this problem, including a recently published method based on tableaux, is too slow for practical use in scanning a large database. RESULTS: We developed an improved method for detecting substructural similarities in proteins using tableaux. Tableaux are compared efficiently by solving the quadratic program (QP) corresponding to the quadratic integer program (QIP) formulation of the extraction of maximally-similar tableaux. We compare the accuracy of the method in classifying protein folds with some existing techniques. CONCLUSION: We find that including constraints based on the separation of secondary structure elements increases the accuracy of protein structure search using maximally-similar subtableau extraction, to a level where it has comparable or superior accuracy to existing techniques. We demonstrate that our implementation is able to search a structural database in a matter of hours on a standard PC.
  • Item
    Thumbnail Image
    Propagation via lazy clause generation
    Ohrimenko, O ; Stuckey, PJ ; Codish, M (SPRINGER, 2009-09)
  • Item
    Thumbnail Image
    Propagating systems of dense linear integer constraints
    Feydy, T ; Stuckey, PJ (SPRINGER, 2009-06)