4880 search results - page 540 / 976 » Manuals as Structured Programs |
193
click to vote
BIBE
2005
IEEE
16 years 17 days ago
2005
IEEE
RNA plays a critical role in mediating every step of cellular information transfer from genes to functional proteins. Pseudoknots are widely occurring structural motifs found in a...
155
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
166
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
Knowledge of energy barriers between pairs of secondary structures for a given DNA or RNA molecule is useful, both in understanding RNA function in biological settings and in desig...
204
click to vote
TSD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents the final version of the Czech Broadcast Conversation Corpus released at the Linguistic Data Consortium (LDC). The corpus contains 72 recordings of a...
151
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
A Dependence Anti Pattern is a dependence structure that may indicate potential problems for on–going software maintenance and evolution. Dependence anti patterns are not struct...