Kleene's T predicate: Difference between revisions
en>!Silent mNo edit summary |
en>Dominus →Normal form theorem: explain mu-notation inline |
||
Line 1: | Line 1: | ||
In [[computational neuroscience]], the '''Wilson–Cowan model''' describes the dynamics of interactions between populations of very simple excitatory and inhibitory model neurons. It was developed by [[H.R. Wilson]] and [[Jack D. Cowan]]<ref name="wil72">[http://www.cell.com/biophysj/retrieve/pii/S0006349572860685 H.R. Wilson and J.D. Cowan. Excitatory and inhibitory interactions in localized populations of model neurons. Biophys. J., 12:1–24 (1972)]</ref> and extensions of the model have been widely used in modeling neuronal populations.<ref name="jir96">[http://prola.aps.org/abstract/PRL/v77/i5/p960_1 V.K. Jirsa and H. Haken. Field theory of electromagnetic brain activity. Phys. Rev. Lett. 77:960–963 (1996)]</ref><ref name="rob97">[http://prola.aps.org/abstract/PRE/v56/i1/p826_1 P.A. Robinson, C.J. Rennie and J.J. Wright. Propagation and stability of waves of electrical activity in the cerebral cortex. Phys. Rev. E. 56:826–840 (1997)]</ref><ref name="lil99">[http://marr.bsee.swin.edu.au/papers/cns98.pdf D.T.J. Liley, P.J. Cadusch and J.J. Wright. A continuum theory of electrocortical activity. Neurocomputing. 26–27:795–800 (1999)]</ref><ref name="wri99">[http://www.springerlink.com/content/2nqfq1kb50e135fe/ J.J. Wright and D.T.J. Liley. Simulation of the EEG: dynamic changes in synaptic efficiency, cerebral rhythms, and dissipative and generative activity in cortex. Biol. Cybern. 81:131–147 (1999)]</ref> The model is important historically because it uses phase plane methods and numerical solutions to describe the responses of neuronal populations to stimuli. Because the model neurons are simple, only elementary limit cycle behavior, i.e. [[neural oscillations]], and stimulus-dependent evoked responses are predicted. The key findings include the existence of multiple stable states, and hysteresis, in the population response. | |||
==Mathematical description== | |||
The Wilson–Cowan model considers a homogeneous population of interconnected neurons of excitatory and inhibitory subtypes. The fundamental quantity is the measure of the activity of an excitatory or inhibitory subtype within the population. More precisely, <math>E(t)</math> and <math>I(t)</math> are respectively the proportions of excitatory and inhibitory cells firing at time t. They depend on the proportion of sensitive cells (that are not refractory) and on the proportion of these cells receiving at least threshold excitation. | |||
===Sensitive cells=== | |||
Proportion of cells in refractory period (absolute refractory period <math>r</math>) | |||
<math>\int_{t-r}^{t}E(t')dt'</math> | |||
Proportion of sensitive cells (complement of refractory cells) | |||
<math>1-\int_{t-r}^{t}E(t')dt'</math> | |||
===Excited cells=== | |||
Subpopulation response function based on <math>D(\theta)</math> the distribution of neuronal thresholds | |||
<math>S(x)=\int_{0}^{x(t)}D(\theta)d\theta</math> | |||
Subpopulation response function based on the distribution of afferent synapses per cell (all cells have the same threshold) | |||
<math>S(x)=\int_{\frac{\theta}{x(t)}}^{\infty}C(w)dw</math> | |||
Average excitation level | |||
<math>\int_{-\infty}^{t}\alpha(t-t')[c_1 E(t')-c_2 I(t')+P(t')]dt'</math> | |||
where <math>\alpha(t)</math> is the stimulus decay function, <math>c_1</math> and <math>c_2</math> are respectively the connectivity coefficient giving the average number of excitatory and inhibitory synapses per cell, P(t) is the external input to the excitatory population. | |||
Excitatory subpopulation expression | |||
<math>E(t)=[1-\int_{t-r}^{t}E(t')dt']S(x)dt</math> | |||
Complete Wilson–Cowan model | |||
<math>E(t+\tau)=[1-\int_{t-r}^{t}E(t')dt'] S_e \left \{\int_{-\infty}^{t}\alpha(t-t')[c_1E(t')-c_2I(t')+P(t')]dt'\right \}</math> | |||
<math>I(t+\tau)=[1-\int_{t-r}^{t}I(t')dt'] S_i \left \{\int_{-\infty}^{t}\alpha(t-t')[c_3E(t')-c_4I(t')+Q(t')]dt'\right \}</math> | |||
Time Coarse Graining | |||
<math>\tau\frac{d\bar{E}}{dt}=-\bar{E}+(1-r\bar{E})S_e[kc_1\bar{E}(t)+kP(t)]</math> | |||
Isocline Equation | |||
<math>c_2I=c_1E-S_e^{-1}\left (\frac{E}{k_e-r_eE} \right )+P</math> | |||
[[Sigmoid function|Sigmoid Function]] | |||
<math>S(x)=\frac{1}{1+\exp[-a(x-\theta)]}-\frac{1}{1+\exp(a\theta)}</math> | |||
== References == | |||
{{reflist}} | |||
{{DEFAULTSORT:Wilson-Cowan model}} | |||
[[Category:Computational neuroscience]] |
Revision as of 23:57, 4 January 2014
In computational neuroscience, the Wilson–Cowan model describes the dynamics of interactions between populations of very simple excitatory and inhibitory model neurons. It was developed by H.R. Wilson and Jack D. Cowan[1] and extensions of the model have been widely used in modeling neuronal populations.[2][3][4][5] The model is important historically because it uses phase plane methods and numerical solutions to describe the responses of neuronal populations to stimuli. Because the model neurons are simple, only elementary limit cycle behavior, i.e. neural oscillations, and stimulus-dependent evoked responses are predicted. The key findings include the existence of multiple stable states, and hysteresis, in the population response.
Mathematical description
The Wilson–Cowan model considers a homogeneous population of interconnected neurons of excitatory and inhibitory subtypes. The fundamental quantity is the measure of the activity of an excitatory or inhibitory subtype within the population. More precisely, and are respectively the proportions of excitatory and inhibitory cells firing at time t. They depend on the proportion of sensitive cells (that are not refractory) and on the proportion of these cells receiving at least threshold excitation.
Sensitive cells
Proportion of cells in refractory period (absolute refractory period )
Proportion of sensitive cells (complement of refractory cells)
Excited cells
Subpopulation response function based on the distribution of neuronal thresholds
Subpopulation response function based on the distribution of afferent synapses per cell (all cells have the same threshold)
Average excitation level
where is the stimulus decay function, and are respectively the connectivity coefficient giving the average number of excitatory and inhibitory synapses per cell, P(t) is the external input to the excitatory population.
Excitatory subpopulation expression
Complete Wilson–Cowan model
References
43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.
- ↑ H.R. Wilson and J.D. Cowan. Excitatory and inhibitory interactions in localized populations of model neurons. Biophys. J., 12:1–24 (1972)
- ↑ V.K. Jirsa and H. Haken. Field theory of electromagnetic brain activity. Phys. Rev. Lett. 77:960–963 (1996)
- ↑ P.A. Robinson, C.J. Rennie and J.J. Wright. Propagation and stability of waves of electrical activity in the cerebral cortex. Phys. Rev. E. 56:826–840 (1997)
- ↑ D.T.J. Liley, P.J. Cadusch and J.J. Wright. A continuum theory of electrocortical activity. Neurocomputing. 26–27:795–800 (1999)
- ↑ J.J. Wright and D.T.J. Liley. Simulation of the EEG: dynamic changes in synaptic efficiency, cerebral rhythms, and dissipative and generative activity in cortex. Biol. Cybern. 81:131–147 (1999)