LEADER 05615nam 22008415 450 001 9910299233403321 005 20200630080840.0 010 $a3-319-15392-7 024 7 $a10.1007/978-3-319-15392-6 035 $a(CKB)3710000000343639 035 $a(Springer)9783319153926 035 $a(MH)014293429-1 035 $a(SSID)ssj0001424546 035 $a(PQKBManifestationID)11849600 035 $a(PQKBTitleCode)TC0001424546 035 $a(PQKBWorkID)11367009 035 $a(PQKB)10909861 035 $a(DE-He213)978-3-319-15392-6 035 $a(MiAaPQ)EBC5594588 035 $a(PPN)183521315 035 $a(EXLCZ)993710000000343639 100 $a20150123d2015 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNature of Computation and Communication $eInternational Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers /$fedited by Phan Cong Vinh, Emil Vassev, Mike Hinchey 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XIII, 371 p. 150 illus.)$conline resource 225 1 $aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,$x1867-8211 ;$v144 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-15391-9 327 $aModular Design and Verification of Distributed Adaptive Real-Time Systems -- Modeling Swarm Robotics with Know Lang -- Reasoning on Data Streams: an Approach to Adaptation in Pervasive Systems -- Autonomic Computing Software for Autonomous Space Vehicles -- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems -- Categorical Structures of Self-Adaptation in Collective Adaptive Systems -- Self-Adaptive Traits in Collective Adaptive Systems -- A Context-Aware Traffic Engineering Model for Software-Defined Networks -- Efficient k-Nearest Neighbor Search for Static Queries over High Speed Time-Series Streams Reconstructing low degree triangular parametric surfaces based on inverse Loop subdivision -- Maximizing the lifetime of wireless sensor networks with the base station location -- An Application of PCA on Uncertainty of Prediction -- Co-modeling: an agent-based approach to support the coupling of heterogeneous models -- Slowdown-guided Genetic Algorithm for Job Scheduling in Federated Environments -- Security Aspects of Cloud Based Mobile Health Care Application Enhancement of Innovation Co-creation Processes and Ecosystems Through Mobile Technologies -- Development the method for Optimizing Cost of Software Quality Assurance based on Regression-based Model -- Un-normalized and random walk hypergraph Laplacian un-supervised learning. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication. 410 0$aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,$x1867-8211 ;$v144 606 $aArtificial intelligence 606 $aComputer communication systems 606 $aPattern recognition 606 $aComputers 606 $aDatabase management 606 $aOptical data processing 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aPattern Recognition$3https://scigraph.springernature.com/ontologies/product-market-codes/I2203X 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021 615 0$aArtificial intelligence. 615 0$aComputer communication systems. 615 0$aPattern recognition. 615 0$aComputers. 615 0$aDatabase management. 615 0$aOptical data processing. 615 14$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aPattern Recognition. 615 24$aTheory of Computation. 615 24$aDatabase Management. 615 24$aImage Processing and Computer Vision. 676 $a519.5 702 $aVinh$b Phan Cong$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVassev$b Emil$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHinchey$b Mike$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299233403321 996 $aNature of Computation and Communication$92582931 997 $aUNINA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress