ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (2)
  • Petri nets  (1)
  • half-center oscillator  (1)
  • Springer  (2)
  • Emerald
  • Computer Science  (2)
Collection
  • Articles  (2)
Publisher
  • Springer  (2)
  • Emerald
Years
Topic
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Constraints 2 (1997), S. 305-335 
    ISSN: 1572-9354
    Keywords: decomposition ; linear arithmetic ; least fixed-point ; Petri nets ; reachability set
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We present a method for characterizing the least fixed-points of a certain class of Datalog programs in Presburger arithmetic. The method consists in applying a set of rules that transform general computation paths into “canonical” ones. We use the method for treating the problem of reachability in the field of Petri nets, thus relating some unconnected results and extending them in several directions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1573-6873
    Keywords: central pattern generator ; half-center oscillator
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Medicine , Physics
    Notes: Abstract We have developed a biophysical model of a pair of reciprocally inhibitory interneurons comprising an elemental heartbeat oscillator of the leech. We incorporate various intrinsic and synaptic ionic currents based on voltage-clamp data. Synaptic transmission between the interneurons consists of both a graded and a spike-mediated component. By using maximal conductances as parameters, we have constructed a canonical model whose activity appears close to the real neurons. Oscillations in the model arise from interactions between synaptic and intrinsic currents. The inhibitory synaptic currents hyperpolarize the cell, resulting in activation of a hyperpolarization-activated inward currentI h and the removal of inactivation from regenerative inward currents. These inward currents depolarize the cell to produce spiking and inhibit the opposite cell. Spike-mediated IPSPs in the inhibited neuron cause inactivation of low-threshold Ca++ currents that are responsible for generating the graded synaptic inhibition in the opposite cell. Thus, although the model cells can potentially generate large graded IPSPs, synaptic inhibition during canonical oscillations is dominated by the spike-mediated component.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...