Sciweavers

549 search results - page 25 / 110
» Constraint Programming in Structural Bioinformatics
Sort
View
110
Voted
BMCBI
2006
159views more  BMCBI 2006»
15 years 14 days ago
MultiSeq: unifying sequence and structure data for evolutionary analysis
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...
Elijah Roberts, John Eargle, Dan Wright, Zaida Lut...
102
Voted
CORR
2008
Springer
153views Education» more  CORR 2008»
15 years 16 days ago
Decomposition Techniques for Subgraph Matching
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For suc...
Stéphane Zampelli, Martin Mann, Yves Devill...
145
Voted
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 4 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
86
Voted
SCHEDULING
2008
85views more  SCHEDULING 2008»
14 years 12 months ago
A dynamic programming algorithm for days-off scheduling with sequence dependent labor costs
This paper presents a dynamic programming (DP) algorithm for solving a labor scheduling problem with several realistic days-off scheduling constraints and a cost structure that dep...
Moustafa Elshafei, Hesham K. Alfares
72
Voted
BIOINFORMATICS
2010
94views more  BIOINFORMATICS 2010»
15 years 17 days ago
Globally, unrelated protein sequences appear random
Motivation: To test whether protein folding constraints and secondary structure sequence preferences significantly reduce the space of amino acid words in proteins, we compared th...
Daniel T. Lavelle, William R. Pearson