Infinets: The parallel syntax for non-wellfounded proof-theory

Logics based on the µ-calculus are used to model induc-tive and coinductive reasoning and to verify reactive systems. A well-structured proof-theory is needed in order to apply such logics to the study of programming languages with (co)inductive data types and automated (co)inductive theorem proving. While traditional proof system suffers some defects, non-wellfounded (or infinitary) and circular proofs have been recognized as a valuable alternative, and significant progress have been made in this direction in recent years. Such proofs are non-wellfounded sequent derivations together with a global validity condition expressed in terms of progressing threads. The present paper investigates a discrepancy found in such proof systems , between the sequential nature of sequent proofs and the parallel structure of threads: various proof attempts may have the exact threading structure while differing in the order of inference rules applications. The paper introduces infinets, that are proof-nets for non-wellfounded proofs in the setting of multiplicative linear logic with least and greatest fixed-points (µMLL ∞) and study their correctness and sequentialization. Inductive and coinductive reasoning is pervasive in computer science to specify and reason about infinite data as well as reactive properties. Developing appropriate proof systems amenable to automated reasoning over (co)inductive statements is therefore important for designing programs as well as for analyzing computational systems. Various logical settings have been introduced to reason about such inductive and coinductive statements, both at the level of the logical languages modelling (co)induction (such as Martin Löf's inductive predicates or fixed-point logics, also known as µ-calculi) and at the level of the proof-theoretical framework considered (finite proofs with explicit (co)induction rulesà la Park [23] or infinite, non-wellfounded proofs with fixed-point unfold-ings) [6-8, 4, 1, 2]. Moreover, such proof systems have been considered over classical logic [6, 8], intuitionistic logic [9], linear-time or branching-time temporal logic [19, 18, 25, 26, 13-15] or linear logic [24, 16, 4, 3, 14]

A simplified method to measure choroidal thickness using adaptive compensation in enhanced depth imaging optical coherence tomography

10.1371/journal.pone.0096661PLoS ONE95-POLN

In Drosophila melanogaster the COM Locus Directs the Somatic Silencing of Two Retrotransposons through both Piwi-Dependent and -Independent Pathways

BACKGROUND: In the Drosophila germ line, repeat-associated small interfering RNAs (rasiRNAs) ensure genomic stability by silencing endogenous transposable elements. This RNA silencing involves small RNAs of 26-30 nucleotides that are mainly produced from the antisense strand and function through the Piwi protein. Piwi belongs to the subclass of the Argonaute family of RNA interference effector proteins, which are expressed in the germline and in surrounding somatic tissues of the reproductive apparatus. In addition to this germ-line expression, Piwi has also been implicated in diverse functions in somatic cells. PRINCIPAL FINDINGS: Here, we show that two LTR retrotransposons from Drosophila melanogaster, ZAM and Idefix, are silenced by an RNA silencing pathway that has characteristics of the rasiRNA pathway and that specifically recognizes and destroys the sense-strand RNAs of the retrotransposons. This silencing depends on Piwi in the follicle cells surrounding the oocyte. Interestingly, this silencing is active in all the somatic tissues examined from embryos to adult flies. In these somatic cells, while the silencing still involves the strict recognition of sense-strand transcripts, it displays the marked difference of being independent of the Piwi protein. Finally, we present evidence that in all the tissues examined, the repression is controlled by the heterochromatic COM locus. CONCLUSION: Our data shed further light on the silencing mechanism that acts to target Drosophila LTR retrotransposons in somatic cells throughout fly development. They demonstrate that different RNA silencing pathways are involved in ovarian versus other somatic tissues, since Piwi is necessary for silencing in the former tissues but is dispensable in the latter. They further demonstrate that these pathways are controlled by the heterochromatic COM locus which ensures the overall protection of Drosophila against the detrimental effects of random retrotransposon mobilization

Development of aggression subtypes from childhood to adolescence:a group-based multi-trajectory modelling perspective

The persistence of elevated subtypes of aggression beginning in childhood have been associated with long-term maladaptive outcomes. Yet it remains unclear to what extent there are clusters of individuals following similar developmental trajectories across forms (i.e., physical and indirect) and functions (i.e., proactive and reactive) of aggression. We aimed to identify groups of children with distinct profiles of the joint development of forms and functions of aggression and to identify risk factors for group membership. A sample of 787 children was followed from birth to adolescence. Parent and teacher reports, and standardised assessments were used to measure two forms and two functions of aggressive behaviour, between six and 13 years of age along with preceding child, maternal, and family-level risk-factors. Analyses were conducted using a group-based multi-trajectory modelling approach. Five trajectory groups emerged: non-aggressors, low-stable, moderate-engagers, high-desisting, and high-chronic. Coercive parenting increased membership risk in the moderate-engagers and high-chronic groups. Lower maternal IQ increased membership risk in both high-desisting and high-chronic groups, whereas maternal depression increased membership risk in the high-desisting group only. Never being breastfed increased membership risk in the moderate-engagers group. Boys were at greater risk for belonging to groups displaying elevated aggression. Individuals with chronic aggression problems use all subtypes of aggression. Risk factors suggest that prevention programs should start early in life and target mothers with lower IQ. Strategies to deal with maternal depression and enhance positive parenting while replacing coercive parenting tactics should be highlighted in programming efforts

Legionella pneumophila induces human beta Defensin-3 in pulmonary cells

<p>Abstract</p> <p>Background</p> <p><it>Legionella pneumophila </it>is an important causative agent of severe pneumonia in humans. Human alveolar epithelium and macrophages are effective barriers for inhaled microorganisms and actively participate in the initiation of innate host defense. The beta defensin-3 (hBD-3), an antimicrobial peptide is an important component of the innate immune response of the human lung. Therefore we hypothesize that hBD-3 might be important for immune defense towards <it>L. pneumophila</it>.</p> <p>Methods</p> <p>We investigated the effects of <it>L. pneumophila </it>and different TLR agonists on pulmonary cells in regard to hBD-3 expression by ELISA. Furthermore, siRNA-mediated inhibition of TLRs as well as chemical inhibition of potential downstream signaling molecules was used for functional analysis.</p> <p>Results</p> <p><it>L. pneumophila </it>induced release of hBD-3 in pulmonary epithelium and alveolar macrophages. A similar response was observed when epithelial cells were treated with different TLR agonists. Inhibition of TLR2, TLR5, and TLR9 expression led to a decreased hBD-3 expression. Furthermore expression of hBD-3 was mediated through a JNK dependent activation of AP-1 (c-Jun) but appeared to be independent of NF-κB. Additionally, we demonstrate that hBD-3 elicited a strong antimicrobial effect on <it>L. pneumophila </it>replication.</p> <p>Conclusions</p> <p>Taken together, human pulmonary cells produce hBD-3 upon <it>L. pneumophila </it>infection via a TLR-JNK-AP-1-dependent pathway which may contribute to an efficient innate immune defense.</p

3D global and regional patterns of human fetal subplate growth determined in utero

The waiting period of subplate evolution is a critical phase for the proper formation of neural connections in the brain. During this time, which corresponds to 15 to 24 postconceptual weeks (PCW) in the human fetus, thalamocortical and cortico-cortical afferents wait in and are in part guided by molecules embedded in the extracellular matrix of the subplate. Recent advances in fetal MRI techniques now allow us to study the developing brain anatomy in 3D from in utero imaging. We describe a reliable segmentation protocol to delineate the boundaries of the subplate from T2-W MRI. The reliability of the protocol was evaluated in terms of intra-rater reproducibility on a subset of the subjects. We also present the first 3D quantitative analyses of temporal changes in subplate volume, thickness, and contrast from 18 to 24 PCW. Our analysis shows that firstly, global subplate volume increases in proportion with the supratentorial volume; the subplate remained approximately one-third of supratentorial volume. Secondly, we found both global and regional growth in subplate thickness and a linear increase in the median and maximum subplate thickness through the waiting period. Furthermore, we found that posterior regions—specifically the occipital pole, ventral occipito-temporal region, and planum temporale—of the developing brain underwent the most statistically significant increases in subplate thickness. During this period, the thickest region was the developing somatosensory/motor cortex. The subplate growth patterns reported here may be used as a baseline for comparison to abnormal fetal brain development

Study of Bc+B_c^+ decays to the K+K−π+K^+K^-\pi^+ final state and evidence for the decay Bc+→χc0π+B_c^+\to\chi_{c0}\pi^+

A study of $B_c^+\to K^+K^-\pi^+$ decays is performed for the first time using data corresponding to an integrated luminosity of 3.0 $\mathrm{fb}^{-1}$ collected by the LHCb experiment in $pp$ collisions at centre-of-mass energies of $7$ and $8$ TeV. Evidence for the decay $B_c^+\to\chi_{c0}(\to K^+K^-)\pi^+$ is reported with a significance of 4.0 standard deviations, resulting in the measurement of $\frac{\sigma(B_c^+)}{\sigma(B^+)}\times\mathcal{B}(B_c^+\to\chi_{c0}\pi^+)$ to be $(9.8^{+3.4}_{-3.0}(\mathrm{stat})\pm 0.8(\mathrm{syst}))\times 10^{-6}$. Here $\mathcal{B}$ denotes a branching fraction while $\sigma(B_c^+)$ and $\sigma(B^+)$ are the production cross-sections for $B_c^+$ and $B^+$ mesons. An indication of $\bar b c$ weak annihilation is found for the region $m(K^-\pi^+)<1.834\mathrm{\,Ge\kern -0.1em V\!/}c^2$, with a significance of 2.4 standard deviations.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2016-022.html, link to supplemental material inserted in the reference

Phase 1 Trial of AMA1-C1/Alhydrogel plus CPG 7909: An Asexual Blood-Stage Vaccine for Plasmodium falciparum Malaria

Apical Membrane Antigen 1 (AMA1), a polymorphic merozoite surface protein, is a leading blood-stage malaria vaccine candidate. This is the first reported use in humans of an investigational vaccine, AMA1-C1/Alhydrogel, with the novel adjuvant CPG 7909.A phase 1 trial was conducted at the University of Rochester with 75 malaria-naive volunteers to assess the safety and immunogenicity of the AMA1-C1/Alhydrogel+CPG 7909 malaria vaccine. Participants were sequentially enrolled and randomized within dose escalating cohorts to receive three vaccinations on days 0, 28 and 56 of either 20 microg of AMA1-C1/Alhydrogel+564 microg CPG 7909 (n = 15), 80 microg of AMA1-C1/Alhydrogel (n = 30), or 80 microg of AMA1-C1/Alhydrogel+564 microg CPG 7909 (n = 30).Local and systemic adverse events were significantly more likely to be of higher severity with the addition of CPG 7909. Anti-AMA1 immunoglobulin G (IgG) were detected by enzyme-linked immunosorbent assay (ELISA), and the immune sera of volunteers that received 20 microg or 80 microg of AMA1-C1/Alhydrogel+CPG 7909 had up to 14 fold significant increases in anti-AMA1 antibody concentration compared to 80 microg of AMA1-C1/Alhydrogel alone. The addition of CPG 7909 to the AMA1-C1/Alhydrogel vaccine in humans also elicited AMA1 specific immune IgG that significantly and dramatically increased the in vitro growth inhibition of homologous parasites to levels as high as 96% inhibition.The safety profile of the AMA1-C1/Alhydrogel+CPG 7909 malaria vaccine is acceptable, given the significant increase in immunogenicity observed. Further clinical development is ongoing.ClinicalTrials.gov NCT00344539

Virosome-Formulated Plasmodium falciparum AMA-1 & CSP Derived Peptides as Malaria Vaccine: Randomized Phase 1b Trial in Semi-Immune Adults & Children

BACKGROUND\ud \ud This trial was conducted to evaluate the safety and immunogenicity of two virosome formulated malaria peptidomimetics derived from Plasmodium falciparum AMA-1 and CSP in malaria semi-immune adults and children.\ud \ud METHODS\ud \ud The design was a prospective randomized, double-blind, controlled, age-deescalating study with two immunizations. 10 adults and 40 children (aged 5-9 years) living in a malaria endemic area were immunized with PEV3B or virosomal influenza vaccine Inflexal®V on day 0 and 90.\ud \ud RESULTS\ud \ud No serious or severe adverse events (AEs) related to the vaccines were observed. The only local solicited AE reported was pain at injection site, which affected more children in the Inflexal®V group compared to the PEV3B group (p = 0.014). In the PEV3B group, IgG ELISA endpoint titers specific for the AMA-1 and CSP peptide antigens were significantly higher for most time points compared to the Inflexal®V control group. Across all time points after first immunization the average ratio of endpoint titers to baseline values in PEV3B subjects ranged from 4 to 15 in adults and from 4 to 66 in children. As an exploratory outcome, we found that the incidence rate of clinical malaria episodes in children vaccinees was half the rate of the control children between study days 30 and 365 (0.0035 episodes per day at risk for PEV3B vs. 0.0069 for Inflexal®V; RR  = 0.50 [95%-CI: 0.29-0.88], p = 0.02).\ud \ud CONCLUSION\ud \ud These findings provide a strong basis for the further development of multivalent virosomal malaria peptide vaccines.\ud \ud TRIAL REGISTRATION\ud \ud ClinicalTrials.gov NCT00513669

Plague Circulation and Population Genetics of the Reservoir Rattus rattus: The Influence of Topographic Relief on the Distribution of the Disease within the Madagascan Focus.

International audienceBACKGROUND: Landscape may affect the distribution of infectious diseases by influencing the population density and dispersal of hosts and vectors. Plague (Yersinia pestis infection) is a highly virulent, re-emerging disease, the ecology of which has been scarcely studied in Africa. Human seroprevalence data for the major plague focus of Madagascar suggest that plague spreads heterogeneously across the landscape as a function of the relief. Plague is primarily a disease of rodents. We therefore investigated the relationship between disease distribution and the population genetic structure of the black rat, Rattus rattus, the main reservoir of plague in Madagascar. METHODOLOGYPRINCIPAL FINDINGS: We conducted a comparative study of plague seroprevalence and genetic structure (15 microsatellite markers) in rat populations from four geographic areas differing in topology, each covering about 150-200 km(2) within the Madagascan plague focus. The seroprevalence levels in the rat populations mimicked those previously reported for humans. As expected, rat populations clearly displayed a more marked genetic structure with increasing relief. However, the relationship between seroprevalence data and genetic structure differs between areas, suggesting that plague distribution is not related everywhere to the effective dispersal of rats. CONCLUSIONSSIGNIFICANCE: Genetic diversity estimates suggested that plague epizootics had only a weak impact on rat population sizes. In the highlands of Madagascar, plague dissemination cannot be accounted for solely by the effective dispersal of the reservoir. Human social activities may also be involved in spreading the disease in rat and human populations