21342 search results - page 3720 / 4269 » A Structured Language Model |
138
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
150
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Transcriptional gene regulation is one of the most important mechanisms in controlling many essential cellular processes, including cell development, cell-cycle contro...
147
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Backtranslation is the process of decoding a sequence of amino acids into the corresponding codons. All synthetic gene design systems include a backtranslation module....
152
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
159
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In secure multi-party computation n parties jointly evaluate an n-variate function f in the presence of an adversary which can corrupt up till t parties. All honest parties are req...