Sciweavers

549 search results - page 15 / 110
» Constraint Programming in Structural Bioinformatics
Sort
View
177
Voted
WABI
2010
Springer
188views Bioinformatics» more  WABI 2010»
14 years 10 months ago
Prediction of RNA Secondary Structure Including Kissing Hairpin Motifs
Abstract. We present three heuristic strategies for folding RNA sequences into secondary structures including kissing hairpin motifs. The new idea is to construct a kissing hairpin...
Corinna Theis, Stefan Janssen, Robert Giegerich
101
Voted
ICLP
1995
Springer
15 years 4 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
110
Voted
AIR
2004
111views more  AIR 2004»
15 years 8 days ago
Towards Fast Vickrey Pricing using Constraint Programming
Ensuring truthfulness amongst self-interested agents bidding against one another in an auction can be computationally expensive when prices are determined using the Vickrey-Clarke-...
Alan Holland, Barry O'Sullivan
129
Voted
DAC
2006
ACM
16 years 1 months ago
Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming
In this paper, we propose an exact algorithm for the problem of area optimization under a delay constraint in the synthesis of multiplierless FIR filters. To the best of our knowl...
Eduardo A. C. da Costa, José Monteiro, Leve...
98
Voted
BMCBI
2008
114views more  BMCBI 2008»
15 years 15 days ago
WSPMaker: a web tool for calculating selection pressure in proteins and domains using window-sliding
Background: In the study of adaptive evolution, it is important to detect the protein coding sites where natural selection is acting. In general, the ratio of the rate of non-syno...
Yong Seok Lee, Tae-Hyung Kim, Tae-Wook Kang, Won-H...