Model Checking Tap Withdrawal in C. Elegans

We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW) in \emph{C. Elegans}, the common roundworm. TW is a reflexive behavior exhibited by \emph{C. Elegans} in response to vibrating the surface on which it is moving; the neural circuit underlying this response is the subject of this investigation. Specifically, we perform reachability analysis on the TW circuit model of Wicks et al. (1996), which enables us to estimate key circuit parameters. Underlying our approach is the use of Fan and Mitra's recently developed technique for automatically computing local discrepancy (convergence and divergence rates) of general nonlinear systems. We show that the results we obtain are in agreement with the experimental results of Wicks et al. (1995). As opposed to the fixed parameters found in most biological models, which can only produce the predominant behavior, our techniques characterize ranges of parameters that produce (and do not produce) all three observed behaviors: reversal of movement, acceleration, and lack of response

CapsID: a web-based tool for developing parsimonious sets of CAPS molecular markers for genotyping

BACKGROUND: Genotyping may be carried out by a number of different methods including direct sequencing and polymorphism analysis. For a number of reasons, PCR-based polymorphism analysis may be desirable, owing to the fact that only small amounts of genetic material are required, and that the costs are low. One popular and cheap method for detecting polymorphisms is by using cleaved amplified polymorphic sequence, or CAPS, molecular markers. These are also known as PCR-RFLP markers. RESULTS: We have developed a program, called CapsID, that identifies snip-SNPs (single nucleotide polymorphisms that alter restriction endonuclease cut sites) within a set or sets of reference sequences, designs PCR primers around these, and then suggests the most parsimonious combination of markers for genotyping any individual who is not a member of the reference set. The output page includes biologist-friendly features, such as images of virtual gels to assist in genotyping efforts. CapsID is freely available at . CONCLUSION: CapsID is a tool that can rapidly provide minimal sets of CAPS markers for molecular identification purposes for any biologist working in genetics, community genetics, plant and animal breeding, forensics and other fields

Nemo: a computational tool for analyzing nematode locomotion

The nematode Caenorhabditis elegans responds to an impressive range of chemical, mechanical and thermal stimuli and is extensively used to investigate the molecular mechanisms that mediate chemosensation, mechanotransduction and thermosensation. The main behavioral output of these responses is manifested as alterations in animal locomotion. Monitoring and examination of such alterations requires tools to capture and quantify features of nematode movement. In this paper, we introduce Nemo (nematode movement), a computationally efficient and robust two-dimensional object tracking algorithm for automated detection and analysis of C. elegans locomotion. This algorithm enables precise measurement and feature extraction of nematode movement components. In addition, we develop a Graphical User Interface designed to facilitate processing and interpretation of movement data. While, in this study, we focus on the simple sinusoidal locomotion of C. elegans, our approach can be readily adapted to handle complicated locomotory behaviour patterns by including additional movement characteristics and parameters subject to quantification. Our software tool offers the capacity to extract, analyze and measure nematode locomotion features by processing simple video files. By allowing precise and quantitative assessment of behavioral traits, this tool will assist the genetic dissection and elucidation of the molecular mechanisms underlying specific behavioral responses.Comment: 12 pages, 2 figures. accepted by BMC Neuroscience 2007, 8:8

Mesoscopic organization reveals the constraints governing C. elegans nervous system

One of the biggest challenges in biology is to understand how activity at the cellular level of neurons, as a result of their mutual interactions, leads to the observed behavior of an organism responding to a variety of environmental stimuli. Investigating the intermediate or mesoscopic level of organization in the nervous system is a vital step towards understanding how the integration of micro-level dynamics results in macro-level functioning. In this paper, we have considered the somatic nervous system of the nematode Caenorhabditis elegans, for which the entire neuronal connectivity diagram is known. We focus on the organization of the system into modules, i.e., neuronal groups having relatively higher connection density compared to that of the overall network. We show that this mesoscopic feature cannot be explained exclusively in terms of considerations, such as optimizing for resource constraints (viz., total wiring cost) and communication efficiency (i.e., network path length). Comparison with other complex networks designed for efficient transport (of signals or resources) implies that neuronal networks form a distinct class. This suggests that the principal function of the network, viz., processing of sensory information resulting in appropriate motor response, may be playing a vital role in determining the connection topology. Using modular spectral analysis, we make explicit the intimate relation between function and structure in the nervous system. This is further brought out by identifying functionally critical neurons purely on the basis of patterns of intra- and inter-modular connections. Our study reveals how the design of the nervous system reflects several constraints, including its key functional role as a processor of information.Comment: Published version, Minor modifications, 16 pages, 9 figure

Sensory Transduction Channel Subunits, tax-4 and tax-2, Modify Presynaptic Molecular Architecture in C. elegans

During development, neural activity is important for forming proper connections in neural networks. The effect of activity on the gross morphology and synaptic strength of neurons has been well documented, but little is known about how activity affects different molecular components during development. Here, we examine the localization of four fluorescently-tagged presynaptic proteins, RAB-3, SNG-1/synaptogyrin, SYD-2/Liprin-α, and SAD-1/SAD kinase, in the C. elegans thermosensory neuron AFD. We show that tax-4 and tax-2, two genes that encode the cyclic nucleotide-gated channel necessary for sensory transduction in AFD, disrupt the localization of all four proteins. In wild-type animals, the synaptic vesicle (SV) markers RAB-3 and SNG-1 and the active zone markers SYD-2 and SAD-1 localize in a stereotyped, punctate pattern in the AFD axon. In tax-4 and tax-2 mutants, SV and SYD-2 puncta are more numerous and less intense. Interestingly, SAD-1 puncta are also less intense but do not increase in number. The change in puncta number can be rescued cell-autonomously in AFD. These results suggest that sensory transduction genes tax-4 and tax-2 are necessary for the proper assembly of presynapses

Microfluidic Devices for Analysis of Spatial Orientation Behaviors in Semi-Restrained Caenorhabditis elegans

This article describes the fabrication and use of microfluidic devices for investigating spatial orientation behaviors in nematode worms (Caenorhabditis elegans). Until now, spatial orientation has been studied in freely moving nematodes in which the frequency and nature of encounters with the gradient are uncontrolled experimental variables. In the new devices, the nematode is held in place by a restraint that aligns the longitudinal axis of the body with the border between two laminar fluid streams, leaving the animal's head and tail free to move. The content of the fluid streams can be manipulated to deliver step gradients in space or time. We demonstrate the utility of the device by identifying previously uncharacterized aspects of the behavioral mechanisms underlying chemotaxis, osmotic avoidance, and thermotaxis in this organism. The new devices are readily adaptable to behavioral and imaging studies involving fluid borne stimuli in a wide range of sensory modalities

High-Throughput Isolation and Mapping of C. elegans Mutants Susceptible to Pathogen Infection

We present a novel strategy that uses high-throughput methods of isolating and mapping C. elegans mutants susceptible to pathogen infection. We show that C. elegans mutants that exhibit an enhanced pathogen accumulation (epa) phenotype can be rapidly identified and isolated using a sorting system that allows automation of the analysis, sorting, and dispensing of C. elegans by measuring fluorescent bacteria inside the animals. Furthermore, we validate the use of Amplifluor® as a new single nucleotide polymorphism (SNP) mapping technique in C. elegans. We show that a set of 9 SNPs allows the linkage of C. elegans mutants to a 5–8 megabase sub-chromosomal region

Rapid SNP Discovery and Genetic Mapping Using Sequenced RAD Markers

Single nucleotide polymorphism (SNP) discovery and genotyping are essential to genetic mapping. There remains a need for a simple, inexpensive platform that allows high-density SNP discovery and genotyping in large populations. Here we describe the sequencing of restriction-site associated DNA (RAD) tags, which identified more than 13,000 SNPs, and mapped three traits in two model organisms, using less than half the capacity of one Illumina sequencing run. We demonstrated that different marker densities can be attained by choice of restriction enzyme. Furthermore, we developed a barcoding system for sample multiplexing and fine mapped the genetic basis of lateral plate armor loss in threespine stickleback by identifying recombinant breakpoints in F2 individuals. Barcoding also facilitated mapping of a second trait, a reduction of pelvic structure, by in silico re-sorting of individuals. To further demonstrate the ease of the RAD sequencing approach we identified polymorphic markers and mapped an induced mutation in Neurospora crassa. Sequencing of RAD markers is an integrated platform for SNP discovery and genotyping. This approach should be widely applicable to genetic mapping in a variety of organisms

The brain is a DJ using neuropeptides as sensory crossfaders

Sensory loss induces cross-modal plasticity, often resulting in altered performance in remaining sensory modalities. Whereas much is known about the macroscopic mechanisms underlying cross-modal plasticity, only scant information exists about its cellular and molecular underpinnings. We found that Caenorhabditis elegans nematodes deprived of a sense of body touch exhibit various changes in behavior, associated with other unimpaired senses. We focused on one such behavioral alteration, enhanced odor sensation, and sought to reveal the neuronal and molecular mechanisms that translate mechanosensory loss into improved olfactory acuity. To this end, we analyzed in mechanosensory mutants food-dependent locomotion patterns that are associated with olfactory responses and found changes that are consistent with enhanced olfaction. The altered locomotion could be reversed in adults by optogenetic stimulation of the touch receptor (mechanosensory) neurons. Furthermore, we revealed that the enhanced odor response is related to a strengthening of inhibitory AWC→AIY synaptic transmission in the olfactory circuit. Consistently, inserting in this circuit an engineered electrical synapse that diminishes AWC inhibition of AIY counteracted the locomotion changes in touch-deficient mutants. We found that this cross-modal signaling between the mechanosensory and olfactory circuits is mediated by neuropeptides, one of which we identified as FLP-20. Our results indicate that under normal function, ongoing touch receptor neuron activation evokes FLP-20 release, suppressing synaptic communication and thus dampening odor sensation. In contrast, in the absence of mechanosensory input, FLP-20 signaling is reduced, synaptic suppression is released, and this enables enhanced olfactory acuity; these changes are long lasting and do not represent ongoing modulation, as revealed by optogenetic experiments. Our work adds to a growing literature on the roles of neuropeptides in cross-modal signaling, by showing how activity-dependent neuropeptide signaling leads to specific cross-modal plastic changes in neural circuit connectivity, enhancing sensory performance.status: publishe