Stochastic Resonance in Neural Systems with Small-World Connections

We study the stochastic resonance （SR） in Hodgkin-Huxley （HH） neural systems with small-world （SW） connections under the noise synaptic current and periodic stimulus, focusing on the dependence of properties of SR on coupling strength c. It is found that there exists a critical coupling strength c^＊ such that if c 〈 c^＊, then the SR can appear on the SW neural network. Especially, dependence of the critical coupling strength c^＊ on the number of neurons N shows the monotonic even almost linear increase of c^＊ as N increases and c^＊ on the SW network is smaller than that on the random network. For the effect of the SW network on the phenomenon of SR, we show that decreasing the connection-rewiring probability p of the network topology leads to an enhancement of SR. This indicates that the SR on the SW network is more prominent than that on the random network （p = 1.0）. In addition, it is noted that the effect becomes remarkable as coupling strength increases. Moreover, it is found that the SR weakens but resonance range becomes wider with the increase of c on the SW neural network.

On the use of formal methods to model and verify neuronal archetypes

Having a formal model of neural networks can greatly help in understanding and verifying their properties,behavior,and response to external factors such as disease and medicine.In this paper,we adopt a formal model to represent neurons,some neuronal graphs,and their composition.Some specific neuronal graphs are known for having biologically relevant structures and behaviors and we call them archetypes.These archetypes are supposed to be the basis of typical instances of neuronal information processing.In this paper we study six fundamental archetypes(simple series,series with multiple outputs,parallel composition,negative loop,inhibition of a behavior,and contralateral inhibition),and we consider two ways to couple two archetypes:(i)connecting the output(s)of the first archetype to the input(s)of the second archetype and(ii)nesting the first archetype within the second one.We report and compare two key approaches to the formal modeling and verification of the proposed neuronal archetypes and some selected couplings.The first approach exploits the synchronous programming language Lustre to encode archetypes and their couplings,and to express properties concerning their dynamic behavior.These properties are verified thanks to the use of model checkers.The second approach relies on a theorem prover,the Coq Proof Assistant,to prove dynamic properties of neurons and archetypes.