Multipass automata and group word problems

We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class of poly-context-free languages, that is, languages which are the intersection of finitely many context-free languages. We illustrate the use of these automata by studying groups whose word problems are in the above classes

La Revista de História et quelques prises de vue sur l'histoire récente - ou ancienne? - du Brésil

 Faut-il vraiment un effort pour rassembler des souvenirs vieuxde quarante ans? — Et si, amis paulistes, ils surgissaient de mieux quede la simple mémoire, mieux, oui, d'une source plus chaleureuse? Leseul difficile a été de trier dans un dense trésor. Un danger, je le sais:répéter des témoignages qui sont, aux regards des Brésiliens d'aujourd'hui, des vieilleries. Mais ils durent, en vérité toujours jeunes

Accidental parabolics and relatively hyperbolic groups

By constructing, in the relative case, objects analoguous to Rips and Sela's canonical representatives, we prove that the set of images by morphisms without accidental parabolic, of a finitely presented group in a relatively hyperbolic group, is finite, up to conjugacy.Comment: Revision, 24 pages, 4 figure

Existential questions in (relatively) hyperbolic groups {\it and} Finding relative hyperbolic structures

This arXived paper has two independant parts, that are improved and corrected versions of different parts of a single paper once named "On equations in relatively hyperbolic groups". The first part is entitled "Existential questions in (relatively) hyperbolic groups". We study there the existential theory of torsion free hyperbolic and relatively hyperbolic groups, in particular those with virtually abelian parabolic subgroups. We show that the satisfiability of systems of equations and inequations is decidable in these groups. In the second part, called "Finding relative hyperbolic structures", we provide a general algorithm that recognizes the class of groups that are hyperbolic relative to abelian subgroups.Comment: Two independant parts 23p + 9p, revised. To appear separately in Israel J. Math, and Bull. London Math. Soc. respectivel

Inhibition of Ubc13-mediated ubiquitination by GPS2 regulates multiple stages of B cell development

Non-proteolytic ubiquitin signaling mediated by Lys63 ubiquitin chains plays a critical role in multiple pathways that are key to the development and activation of immune cells. Our previous work indicates that GPS2 (G-protein Pathway Suppressor 2) is a multifunctional protein regulating TNF signaling and lipid metabolism in the adipose tissue through modulation of Lys63 ubiquitination events. However, the full extent of GPS2-mediated regulation of ubiquitination and the underlying molecular mechanisms are unknown. Here, we report that GPS2 is required for restricting the activation of TLR and BCR signaling pathways and the AKT/FOXO1 pathway in immune cells based on direct inhibition of Ubc13 enzymatic activity. Relevance of this regulatory strategy is confirmed in vivo by B cell-targeted deletion of GPS2, resulting in developmental defects at multiple stages of B cell differentiation. Together, these findings reveal that GPS2 genomic and non-genomic functions are critical for the development and cellular homeostasis of B cells

Effective-Range Expansion of the Neutron-Deuteron Scattering Studied by a Quark-Model Nonlocal Gaussian Potential

The S-wave effective range parameters of the neutron-deuteron (nd) scattering are derived in the Faddeev formalism, using a nonlocal Gaussian potential based on the quark-model baryon-baryon interaction fss2. The spin-doublet low-energy eigenphase shift is sufficiently attractive to reproduce predictions by the AV18 plus Urbana three-nucleon force, yielding the observed value of the doublet scattering length and the correct differential cross sections below the deuteron breakup threshold. This conclusion is consistent with the previous result for the triton binding energy, which is nearly reproduced by fss2 without reinforcing it with the three-nucleon force.Comment: 21 pages, 6 figures and 6 tables, submitted to Prog. Theor. Phy

GATA3 Expression Is Decreased in Psoriasis and during Epidermal Regeneration; Induction by Narrow-Band UVB and IL-4

Psoriasis is characterized by hyperproliferation of keratinocytes and by infiltration of activated Th1 and Th17 cells in the (epi)dermis. By expression microarray, we previously found the GATA3 transcription factor significantly downregulated in lesional psoriatic skin. Since GATA3 serves as a key switch in both epidermal and T helper cell differentiation, we investigated its function in psoriasis. Because psoriatic skin inflammation shares many characteristics of epidermal regeneration during wound healing, we also studied GATA3 expression under such conditions

Non-Canonical NF-κB Activation and Abnormal B Cell Accumulation in Mice Expressing Ubiquitin Protein Ligase-Inactive c-IAP2

Loss of c-IAP2 ubiquitin ligase activity, which occurs in the lymphoma-causing c-IAP2/MALT1 fusion protein, activates non-canonical NF-κB signaling and results in B cell abnormalities characteristic of MALT lymphoma