On Activation, Connection, and Behavior in Dynamic Architectures

DOI10.7561/SACS.2016.2.187zbMATH Open1424.68003OpenAlexW2724832863MaRDI QIDQ4621205FDOQ4621205

Authors: Diego Marmsoler, Mario Gleirscher 

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7561/sacs.2016.2.187

Recommendations

• Connectionist functionality and the emergent network behavior
• Dynamics and architecture for neural computation
• On connectionist models
• Connection and Coordination: The Interplay Between Architecture and Dynamics in Evolved Model Pattern Generators
• scientific article; zbMATH DE number 194174
• Connectivity effects in the dynamic model of neural networks
• CONNECTIVITY AND THE DYNAMICS OF INTEGRATE-AND-FIRE NEURAL NETWORKS
• Dynamical behaviors of Hopfield neural network with multilevel activation functions

zbMATH Keywords

trace semanticsconfiguration tracesdynamic architecturesarchitecture specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Semantics in the theory of computing (68Q55)

Cited In (6)

• Specifying properties of dynamic architectures using configuration traces
• Interactive verification of architectural design patterns in FACTum
• Formal specification and verification of dynamic parametrized architectures
• Towards a calculus for dynamic architectures
• Runtime verification for dynamic architectures
• APML: an architecture proof modeling language

This page was built for publication: On Activation, Connection, and Behavior in Dynamic Architectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621205)