How neurons migrate: a dynamic in-silico model of neuronal migration in the developing cortex

<p>Abstract</p> <p>Background</p> <p>Neuronal migration, the process by which neurons migrate from their place of origin to their final position in the brain, is a central process for normal brain development and function. Advances in experimental techniques have revealed much about many of the molecular components involved in this process. Notwithstanding these advances, how the molecular machinery works together to govern the migration process has yet to be fully understood. Here we present a computational model of neuronal migration, in which four key molecular entities, Lis1, DCX, Reelin and GABA, form a molecular program that mediates the migration process.</p> <p>Results</p> <p>The model simulated the dynamic migration process, consistent with in-vivo observations of morphological, cellular and population-level phenomena. Specifically, the model reproduced migration phases, cellular dynamics and population distributions that concur with experimental observations in normal neuronal development. We tested the model under reduced activity of Lis1 and DCX and found an aberrant development similar to observations in Lis1 and DCX silencing expression experiments. Analysis of the model gave rise to unforeseen insights that could guide future experimental study. Specifically: (1) the model revealed the possibility that under conditions of Lis1 reduced expression, neurons experience an oscillatory neuron-glial association prior to the multipolar stage; and (2) we hypothesized that observed morphology variations in rats and mice may be explained by a single difference in the way that Lis1 and DCX stimulate bipolar motility. From this we make the following predictions: (1) under reduced Lis1 and enhanced DCX expression, we predict a reduced bipolar migration in rats, and (2) under enhanced DCX expression in mice we predict a normal or a higher bipolar migration.</p> <p>Conclusions</p> <p>We present here a system-wide computational model of neuronal migration that integrates theory and data within a precise, testable framework. Our model accounts for a range of observable behaviors and affords a computational framework to study aspects of neuronal migration as a complex process that is driven by a relatively simple molecular program. Analysis of the model generated new hypotheses and yet unobserved phenomena that may guide future experimental studies. This paper thus reports a first step toward a comprehensive in-silico model of neuronal migration.</p

Bringing LTL Model Checking to Biologists

The BioModelAnalyzer (BMA) is a web based tool for the development of discrete models of biological systems. Through a graphical user interface, it allows rapid development of complex models of gene and protein interaction networks and stability analysis without requiring users to be proficient computer programmers. Whilst stability is a useful specification for testing many systems, testing temporal specifications in BMA presently requires the user to perform simulations. Here we describe the LTL module, which includes a graphical and natural language interfaces to testing LTL queries. The graphical interface allows for graphical construction of the queries and presents results visually in keeping with the current style of BMA. The Natural language interface complements the graphical interface by allowing a gentler introduction to formal logic and exposing educational resources

Pro-apoptotic and antiproliferative activity of human KCNRG, a putative tumor suppressor in 13q14 region

Deletion of 13q14.3 and a candidate gene KCNRG (potassium channel regulating gene) is the most frequent chromosomal abnormality in B-cell chronic lymphocytic leukemia and is a common finding in multiple myeloma (MM). KCNRG protein may interfere with the normal assembly of the K+ channel proteins causing the suppression of Kv currents. We aimed to examine possible role of KCNRG haploinsufficiency in chronic lymphocytic leukemia (CLL) and MM cells. We performed detailed genomic analysis of the KCNRG locus; studied effects of the stable overexpression of KCNRG isoforms in RPMI-8226, HL-60, and LnCaP cells; and evaluated relative expression of its transcripts in various human lymphomas. Three MM cell lines and 35 CLL PBL samples were screened for KCNRG mutations. KCNRG exerts growth suppressive and pro-apoptotic effects in HL-60, LnCaP, and RPMI-8226 cells. Direct sequencing of KCNRG exons revealed point mutation delT in RPMI-8226 cell line. Levels of major isoform of KCNRG mRNA are lower in DLBL lymphomas compared to normal PBL samples, while levels of its minor mRNA are decreased across the broad range of the lymphoma types. The haploinsufficiency of KCNRG might be relevant to the progression of CLL and MM at least in a subset of patients