The word problem distinguishes counter languages

Counter automata are more powerful versions of finite state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of Zn is accepted by a nondeterministic m-counter automaton if and only if m &= n.

On the complexity of the Whitehead minimization problem

The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank free group. We give the first fully polynomial algorithm to solve this problem, that is, an algorithm that is polynomial both in the length of the input word and in the rank of the free group. Earlier algorithms had an exponential dependency in the rank of the free group. It follows that the primitivity problem – to decide whether a word is an element of some basis of the free group – and the free factor problem can also be solved in polynomial time.

Cells with neuronal characteristics differentiate and persist for one year in rat optic nerve explants cultures.

Evidence concerning the presence or absence of common neuronglia lineages in the postnatal mammalian central nervous system is still a matter of speculation. We address this problem using optic nerve explants, which show an extremely long survival in culture. Morphological, immunocytochemical and immunochemical methods were applied. The results obtained from in vitro tissue were compared with optic nerves (ONs) and whole-brain samples from animals of different ages. Newborn rat ONs represented the starting material of our tissue culture; they are composed of unmyelinated axons, astrocytes and progenitor cells but devoid of neuronal cell bodies. At this age, Western blots of ONs were positively stained by neurofilament and synapsin I specific antibodies. These bands increased in intensity during postnatal in situ development. In explant cultures, the glia cells reach a stage of functional differentiation and they maintain, together with undifferentiated cells, a complex histotypic organization. After 6 days in vitro, neurofilaments and synapsin I could not be detected on immunoblots, indicating that 1) axonal degeneration was completed, and 2) neuronal somata were absent at the time. Surprisingly, after about 4-5 weeks in culture, a new cell type appeared, which showed characteristics typical of neurons. After 406 days in vitro, neurofilaments and synapsin I were unequivocally detectable on Western blots. Furthermore, both immunocytochemical staining and light and electron microscopic examinations corroborated the presence of this earlier-observed cell type. These in vitro results clearly show the high developmental plasticity of ON progenitor cells, even late in development. The existence of a common neuron-glia precursor, which never gives rise to neurons in situ, is suggested.

Addressing the net balances problem as a prerequisite for EU budget reform: a proposal

Conflict among member states regarding the distribution of net financial burdens has been allowed to contaminate the entire design of the EU budget with very negative consequences in terms of equity, efficiency and transparency. To get around this problem and pave the way for a substantive budget reform, we propose to decouple distributional negotiations from the rest of the budget process by linking member state net balances in a rigid manner to relative prosperity. This would be achieved through the introduction of a system of compensating horizontal transfers that would take to its logical conclusion the Commission's proposal for a generalized compensation mechanism. We discuss the impact of the proposed scheme on member states? incentives and illustrate its financial implications using revenue and expenditure projections for 2013 that are based on the current Financial Perspectives and Own Resources Decision.

Second contribution to the knowledge of the larvae of the Raviniini (Diptera, Sarcophagidae) based on observations using scanning electron microscope

First and second instar larvae of some Sarcophagidae (Diptera) of the tribe Raviniini are described on observations with a scanning electron microscope.

Third contribution to the knowledge of the Raviniini (Diptera, Sarcophagidae), based on observations of the larvae, using scanning electron microscope

L1, L2 and L3 of Oxysarcodexia paulistanensis (Mattos), L3 of O. confusa Lopes, L2 of Ravinia belforti (Prado & Fonseca) and L2 of Oxyvinia excisa (Lopes) were described and figured using scanning electron microscope.

A class of stochastic games with infinitely many interacting agents related to Glauber dynamics on random graphs

We introduce and study a class of infinite-horizon nonzero-sum non-cooperative stochastic games with infinitely many interacting agents using ideas of statistical mechanics. First we show, in the general case of asymmetric interactions, the existence of a strategy that allows any player to eliminate losses after a finite random time. In the special case of symmetric interactions, we also prove that, as time goes to infinity, the game converges to a Nash equilibrium. Moreover, assuming that all agents adopt the same strategy, using arguments related to those leading to perfect simulation algorithms, spatial mixing and ergodicity are proved. In turn, ergodicity allows us to prove “fixation”, i.e. that players will adopt a constant strategy after a finite time. The resulting dynamics is related to zerotemperature Glauber dynamics on random graphs of possibly infinite volume.

Orbit decidability and the conjugacy problem for some extensions of groups

"Vegeu el resum a l'inici del document del fitxer adjunt."

The generic Hanna Neumann conjecture and post correspondence problem

"Vegeu el resum a l'inici del document del fitxer adjunt."

Waddlia chondrophila Infects and Multiplies in Ovine Trophoblast Cells Stimulating an Inflammatory Immune Response.

BACKGROUND: Waddlia chondrophila (W. chondrophila) is an emerging abortifacient organism which has been identified in the placentae of humans and cattle. The organism is a member of the order Chlamydiales, and shares many similarities at the genome level and in growth studies with other well-characterised zoonotic chlamydial abortifacients, such as Chlamydia abortus (C. abortus). This study investigates the growth of the organism and its effects upon pro-inflammatory cytokine expression in a ruminant placental cell line which we have previously utilised in a model of C. abortus pathogenicity. METHODOLOGY/PRINCIPAL FINDINGS: Using qPCR, fluorescent immunocytochemistry and electron microscopy, we characterised the infection and growth of W. chondrophila within the ovine trophoblast AH-1 cell line. Inclusions were visible from 6 h post-infection (p.i.) and exponential growth of the organism could be observed over a 60 h time-course, with significant levels of host cell lysis being observed only after 36 h p.i. Expression of CXCL8, TNF-α, IL-1α and IL-1β were determined 24 h p.i. A statistically significant response in the expression of CXCL8, TNF-α and IL-1β could be observed following active infection with W. chondrophila. However a significant increase in IL-1β expression was also observed following the exposure of cells to UV-killed organisms, indicating the stimulation of multiple innate recognition pathways. CONCLUSIONS/SIGNIFICANCE: W. chondrophila infects and grows in the ruminant trophoblast AH-1 cell line exhibiting a complete chlamydial replicative cycle. Infection of the trophoblasts resulted in the expression of pro-inflammatory cytokines in a dose-dependent manner similar to that observed with C. abortus in previous studies, suggesting similarities in the pathogenesis of infection between the two organisms.

Rapid detection by transmission electron microscopy of mycoplasma contamination in sera and cell cultures

Transmission electon microscopy has been employed for the rapid detection of mycoplasma in sera and cell cultures. High speed centrifugation of sera or low speed centrifugation of cell debris, followed by negative staining of the resuspended pellet, detected mycoplasma contamination more frequently than a culture method followed by direct fluorescence (DAPI), which was used as a control procedure. The appearance of the mycoplasma cell border and content gives some information about particle viability.

Scanning electron microscopy of the egg and the first instar larva of Dermatobia hominis (Diptera, cuterebridae)

The egg and the first instar larva of Dermatobia hominis were described based on observation with a scanning electron microscope.