Spiking networks that perform probabilistic inference have been proposed both as models of cortical computation and as candidates for solving problems in machine learning. However, the evidence for spike-based computation being in any way superior to non-spiking alternatives remains scarce. We propose that short-term plasticity can provide spiking networks with distinct computational advantages compared to their classical counterparts. In this work, we use networks of leaky integrate-and-fire neurons that are trained to perform both discriminative and generative tasks in their forward and backward information processing paths, respectively. During training, the energy landscape associated with their dynamics becomes highly diverse, with deep attractor basins separated by high barriers. Classical algorithms solve this problem by employing various tempering techniques, which are both computationally demanding and require global state updates. We demonstrate how similar results can be achieved in spiking networks endowed with local short-term synaptic plasticity. Additionally, we discuss how these networks can even outperform tempering-based approaches when the training data is imbalanced. We thereby show how biologically inspired, local, spike-triggered synaptic dynamics based simply on a limited pool of synaptic resources can allow spiking networks to outperform their non-spiking relatives.

Local interactions, when individuals meet, can regulate collective behavior. In a system without any central control, the rate of interaction may depend simply on how the individuals move around. But interactions could in turn influence movement; individuals might seek out interactions, or their movement in response to interaction could influence further interaction rates. We develop a general framework to address these questions, using collision theory to establish a baseline expected rate of interaction based on proximity. We test the models using data from harvester ant colonies. A colony uses feedback from interactions inside the nest to regulate foraging activity. Potential foragers leave the nest in response to interactions with returning foragers with food. The time series of interactions and local density of ants show how density hotspots lead to interactions that are clustered in time. A correlated random walk null model describes the mixing of potential and returning foragers. A model from collision theory relates walking speed and spatial proximity with the probability of interaction. The results demonstrate that although ants do not mix homogeneously, trends in interaction patterns can be explained simply by the walking speed and local density of surrounding ants.

Living cells move thanks to assemblies of actin filaments and myosin motors that range from very organized striated muscle tissue to disordered intracellular bundles. The mechanisms powering these disordered structures are debated, and all models studied so far predict that they are contractile. We reexamine this prediction through a theoretical treatment of the interplay of three well-characterized internal dynamical processes in actomyosin bundles: actin treadmilling, the attachement-detachment dynamics of myosin and that of crosslinking proteins. We show that these processes enable an extensive control of the bundle's active mechanics, including reversals of the filaments' apparent velocities and the possibility of generating extension instead of contraction. These effects offer a new perspective on well-studied in vivo systems, as well as a robust criterion to experimentally elucidate the underpinnings of actomyosin activity.

A numerical method using implicit surface representations is proposed to solve the linearized Poisson-Boltzmann equations that arise in mathematical models for the electrostatics of molecules in solvent. The proposed method used an implicit boundary integral formulation to derived a linear system defined on Cartesian nodes in a narrowband surrounding the closed surface that separate the molecule and the solvent. The needed implicit surfaces is constructed from the given atomic description of the molecules, by a sequence of standard level set algorithms. A fast multipole method is applied to accelerate the solution of the linear system. A few numerical studies involving some standard test cases are presented and compared to other existing results.

The protein folding problem is stated and a list of properties that do not depend upon specific molecules is compiled and analyzed. The relationship of this analysis to future simulations is emphasized. The choice of power and time as variables as opposed to energy and time is discussed. A wave motion model is reviewed and related to the action in classical mechanics. It is argued that the properties of the action support the idea that folding takes place in small steps. It is explained how catastrophe theory has been employed in wave motion models and how it can be used in examination of successful simulations