The nature of the base pairing between cytosine and 2-aminopurine is investigated by means of quantum mechanical calculations including electron correlation and accounting for the effects of aqueous solvation. At neutral pH, both a neutral wobble base pair and a Watson–Crick-like base pair having a protonated 2-aminopurine are predicted to be close to one another in energy; other previously pro...

We give a procedure for establishing the invalidity of logical entailments in the symbolic heap fragment of separation logic with user-defined inductive predicates, as used in program verification. This disproof procedure attempts to infer the existence of a countermodel to an entailment by comparing computable model summaries, a.k.a. bases (modified from earlier work), of its antecedent and co...

A good example for Dynamic Programming over sequences is RNA folding. We consider here only a minimal example based on the grammar with non-terminals S and B denoting arbitrary structures and secondary structures enclosed by a base pair respectively. We write terminals in the usual shorthand notation as • for an unpaired base, while ( and ) denotes a base pair. There are just five productions i...

We determined the melting temperatures (Tm) and thermodynamic parameters of 15 RNA and 19 DNA hairpins at 1 M NaCl, 0.01 M sodium phosphate, 0.1 mM EDTA, at pH 7. All these hairpins have loops of four bases, the most common loop size in 16S and 23S ribosomal RNAs. The RNA hairpins varied in loop sequence, loop-closing base pair (A.U, C.G, or G.C), base sequence of the stem, and stem size (four ...

Force-induced structural transitions both in relatively random and in designed single-stranded DNA (ssDNA) chains are studied theoretically. At high salt conditions, ssDNA forms compacted hairpin patterns stabilized by base-pairing and base-pair stacking interactions, and a threshold external force is needed to pull the hairpinned structure into a random coiled one. The base-pair stacking inter...

The energies of the canonical (standard, amino-keto) and tautomeric (non-standard, imino-enol) charge-neutral forms of the adenine-thymine base pair (A-T and A*-T*, respectively) are calculated using density functional theory. The reaction pathway is then computed using a transition state search to provide the asymmetric double-well potential minima along with the barrier height and shape, whic...

Using a methylated-DNA enrichment technique (methylated CpG island recovery assay, MIRA) in combination with whole-genome tiling arrays, we have characterized by MIRA-chip the entire B cell "methylome" of an individual human at 100-bp resolution. We find that at the chromosome level high CpG methylation density is correlated with subtelomeric regions and Giemsa-light bands (R bands). The majori...

The forces that hold complementary strands of DNA together in a double helix, and the role of base mismatches in these, are examined by single molecule force spectroscopy using an atomic force microscope (AFM). These forces are important when considering the binding of proteins to DNA, since these proteins often mechanically stretch the DNA during their action. In AFM measurement of forces, the...

RNA functions are intrinsically tied to folding kinetics. The most elementary step in RNA folding is the closing and opening of a base pair. Understanding this elementary rate process is the basis for RNA folding kinetics studies. Previous studies mostly focused on the unfolding of base pairs. Here, based on a hybrid approach, we investigate the folding process at level of single base pairing/s...

We calculated ab initio electronic coupling elements between neighboring base-pair dimers in a set of LNA:DNA oligomers with different numbers of locked nucleotides and compared them by averaging the values over ensembles of snapshots from molecular dynamics trajectories. Averaging was based on coupling elements for various ensembles comprising of 33,000 structures. The known pronounced variati...