Correction to: The hidden therapist: evidence for a central role of music in psychedelic therapy.

The article The hidden therapist: evidence for a central role of music in psychedelic therapy, written by Mendel Kaelen, Bruna Giribaldi, Jordan Raine, Lisa Evans, Christopher Timmerman, Natalie Rodriguez, Leor Roseman, Amanda Feilding, David Nutt, Robin Carhart-Harris, was originally published electronically on the publisher's internet portal

Ab initio Study of Misfit Dislocations at the SiC/Si(001) Interface

The high lattice mismatched SiC/Si(001) interface was investigated by means of combined classical and ab initio molecular dynamics. Among the several configurations analyzed, a dislocation network pinned at the interface was found to be the most efficient mechanism for strain relief. A detailed description of the dislocation core is given, and the related electronic properties are discussed for the most stable geometry: we found interface states localized in the gap that may be a source of failure of electronic devices

Semantic activation in LSD: evidence from picture naming

Lysergic acid diethylamide (LSD) is a classic psychedelic drug that alters cognition in a characteristic way. It has been suggested that psychedelics expand the breadth of cognition via actions on the central nervous system. Previous work has shown changes in semantic processing under psilocybin (a related psychedelic to LSD) that are consistent with an increased spread of semantic activation. The present study investigates this further using a picture-naming task and the psychedelic, LSD. Ten participants completed the task under placebo and LSD. Results revealed significant effects of LSD on accuracy and error correction that were consistent with an increased spread of semantic activation under LSD. These results are consistent with a generalised “entropic” effect on the mind. We suggest incorporating direct neuroimaging measures in future studies, and to employ more naturalistic measures of semantic processing that may enhance ecological validity

M-CSF instructs myeloid lineage fate in single haematopoietic stem cells

Under stress conditions such as infection or inflammation the body rapidly needs to generate new blood cells that are adapted to the challenge. Haematopoietic cytokines are known to increase output of specific mature cells by affecting survival, expansion and differentiation of lineage-committed progenitors, but it has been debated whether long-term haematopoietic stem cells (HSCs) are susceptible to direct lineage-specifying effects of cytokines. Although genetic changes in transcription factor balance can sensitize HSCs to cytokine instruction, the initiation of HSC commitment is generally thought to be triggered by stochastic fluctuation in cell-intrinsic regulators such as lineage-specific transcription factors, leaving cytokines to ensure survival and proliferation of the progeny cells. Here we show that macrophage colony-stimulating factor (M-CSF, also called CSF1), a myeloid cytokine released during infection and inflammation, can directly induce the myeloid master regulator PU.1 and instruct myeloid cell-fate change in mouse HSCs, independently of selective survival or proliferation. Video imaging and single-cell gene expression analysis revealed that stimulation of highly purified HSCs with M-CSF in culture resulted in activation of the PU.1 promoter and an increased number of PU.1(+) cells with myeloid gene signature and differentiation potential. In vivo, high systemic levels of M-CSF directly stimulated M-CSF-receptor-dependent activation of endogenous PU.1 protein in single HSCs and induced a PU.1-dependent myeloid differentiation preference. Our data demonstrate that lineage-specific cytokines can act directly on HSCs in vitro and in vivo to instruct a change of cell identity. This fundamentally changes the current view of how HSCs respond to environmental challenge and implicates stress-induced cytokines as direct instructors of HSC fate

Block of death-receptor apoptosis protects mouse cytomegalovirus from macrophages and is a determinant of virulence in immunodeficient hosts.

The inhibition of death-receptor apoptosis is a conserved viral function. The murine cytomegalovirus (MCMV) gene M36 is a sequence and functional homologue of the human cytomegalovirus gene UL36, and it encodes an inhibitor of apoptosis that binds to caspase-8, blocks downstream signaling and thus contributes to viral fitness in macrophages and in vivo. Here we show a direct link between the inability of mutants lacking the M36 gene (ΔM36) to inhibit apoptosis, poor viral growth in macrophage cell cultures and viral in vivo fitness and virulence. ΔM36 grew poorly in RAG1 knockout mice and in RAG/IL-2-receptor common gamma chain double knockout mice (RAGγC(-/-)), but the depletion of macrophages in either mouse strain rescued the growth of ΔM36 to almost wild-type levels. This was consistent with the observation that activated macrophages were sufficient to impair ΔM36 growth in vitro. Namely, spiking fibroblast cell cultures with activated macrophages had a suppressive effect on ΔM36 growth, which could be reverted by z-VAD-fmk, a chemical apoptosis inhibitor. TNFα from activated macrophages synergized with IFNγ in target cells to inhibit ΔM36 growth. Hence, our data show that poor ΔM36 growth in macrophages does not reflect a defect in tropism, but rather a defect in the suppression of antiviral mediators secreted by macrophages. To the best of our knowledge, this shows for the first time an immune evasion mechanism that protects MCMV selectively from the antiviral activity of macrophages, and thus critically contributes to viral pathogenicity in the immunocompromised host devoid of the adaptive immune system

High-quality permanent draft genome sequence of Rhizobium sullae strain WSM1592; a Hedysarum coronarium microsymbiont from Sassari, Italy

Rhizobium sullae strain WSM1592 is an aerobic, Gram-negative, non-spore-forming rod that was isolated from an effective nitrogen (N2) fixing root nodule formed on the short-lived perennial legume Hedysarum coronarium (also known as Sulla coronaria or Sulla). WSM1592 was isolated from a nodule recovered from H. coronarium roots located in Ottava, bordering Sassari, Sardinia in 1995. WSM1592 is highly effective at fixing nitrogen with H. coronarium, and is currently the commercial Sulla inoculant strain in Australia. Here we describe the features of R. sullae strain WSM1592, together with genome sequence information and its annotation. The 7,530,820 bp high-quality permanent draft genome is arranged into 118 scaffolds of 118 contigs containing 7.453 protein-coding genes and 73 RNA-only encoding genes. This rhizobial genome is sequenced as part of the DOE Joint Genome Institute 2010 Genomic Encyclopedia for Bacteria and Archaea-Root Nodule Bacteria (GEBA-RNB) project

Consistent off-shell πNN\pi N N vertex and nucleon self-energy

We present a consistent calculation of half-off-shell form factors in the pion-nucleon vertex and the nucleon self-energy. Numerical results are presented. Near the on-shell point the pion-nucleon vertex is dominated by the pseudovector coupling, while at large nucleon invariant masses we find a sizable pseudoscalar admixture.Comment: 23 pages, 7 figures, REVTeX, submitted to Phys. Rev. C, replaced with corrected versio

A Finite Representation of the Narrowing Space

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-14125-1_4Narrowing basically extends rewriting by allowing free variables in terms and by replacing matching with unification. As a consequence, the search space of narrowing becomes usually infinite, as in logic programming. In this paper, we introduce the use of some operators that allow one to always produce a finite data structure that still represents all the narrowing derivations. Furthermore, we extract from this data structure a novel, compact equational representation of the (possibly infinite) answers computed by narrowing for a given initial term. Both the finite data structure and the equational representation of the computed answers might be useful in a number of areas, like program comprehension, static analysis, program transformation, etc.Nishida, N.; Vidal, G. (2013). A Finite Representation of the Narrowing Space. En Logic-Based Program Synthesis and Transformation. Springer. 54-71. doi:10.1007/978-3-319-14125-1_4S5471Albert, E., Vidal, G.: The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing 20(1), 3–26 (2002)Alpuente, M., Falaschi, M., Vidal, G.: Partial Evaluation of Functional Logic Programs. ACM Transactions on Programming Languages and Systems 20(4), 768–844 (1998)Alpuente, M., Falaschi, M., Vidal, G.: Compositional Analysis for Equational Horn Programs. In: Rodríguez-Artalejo, M., Levi, G. (eds.) ALP 1994. LNCS, vol. 850, pp. 77–94. Springer, Heidelberg (1994)Antoy, S., Ariola, Z.: Narrowing the Narrowing Space. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 1–15. Springer, Heidelberg (1997)Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoretical Computer Science 236(1–2), 133–178 (2000)Arts, T., Zantema, H.: Termination of Logic Programs Using Semantic Unification. In: Proietti, M. (ed.) LOPSTR 1995. LNCS, vol. 1048, pp. 219–233. Springer, Heidelberg (1996)Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)Bae, K., Escobar, S., Meseguer, J.: Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications. LIPIcs, vol. 21, pp. 81–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)De Schreye, D., Glück, R., Jørgensen, J., Leuschel, M., Martens, B., Sørensen, M.: Conjunctive partial deduction: foundations, control, algorihtms, and experiments. Journal of Logic Programming 41(2&3), 231–277 (1999)Escobar, S., Meadows, C., Meseguer, J.: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theoretical Computer Science 367(1–2), 162–202 (2006)Escobar, S., Meseguer, J.: Symbolic Model Checking of Infinite-State Systems Using Narrowing. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 153–168. Springer, Heidelberg (2007)Fribourg, L.: SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. In: Proceedings of the Symposium on Logic Programming, pp. 172–185. IEEE Press (1985)Gnaedig, I., Kirchner, H.: Proving weak properties of rewriting. Theoretical Computer Science 412(34), 4405–4438 (2011)Hanus, M.: The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19&20, 583–628 (1994)Hanus, M. (ed.): Curry: An integrated functional logic language (vers. 0.8.3) (2012). http://www.curry-language.orgHermenegildo, M., Rossi, F.: On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. In: Lusk, E., Overbeck, R. (eds.) Proceedings of the 1989 North American Conf. on Logic Programming, pp. 369–389. The MIT Press, Cambridge (1989)Hölldobler, S. (ed.): Foundations of Equational Logic Programming. LNCS, vol. 353. Springer, Heidelberg (1989)Meseguer, J., Thati, P.: Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. Electronic Notes in Theoretical Computer Science 117, 153–182 (2005)Middeldorp, A., Okui, S.: A Deterministic Lazy Narrowing Calculus. Journal of Symbolic Computation 25(6), 733–757 (1998)Nishida, N., Sakai, M., Sakabe, T.: Generation of Inverse Computation Programs of Constructor Term Rewriting Systems. IEICE Transactions on Information and Systems J88–D–I(8), 1171–1183 (2005) (in Japanese)Nishida, N., Sakai, M., Sakabe, T.: Partial Inversion of Constructor Term Rewriting Systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol. 3467, pp. 264–278. Springer, Heidelberg (2005)Nishida, N., Vidal, G.: Program inversion for tail recursive functions. In: Schmidt-Schauß, M. (ed.) Proceedings of the 22nd International Conference on Rewriting Techniques and Applications. LIPIcs, vol. 10, pp. 283–298. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2011)Nishida, N., Vidal, G.: Computing More Specific Versions of Conditional Rewriting Systems. In: Albert, E. (ed.) LOPSTR 2012. LNCS, vol. 7844, pp. 137–154. Springer, Heidelberg (2013)Nutt, W., Réty, P., Smolka, G.: Basic Narrowing Revisited. Journal of Symbolic Computation 7(3/4), 295–317 (1989)Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, London, UK (2002)Palamidessi, C.: Algebraic Properties of Idempotent Substitutions. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 386–399. Springer, Heidelberg (1990)Ramos, J.G., Silva, J., Vidal, G.: Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems. In: Danvy, O., Pierce, B.C. (eds.) Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, pp. 228–239. ACM Press (2005)Slagle, J.R.: Automated theorem-proving for theories with simplifiers, commutativity and associativity. Journal of the ACM 21(4), 622–642 (1974

hEGR1 is induced by EGF, inhibited by gefitinib in bladder cell lines and related to EGF receptor levels in bladder tumours

The effect of EGF and gefitinib on two EGFR-positive human bladder cancer cell lines has been investigated using array-based gene expression profiling. The most prominent transcript, increased up to 6.7-fold by EGF compared with controls in RT112 cells, was human early growth response protein 1 (hEGR1). This induction was prevented by gefitinib. The hEGR1 mRNA in EGF-treated samples was reduced in the presence of gefitinib, as was hEGR1 protein in cell lysates. In the RT4 cells, hEGR1 expression was halved in the presence of EGF and gefitinib in combination. In bladder tumour samples, there was a significant correlation between hEGR1 mRNA detected by RT-PCR and EGFR detected by ligand binding, (P=0.042). The induction by EGF of the hEGR1 gene, mRNA and protein in RT112 cells, and its inhibition by gefitinib, together with the detection of hEGR1 mRNA in bladder tumours, suggests that hEGR1 may be important in the EGFR growth-signalling pathway in bladder cancer and should be further investigated for its prognostic significance and as a potential therapeutic target