State Complexity of Reversals of Deterministic Finite Automata with Output

We investigate the worst-case state complexity of reversals of deterministic finite automata with output (DFAOs). In these automata, each state is assigned some output value, rather than simply being labelled final or non-final. This directly generalizes the well-studied problem of determining the worst-case state complexity of reversals of ordinary deterministic finite automata. If a DFAO has $n$ states and $k$ possible output values, there is a known upper bound of $k^n$ for the state complexity of reversal. We show this bound can be reached with a ternary input alphabet. We conjecture it cannot be reached with a binary input alphabet except when $k = 2$, and give a lower bound for the case $3 \le k < n$. We prove that the state complexity of reversal depends solely on the transition monoid of the DFAO and the mapping that assigns output values to states.Comment: 18 pages, 3 tables. Added missing affiliation/funding informatio

Most Complex Non-Returning Regular Languages

A regular language $L$ is non-returning if in the minimal deterministic finite automaton accepting it there are no transitions into the initial state. Eom, Han and Jir\'askov\'a derived upper bounds on the state complexity of boolean operations and Kleene star, and proved that these bounds are tight using two different binary witnesses. They derived upper bounds for concatenation and reversal using three different ternary witnesses. These five witnesses use a total of six different transformations. We show that for each $n\ge 4$ there exists a ternary witness of state complexity $n$ that meets the bound for reversal and that at least three letters are needed to meet this bound. Moreover, the restrictions of this witness to binary alphabets meet the bounds for product, star, and boolean operations. We also derive tight upper bounds on the state complexity of binary operations that take arguments with different alphabets. We prove that the maximal syntactic semigroup of a non-returning language has $(n-1)^n$ elements and requires at least $\binom{n}{2}$ generators. We find the maximal state complexities of atoms of non-returning languages. Finally, we show that there exists a most complex non-returning language that meets the bounds for all these complexity measures.Comment: 22 pages, 6 figure

Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages

A language $L$ over an alphabet $\Sigma$ is suffix-convex if, for any words $x,y,z\in\Sigma^*$, whenever $z$ and $xyz$ are in $L$, then so is $yz$. Suffix-convex languages include three special cases: left-ideal, suffix-closed, and suffix-free languages. We examine complexity properties of these three special classes of suffix-convex regular languages. In particular, we study the quotient/state complexity of boolean operations, product (concatenation), star, and reversal on these languages, as well as the size of their syntactic semigroups, and the quotient complexity of their atoms.Comment: 20 pages, 11 figures, 1 table. arXiv admin note: text overlap with arXiv:1605.0669

Implication of sperm RNAs in transgenerational inheritance of the effects of early trauma in mice.

Small non-coding RNAs (sncRNAs) are potential vectors at the interface between genes and environment. We found that traumatic stress in early life altered mouse microRNA (miRNA) expression, and behavioral and metabolic responses in the progeny. Injection of sperm RNAs from traumatized males into fertilized wild-type oocytes reproduced the behavioral and metabolic alterations in the resulting offspring.We thank M. Rassoulzadegan and V. Grandjean for help with the sperm purification, F. Manuella and H. Hörster for assistance with the MSUS paradigm, H. Welzl for help with behavior, G. Vernaz for help with western blotting, R. Tweedie-Cullen and P. Nanni for help with mass spectrometry, A. Patrignani for advice on DNA and RNA quality assessment, and A. Chen and A. Brunner for constructive discussions. This work was supported by the Austrian Academy of Sciences, the University of Zürich, the Swiss Federal Institute of Technology, Roche, the Swiss National Science Foundation, and The National Center of Competence in Research “Neural Plasticity and Repair”. P.S. was supported by a Gonville and Caius College fellowship.This is the accepted manuscript. The final version is available in Nature Neuroscience 17, 667–669 (2014), doi:10.1038/nn.369

The sperm factor: paternal impact beyond genes

The fact that sperm carry more than the paternal DNA has only been discovered just over a decade ago. With this discovery, the idea that the paternal condition may have direct implications for the fitness of the offspring had to be revisited. While this idea is still highly debated, empirical evidence for paternal effects is accumulating. Male condition not only affects male fertility but also offspring early development and performance later in life. Several factors have been identified as possible carriers of non-genetic information, but we still know little about their origin and function and even less about their causation. I consider four possible non-mutually exclusive adaptive and non-adaptive explanations for the existence of paternal effects in an evolutionary context. In addition, I provide a brief overview of the main non-genetic components found in sperm including DNA methylation, chromatin modifications, RNAs and proteins. I discuss their putative functions and present currently available examples for their role in transferring non-genetic information from the father to the offspring. Finally, I identify some of the most important open questions and present possible future research avenues

Intratumoral macrophages contribute to epithelial-mesenchymal transition in solid tumors

<p>Abstract</p> <p>Background</p> <p>Several stromal cell subtypes including macrophages contribute to tumor progression by inducing epithelial-mesenchymal transition (EMT) at the invasive front, a mechanism also linked to metastasis. Tumor associated macrophages (TAM) reside mainly at the invasive front but they also infiltrate tumors and in this process they mainly assume a tumor promoting phenotype. In this study, we asked if TAMs also regulate EMT intratumorally. We found that TAMs through TGF-β signaling and activation of the β-catenin pathway can induce EMT in intratumoral cancer cells.</p> <p>Methods</p> <p>We depleted macrophages in F9-teratocarcinoma bearing mice using clodronate-liposomes and analyzed the tumors for correlations between gene and protein expression of EMT-associated and macrophage markers. The functional relationship between TAMs and EMT was characterized <it>in vitro </it>in the murine F9 and mammary gland NMuMG cells, using a conditioned medium culture approach. The clinical relevance of our findings was evaluated on a tissue microarray cohort representing 491 patients with non-small cell lung cancer (NSCLC).</p> <p>Results</p> <p>Gene expression analysis of F9-teratocarcinomas revealed a positive correlation between TAM-densities and mesenchymal marker expression. Moreover, immunohistochemistry showed that TAMs cluster with EMT phenotype cells in the tumors. <it>In vitro</it>, long term exposure of F9-and NMuMG-cells to macrophage-conditioned medium led to decreased expression of the epithelial adhesion protein E-cadherin, activation of the EMT-mediating β-catenin pathway, increased expression of mesenchymal markers and an invasive phenotype. In a candidate based screen, macrophage-derived TGF-β was identified as the main inducer of this EMT-associated phenotype. Lastly, immunohistochemical analysis of NSCLC patient samples identified a positive correlation between intratumoral macrophage densities, EMT markers, intraepithelial TGF-β levels and tumor grade.</p> <p>Conclusions</p> <p>Data presented here identify a novel role for macrophages in EMT-promoted tumor progression. The observation that TAMs cluster with intra-epithelial fibroblastoid cells suggests that the role of macrophages in tumor-EMT extends beyond the invasive front. As macrophage infiltration and pronounced EMT tumor phenotype correlate with increased grade in NSCLC patients, we propose that TAMs also promote tumor progression by inducing EMT locally in tumors.</p

ROCK Inhibitor Is Not Required for Embryoid Body Formation from Singularized Human Embryonic Stem Cells

We report a technology to form human embryoid bodies (hEBs) from singularized human embryonic stem cells (hESCs) without the use of the p160 rho-associated coiled-coil kinase inhibitor (ROCKi) or centrifugation (spin). hEB formation was tested under four conditions: +ROCKi/+spin, +ROCKi/-spin, -ROCKi/+spin, and -ROCKi/-spin. Cell suspensions of BG01V/hOG and H9 hESC lines were pipetted into non-adherent hydrogel substrates containing defined microwell arrays. hEBs of consistent size and spherical geometry can be formed in each of the four conditions, including the -ROCKi/-spin condition. The hEBs formed under the -ROCKi/-spin condition differentiated to develop the three embryonic germ layers and tissues derived from each of the germ layers. This simplified hEB production technique offers homogeneity in hEB size and shape to support synchronous differentiation, elimination of the ROCKi xeno-factor and rate-limiting centrifugation treatment, and low-cost scalability, which will directly support automated, large-scale production of hEBs and hESC-derived cells needed for clinical, research, or therapeutic applications

Identification and characterization of microRNAs expressed in the African malaria vector Anopheles funestus life stages using high throughput sequencing

Background: Over the past several years, thousands of microRNAs (miRNAs) have been identified in the genomes of various insects through cloning and sequencing or even by computational prediction. However, the number of miRNAs identified in anopheline species is low and little is known about their role. The mosquito Anopheles funestus is one of the dominant malaria vectors in Africa, which infects and kills millions of people every year. Therefore, small RNA molecules isolated from the four life stages (eggs, larvae, pupae and unfed adult females) of An. funestus were sequenced using next generation sequencing technology. Results: High throughput sequencing of four replicates in combination with computational analysis identified 107 mature miRNA sequences expressed in the An. funestus mosquito. These include 20 novel miRNAs without sequence identity in any organism and eight miRNAs not previously reported in the Anopheles genus but are known in non-anopheles mosquitoes. Finally, the changes in the expression of miRNAs during the mosquito development were determined and the analysis showed that many miRNAs have stage-specific expression, and are co-transcribed and co-regulated during development. Conclusions: This study presents the first direct experimental evidence of miRNAs in An. funestus and the first profiling study of miRNA associated with the maturation in this mosquito. Overall, the results indicate that miRNAs play important roles during the growth and development. Silencing such molecules in a specific life stage could decrease the vector population and therefore interrupt malaria transmission.IS

Sperm centriole assessment identifies male factor infertility in couples with unexplained infertility - a pilot study

Unexplained infertility affects about one-third of infertile couples and is defined as the failure to identify the cause of infertility despite extensive evaluation of the male and female partners. Therefore, there is a need for a multiparametric approach to study sperm function. Recently, we developed a Fluorescence-Based Ratiometric Analysis of Sperm Centrioles (FRAC) assay to determine sperm centriole quality. Here, we perform a pilot study of sperm from 10 fertile men and 10 men in couples with unexplained infertility, using three centriolar biomarkers measured at three sperm locations from two sperm fractions, representing high and low sperm quality. We found that FRAC can identify men from couples with unexplained infertility as the likely source of infertility. Higher quality fractions from 10 fertile individuals were the reference population. All 180 studied FRAC values in the 10 fertile individuals fell within the reference population range. Eleven of the 180 studied FRAC values in the 10 infertile patients were outliers beyond the 95% confidence intervals (P = 0.0008). Three men with unexplained infertility had outlier FRAC values in their higher quality sperm fraction, while four had outlier FRAC values in their lower quality sperm fraction (3/10 and 4/10, P = 0.060 and P = 0.025, respectively), suggesting that these four individuals are infertile due, in part, to centriolar defects. We propose that a larger scale study should be performed to determine the ability of FRAC to identify male factor infertility and its potential contribution to sperm multiparametric analysis