LEADER 05612nam 22007695 450 001 996465593003316 005 20200702035341.0 010 $a3-642-02097-6 024 7 $a10.1007/978-3-642-02097-1 035 $a(CKB)1000000000753999 035 $a(SSID)ssj0000320460 035 $a(PQKBManifestationID)11213044 035 $a(PQKBTitleCode)TC0000320460 035 $a(PQKBWorkID)10247637 035 $a(PQKB)10516389 035 $a(DE-He213)978-3-642-02097-1 035 $a(MiAaPQ)EBC3064286 035 $a(PPN)136306551 035 $a(EXLCZ)991000000000753999 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTransactions on Computational Science V$b[electronic resource] $eSpecial Issue on Cognitive Knowledge Representation /$fedited by Yingxu Wang, Keith Chan 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XV, 237 p.) 225 1 $aTransactions on Computational Science,$x1866-4733 ;$v5540 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-02096-8 320 $aIncludes bibliographical references and index. 327 $aToward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations -- On Temporal Properties of Knowledge Base Inconsistency -- Images as Symbols: An Associative Neurotransmitter-Field Model of the Brodmann Areas -- Knowledge Reduction of Covering Approximation Space -- Formal Description of the Cognitive Process of Memorization -- Intelligent Processing of an Unrestricted Text in First Order String Calculus -- Knowledge Reduction in Concept Lattices Based on Irreducible Elements -- A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra -- Dyna: A Tool for Dynamic Knowledge Modeling -- Rough Sets and Functional Dependencies in Data: Foundations of Association Reducts -- Hybrid Evolutionary Algorithm for the Graph Coloring Register Allocation Problem for Embedded Systems -- Extended Pawlak?s Flow Graphs and Information Theory. 330 $aThe LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods. The fifth volume of the Transactions on Computational Science journal, edited by Yingxu Wang and Keith C.C. Chan, is devoted to the subject of cognitive knowledge representation. This field of study focuses on the internal knowledge representation mechanisms of the brain and how these can be applied to computer science and engineering. The issue includes the latest research results in internal knowledge representation at the logical, functional, physiological, and biological levels and describes their impacts on computing, artificial intelligence, and computational intelligence. 410 0$aTransactions on Computational Science,$x1866-4733 ;$v5540 606 $aDatabase management 606 $aProgramming languages (Electronic computers) 606 $aData mining 606 $aInformation storage and retrieval 606 $aArtificial intelligence 606 $aMathematical logic 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aData Mining and Knowledge Discovery$3https://scigraph.springernature.com/ontologies/product-market-codes/I18030 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aDatabase management. 615 0$aProgramming languages (Electronic computers). 615 0$aData mining. 615 0$aInformation storage and retrieval. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aDatabase Management. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aData Mining and Knowledge Discovery. 615 24$aInformation Storage and Retrieval. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a005.74 702 $aWang$b Yingxu$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aChan$b Keith$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465593003316 996 $aTransactions on Computational Science V$9774226 997 $aUNISA