The short-chain branched fatty acid, valproic acid (2-propylpentanoicacid), has long been in use clinically as an anticonvulsant and mood-stabilizing drug. Recently, VPA has been shown to inhibit the activity of histone deacetylases (HDACs), resulting in chromatin remodelling and changes in gene expression. Although the molecular mechanism for VPA action in the central nervous system (CNS) is n...

In the last years, search-based QBF solvers have become essential for many applications in the formal methods domain. The exploitation of their reasoning efficiency has however been restricted to applications in which a “satisfiable/unsatisfiable” answer or one model of an open quantified Boolean formula suffices as an outcome, whereas applications in which a compact representation of all model...

In vertebrates the development and function of the nervous system is regulated by neurotrophic factors (NTFs). Despite extensive searches no neurotrophic factors have been found in invertebrates. However, cell ablation studies in Drosophila suggest trophic interaction between neurons and glia. Here we report the invertebrate neurotrophic factor in Drosophila, DmMANF, homologous to mammalian MAN...