Spiking neural networks modelled as timed automata: with parameter learning-Reference-Cited by-同舟云学术

Spiking neural networks modelled as timed automata: with parameter learning

Published:2019-01-17 Issue:1 Volume:19 Page:135-155
ISSN:1567-7818
Container-title:Natural Computing
language:en
Short-container-title:Nat Comput

Author:

De Maria Elisabetta,Di Giusto Cinzia,Laversa Laetitia

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications

Link

http://link.springer.com/article/10.1007/s11047-019-09727-9/fulltext.html

Reference34 articles.

1. Ackley DH, Hinton GE, Sejnowski TJ (1988) A learning algorithm for Boltzmann machines. In: Waltz D, Feldman JA (eds) Connectionist models and their implications: readings from cognitive science. Ablex Publishing Corp., Norwood, pp 285–307

2. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2):183–235

3. Aman B, Ciobanu G (2016) Modelling and verification of weighted spiking neural systems. Theor Comput Sci 623:92–102. https://doi.org/10.1016/j.tcs.2015.11.005

4. Bengtsson J, Larsen KG, Larsson F, Pettersson P, Yi W (1995) Uppaal—a tool suite for automatic verification of real-time systems. In: Proceedings of workshop on verification and control of hybrid systems III, no. 1066 in Lecture notes in computer science. Springer, pp 232–243

5. Bohte SM, Poutr HAL, Kok JN, La HA, Joost P, Kok N (2002) Error-backpropagation in temporally encoded networks of spiking neurons. Neurocomputing 48:17–37

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. TickTockTokens: a minimal building block for event-driven systems;2024 Neuro Inspired Computational Elements Conference (NICE);2024-04-23

2. Modeling and analyzing neuromorphic SNNs as discrete event systems;Neuro-Inspired Computational Elements Conference;2022-03-28

3. Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata;Biomedical Engineering Systems and Technologies;2019