Human haploinsufficiency of the transcription factor Tcf4 leads to a rare autism spectrum
disorder called Pitt-Hopkins syndrome (PTHS), which is associated with severe language …

Autism spectrum disorder (ASD) is genetically heterogeneous with convergent
symptomatology, suggesting common dysregulated pathways. In this study, we analyzed brain …

Histone variants were recently discovered to regulate neural plasticity, with H2A.Z emerging
as a memory suppressor. Using whole-genome sequencing of the mouse hippocampus, we …

There are two approaches to formalizing the syntax of typed object languages in a proof
assistant or programming language. The extrinsic approach is to first define a type that encodes …

DNA methylation is known as the prima donna epigenetic mark for its critical role in
regulating local gene transcription. Changes in the landscape of DNA methylation across the …

Sphingosine 1-phosphate (S1P) is a bioactive lipid that has been identified as an accelerant
of cancer progression. The sphingosine kinases (SphKs) are the sole producers of S1P, …

Using a hippocampus-dependent contextual threat learning and memory task, we report
widespread, coordinated DNA methylation changes in CA1 hippocampus of Sprague-Dawley …

In this review, we discuss the potential pharmacological targeting of a set of powerful
epigenetic mechanisms: DNA methylation control systems in the central nervous system (CNS). …

Sphingosine 1-phosphate (S1P), a potent phospholipid growth and trophic factor, is
synthesized in vivo by two sphingosine kinases. Thus these kinases have been proposed as …

We investigate the algorithmics of subtyping in the presence of nominal inheritance and
variance for generic types, as found in Java 5, Scala 2.0, and the .NET 2.0 Intermediate …