General Reference

This chapter stands out from the other chapters in this book. Whereas chapters 2-19 are arranged by subject, this one is a general reference resource guide. It includes almanacs, bibliographies, and guides to the literature, biographical sources (formerly a stand-alone chapter), general-purpose databases, and Internet search sites. Library search tools such as discovery layers are also described here. The Internet continues to have a huge impact on reference services. Some of that influence is via search interfaces like Oxford Reference or general databases like Academic Search Complete. It can also be seen with Internet sources that go beyond the library, like Google Search or Facebook. This chapter hopes to guide reference librarians by describing these changes

Deductive synthesis of recursive plans in linear logic

Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction. We introduce a recursively defined datatype and a corresponding induction rule, thereby allowing recursive plans to be synthesised. In order to make explicit the relationship between proofs and plans, we enhance the linear logic deduction rules to handle plans as a form of proof term

Research Perspectives for Logic and Deduction

The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a number of proposals for future scientic research along the various di-mensions in the space of logical explorations. These dimensions include the range of possible applications including modelling intelligent behavior, the grounding of logic in some semantic context, the choice of an appropriate logic from the great variety of alternatives, then the choice of an appropriate formal system for repre-senting the chosen logic, and nally the issue of developing the most ecient search strategies. Among the proposals is a conjecture concerning the treatment of cuts in proof search. Often a key advance is a matter of applying a small change to a single formula. Ray Kurzweil [Kur05, p.5]

Novel lines of Pax6-/- embryonic stem cells exhibit reduced neurogenic capacity without loss of viability

<p>Abstract</p> <p>Background</p> <p>Embryonic stem (ES) cells can differentiate into all cell types and have been used extensively to study factors affecting neuronal differentiation. ES cells containing mutations in known genes have the potential to provide useful in vitro models for the study of gene function during neuronal differentiation. Recently, mouse ES cell lines lacking the neurogenic transcription factor Pax6 were reported; neurons derived from these <it>Pax6</it>^-/-ES cells died rapidly after neuronal differentiation in vitro.</p> <p>Results</p> <p>Here we report the derivation of new lines of <it>Pax6</it>^-/-ES cells and the assessment of their ability to survive and differentiate both in vitro and in vivo. Neurons derived from our new <it>Pax6</it>^-/-lines were viable and continued to elaborate processes in culture under conditions that resulted in the death of neurons derived from previously reported <it>Pax6</it>^-/-ES cell lines. The new lines of <it>Pax6</it>^-/-ES cells showed reduced neurogenic potential, mimicking the effects of loss of Pax6 in vivo. We used our new lines to generate <it>Pax6</it>^-/-↔ <it>Pax6</it>^+/+chimeras in which the mutant cells survived and displayed the same phenotypes as <it>Pax6</it>^-/-cells in <it>Pax6</it>^-/-↔ <it>Pax6</it>^+/+chimeras made by embryo aggregation.</p> <p>Conclusions</p> <p>We suggest that loss of Pax6 from ES cells reduces their neurogenic capacity but does not necessarily result in the death of derived neurons. We offer these new lines as additional tools for those interested in the generation of chimeras and the analysis of in vitro ES cell models of Pax6 function during neuronal differentiation, embryonic and postnatal development.</p

Regulation of Pax6 by CTCF during Induction of Mouse ES Cell Differentiation

Pax6 plays an important role in embryonic cell (ES) differentiation during embryonic development. Expression of Pax6 undergoes from a low level to high levels following ES cell differentiation to neural stem cells, and then fades away in most of the differentiated cell types. There is a limited knowledge concerning how Pax6 is regulated in ES cell differentiation. We report that Pax6 expression in mouse ES cells was controlled by CCCTC binding factor (CTCF) through a promoter repression mechanism. Pax6 expression was significantly enhanced while CTCF activity was kept in the constant during ES cell differentiation to radial glial cells. Instead, the interaction of CTCF with Pax6 gene was regulated by decreased CTCF occupancy in its binding motifs upstream from Pax6 P0 promoter following the course of ES cell differentiation. Reduced occupancy of CTCF in the binding motif region upstream from the P0 promoter was due to increased DNA methylations in the CpG sites identified in the region. Furthermore, changes in DNA methylation levels in vitro and in vivo effectively altered methylation status of these identified CpG sites, which affected ability of CTCF to interact with the P0 promoter, resulting in increases in Pax6 expression. We conclude that there is an epigenetic mechanism involving regulations of Pax6 gene during ES cell differentiation to neural stem cells, which is through increases or decreases in methylation levels of Pax6 gene to effectively alter the ability of CTCF in control of Pax6 expression, respectively

Leucine-Rich Repeat Kinase 2 Modulates Retinoic Acid-Induced Neuronal Differentiation of Murine Embryonic Stem Cells

Background: Dominant mutations in the leucine-rich repeat kinase 2 (LRRK2) gene are the most prevalent cause of Parkinson’s disease, however, little is known about the biological function of LRRK2 protein. LRRK2 is expressed in neural precursor cells suggesting a role in neurodevelopment. Methodology/Principal Findings: In the present study, differential gene expression profiling revealed a faster silencing of pluripotency-associated genes, like Nanog, Oct4, and Lin28, during retinoic acid-induced neuronal differentiation of LRRK2deficient mouse embryonic stem cells compared to wildtype cultures. By contrast, expression of neurotransmitter receptors and neurotransmitter release was increased in LRRK2+/2 cultures indicating that LRRK2 promotes neuronal differentiation. Consistently, the number of neural progenitor cells was higher in the hippocampal dentate gyrus of adult LRRK2-deficient mice. Alterations in phosphorylation of the putative LRRK2 substrates, translation initiation factor 4E binding protein 1 and moesin, do not appear to be involved in altered differentiation, rather there is indirect evidence that a regulatory signaling network comprising retinoic acid receptors, let-7 miRNA and downstream target genes/mRNAs may be affected in LRRK2deficient stem cells in culture. Conclusion/Significance: Parkinson’s disease-linked LRRK2 mutations that associated with enhanced kinase activity may affect retinoic acid receptor signaling during neurodevelopment and/or neuronal maintenance as has been shown in othe

Genomic Prevalence of Heterochromatic H3K9me2 and Transcription Do Not Discriminate Pluripotent from Terminally Differentiated Cells

Cellular differentiation entails reprogramming of the transcriptome from a pluripotent to a unipotent fate. This process was suggested to coincide with a global increase of repressive heterochromatin, which results in a reduction of transcriptional plasticity and potential. Here we report the dynamics of the transcriptome and an abundant heterochromatic histone modification, dimethylation of histone H3 at lysine 9 (H3K9me2), during neuronal differentiation of embryonic stem cells. In contrast to the prevailing model, we find H3K9me2 to occupy over 50% of chromosomal regions already in stem cells. Marked are most genomic regions that are devoid of transcription and a subgroup of histone modifications. Importantly, no global increase occurs during differentiation, but discrete local changes of H3K9me2 particularly at genic regions can be detected. Mirroring the cell fate change, many genes show altered expression upon differentiation. Quantitative sequencing of transcripts demonstrates however that the total number of active genes is equal between stem cells and several tested differentiated cell types. Together, these findings reveal high prevalence of a heterochromatic mark in stem cells and challenge the model of low abundance of epigenetic repression and resulting global basal level transcription in stem cells. This suggests that cellular differentiation entails local rather than global changes in epigenetic repression and transcriptional activity

The p75 receptor mediates axon growth inhibition through an association with PIR-B

The Nogo receptor and paired immunoglobulin-like receptor B (PIR-B) are receptors for three myelin-derived axon-growth inhibitors, including myelin-associated glycoprotein (MAG). In this study, we report that the p75 receptor is required for the signal transduction of PIR-B, which interacted with p75 upon ligand binding. In addition, p75 was required for activation of Src homology 2-containing protein tyrosine phosphatase (SHP), which is induced by MAG binding to PIR-B. Mice carrying a mutation in the p75 gene showed promotion of axonal regeneration after optic nerve injury. Thus, our results indicate that p75 has a critical role in axon growth inhibition in specific neuronal tracts