A Principle for Describing and Verifying Brain Mechanisms Using Ongoing Activity

Frontiers in Neural Circuits - Switzerland
doi 10.3389/fncir.2017.00001
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Frontiers Media SA

Related search

Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces

1997English

Intrinsic Coupling Modes: Multiscale Interactions in Ongoing Brain Activity

Neuron
Neuroscience
2013English

Tracking Ongoing Cognition in Individuals Using Brief, Whole-Brain Functional Connectivity Patterns

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
2015English

Principle and Embodiment of Embracing Gripper Mechanisms

Journal of the Robotics Society of Japan
2017English

Verifying a Compiler for Java Threads

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Verifying Networked Programs Using a Model Checker Extension

2009English

Verifying Spatial Queries Using Voronoi Neighbors

2010English

Verifying SeVeCom Using Set-Based Abstraction

2011English

Clustering of Neural Activity: A Design Principle for Population Codes

Frontiers in Computational Neuroscience
NeuroscienceCellularMolecular Neuroscience
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy