On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism

In this paper we address the problem of the uniform random generation of non deterministic automata (NFA) up to isomorphism. First, we show how to use a Monte-Carlo approach to uniformly sample a NFA. Secondly, we show how to use the Metropolis-Hastings Algorithm to uniformly generate NFAs up to isomorphism. Using labeling techniques, we show that in practice it is possible to move into the modified Markov Chain efficiently, allowing the random generation of NFAs up to isomorphism with dozens of states. This general approach is also applied to several interesting subclasses of NFAs (up to isomorphism), such as NFAs having a unique initial states and a bounded output degree. Finally, we prove that for these interesting subclasses of NFAs, moving into the Metropolis Markov chain can be done in polynomial time. Promising experimental results constitute a practical contribution.Comment: Frank Drewes. CIAA 2015, Aug 2015, Umea, Sweden. Springer, 9223, pp.12, 2015, Implementation and Application of Automata - 20th International Conferenc

Emergence of structural and dynamical properties of ecological mutualistic networks

Mutualistic networks are formed when the interactions between two classes of species are mutually beneficial. They are important examples of cooperation shaped by evolution. Mutualism between animals and plants plays a key role in the organization of ecological communities. Such networks in ecology have generically evolved a nested architecture independent of species composition and latitude - specialists interact with proper subsets of the nodes with whom generalists interact. Despite sustained efforts to explain observed network structure on the basis of community-level stability or persistence, such correlative studies have reached minimal consensus. Here we demonstrate that nested interaction networks could emerge as a consequence of an optimization principle aimed at maximizing the species abundance in mutualistic communities. Using analytical and numerical approaches, we show that because of the mutualistic interactions, an increase in abundance of a given species results in a corresponding increase in the total number of individuals in the community, as also the nestedness of the interaction matrix. Indeed, the species abundances and the nestedness of the interaction matrix are correlated by an amount that depends on the strength of the mutualistic interactions. Nestedness and the observed spontaneous emergence of generalist and specialist species occur for several dynamical implementations of the variational principle under stationary conditions. Optimized networks, while remaining stable, tend to be less resilient than their counterparts with randomly assigned interactions. In particular, we analytically show that the abundance of the rarest species is directly linked to the resilience of the community. Our work provides a unifying framework for studying the emergent structural and dynamical properties of ecological mutualistic networks.Comment: 10 pages, 4 figure

Superpulsed low-level laser therapy protects skeletal muscle of mdx mice against damage, inflammation and morphological changes delaying dystrophy progression.

Aim: To evaluate the effects of preventive treatment with low-level laser therapy (LLLT) on progression of dystrophy in mdx mice. Methods: Ten animals were randomly divided into 2 experimental groups treated with superpulsed LLLT (904 nm, 15 mW, 700 Hz, 1 J) or placebo-LLLT at one point overlying the tibialis anterior muscle (bilaterally) 5 times per week for 14 weeks (from 6th to 20th week of age). Morphological changes, creatine kinase (CK) activity and mRNA gene expression were assessed in animals at 20th week of age. Results: Animals treated with LLLT showed very few morphological changes in skeletal muscle, with less atrophy and fibrosis than animals treated with placebo-LLLT. CK was significantly lower (p = 0.0203) in animals treated with LLLT (864.70 U.l−1, SEM 226.10) than placebo (1708.00 U.l−1, SEM 184.60). mRNA gene expression of inflammatory markers was significantly decreased by treatment with LLLT (p<0.05): TNF-α (placebo-control = 0.51 µg/µl [SEM 0.12], - LLLT = 0.048 µg/µl [SEM 0.01]), IL-1β (placebo-control = 2.292 µg/µl [SEM 0.74], - LLLT = 0.12 µg/µl [SEM 0.03]), IL-6 (placebo-control = 3.946 µg/µl [SEM 0.98], - LLLT = 0.854 µg/µl [SEM 0.33]), IL-10 (placebo-control = 1.116 µg/µl [SEM 0.22], - LLLT = 0.352 µg/µl [SEM 0.15]), and COX-2 (placebo-control = 4.984 µg/µl [SEM 1.18], LLLT = 1.470 µg/µl [SEM 0.73]). Conclusion: Irradiation of superpulsed LLLT on successive days five times per week for 14 weeks decreased morphological changes, skeletal muscle damage and inflammation in mdx mice. This indicates that LLLT has potential to decrease progression of Duchenne muscular dystrophy

Ultraviolet and visible reflectance spectra of Phobos and Deimos as measured by the ExoMars-TGO/Nomad-UVIS spectrometer

Spectroscopic measurements are a powerful tool to investigate the surface composition of airless bodies and provide clues of their origin. The composition and origin of Phobos and Deimos are still unknown and are currently widely debated. We present spectroscopic measurements of Phobos and Deimos at ultraviolet and visible wavelengths (250–650 nm) made by the NOMAD-Ultraviolet and Visible Spectrometer (UVIS) on the ExoMars TGO mission. These new spectra cover multiple areas on Phobos and Deimos, and are of generally higher spectral resolution and signal-to-noise than previous spectra, and extend to lower wavelengths than most previous measurements. The UVIS spectra confirm a red-sloped spectrum lacking any strong absorption features; however, we confirm the presence of a previously identified absorption feature near 0.65 μm and tentative absorption near 0.45 μm. The observed Phobos and Deimos spectra are similar to D- and T-type asteroids, adding weight to the captured asteroid hypothesis for the moons' origins. We also find, however, that the UVIS Phobos reflectance spectra of Phobos' red unit is a relatively close match to the olivine-rich, highly shocked Mars meteorite NWA 2737, with a low overall reflectance, a red-sloped spectrum, and lack of olivine-associated absorption bands in the UVIS spectral range. This meteorite, however, exhibits spectral features at longer wavelengths that not observed in the Martian moon spectra, indicating a need for further investigation at longer wavelengths to interpret whether this material could inform our understanding of Phobos' origin

Paracoccidioides brasilinsis-Induced Migration of Dendritic Cells and Subsequent T-Cell Activation in the Lung-Draining Lymph Nodes

Paracoccidioidomycosis is a mycotic disease caused by a dimorphic fungus, Paracoccidioides brasiliensis (Pb), that starts with inhalation of the fungus; thus, lung cells such as DC are part of the first line of defense against this microorganism. Migration of DC to the lymph nodes is the first step in initiating T cell responses. The mechanisms involved in resistance to Pb infection are poorly understood, but it is likely that DC play a pivotal role in the induction of effector T cells that control Pb infection. In this study, we showed that after Pb Infection, an important modification of lung DC receptor expression occurred. We observed an increased expression of CCR7 and CD103 on lung DC after infection, as well as MHC-II. After Pb infection, bone marrow-derived DC as well lung DC, migrate to lymph nodes. Migration of lung DC could represent an important mechanism of pathogenesis during PCM infection. In resume our data showed that Pb induced DC migration. Furthermore, we demonstrated that bone marrow-derived DC stimulated by Pb migrate to the lymph nodes and activate a T helper (Th) response. To the best of our knowledge, this is the first reported data showing that Pb induces migration of DC and activate a T helper (Th) response

Domain wall brane in squared curvature gravity

We suggest a thick braneworld model in the squared curvature gravity theory. Despite the appearance of higher order derivatives, the localization of gravity and various bulk matter fields is shown to be possible. The existence of the normalizable gravitational zero mode indicates that our four-dimensional gravity is reproduced. In order to localize the chiral fermions on the brane, two types of coupling between the fermions and the brane forming scalar is introduced. The first coupling leads us to a Schr\"odinger equation with a volcano potential, and the other a P\"oschl-Teller potential. In both cases, the zero mode exists only for the left-hand fermions. Several massive KK states of the fermions can be trapped on the brane, either as resonant states or as bound states.Comment: 18 pages, 5 figures and 1 table, references added, improved version to be published in JHE