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

Technical Note: Continuity of MIPAS-ENVISAT ozone data quality from full- to reduced-spectral-resolution operation mode

International audienceMIPAS (Michelson Interferometer for Passive Atmospheric Sounding) is operating on the ENVIronmental SATellite (ENVISAT) since March 2002. After two years of nearly continuous limb scanning measurements, at the end of March 2004, the instrument was stopped due to problems with the mirror drive of the interferometer. Operations with reduced maximum path difference, corresponding to both a reduced-spectral-resolution and a shorter measurement time, were resumed on January 2005. In order to exploit the reduction in measurement time, the measurement scenario was changed adopting a finer vertical limb scanning. The change of spectral resolution and of measurement scenario entailed an update of the data processing strategy. The aim of this paper is the assessment of the differences in the quality of the MIPAS ozone data acquired before and after the stop of the operations. Two sets of MIPAS ozone profiles acquired in 2003?2004 (full-resolution measurements) and in 2005?2006 (reduced-resolution measurements) are compared with collocated ozone profiles obtained by GOMOS (Global Ozone Monitoring by Occultation of Stars), itself also onboard ENVISAT. The continuity of the GOMOS data quality allows to assess a possible discontinuity of the MIPAS performances. The relative bias and precision of MIPAS ozone profiles with respect to the GOMOS ones have been compared for the measurements acquired before and after the stop of the MIPAS operations. The results of the comparison show that, in general, the quality of the MIPAS ozone profiles retrieved from reduced-resolution measurements is comparable or better than that obtained from the full-resolution dataset. The only significant change in MIPAS performances is observed at pressures around 2 hPa, where the relative bias of the instruments increases by a factor of 2 from the 2003?2004 to 2005?2006 measurements

Harmonic generation by atoms in circularly polarized two-color laser fields with coplanar polarizations and commensurate frequencies

The generation of harmonics by atoms or ions in a two-color, coplanar field configuration with commensurate frequencies is investigated through both, an analytical calculation based on the Lewenstein model and the numerical ab initio solution of the time-dependent Schroedinger equation of a two-dimensional model ion. Through the analytical model, selection rules for the harmonic orders in this field configuration, a generalized cut-off for the harmonic spectra, and an integral expression for the harmonic dipole strength is provided. The numerical results are employed to test the predictions of the analytical model. The scaling of the cut-off as a function of both, one of the laser intensities and frequency ratio $\eta$, as well as entire spectra for different $\eta$ and laser intensities are presented and analyzed. The theoretical cut-off is found to be an upper limit for the numerical results. Other discrepancies between analytical model and numerical results are clarified by taking into account the probabilities of the absorption processes involved.Comment: 8 figure

Charged State of a Spherical Plasma in Vacuum

The stationary state of a spherically symmetric plasma configuration is investigated in the limit of immobile ions and weak collisions. Configurations with small radii are positively charged as a significant fraction of the electron population evaporates during the equilibration process, leaving behind an electron distribution function with an energy cutoff. Such charged plasma configurations are of interest for the study of Coulomb explosions and ion acceleration from small clusters irradiated by ultraintense laser pulses and for the investigation of ion bunches propagation in a plasma

Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic

In this paper we survey some surprising connections between group theory, the theory of automata and formal languages, the theory of ends, infinite games of perfect information, and monadic second-order logic

Proteomic Modulation in TGF-β-Treated Cholangiocytes Induced by Curcumin Nanoparticles

Curcumin is a natural polyphenol that exhibits a variety of beneficial effects on health, including anti-inflammatory, antioxidant, and hepato-protective properties. Due to its poor water solubility and membrane permeability, in the present study, we prepared and characterized a water-stable, freely dispersible nanoformulation of curcumin. Although the potential of curcumin nanoformulations in the hepatic field has been studied, there are no investigations on their effect in fibrotic pathological conditions involving cholangiocytes. Exploiting an in vitro model of transforming growth factor-  (TGF- )-stimulated cholangiocytes, we applied the Sequential Window Acquisition of All Theoretical Mass Spectra (SWATH-MS)-based quantitative proteomic approaches to study the proteome modulation induced by curcumin nanoformulation. Our results confirmed the well-documented anti-inflammatory properties of this nutraceutic, highlighting the induction of programmed cell death as a mechanism to counteract the cellular damages induced by TGF- . Moreover, curcumin nanoformulation positively influenced the expression of several proteins involved in TGF- -mediated fibrosis. Given the crucial importance of deregulated cholangiocyte functions during cholangiopathies, our results provide the basis for a better understanding of the mechanisms associated with this pathology and could represent a rationale for the development of more targeted therapies

Shift-Symmetric Configurations in Two-Dimensional Cellular Automata: Irreversibility, Insolvability, and Enumeration

The search for symmetry as an unusual yet profoundly appealing phenomenon, and the origin of regular, repeating configuration patterns have long been a central focus of complexity science and physics. To better grasp and understand symmetry of configurations in decentralized toroidal architectures, we employ group-theoretic methods, which allow us to identify and enumerate these inputs, and argue about irreversible system behaviors with undesired effects on many computational problems. The concept of so-called configuration shift-symmetry is applied to two-dimensional cellular automata as an ideal model of computation. Regardless of the transition function, the results show the universal insolvability of crucial distributed tasks, such as leader election, pattern recognition, hashing, and encryption. By using compact enumeration formulas and bounding the number of shift-symmetric configurations for a given lattice size, we efficiently calculate the probability of a configuration being shift-symmetric for a uniform or density-uniform distribution. Further, we devise an algorithm detecting the presence of shift-symmetry in a configuration. Given the resource constraints, the enumeration and probability formulas can directly help to lower the minimal expected error and provide recommendations for system's size and initialization. Besides cellular automata, the shift-symmetry analysis can be used to study the non-linear behavior in various synchronous rule-based systems that include inference engines, Boolean networks, neural networks, and systolic arrays.Comment: 22 pages, 9 figures, 2 appendice

Desogestrel down-regulates PHOX2B and its target genes in progesterone responsive neuroblastoma cells

The paired-like homeobox 2B gene (PHOX2B) encodes a key transcription factor that plays a role in the development of the autonomic nervous system and the neural structures involved in controlling breathing. In humans, PHOX2B over-expression plays a role in the pathogenesis of tumours arising from the sympathetic nervous system such as neuroblastomas, and heterozygous PHOX2B mutations cause Congenital Central Hypoventilation Syndrome (CCHS), a life-threatening neurocristopathy characterised by the defective autonomic control of breathing and involving altered CO2/H+ chemosensitivity. The recovery of CO2/H+ chemosensitivity and increased ventilation have been observed in two CCHS patients using the potent contraceptive progestin desogestrel. Given the central role of PHOX2B in the pathogenesis of CCHS, and the progesterone-mediated effects observed in the disease, we generated progesterone-responsive neuroblastoma cells, and evaluated the effects of 3-Ketodesogestrel (3-KDG), the biologically active metabolite of desogestrel, on the expression of PHOX2B and its target genes. Our findings demonstrate that, through progesterone nuclear receptor PR-B, 3-KDG down-regulates PHOX2B gene expression, by a post-transcriptional mechanism, and its target genes and open up the possibility that this mechanism may contribute to the positive effects observed in some CCHS patients

Present situation and new perspectives for vaccination against Neisseria meningitidis in Tuscany, Central Italy

Background. In Italy one third of bacterial meningitis are caused by Neisseria meningitidis. In March 2005, the Regional Health Authority of Tuscany included the meningococcal serogroup C conjugate (MCC) vaccine in the recommended vaccination pro- gram with a schedule of three doses to all newborns at 3, 5 and 13 months of age (from 2008 amended to a single dose at 13 months) and a single catch-up dose until age 6. Objective. To evaluate the impact of the current national and regional immunization strategies against N. meningitidis and to highlight new perspectives for meningococcal disease prevention with the existing tetravalent meningococcal vaccine (ACWY) and with the future incoming meningococcal B vaccines. Methods. Meningitis incidence rates in Italy and in Tuscany were calculated for the period 1994-2011 and 2005-2011,respectively. Immunization coverage with MCC vaccine in Tuscany and vacci- nation status of meningitis cases were reported. Literature review on meningococcal conjugate vaccine use and recommendation was performed. Results. A decrease in incidence rates of meningococcal menin- gitis was observed in all age groups involved in the immunization campaign. Immunization coverage with MCC increased progres- sively year by year in Tuscany. A herd immunity effect was meas- ured in unvaccinated age groups. Since 2006 no cases of invasive meningococcal C infection in vaccinated subjects were observed in Tuscany. Conclusions. Implementation of MCC vaccination in Tuscany was effective in preventing meningococcal C disease, confirming the effectiveness of the vaccine. A new tetravalent (ACWY) con- jugate vaccine is now available and its use in all Italian Regions should be considered. The full article is free available on www.jpmh.or