Analysis of Dynamical and Cognitive Systems Advanced Course Stockholm, Sweden, August 9–14, 1993 Proceedings / [electronic resource] :
edited by Stig I. Andersson.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 1995.
- VIII, 268 p. online resource.
- Lecture Notes in Computer Science, 888 0302-9743 ; .
- Lecture Notes in Computer Science, 888 .
The limits of mathematics course outline and software -- Historical background of Gödel's theorem -- A formal scheme for avoiding undecidable problems. Applications to chaotic behavior characterization and parallel computation -- Cellular neural networks — A tutorial on programmable nonlinear dynamics in space -- Neural coding: A theoretical vista of mechanisms, techniques, and applications -- Hebbian unlearning -- Mapping discounted and undiscounted Markov Decision Problems onto Hopfield neural networks -- “Blob” analysis of biomedical image sequences: A model-based and an inductive approach -- Simplicity criteria for dynamical systems -- Analysis of dynamical systems using predicate transformers: Attraction and composition.
This volume constitutes the documentation of the advanced course on Analysis of Dynamical and Cognitive Systems, held during the Summer University of Southern Stockholm in Stockholm, Sweden in August 1993. The volume contains eight carefully revised full versions of the invited three-to-four hour presentations as well as two abstracts. As a consequence of the interdisciplinary topic, several aspects of dynamical and cognitive systems are addressed: there are three papers on computability and undecidability, five tutorials on diverse aspects of universal cellular neural networks, and two presentations on dynamical systems and complexity.
9783540491132
10.1007/3-540-58843-4 doi
Computer science.
Computer Communication Networks.
Artificial intelligence.
Biology--Mathematics.
Logic, Symbolic and mathematical.
Computer Science.
Computation by Abstract Devices.
Computer Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
Mathematical Biology in General.
QA75.5-76.95
004.0151
The limits of mathematics course outline and software -- Historical background of Gödel's theorem -- A formal scheme for avoiding undecidable problems. Applications to chaotic behavior characterization and parallel computation -- Cellular neural networks — A tutorial on programmable nonlinear dynamics in space -- Neural coding: A theoretical vista of mechanisms, techniques, and applications -- Hebbian unlearning -- Mapping discounted and undiscounted Markov Decision Problems onto Hopfield neural networks -- “Blob” analysis of biomedical image sequences: A model-based and an inductive approach -- Simplicity criteria for dynamical systems -- Analysis of dynamical systems using predicate transformers: Attraction and composition.
This volume constitutes the documentation of the advanced course on Analysis of Dynamical and Cognitive Systems, held during the Summer University of Southern Stockholm in Stockholm, Sweden in August 1993. The volume contains eight carefully revised full versions of the invited three-to-four hour presentations as well as two abstracts. As a consequence of the interdisciplinary topic, several aspects of dynamical and cognitive systems are addressed: there are three papers on computability and undecidability, five tutorials on diverse aspects of universal cellular neural networks, and two presentations on dynamical systems and complexity.
9783540491132
10.1007/3-540-58843-4 doi
Computer science.
Computer Communication Networks.
Artificial intelligence.
Biology--Mathematics.
Logic, Symbolic and mathematical.
Computer Science.
Computation by Abstract Devices.
Computer Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Mathematical Logic and Foundations.
Mathematical Biology in General.
QA75.5-76.95
004.0151