Factorization in Formal Languages

We consider several novel aspects of unique factorization in formal languages. We reprove the familiar fact that the set uf(L) of words having unique factorization into elements of L is regular if L is regular, and from this deduce an quadratic upper and lower bound on the length of the shortest word not in uf(L). We observe that uf(L) need not be context-free if L is context-free. Next, we consider variations on unique factorization. We define a notion of "semi-unique" factorization, where every factorization has the same number of terms, and show that, if L is regular or even finite, the set of words having such a factorization need not be context-free. Finally, we consider additional variations, such as unique factorization "up to permutation" and "up to subset"

The evolution of university-industry linkages-A framework

This qualitative study extends literature on research commercialization by examining the dynamic nature of university-industry linkages (UIL). Thirty in-depth interviews conducted in Australia and Germany/the Netherlands provide evidence of the different phases through which UILs evolve and respective measures of success. Communication, understanding, trust, and people are universal drivers, yet managers must consider the variations in the nature of these factors to ensure successful UILs. This study equips managers involved in technology transfer, innovation, and commercialization with critical insights into developing effective relationships. The proposed conceptual framework also uncovers notable theoretical and managerial implications and offers some key research directions. © 2012 Published by Elsevier B.V. All rights reserved.Carolin Plewa, Nisha Korff, Claire Johnson, Gregory Macpherson, Thomas Baaken, Giselle Camille Rampersa

Enhanced Th17-Cell Responses Render CCR2-Deficient Mice More Susceptible for Autoimmune Arthritis

CCR2 is considered a proinflammatory mediator in many inflammatory diseases such as rheumatoid arthritis. However, mice lacking CCR2 develop exacerbated collagen-induced arthritis. To explore the underlying mechanism, we investigated whether autoimmune-associated Th17 cells were involved in the pathogenesis of the severe phenotype of autoimmune arthritis. We found that Th17 cells were expanded approximately 3-fold in the draining lymph nodes of immunized CCR2−/− mice compared to WT controls (p = 0.017), whereas the number of Th1 cells and regulatory T cells are similar between these two groups of mice. Consistently, levels of the Th17 cell cytokine IL-17A and Th17 cell-associated cytokines, IL-6 and IL-1β were approximately 2–6-fold elevated in the serum and 22–28-fold increased in the arthritic joints in CCR2−/− mice compared to WT mice (p = 0.04, 0.0004, and 0.01 for IL-17, IL-6, and IL-1β, respectively, in the serum and p = 0.009, 0.02, and 0.02 in the joints). Furthermore, type II collagen-specific antibodies were significantly increased, which was accompanied by B cell and neutrophil expansion in CCR2−/− mice. Finally, treatment with an anti-IL-17A antibody modestly reduced the disease severity in CCR2−/− mice. Therefore, we conclude that while we detect markedly enhanced Th17-cell responses in collagen-induced arthritis in CCR2-deficient mice and IL-17A blockade does have an ameliorating effect, factors additional to Th17 cells and IL-17A also contribute to the severe autoimmune arthritis seen in CCR2 deficiency. CCR2 may have a protective role in the pathogenesis of autoimmune arthritis. Our data that monocytes were missing from the spleen while remained abundant in the bone marrow and joints of immunized CCR2−/− mice suggest that there is a potential link between CCR2-expressing monocytes and Th17 cells during autoimmunity

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

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

Ganglioside GM3 Has an Essential Role in the Pathogenesis and Progression of Rheumatoid Arthritis

Rheumatoid arthritis (RA), a chronic systemic inflammatory disorder that principally attacks synovial joints, afflicts over 2 million people in the United States. Interleukin (IL)-17 is considered to be a master cytokine in chronic, destructive arthritis. Levels of the ganglioside GM3, one of the most primitive glycosphingolipids containing a sialic acid in the structure, are remarkably decreased in the synovium of patients with RA. Based on the increased cytokine secretions observed in in vitro experiments, GM3 might have an immunologic role. Here, to clarify the association between RA and GM3, we established a collagen-induced arthritis mouse model using the null mutation of the ganglioside GM3 synthase gene. GM3 deficiency exacerbated inflammatory arthritis in the mouse model of RA. In addition, disrupting GM3 induced T cell activation in vivo and promoted overproduction of the cytokines involved in RA. In contrast, the amount of the GM3 synthase gene transcript in the synovium was higher in patients with RA than in those with osteoarthritis. These findings indicate a crucial role for GM3 in the pathogenesis and progression of RA. Control of glycosphingolipids such as GM3 might therefore provide a novel therapeutic strategy for RA

CAVASS: A Computer-Assisted Visualization and Analysis Software System

The Medical Image Processing Group at the University of Pennsylvania has been developing (and distributing with source code) medical image analysis and visualization software systems for a long period of time. Our most recent system, 3DVIEWNIX, was first released in 1993. Since that time, a number of significant advancements have taken place with regard to computer platforms and operating systems, networking capability, the rise of parallel processing standards, and the development of open-source toolkits. The development of CAVASS by our group is the next generation of 3DVIEWNIX. CAVASS will be freely available and open source, and it is integrated with toolkits such as Insight Toolkit and Visualization Toolkit. CAVASS runs on Windows, Unix, Linux, and Mac but shares a single code base. Rather than requiring expensive multiprocessor systems, it seamlessly provides for parallel processing via inexpensive clusters of work stations for more time-consuming algorithms. Most importantly, CAVASS is directed at the visualization, processing, and analysis of 3-dimensional and higher-dimensional medical imagery, so support for digital imaging and communication in medicine data and the efficient implementation of algorithms is given paramount importance

Cyclic Nucleotide Phosphodiesterases and Compartmentation in Normal and Diseased Heart

International audienceCyclic nucleotide phosphodiesterases (PDEs) degrade the second messengers cAMP and cGMP, thereby regulating multiple aspects of cardiac function. This highly diverse class of enzymes encoded by 21 genes encompasses 11 families which are not only responsible for the termination of cyclic nucleotide signalling, but are also involved in the generation of dynamic microdomains of cAMP and cGMP controlling specific cell functions in response to various neurohormonal stimuli. In myocardium, the PDE3 and PDE4 families are predominant to degrade cAMP and thereby regulate cardiac excitation-contraction coupling. PDE3 inhibitors are positive inotropes and vasodilators in human, but their use is limited to acute heart failure and intermittent claudication. PDE5 is particularly important to degrade cGMP in vascular smooth muscle, and PDE5 inhibitors are used to treat erectile dysfunction and pulmonary hypertension. However, these drugs do not seem efficient in heart failure with preserved ejection fraction. There is experimental evidence that these PDEs as well as other PDE families including PDE1, PDE2 and PDE9 may play important roles in cardiac diseases such as hypertrophy and heart failure. After a brief presentation of the cyclic nucleotide pathways in cardiac cells and the major characteristics of the PDE superfamily, this chapter will present their role in cyclic nucleotide compartmentation and the current use of PDE inhibitors in cardiac diseases together with the recent research progresses that could lead to a better exploitation of the therapeutic potential of these enzymes in the future

Consensus Paper: Cerebellum and Social Cognition.

The traditional view on the cerebellum is that it controls motor behavior. Although recent work has revealed that the cerebellum supports also nonmotor functions such as cognition and affect, only during the last 5 years it has become evident that the cerebellum also plays an important social role. This role is evident in social cognition based on interpreting goal-directed actions through the movements of individuals (social "mirroring") which is very close to its original role in motor learning, as well as in social understanding of other individuals' mental state, such as their intentions, beliefs, past behaviors, future aspirations, and personality traits (social "mentalizing"). Most of this mentalizing role is supported by the posterior cerebellum (e.g., Crus I and II). The most dominant hypothesis is that the cerebellum assists in learning and understanding social action sequences, and so facilitates social cognition by supporting optimal predictions about imminent or future social interaction and cooperation. This consensus paper brings together experts from different fields to discuss recent efforts in understanding the role of the cerebellum in social cognition, and the understanding of social behaviors and mental states by others, its effect on clinical impairments such as cerebellar ataxia and autism spectrum disorder, and how the cerebellum can become a potential target for noninvasive brain stimulation as a therapeutic intervention. We report on the most recent empirical findings and techniques for understanding and manipulating cerebellar circuits in humans. Cerebellar circuitry appears now as a key structure to elucidate social interactions