000 04434nam a22005415i 4500
999 _c200434366
_d52578
003 DE-He213
005 20231104114355.0
007 cr nn 008mamaa
008 150123s2015 gw | s |||| 0|eng d
020 _a9783319153926
_z978-3-319-15392-6
024 7 _a10.1007/978-3-319-15392-6
_2doi
040 _aTR-AnTOB
_beng
_cTR-AnTOB
_erda
050 4 _aQ334-342
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema006.3
_223
245 1 0 _aNature of Computation and Communication :
_bInternational Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers /
_cedited by Phan Cong Vinh, Emil Vassev, Mike Hinchey.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2015.
300 _a1 online resource
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 0 _aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,
_x1867-8211 ;
_v144
505 0 _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.
520 _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.
650 0 _aArtificial intelligence.
650 0 _aComputer Communication Networks.
650 0 _aOptical pattern recognition.
650 0 _aInformation theory.
650 0 _aDatabase management.
650 0 _aComputer vision.
650 1 4 _aArtificial Intelligence.
_0http://scigraph.springernature.com/things/product-market-codes/I21000
650 2 4 _aComputer Communication Networks.
_0http://scigraph.springernature.com/things/product-market-codes/I13022
650 2 4 _aPattern Recognition.
_0http://scigraph.springernature.com/things/product-market-codes/I2203X
650 2 4 _aTheory of Computation.
_0http://scigraph.springernature.com/things/product-market-codes/I16005
650 2 4 _aDatabase Management.
_0http://scigraph.springernature.com/things/product-market-codes/I18024
650 2 4 _aImage Processing and Computer Vision.
_0http://scigraph.springernature.com/things/product-market-codes/I22021
700 1 _aVinh, Phan Cong.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aVassev, Emil.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aHinchey, Mike.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
856 4 0 _uhttps://doi.org/10.1007/978-3-319-15392-6
_3Springer eBooks
_zOnline access link to the resource
942 _2lcc
_cEBK
041 _aeng