相关论文: Model Checking Tap Withdrawal in C. Elegans
We study a discrete-time asynchronous midpoint dynamics on the circle in which, at each step, a uniformly chosen neighboring pair moves to the midpoint along the shortest arc. Although the update rule is locally contractive, we show that…
Caenorhabditis elegans, a free-living soil nematode, propels itself by producing undulatory body motion and displays a rich variety of body shapes and trajectories during its locomotion in complex environments. Here we show that the complex…
We illustrate shape mode analysis as a simple, yet powerful technique to concisely describe complex biological shapes and their dynamics. We characterize undulatory bending waves of beating flagella and reconstruct a limit cycle of…
Reentrant waves propagating in a ring or annulus of excitable media model is the basic mechanism underlying a major class of irregular cardiac rhythms known as anatomical reentry. Such reentrant waves are terminated by rapid electrical…
Just like electrical engineers understand how microprocessors execute programs in terms of how transistor currents are affected by their inputs, neuroscientists want to understand behavior production in terms of how neuronal outputs are…
Mathematical models of glucose, insulin, and pancreatic $\beta$-cell mass dynamics are essential for understanding the physiological basis of type 2 diabetes. This paper investigates the Topp model's discrete-time dynamics to represent…
We investigate the behaviour of the response function in the one dimensional trap model using scaling arguments that we confirm by numerical simulations. We study the average position of the random walk at time tw+t given that a small bias…
Recent experiments suggest that excitonic degrees of freedom play an important role in precipitating the charge density wave (CDW) transition in $1T$-$\mathrm{TiSe}_2$. Through systematic calculations of the electronic and phonon spectrum…
{\it Caenorhabditis elegans} nematode worms are the only animals with the known detailed neural connectivity diagram, well characterized genomics, and relatively simple quantifiable behavioral output. With this in mind, many researchers…
We consider a recurrent random walk (RW) in random environment (RE) on a strip. We prove that if the RE is i. i. d. and its distribution is not supported by an algebraic subsurface in the space of parameters defining the RE then the RW…
Spatially-embedded complex networks, such as nervous systems, the Internet and transportation networks, generally have non-trivial topological patterns of connections combined with nearly minimal wiring costs. However the growth rules…
Stick insect stepping patterns have been studied for insights about locomotor rhythm generation and control, because the underlying neural system is relatively accessible experimentally and produces a variety of rhythmic outputs. Harnessing…
Life presents fascinating examples of self-organization and emergent phenomena. In multi-cellular organisms, a multitude of cells interact to form and maintain highly complex body plans of well-defined size. In this thesis, we investigate…
Dissipative environments are ubiquitous in nature, from microscopic swimmers in low-Reynolds-number fluids to macroscopic animals in frictional media. In this study, motivated by various behaviours of {\it Caenorhabditis elegans} during…
Tangled active filaments are ubiquitous in nature, from chromosomal DNA and cilia carpets to root networks and worm blobs. How activity and elasticity facilitate collective topological transformations in living tangled matter is not well…
Long and stable timescales are often observed in complex biochemical networks, such as in emergent oscillations. How these robust dynamics persist remains unclear, given the many stochastic reactions and shorter time scales demonstrated by…
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…
We consider non-backtracking random walk (NBW) in the nearest-neighbor setting on the Zd-lattice and on tori. We evaluate the eigensystem of the m X m-dimensional transition matrix of NBW where m denote the degree of the graph. We use its…
The objective of this paper is to study the dynamical behaviour systematically of an ecological system with Beddington-DeAngelis functional response which avoids the criticism occurred in the case of ratio-dependent functional response at…
Totally asymmetric exclusion processes (TASEP) with open boundaries are known to exhibit moving shocks or delocalised domain walls (DDW) for sufficiently small equal injection and extraction rates. In contrast TASEPs in an inhomogeneous…