Shuffling and Unshuffling

We consider various shuffling and unshuffling operations on languages and words, and examine their closure properties. Although the main goal is to provide some good and novel exercises and examples for undergraduate formal language theory classes, we also provide some new results and some open problems

The role of c-Jun in controlling the EPAC1-dependent induction of the SOCS3 gene in HUVECs

The cyclic AMP sensor, EPAC1, activates AP1-mediated transcription in HUVECs. Correspondingly, induction of the SOCS3 minimal promoter by EPAC1 requires a single AP1 site that constitutively binds phosphorylated (Ser63) c-Jun in DNA-pull-down assays. c-Jun (Ser63) becomes further phosphorylated following cyclic AMP stimulation and specific activation of protein kinase A (PKA), but not through selective activation of EPAC1. Moreover, despite a requirement for c-Jun for SOCS3 induction in fibroblasts, phospho-null c-Jun (Ser63/73Ala) had little effect on SOCS3 induction by cyclic AMP in HUVECs. AP1 activation and SOCS3 induction by EPAC1 in HUVECs therefore occur independently of c-Jun phosphorylation on Ser63

Fife's Theorem for 7/3-powers

We prove a Fife-like characterization of the infinite binary 7/3-power-free words, by giving a finite automaton of 15 states that encodes all such words. As a consequence, we characterize all such words that are 2-automatic. © 2011 N. Rampersad

Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity

We answer two open questions by (Gruber, Holzer, Kutrib, 2009) on the state-complexity of representing sub- or superword closures of context-free grammars (CFGs): (1) We prove a (tight) upper bound of $2^{\mathcal{O}(n)}$ on the size of nondeterministic finite automata (NFAs) representing the subword closure of a CFG of size $n$. (2) We present a family of CFGs for which the minimal deterministic finite automata representing their subword closure matches the upper-bound of $2^{2^{\mathcal{O}(n)}}$ following from (1). Furthermore, we prove that the inequivalence problem for NFAs representing sub- or superword-closed languages is only NP-complete as opposed to PSPACE-complete for general NFAs. Finally, we extend our results into an approximation method to attack inequivalence problems for CFGs

Repetitions in infinite palindrome-rich words

Rich words are characterized by containing the maximum possible number of distinct palindromes. Several characteristic properties of rich words have been studied; yet the analysis of repetitions in rich words still involves some interesting open problems. We address lower bounds on the repetition threshold of infinite rich words over 2 and 3-letter alphabets, and construct a candidate infinite rich word over the alphabet $\Sigma_2=\{0,1\}$ with a small critical exponent of $2+\sqrt{2}/2$. This represents the first progress on an open problem of Vesti from 2017.Comment: 12 page

A nested-PCR with an Internal Amplification Control for the detection and differentiation of Bartonella henselae and B. clarridgeiae: An examination of cats in Trinidad

BACKGROUND: Bartonella species are bacterial blood parasites of animals capable of causing disease in both animals and man. Cat-Scratch Disease (CSD) in humans is caused mainly by Bartonella henselae and is acquired from the cat, which serves as a reservoir for the bacteria. A second species, B. clarridgeiae is also implicated in the disease. Diagnosis of Bartonellosis by culture requires a week or more of incubation on enriched media containing blood, and recovery is often complicated by faster growing contaminating bacteria and fungi. PCR has been explored as an alternative to culture for both the detection and species identification of Bartonella, however sensitivity problems have been reported and false negative reactions due to blood inhibitors have not generally been addressed in test design. METHODS: A novel, nested-PCR was designed for the detection of Bartonella henselae and B. clarridgeiae based on the strategy of targeting species-specific size differences in the 16S-23S rDNA intergenic regions. An Internal Amplification Control was used for detecting PCR inhibition. The nested-PCR was utilized in a study on 103 blood samples from pet and stray cats in Trinidad. RESULTS: None of the samples were positive by primary PCR, but the Nested-PCR detected Bartonella in 32/103 (31%) cats where 16 were infected with only B. henselae, 13 with only B. clarridgeiae and 3 with both species. Of 22 stray cats housed at an animal shelter, 13 (59%) were positive for either or both species, supporting the reported increased incidence of Bartonella among feral cats. CONCLUSION: The usefulness of a single PCR for the detection of Bartonella henselae and B. clarridgeiae in the blood of cats is questionable. A nested-PCR offers increased sensitivity over a primary PCR and should be evaluated with currently used methods for the routine detection and speciation of Bartonella henselae and B. clarridgeiae. In Trinidad, B. henselae and B. clarridgeiae are the predominant species in cats and infection appears highest with stray cats, however B. clarridgeiae may be present at levels similar to that of B. henselae in the pet population

A Sensitive Branched DNA HIV-1 Signal Amplification Viral Load Assay with Single Day Turnaround

Branched DNA (bDNA) is a signal amplification technology used in clinical and research laboratories to quantitatively detect nucleic acids. An overnight incubation is a significant drawback of highly sensitive bDNA assays. The VERSANT® HIV-1 RNA 3.0 Assay (bDNA) (“Versant Assay”) currently used in clinical laboratories was modified to allow shorter target incubation, enabling the viral load assay to be run in a single day. To dramatically reduce the target incubation from 16–18 h to 2.5 h, composition of only the “Lysis Diluent” solution was modified. Nucleic acid probes in the assay were unchanged. Performance of the modified assay (assay in development; not commercially available) was evaluated and compared to the Versant Assay. Dilution series replicates (>950 results) were used to demonstrate that analytical sensitivity, linearity, accuracy, and precision for the shorter modified assay are comparable to the Versant Assay. HIV RNA-positive clinical specimens (n = 135) showed no significant difference in quantification between the modified assay and the Versant Assay. Equivalent relative quantification of samples of eight genotypes was demonstrated for the two assays. Elevated levels of several potentially interfering endogenous substances had no effect on quantification or specificity of the modified assay. The modified assay with drastically improved turnaround time demonstrates the viability of signal-amplifying technology, such as bDNA, as an alternative to the PCR-based assays dominating viral load monitoring in clinical laboratories. Highly sensitive bDNA assays with a single day turnaround may be ideal for laboratories with especially stringent cost, contamination, or reliability requirements

Granulocyte chemotaxis and disease expression are differentially regulated by GRK subtype in an acute inflammatory arthritis model (K/BxN)

Chemokine receptors are G-protein coupled receptors (GPCRs) phosphorylated by G-protein receptor kinases (GRKs) after ligand-mediated activation. We hypothesized that GRK subtypes differentially regulate granulocyte chemotaxis and clinical disease expression in the K/BxN model