loading
Documents

Research.Publish.Connect.

Paper

Authors: Elisabetta De Maria and Cinzia Di Giusto

Affiliation: Université Côte d’Azur, France

ISBN: 978-989-758-280-6

Keyword(s): Neural Networks, Parameter Learning, Timed Automata, Temporal Logic, Model Checking.

Related Ontology Subjects/Areas/Topics: Algorithms and Software Tools ; Bioinformatics ; Biomedical Engineering ; Systems Biology

Abstract: In this paper we present a novel approach to automatically infer parameters of spiking neural networks. Neurons are modelled as timed automata waiting for inputs on a number of different channels (synapses), for a given amount of time (the accumulation period). When this period is over, the current potential value is computed considering current and past inputs. If this potential overcomes a given threshold, the automaton emits a broadcast signal over its output channel, otherwise it restarts another accumulation period. After each emission, the automaton remains inactive for a fixed refractory period. Spiking neural networks are formalised as sets of automata, one for each neuron, running in parallel and sharing channels according to the network structure. This encoding is exploited to find an assignment for the synaptical weights of neural networks such that they can reproduce a given behaviour. The core of this approach consists in identifying some correcting actions adjusting syna ptical weights and back-propagating them until the expected behaviour is displayed. A concrete case study is discussed. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.81.150.27

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
De Maria E. and Di Giusto C. (2018). Parameter Learning for Spiking Neural Networks Modelled as Timed Automata.In Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 4: BIOINFORMATICS, ISBN 978-989-758-280-6, pages 17-28. DOI: 10.5220/0006530300170028

@conference{bioinformatics18,
author={Elisabetta De Maria and Cinzia Di Giusto},
title={Parameter Learning for Spiking Neural Networks Modelled as Timed Automata},
booktitle={Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 4: BIOINFORMATICS,},
year={2018},
pages={17-28},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006530300170028},
isbn={978-989-758-280-6},
}

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 4: BIOINFORMATICS,
TI - Parameter Learning for Spiking Neural Networks Modelled as Timed Automata
SN - 978-989-758-280-6
AU - De Maria E.
AU - Di Giusto C.
PY - 2018
SP - 17
EP - 28
DO - 10.5220/0006530300170028

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.