2032 search results - page 171 / 407 » Encodings of the Sequence Constraint |
208
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
141
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The Codon Adaptation Index (CAI) is a measure of the synonymous codon usage bias for a DNA or RNA sequence. It quantifies the similarity between the synonymous codon u...
184
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: For many metalloproteins, sequence motifs characteristic of metal-binding sites have not been found or are so short that they would not be expected to be metal-specifi...
203
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Conserved protein sequence motifs are short stretches of amino acid sequence patterns that potentially encode the function of proteins. Several sequence pattern search...
148
click to vote
RSA
2010
15 years 4 months ago
2010
We consider a type of long-range percolation problem on the positive integers, motivated by earlier work of others on the appearance of (in)finite words within a site percolation...