Automatically verifying safety properties of programs is hard, and it is even harder if the program acts upon arrays or other forms of maps. Many approaches exist for verifying programs operating upon Boolean and integer values (e.g. abstract interpretation, counterexample-guided abstraction refinement using interpolants), but transposing them to array properties has been fraught with difficult...

We derive new convergence results for the Schoenberg operator and more general quasi-interpolation operators. In particular, we prove that natural conditions on the generator function imply convergence of these operators in the Fourier algebra A(Rd) = FL1(Rd) and in S0(R), a function space developed by the first author and often used in time-frequency analysis. As a simple yet very useful conse...

Homologous recombination at the bacterial transposon Tn7 donor site is stimulated 10-fold when Tn7 is activated to transpose at high frequency in RecD- Escherichia coli, where recombination is focused near the ends of double-chain breaks. This is observed as an increase in recombination between two lacZ heteroalleles when one copy of lacZ carries within it a Tn7 that is transposing at high freq...

Functional transposition is a technique for converting relations into functions aimed at developing the relational algebra via the algebra of functions. This paper attempts to develop a basis for generic transposition. Two instances of this construction are considered, one applicable to any relation and the other applicable to simple relations only. Our illustration of the usefulness of the gen...

Since the human genome sequences became available in 2001, our knowledge about the human transposable elements which comprise ∼40% of the total nucleotides has been expanding. Non-long terminal repeat (non-LTR) retrotransposons are actively transposing in the present-day human genome, and have been found to cause ∼100 identified clinical cases of varied disorders. In contrast, almost all of the...

Nonwords created by transposing two letters (e.g., RELOVUTION) are very effective at activating the lexical representation of their base words (Perea & Lupker, 2004). In the present study, we examined whether the nature of transposed-letter (TL) similarity effects was purely orthographic or whether it could also have a phonological component. Specifically, we examined transposed-letter similari...

One key issue for any computational model of visual word recognition is the choice of an input coding scheme for assigning letter position. Recent research has shown that transposed-letter similarity effects occur even when the transposed letters are not adjacent (caniso-casino; Perea & Lupker, 2004, JML). In the present study we conducted two single-presentation lexical decision experiments to...