KOPS - Das Institutionelle Repositorium der Universität Konstanz

Modeling and analyzing spike timing dependent plasticity with linear hybrid automata

Modeling and analyzing spike timing dependent plasticity with linear hybrid automata

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:97f867db86a3d91d4952d0d5276f6d0f

BEY, Alina, Stefan LEUE, 2011. Modeling and analyzing spike timing dependent plasticity with linear hybrid automata

@techreport{Bey2011Model-19615, series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-11-03}, title={Modeling and analyzing spike timing dependent plasticity with linear hybrid automata}, year={2011}, author={Bey, Alina and Leue, Stefan} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/19615"> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-06-27T07:42:32Z</dcterms:available> <dc:language>eng</dc:language> <dc:creator>Leue, Stefan</dc:creator> <dc:contributor>Bey, Alina</dc:contributor> <dc:rights>deposit-license</dc:rights> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:abstract xml:lang="eng">We propose a model for synaptic plasticity according to the Spike Timing Dependent Plasticity (STDP) theory using Linear Hybrid Automata (LHA). We first present a compositional LHA model in which each component corresponds to some process in STDP. We then abstract this model into a monolithic LHA model in order to enable formal analysis using hybrid model checking. We discuss how the avail- ability of an LHA model as well as its formal analysis using the tool PHAVer can support a better understanding of the dynamics of STDP.</dcterms:abstract> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/19615"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-06-27T07:42:32Z</dc:date> <dcterms:title>Modeling and analyzing spike timing dependent plasticity with linear hybrid automata</dcterms:title> <dcterms:issued>2011</dcterms:issued> <dc:creator>Bey, Alina</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leue_Modeling.pdf 43

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto