549 search results - page 33 / 110 » Constraint Programming in Structural Bioinformatics |
85
Voted
ICSE
2007
IEEE-ACM
16 years 16 days ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
73
Voted
DNA
2001
Springer
15 years 5 months ago
2001
Springer
The directed evolution of proteins, using an in vitro domainal shuffling strategy was proposed in (J. Kolkman and W. Stemmer, Nat. Biotech. 19, 423 (2001). Due to backhybridization...
114
click to vote
AADEBUG
1997
Springer
15 years 4 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
104
click to vote
BIOINFORMATICS
2006
15 years 15 days ago
2006
Motivation: Intervention in a gene regulatory network is used to avoid undesirable states, such as those associated with a disease. Several types of intervention have been studied...