相关论文: Model Checking Tap Withdrawal in C. Elegans
Computational approaches which emulate in-vivo nervous system are needed to investigate mechanisms of the brain to orchestrate behavior. Such approaches must integrate a series of biophysical models encompassing the nervous system, muscles,…
Understanding how biological and synthetic systems achieve robust function in noisy environments remains a fundamental challenge across the physical and life sciences. To connect robust behavior with non-trivial topological features present…
Organisms move through the world by changing their shape, and here we explore the mapping from shape space to movements in the nematode C. elegans as it crawls on a planar agar surface. We characterize the statistics of the trajectories…
Trap models have been initially proposed as toy models for dynamical relaxation in extremely simplified rough potential energy landscapes. Their importance has considerably grown recently thanks to the discovery that the trap like aging…
The neocortex has a remarkably uniform neuronal organization, suggesting that common principles of processing are employed throughout its extent. In particular, the patterns of connectivity observed in the superficial layers of the visual…
Driven periodic elastic systems such as charge-density waves (CDWs) pinned by impurities show a non-trivial, glassy dynamical critical behavior. Their proper theoretical description requires the functional renormalization group. We show…
C. elegans is commonly used in neuroscience for behaviour analysis because of it's compact nervous system with well-described connectivity. Localizing the animal and distinguishing between its head and tail are important tasks to track the…
We study external, electrical perturbations and their responses in the brain dynamic network of the \textit{Caenorhabditis elegans} soil worm, given by the connectome of its large somatic nervous system. Our analysis is inspired by a…
Neuronal networks provide living organisms with the ability to process information. They are also characterized by abundant recurrent connections, which give rise to strong feedback that dictates their dynamics and endows them with fading…
Habituation - a phenomenon in which a dynamical system exhibits a diminishing response to repeated stimulations that eventually recovers when the stimulus is withheld - is universally observed in living systems from animals to unicellular…
Understanding principles of neurolocomotion requires the synthesis of neural activity, sensory feedback, and biomechanics. The nematode \textit{C. elegans} is an ideal model organism for studying locomotion in an integrated neuromechanical…
A quantitative understanding of how sensory signals are transformed into motor outputs places useful constraints on brain function and helps reveal the brain's underlying computations. We investigate how the nematode C. elegans responds to…
A major challenge in analyzing animal behavior is to discover some underlying simplicity in complex motor actions. Here we show that the space of shapes adopted by the nematode C. elegans is surprisingly low dimensional, with just four…
Motif discovery is a powerful and insightful method to quantify network structures and explore their function. As a case study, we present a comprehensive analysis of regulatory motifs in the connectome of the model organism Caenorhabditis…
We analyze travelling wave (TW) solutions for nonlinear systems consisting of an ODE coupled to a degenerate PDE with a diffusion coefficient that vanishes as the solution tends to zero and blows up as it approaches its maximum value.…
We study the robustness of an evolving system that is driven by successive inclusions of new elements or constituents with $m$ random interactions to older ones. Each constitutive element in the model stays either active or is temporarily…
Abrupt changes in behavior can often be associated with changes in underlying behavioral states. When placed off food, the foraging behavior of C. elegans can be described as a change between an initial local-search behavior characterized…
It is now generally assumed that the heterogeneity of most networks in nature probably arises via preferential attachment of some sort. However, the origin of various other topological features, such as degree-degree correlations and…
C. elegans locomotion is composed of switches between forward and reversal states punctuated by turns. This locomotory capability is necessary for the nematode to move towards attractive stimuli, escape noxious chemicals, and explore its…
Motivated by the dynamics of particles embedded in active gels, both in-vitro and inside the cytoskeleton of living cells, we study an active generalization of the classical trap model. We demonstrate that activity leads to dramatic…