Reachability for dynamic parametric processes

In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables that are shared with their parent. We show that reachability for dynamic parametric processes is decidable under mild assumptions. These assumptions are e.g. met if individual processes are realized by pushdown systems, or even higher-order pushdown systems. We also provide algorithms for subclasses of pushdown dynamic parametric processes, with complexity ranging between NP and DEXPTIME.Comment: 31 page

VgrG and PAAR Proteins Define Distinct Versions of a Functional Type VI Secretion System

The Type VI secretion system (T6SS) is widespread among bacterial pathogens and acts as an effective weapon against competitor bacteria and eukaryotic hosts by delivering toxic effector proteins directly into target cells. The T6SS utilises a bacteriophage-like contractile machinery to expel a puncturing device based on a tube of Hcp topped with a VgrG spike, which can be extended by a final tip from a PAAR domain-containing protein. Effector proteins are believed to be delivered by specifically associating with particular Hcp, VgrG or PAAR proteins, either covalently ('specialised') or non-covalently ('cargo' effectors). Here we used the T6SS of the opportunistic pathogen Serratia marcescens, together with integratecd genetic, proteomic and biochemical approaches, to elucidate the role of specific VgrG and PAAR homologues in T6SS function and effector specificity, revealing new aspects and unexpected subtleties in effector delivery by the T6SS. We identified effectors, both cargo and specialised, absolutely dependent on a particular VgrG for delivery to target cells, and discovered that other cargo effectors can show a preference for a particular VgrG. The presence of at least one PAAR protein was found to be essential for T6SS function, consistent with designation as a 'core' T6SS component. We showed that specific VgrG-PAAR combinations are required to assemble a functional T6SS and that the three distinct VgrG-PAAR assemblies in S. marcescens exhibit distinct effector specificity and efficiency. Unexpectedly, we discovered that two different PAAR-containing Rhs proteins can functionally pair with the same VgrG protein. Showing that accessory EagR proteins are involved in these interactions, native VgrG-Rhs-EagR complexes were isolated and specific interactions between EagR and cognate Rhs proteins identified. This study defines an essential yet flexible role for PAAR proteins in the T6SS and highlights the existence of distinct versions of the machinery with differential effector specificity and efficiency of target cell delivery

Chemoattractant Receptor Homologous to the T Helper 2 Cell (CRTH2) Is Not Expressed in Human Amniocytes and Myocytes

BACKGROUND: 15-deoxy-Δ 12,14- Prostaglandin J2 (15dPGJ2) inhibits Nuclear factor kappa B (NF-κB) in human myocytes and amniocytes and delays inflammation induced preterm labour in the mouse. 15dPGJ2 is a ligand for the Chemoattractant Receptor Homologous to the T helper 2 cell (CRTH2), a G protein-coupled receptor, present on a subset of T helper 2 (Th2) cells, eosinophils and basophils. It is the second receptor for Prostaglandin D2, whose activation leads to chemotaxis and the production of Th2-type interleukins. The cellular distribution of CRTH2 in non-immune cells has not been extensively researched, and its identification at the protein level has been limited by the lack of specific antibodies. In this study we explored the possibility that CRTH2 plays a role in 15dPGJ2-mediated inhibition of NF-κB and would therefore represent a novel small molecule therapeutic target for the prevention of inflammation induced preterm labour. METHODS: The effect of a small molecule CRTH2 agonist on NF-κB activity in human cultured amniocytes and myocytes was assessed by detection of p65 and phospho-p65 by immunoblot. Endogenous CRTH2 expression in amniocytes, myocytes and peripheral blood mononuclear cells (PBMCs) was examined by PCR, western analysis and flow cytometry, with amniocytes and myocytes transfected with CRTH2 acting as a positive control in flow cytometry studies. RESULTS: The CRTH2 agonist had no effect on NF-κB activity in amniocytes and myocytes. Although CRTH2 mRNA was detected in amniocytes and myocytes, CRTH2 was not detectable at the protein level, as demonstrated by western analysis and flow cytometry. 15dPGJ2 inhibited phospho-65 in PBMC'S, however the CRTH2 antagonist was not able to attenuate this effect. In conclusion, CRTH2 is not expressed on human amniocytes or myocytes and plays no role in the mechanism of 15dPGJ2-mediated inhibition of NF-κB

Panmixia in a fragmented and unstable environment: the hydrothermal shrimp Rimicaris exoculata disperses extensively along the Mid-Atlantic ridge

Dispersal plays a fundamental role in the evolution and persistence of species, and especially for species inhabiting extreme, ephemeral and highly fragmented habitats as hydrothermal vents. The Mid-Atlantic Ridge endemic shrimp species Rimicaris exoculata was studied using microsatellite markers to infer connectivity along the 7100-Km range encompassing the sampled sites. Astonishingly, no genetic differentiation was found between individuals from the different geographic origins, supporting a scenario of widespread large-scale dispersal despite the habitat distance and fragmentation. We hypothesize that delayed metamorphosis associated to temperature differences or even active directed migration dependent on physical and/or chemical stimuli could explain these results and warrant further studies on adaptation and dispersal mechanisms

Indication for the disappearance of reactor electron antineutrinos in the Double Chooz experiment

The Double Chooz Experiment presents an indication of reactor electron antineutrino disappearance consistent with neutrino oscillations. A ratio of 0.944 $\pm$ 0.016 (stat) $\pm$ 0.040 (syst) observed to predicted events was obtained in 101 days of running at the Chooz Nuclear Power Plant in France, with two 4.25 GW$_{th}$ reactors. The results were obtained from a single 10 m$^3$ fiducial volume detector located 1050 m from the two reactor cores. The reactor antineutrino flux prediction used the Bugey4 measurement as an anchor point. The deficit can be interpreted as an indication of a non-zero value of the still unmeasured neutrino mixing parameter \sang. Analyzing both the rate of the prompt positrons and their energy spectrum we find \sang = 0.086 $\pm$ 0.041 (stat) $\pm$ 0.030 (syst), or, at 90% CL, 0.015 $<$ \sang $\ <$ 0.16.Comment: 7 pages, 4 figures, (new version after PRL referee's comments

Communication Impairments in Mice Lacking Shank1: Reduced Levels of Ultrasonic Vocalizations and Scent Marking Behavior

Autism is a neurodevelopmental disorder with a strong genetic component. Core symptoms are abnormal reciprocal social interactions, qualitative impairments in communication, and repetitive and stereotyped patterns of behavior with restricted interests. Candidate genes for autism include the SHANK gene family, as mutations in SHANK2 and SHANK3 have been detected in several autistic individuals. SHANK genes code for a family of scaffolding proteins located in the postsynaptic density of excitatory synapses. To test the hypothesis that a mutation in SHANK1 contributes to the symptoms of autism, we evaluated Shank1−/− null mutant mice for behavioral phenotypes with relevance to autism, focusing on social communication. Ultrasonic vocalizations and the deposition of scent marks appear to be two major modes of mouse communication. Our findings revealed evidence for low levels of ultrasonic vocalizations and scent marks in Shank1−/− mice as compared to wildtype Shank1+/+ littermate controls. Shank1−/− pups emitted fewer vocalizations than Shank1+/+ pups when isolated from mother and littermates. In adulthood, genotype affected scent marking behavior in the presence of female urinary pheromones. Adult Shank1−/− males deposited fewer scent marks in proximity to female urine than Shank1+/+ males. Call emission in response to female urinary pheromones also differed between genotypes. Shank1+/+ mice changed their calling pattern dependent on previous female interactions, while Shank1−/− mice were unaffected, indicating a failure of Shank1−/− males to learn from a social experience. The reduced levels of ultrasonic vocalizations and scent marking behavior in Shank1−/− mice are consistent with a phenotype relevant to social communication deficits in autism.National Institute of Mental Health (U.S.) (Intramural Research Program)Simons Foundatio

Mutations in the gene encoding the synaptic scaffolding protein SHANK3 are associated with autism spectrum disorders.

International audienceSHANK3 (also known as ProSAP2) regulates the structural organization of dendritic spines and is a binding partner of neuroligins; genes encoding neuroligins are mutated in autism and Asperger syndrome. Here, we report that a mutation of a single copy of SHANK3 on chromosome 22q13 can result in language and/or social communication disorders. These mutations concern only a small number of individuals, but they shed light on one gene dosage-sensitive synaptic pathway that is involved in autism spectrum disorders

Tigers of Sundarbans in India: Is the Population a Separate Conservation Unit?

The Sundarbans tiger inhabits a unique mangrove habitat and are morphologically distinct from the recognized tiger subspecies in terms of skull morphometrics and body size. Thus, there is an urgent need to assess their ecological and genetic distinctiveness and determine if Sundarbans tigers should be defined and managed as separate conservation unit. We utilized nine microsatellites and 3 kb from four mitochondrial DNA (mtDNA) genes to estimate genetic variability, population structure, demographic parameters and visualize historic and contemporary connectivity among tiger populations from Sundarbans and mainland India. We also evaluated the traits that determine exchangeability or adaptive differences among tiger populations. Data from both markers suggest that Sundarbans tiger is not a separate tiger subspecies and should be regarded as Bengal tiger (P. t. tigris) subspecies. Maximum likelihood phylogenetic analyses of the mtDNA data revealed reciprocal monophyly. Genetic differentiation was found stronger for mtDNA than nuclear DNA. Microsatellite markers indicated low genetic variation in Sundarbans tigers (He= 0.58) as compared to other mainland populations, such as northern and Peninsular (Hebetween 0.67- 0.70). Molecular data supports migration between mainland and Sundarbans populations until very recent times. We attribute this reduction in gene flow to accelerated fragmentation and habitat alteration in the landscape over the past few centuries. Demographic analyses suggest that Sundarbans tigers have diverged recently from peninsular tiger population within last 2000 years. Sundarbans tigers are the most divergent group of Bengal tigers, and ecologically non-exchangeable with other tiger populations, and thus should be managed as a separate "evolutionarily significant unit" (ESU) following the adaptive evolutionary conservation (AEC) concept.Wildlife Institute of India, Dehra Dun (India)

A Covering Method for Detecting Genetic Associations between Rare Variants and Common Phenotypes

Genome wide association (GWA) studies, which test for association between common genetic markers and a disease phenotype, have shown varying degrees of success. While many factors could potentially confound GWA studies, we focus on the possibility that multiple, rare variants (RVs) may act in concert to influence disease etiology. Here, we describe an algorithm for RV analysis, RARECOVER. The algorithm combines a disparate collection of RVs with low effect and modest penetrance. Further, it does not require the rare variants be adjacent in location. Extensive simulations over a range of assumed penetrance and population attributable risk (PAR) values illustrate the power of our approach over other published methods, including the collapsing and weighted-collapsing strategies. To showcase the method, we apply RARECOVER to re-sequencing data from a cohort of 289 individuals at the extremes of Body Mass Index distribution (NCT00263042). Individual samples were re-sequenced at two genes, FAAH and MGLL, known to be involved in endocannabinoid metabolism (187Kbp for 148 obese and 150 controls). The RARECOVER analysis identifies exactly one significantly associated region in each gene, each about 5 Kbp in the upstream regulatory regions. The data suggests that the RVs help disrupt the expression of the two genes, leading to lowered metabolism of the corresponding cannabinoids. Overall, our results point to the power of including RVs in measuring genetic associations.National Science Foundation (U.S.) (grant (IIS-0810905)National Institutes of Health (U.S.) (U19 AG023122-05)National Institutes of Health (U.S.) (R01 MH078151-03)Louis & Harold Price FoundationNational Institutes of Health (U.S.) (N01 MH22005)National Institutes of Health (U.S.) (U01-DA024417-01)National Institutes of Health (U.S.) (P50 MH081755-01)National Institutes of Health (U.S.) (R01 AG030474-02)National Institutes of Health (U.S.) (N01 MH022005)National Institutes of Health (U.S.) (R01 HL089655-02)National Institutes of Health (U.S.) (R01 MH080134-03)National Institutes of Health (U.S.) (U54 CA143906-01)National Institutes of Health (U.S.) (UL1 RR025774-03)Scripps Genomic Medicine ProgramNational Human Genome Research Institute (U.S.) (Grant Number T32 HG002295

Systematic review of the effects of the intestinal microbiota on selected nutrients and non-nutrients

The systematic review demonstrates that the IM plays a major role in the breakdown and transformation of the dietary substrates examined. However, recent human data are limited with the exception of data from studies examining fibres and polyphenols. Results observed in relation with dietary substrates were not always consistent or coherent across studies and methodological limitations and differences in IM analyses made comparisons difficult. Moreover, non-digestible components likely to reach the colon are often not well defined or characterised in studies making comparisons between studies difficult if not impossible. Going forward, further rigorously controlled randomised human trials with well-defined dietary substrates and utilizing omic-based technologies to characterise and measure the IM and their functional activities will advance the field. Current evidence suggests that more detailed knowledge of the metabolic activities and interactions of the IM hold considerable promise in relation with host health