A principle for describing and verifying brain mechanisms using ongoing activity

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Frontiers in neural circuits. Volume 11 (January 2017), article 1, DOI 10.3389/fncir.2017.00001 (ISSN: 1662-5110)

Schlagwort
Hirnforschung
Gehirn
Zentralnervensystem

Ereignis
Veröffentlichung
(wo)
Freiburg
(wer)
Albert-Ludwigs-Universität Freiburg
(wann)
2017
Urheber

URN
urn:nbn:de:bsz:25-freidok-117604
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:56 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2017

Ähnliche Objekte (12)

Verifying OPAL, Pt. 1.. Verifying in the small

Verifying OPAL, Pt. 1.. Verifying in the small

Verifying Negative Sentences

Verifying Negative Sentences

Verifying real-time systems

Hochschulschrift

Verifying real-time systems

Self-verifying cellular automata

Self-verifying cellular automata

Verifying Visibility-Based Weak Consistency

zweidimensionales bewegtes Bild

Verifying Visibility-Based Weak Consistency

Verifying families of system configurations

Hochschulschrift

Verifying families of system configurations

Verifying temporal properties of systems

Verifying temporal properties of systems

Verifying Whiley Programs with Boogie

Verifying Whiley Programs with Boogie

Describing patterns

Describing patterns

Verifying the robustness of opinion inference

Buchbeitrag

Verifying the robustness of opinion inference

Verifying high quality: Entry for sale

Arbeitspapier

Verifying high quality: Entry for sale

AMulet 2.0 for Verifying Multiplier Circuits

zweidimensionales bewegtes Bild

AMulet 2.0 for Verifying Multiplier Circuits

Verbundene Objekte