The rapidly hybridizing RNA sequences transcribed in primary hamster embryo cells and in lines of serially propagated hamster cells were compared by the technique of RNA-DNA hybridization-competition. Such sequences are known to be transcribed from reiterated DNA sites. There were no rapidly hybridizing RNA sequences in primary hamster embryo cells that were not also present in transformed cell...

Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out to be an attractively simple one, and maintains all the usual theoretical and algorithmic properties, for example decidability of type-checking. Moreover it results in a rich metalanguage for encoding and reasoning abou...

Minimum degree and nested dissection are the two most popular reordering schemes used to reduce ll-in and operation count when factoring and solving sparse matrices. Most of the state-of-the-art ordering packages hybridize these methods by performing incomplete nested dissection and ordering by minimum degree the subgraphs associated with the leaves of the separation tree, but most often only l...