loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Elisabetta De Maria and Cinzia Di Giusto

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

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

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 syn aptical weights and back-propagating them until the expected behaviour is displayed. A concrete case study is discussed. (More)

CC BY-NC-ND 4.0

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 18.225.92.60

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 (BIOSTEC 2018) - BIOINFORMATICS; ISBN 978-989-758-280-6; ISSN 2184-4305, SciTePress, 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 (BIOSTEC 2018) - BIOINFORMATICS},
year={2018},
pages={17-28},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006530300170028},
isbn={978-989-758-280-6},
issn={2184-4305},
}

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic