On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus

Police Strategies and Suspect Responses in Real-Life Serious Crime Interviews

This research focuses exclusively on real-life taped interviews with serious crime suspects and examines the strategies used and types of questions asked by police, and suspects’ responses to these. The information source was audio-tape-recorded interviews with 56 suspects. These recordings were obtained from 11 police services across England and Wales and were analysed using a specially designed coding frame. It was found that interviewers employed a range of strategies with presentation of evidence and challenge the most frequently observed. Closed questions were by far the most frequently used, and open questions, although less frequent, were found to occur more during the opening phases of the interviews. The frequency of ineffective question types (e.g. negative, repetitive, multiple) was low. A number of significant associations were observed between interviewer strategies and suspect responses. Rapport/empathy and open-type questions were associated with an increased likelihood of suspects admitting the offence whilst describing trauma, and negative questions were associated with a decreased likelihood

The latent stem cell population is retained in the hippocampus of transgenic Huntington's disease mice but not wild-type mice

The demonstration of the brain's ability to initiate repair in response to disease or injury has sparked considerable interest in therapeutic strategies to stimulate adult neurogenesis. In this study we examined the effect of a progressive neurodegenerative condition on neural precursor activity in the subventricular zone (SVZ) and hippocampus of the R6/1 transgenic mouse model of Huntington's disease (HD). Our results revealed an age-related decline in SVZ precursor numbers in both wild-type (WT) and HD mice. Interestingly, hippocampal precursor numbers declined with age in WT mice, although we observed maintenance in hippocampal precursor number in the HD animals in response to advancement of the disease. This maintenance was consistent with activation of a recently identified latent hippocampal precursor population. We found that the small latent stem cell population was also maintained in the HD hippocampus at 33 weeks, whereas it was not present in the WT. Our findings demonstrate that, despite a loss of neurogenesis in the HD hippocampus in vivo, there is a unique maintenance of the precursor and stem cells, which may potentially be activated to ameliorate disease symptoms

Risk factors for oesophageal, lung, oral and laryngeal cancers in black South Africans

The authors used data collected from 1995 to 1999, from an on-going cancer case–control study in greater Johannesburg, to estimate the importance of tobacco and alcohol consumption and other suspected risk factors with respect to cancer of the oesophagus (267 men and 138 women), lung (105 men and 41 women), oral cavity (87 men and 37 women), and larynx (51 men). Cancers not associated with tobacco or alcohol consumption were used as controls (804 men and 1370 women). Tobacco smoking was found to be the major risk factor for all of these cancers with odds ratios ranging from 2.6 (95% CI 1.5–4.5) for oesophageal cancer in female ex-smokers to 50.9 (95% CI 12.6–204.6) for lung cancer in women, and 23.9 (95% CI 9.5–60.3) for lung cancer and 23.6 (95% CI 4.6–121.2) for laryngeal cancer in men who smoked 15 or more grams of tobacco a day. This is the first time an association between smoking and oral and laryngeal cancers has been shown in sub-Saharan Africa. Long-term residence in the Transkei region in the southeast of the country continues to be a risk factor for oesophageal cancer, especially in women (odds ratio=14.7, 95% CI 4.7–46.0), possibly due to nutritional factors. There was a slight increase in lung cancer (odds ratio=2.9, 95% CI 1.1–7.5) in men working in ‘potentially noxious’ industries. ‘Frequent’ alcohol consumption, on its own, caused a marginally elevated risk for oesophageal cancer (odds ratio=1.7, 95% CI 1.0–2.9, for women and odds ratio=1.8, 95% CI 1.2–2.8, for men). The risks for oesophageal cancer in relation to alcohol consumption increased significantly in male and female smokers (odds ratio=4.7, 95% CI=2.8–7.9 in males and odds ratio=4.8, 95% CI 3.2–6.1 in females). The above results are broadly in line with international findings

Model-selection-based approach for calculating cellular multiplicity of infection during virus colonization of multi-cellular hosts

The cellular multiplicity of infection (MOI) is a key parameter for describing the interactions between virions and cells, predicting the dynamics of mixed-genotype infections, and understanding virus evolution. Two recent studies have reported in vivo MOI estimates for Tobacco mosaic virus (TMV) and Cauliflower mosaic virus (CaMV), using sophisticated approaches to measure the distribution of two virus variants over host cells. Although the experimental approaches were similar, the studies employed different definitions of MOI and estimation methods. Here, new model-selection-based methods for calculating MOI were developed. Seven alternative models for predicting MOI were formulated that incorporate an increasing number of parameters. For both datasets the best-supported model included spatial segregation of virus variants over time, and to a lesser extent aggregation of virus-infected cells was also implicated. Three methods for MOI estimation were then compared: the two previously reported methods and the best-supported model. For CaMV data, all three methods gave comparable results. For TMV data, the previously reported methods both predicted low MOI values (range: 1.04-1.23) over time, whereas the best-supported model predicted a wider range of MOI values (range: 1.01-2.10) and an increase in MOI over time. Model selection can therefore identify suitable alternative MOI models and suggest key mechanisms affecting the frequency of coinfected cells. For the TMV data, this leads to appreciable differences in estimated MOI values.This work was supported by grant BFU2012-30805 (SFE) and by 'Juan de la Cierva' postdoctoral contract JCI-2011-10379 (MPZ) from the Spanish Secretaria de Estado de Investigacion, Desarrollo e Innovacion. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Zwart, MP.; Tromas ., N.; Elena Fito, SF. (2013). Model-selection-based approach for calculating cellular multiplicity of infection during virus colonization of multi-cellular hosts. PLoS ONE. 8:64657-64657. https://doi.org/10.1371/journal.pone.0064657S64657646578Froissart, R., Wilke, C. O., Montville, R., Remold, S. K., Chao, L., & Turner, P. E. (2004). Co-infection Weakens Selection Against Epistatic Mutations in RNA Viruses. Genetics, 168(1), 9-19. doi:10.1534/genetics.104.030205Miyashita, S., & Kishino, H. (2009). Estimation of the Size of Genetic Bottlenecks in Cell-to-Cell Movement of Soil-Borne Wheat Mosaic Virus and the Possible Role of the Bottlenecks in Speeding Up Selection of Variations in trans-Acting Genes or Elements. Journal of Virology, 84(4), 1828-1837. doi:10.1128/jvi.01890-09Taylor, D. R., Zeyl, C., & Cooke, E. (2002). Conflicting levels of selection in the accumulation of mitochondrial defects inSaccharomycescerevisiae. Proceedings of the National Academy of Sciences, 99(6), 3690-3694. doi:10.1073/pnas.072660299Turner, P. E., & Chao, L. (1999). Prisoner’s dilemma in an RNA virus. Nature, 398(6726), 441-443. doi:10.1038/18913Turner, P. E., & Chao, L. (2003). Escape from Prisoner’s Dilemma in RNA Phage Φ6. The American Naturalist, 161(3), 497-505. doi:10.1086/367880Zwart, M. P., Erro, E., van Oers, M. M., de Visser, J. A. G. M., & Vlak, J. M. (2008). Low multiplicity of infection in vivo results in purifying selection against baculovirus deletion mutants. Journal of General Virology, 89(5), 1220-1224. doi:10.1099/vir.0.83645-0Godfray, H. C. J., O’reilly, D. R., & Briggs, C. J. (1997). A model of Nucleopolyhedrovirus (NPV) population genetics applied to co–occlusion and the spread of the few Polyhedra (FP) phenotype. Proceedings of the Royal Society of London. Series B: Biological Sciences, 264(1380), 315-322. doi:10.1098/rspb.1997.0045Bull, J. C., Godfray, H. C. J., & O’Reilly, D. R. (2001). Persistence of an Occlusion-Negative Recombinant Nucleopolyhedrovirus in Trichoplusia ni Indicates High Multiplicity of Cellular Infection. Applied and Environmental Microbiology, 67(11), 5204-5209. doi:10.1128/aem.67.11.5204-5209.2001Gonzalez-Jara, P., Fraile, A., Canto, T., & Garcia-Arenal, F. (2009). The Multiplicity of Infection of a Plant Virus Varies during Colonization of Its Eukaryotic Host. Journal of Virology, 83(15), 7487-7494. doi:10.1128/jvi.00636-09Gutiérrez, S., Yvon, M., Thébaud, G., Monsion, B., Michalakis, Y., & Blanc, S. (2010). Dynamics of the Multiplicity of Cellular Infection in a Plant Virus. PLoS Pathogens, 6(9), e1001113. doi:10.1371/journal.ppat.1001113Morra, M. R., & Petty, I. T. D. (2000). Tissue Specificity of Geminivirus Infection Is Genetically Determined. The Plant Cell, 12(11), 2259-2270. doi:10.1105/tpc.12.11.2259Silva, M. S., Goldbach, R. W., van Lent, J. W. M., & Wellink, J. (2002). Phloem loading and unloading of Cowpea mosaic virus in Vigna unguiculata. Journal of General Virology, 83(6), 1493-1504. doi:10.1099/0022-1317-83-6-1493Sokal RR, Rohlf FJ (1995) Biometry, 3rd edition. New York: W.H. Freeman and Co. 887 p.Zwart, M. P., Hemerik, L., Cory, J. S., de Visser, J. A. G. M., Bianchi, F. J. J. A., Van Oers, M. M., … Van der Werf, W. (2009). An experimental test of the independent action hypothesis in virus–insect pathosystems. Proceedings of the Royal Society B: Biological Sciences, 276(1665), 2233-2242. doi:10.1098/rspb.2009.0064Dietrich, C. (2003). Fluorescent labelling reveals spatial separation of potyvirus populations in mixed infected Nicotiana benthamiana plants. Journal of General Virology, 84(10), 2871-2876. doi:10.1099/vir.0.19245-0Zwart, M. P., Daròs, J.-A., & Elena, S. F. (2011). One Is Enough: In Vivo Effective Population Size Is Dose-Dependent for a Plant RNA Virus. PLoS Pathogens, 7(7), e1002122. doi:10.1371/journal.ppat.1002122Lafforgue, G., Tromas, N., Elena, S. F., & Zwart, M. P. (2012). Dynamics of the Establishment of Systemic Potyvirus Infection: Independent yet Cumulative Action of Primary Infection Sites. Journal of Virology, 86(23), 12912-12922. doi:10.1128/jvi.02207-12Dolja, V. V., McBride, H. J., & Carrington, J. C. (1992). Tagging of plant potyvirus replication and movement by insertion of beta-glucuronidase into the viral polyprotein. Proceedings of the National Academy of Sciences, 89(21), 10208-10212. doi:10.1073/pnas.89.21.10208Van der Werf, W., Hemerik, L., Vlak, J. M., & Zwart, M. P. (2011). Heterogeneous Host Susceptibility Enhances Prevalence of Mixed-Genotype Micro-Parasite Infections. PLoS Computational Biology, 7(6), e1002097. doi:10.1371/journal.pcbi.1002097Barlow, N. D. (1991). A Spatially Aggregated Disease/Host Model for Bovine Tb in New Zealand Possum Populations. The Journal of Applied Ecology, 28(3), 777. doi:10.2307/2404207Barlow, N. D. (2000). Non-linear transmission and simple models for bovine tuberculosis. Journal of Animal Ecology, 69(4), 703-713. doi:10.1046/j.1365-2656.2000.00428.xR Core Team (2012) R: A Language and Environment for Statistical Computing. Vienna: R Foundation for Statistical Computing.Olkin I, Gleser LJ, Derman C. (1994) Probability Models and Applications, 2nd ed. New York: Macmillan. 575 p

Cholera Toxin Regulates a Signaling Pathway Critical for the Expansion of Neural Stem Cell Cultures from the Fetal and Adult Rodent Brains

Background: New mechanisms that regulate neural stem cell (NSC) expansion will contribute to improved assay systems and the emerging regenerative approach that targets endogenous stem cells. Expanding knowledge on the control of stem cell self renewal will also lead to new approaches for targeting the stem cell population of cancers. Methodology/Principal Findings: Here we show that Cholera toxin regulates two recently characterized NSC markers, the Tie2 receptor and the transcription factor Hes3, and promotes the expansion of NSCs in culture. Cholera toxin increases immunoreactivity for the Tie2 receptor and rapidly induces the nuclear localization of Hes3. This is followed by powerful cultured NSC expansion and induction of proliferation both in the presence and absence of mitogen. Conclusions/Significance: Our data suggest a new cell biological mechanism that regulates the self renewal and differentiation properties of stem cells, providing a new logic to manipulate NSCs in the context of regenerative disease and cancer

A novel formulation technology for baculoviruses protects biopesticide from degradation by ultraviolet radiation

Biopesticides are biological pest control agents that are viewed as safer alternatives to the synthetic chemicals that dominate the global insecticide market. A major constraint on the wider adoption of biopesticides is their susceptibility to the ultraviolet (UV: 290–400 nm) radiation in sunlight, which limits their persistence and efficacy. Here, we describe a novel formulation technology for biopesticides in which the active ingredient (baculovirus) is micro-encapsulated in an ENTOSTAT wax combined with a UV absorbant (titanium dioxide, TiO2). Importantly, this capsule protects the sensitive viral DNA from degrading in sunlight, but dissolves in the alkaline insect gut to release the virus, which then infects and kills the pest. We show, using simulated sunlight, in both laboratory bioassays and trials on cabbage and tomato plants, that this can extend the efficacy of the biopesticide well beyond the few hours of existing virus formulations, potentially increasing the spray interval and/or reducing the need for high application rates. The new formulation has a shelf-life at 30 °C of at least 6 months, which is comparable to standard commercial biopesticides and has no phytotoxic effect on the host plants. Taken together, these findings suggest that the new formulation technology could reduce the costs and increase the efficacy of baculovirus biopesticides, with the potential to make them commercially competitive alternatives to synthetic chemicals

Human Induced Pluripotent Stem Cells Differentiation into Oligodendrocyte Progenitors and Transplantation in a Rat Model of Optic Chiasm Demyelination

BACKGROUND: This study aims to differentiate human induced pluripotent stem cells (hiPSCs) into oligodendrocyte precursors and assess their recovery potential in a demyelinated optic chiasm model in rats. METHODOLOGY/PRINCIPAL FINDINGS: We generated a cell population of oligodendrocyte progenitors from hiPSCs by using embryoid body formation in a defined medium supplemented with a combination of factors, positive selection and mechanical enrichment. Real-time polymerase chain reaction and immunofluorescence analyses showed that stage-specific markers, Olig2, Sox10, NG2, PDGFRα, O4, A2B5, GalC, and MBP were expressed following the differentiation procedure, and enrichment of the oligodendrocyte lineage. These results are comparable with the expression of stage-specific markers in human embryonic stem cell-derived oligodendrocyte lineage cells. Transplantation of hiPSC-derived oligodendrocyte progenitors into the lysolecithin-induced demyelinated optic chiasm of the rat model resulted in recovery from symptoms, and integration and differentiation into oligodendrocytes were detected by immunohistofluorescence staining against PLP and MBP, and measurements of the visual evoked potentials. CONCLUSIONS/SIGNIFICANCE: These results showed that oligodendrocyte progenitors generated efficiently from hiPSCs can be used in future biomedical studies once safety issues have been overcome

Enriched Monolayer Precursor Cell Cultures from Micro-Dissected Adult Mouse Dentate Gyrus Yield Functional Granule Cell-Like Neurons

BACKGROUND: Stem cell cultures are key tools of basic and applied research in Regenerative Medicine. In the adult mammalian brain, lifelong neurogenesis originating from local precursor cells occurs in the neurogenic regions of the hippocampal dentate gyrus. Despite widespread interest in adult hippocampal neurogenesis and the use of mouse models to study it, no protocol existed for adult murine long-term precursor cell cultures with hippocampus-specific differentiation potential. METHODOLOGY/PRINCIPAL FINDINGS: We describe a new strategy to obtain serum-free monolayer cultures of neural precursor cells from microdissected dentate gyrus of adult mice. Neurons generated from these adherent hippocampal precursor cell cultures expressed the characteristic markers like transcription factor Prox1 and showed the TTX-sensitive sodium currents of mature granule cells in vivo. Similar to granule cells in vivo, treatment with kainic acid or brain derived neurotrophic factor (BDNF) elicited the expression of GABAergic markers, further supporting the correspondence between the in vitro and in vivo phenotype. When plated as single cells (in individual wells) or at lowest density for two to three consecutive generations, a subset of the cells showed self-renewal and gave rise to cells with properties of neurons, astrocytes and oligodendrocytes. The precursor cell fate was sensitive to culture conditions with their phenotype highly influenced by factors within the media (sonic hedgehog, BMP, LIF) and externally applied growth factors (EGF, FGF2, BDNF, and NT3). CONCLUSIONS/SIGNIFICANCE: We report the conditions required to generate adult murine dentate gyrus precursor cell cultures and to analyze functional properties of precursor cells and their differentiated granule cell-like progeny in vitro