LEADER 04343nam 22007095 450 001 996466097503316 005 20200701184838.0 010 $a3-540-49113-9 024 7 $a10.1007/3-540-58843-4 035 $a(CKB)1000000000234224 035 $a(SSID)ssj0000321269 035 $a(PQKBManifestationID)11231229 035 $a(PQKBTitleCode)TC0000321269 035 $a(PQKBWorkID)10263581 035 $a(PQKB)10617477 035 $a(DE-He213)978-3-540-49113-2 035 $a(PPN)155235567 035 $a(EXLCZ)991000000000234224 100 $a20121227d1995 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAnalysis of Dynamical and Cognitive Systems$b[electronic resource] $eAdvanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings /$fedited by Stig I. Andersson 205 $a1st ed. 1995. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995. 215 $a1 online resource (VIII, 268 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v888 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-58843-4 327 $aThe 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v888 606 $aArtificial intelligence 606 $aComputers 606 $aComputer communication systems 606 $aMathematical logic 606 $aBiomathematics 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aMathematical and Computational Biology$3https://scigraph.springernature.com/ontologies/product-market-codes/M31000 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aComputer communication systems. 615 0$aMathematical logic. 615 0$aBiomathematics. 615 14$aArtificial Intelligence. 615 24$aComputation by Abstract Devices. 615 24$aComputer Communication Networks. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 615 24$aMathematical and Computational Biology. 676 $a003/.85 702 $aAndersson$b Stig I$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466097503316 996 $aAnalysis of dynamical and cognitive systems$91491083 997 $aUNISA