- Computing and Information Systems - Research Publications
Computing and Information Systems - Research Publications
Permanent URI for this collection
Search Results
Now showing
1 - 10 of 55
-
ItemFast and accurate protein substructure searching with simulated annealing and GPUsStivala, AD ; Stuckey, PJ ; Wirth, AI (BMC, 2010-09-03)BACKGROUND: Searching a database of protein structures for matches to a query structure, or occurrences of a structural motif, is an important task in structural biology and bioinformatics. While there are many existing methods for structural similarity searching, faster and more accurate approaches are still required, and few current methods are capable of substructure (motif) searching. RESULTS: We developed an improved heuristic for tableau-based protein structure and substructure searching using simulated annealing, that is as fast or faster and comparable in accuracy, with some widely used existing methods. Furthermore, we created a parallel implementation on a modern graphics processing unit (GPU). CONCLUSIONS: The GPU implementation achieves up to 34 times speedup over the CPU implementation of tableau-based structure search with simulated annealing, making it one of the fastest available methods. To the best of our knowledge, this is the first application of a GPU to the protein structural search problem.
-
ItemPrincipal type inference for GHC-style multi-parameter type classesSulzmann, M ; Schrijvers, T ; Stuckey, PJ ; Kobayashi, N (SPRINGER-VERLAG BERLIN, 2006)
-
ItemLazy Clause Generation: Combining the Power of SAT and CP (and MIP?) SolvingStuckey, PJ ; Lodi, A ; Milano, M ; Toth, P (SPRINGER-VERLAG BERLIN, 2010)
-
ItemOptimizing compilation of CHR with rule prioritiesDe Koninck, L ; Stuckey, PJ ; Duck, GJ ; Garrigue, J ; Hermenegildo, M (Springer, 2008-05-14)
-
ItemObservable confluence for constraint handling rulesDuck, GJ ; Stuckey, PJ ; Sulzmann, M ; Dahl, V ; Niemela, I (SPRINGER-VERLAG BERLIN, 2007)
-
ItemTelecommunications feature subscription as a partial order constraint problemCODISH, M. ; LAGOON, V. ; STUCKEY, P. (Springer Verlag, 2008)
-
ItemPropagating Dense Systems of Integer Linear EquationsFeydy, T ; Stuckey, PJ (ASSOC COMPUTING MACHINERY, 2007)
-
ItemMIRAGAA-a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancerGaire, RK ; Bailey, J ; Bearfoot, J ; Campbell, IG ; Stuckey, PJ ; Haviv, I (OXFORD UNIV PRESS, 2010-01-15)MOTIVATION: Cancer evolves through microevolution where random lesions that provide the biggest advantage to cancer stand out in their frequent occurrence in multiple samples. At the same time, a gene function can be changed by aberration of the corresponding gene or modification of microRNA (miRNA) expression, which attenuates the gene. In a large number of cancer samples, these two mechanisms might be distributed in a coordinated and almost mutually exclusive manner. Understanding this coordination may assist in identifying changes which significantly produce the same functional impact on cancer phenotype, and further identify genes that are universally required for cancer. Present methodologies for finding aberrations usually analyze single datasets, which cannot identify such pairs of coordinating genes and miRNAs. RESULTS: We have developed MIRAGAA, a statistical approach, to assess the coordinated changes of genome copy numbers and miRNA expression. We have evaluated MIRAGAA on The Cancer Genome Atlas (TCGA) Glioblastoma Multiforme datasets. In these datasets, a number of genome regions coordinating with different miRNAs are identified. Although well known for their biological significance, these genes and miRNAs would be left undetected for being less significant if the two datasets were analyzed individually. AVAILABILITY AND IMPLEMENTATION: The source code, implemented in R and java, is available from our project web site at http://www.csse.unimelb.edu.au/~rgaire/MIRAGAA/index.html. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.
-
ItemSmooth Linear Approximation of Non-overlap ConstraintsGange, G ; Marriott, K ; Stuckey, PJ ; Stapleton, G ; Howse, J ; Lee, J (SPRINGER-VERLAG BERLIN, 2008)
-
ItemA framework for extended algebraic data typesSulzmann, M ; Wazny, J ; Stuckey, PJ ; Hagiya, M ; Wadler, P (SPRINGER, 2006)