A principle for describing and verifying brain mechanisms using ongoing activity

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

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

Keyword
Hirnforschung
Gehirn
Zentralnervensystem

Event
Veröffentlichung
(where)
Freiburg
(who)
Albert-Ludwigs-Universität Freiburg
(when)
2017
Creator

URN
urn:nbn:de:bsz:25-freidok-117604
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:56 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

Time of origin

  • 2017

Other Objects (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

Related objects