Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed proceedings of the International Conference on Brain Informatics, BI 2012, held in Macau, China, in December 2012. The 34 revised full papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on computer science, information technology, artificial intelligence, web intelligence, cognitive science, neuroscience, medical science, life science, economics, data mining, data and knowledge engineering, intelligent agent technology, human computer interaction, complex systems, and system science."

"This book constitutes the refereed proceedings of the 5th International Conference on Brain Inspired Cognitive Systems, BICS 2012, held in Shenyang, Liaoning, China in July 2012. The 46 high-quality papers presented were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on biologically inspired systems, cognitive neuroscience, models of consciousness, and neural computation."

"This book constitutes the refereed post-proceedings of the Joint International Semantic Technology Conference, JIST 2011, held in Hangzhou, China, in December 2011. This conference is a joint event for regional semantic Web related conferences. JIST 2011 brings together the Asian Semantic Web Conference 2011 and the Chinese Semantic Web Conference 2011. The 21 revised full papers presented together with 12 short papers were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in disciplines related to semantic technology including applications of the semantic web, management of semantic web data, ontology and reasoning, social semantic web, and user interfaces to the semantic web."

"This book constitutes the refereed proceedings of the 18th International Conference on the Theory and Application of Cryptology and Information Security, Asiacrypt 2012, held in Beijing, China, in December 2012. The 43 full papers presented were carefully reviewed and selected from 241 submissions. They are organized in topical sections named: public-key cryptography, foundation, symmetric cipher, security proof, lattice-based cryptography and number theory, hash function, cryptographic protocol, and implementation issues."

"This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis, qualitative and timed systems, behavioural equivalences, temporal logics, session types, abstraction, mobility and space in process algebras, stochastic systems, probabilistic systems, Petri nets and non-sequential semantics, verification, and decidability."

"This book constitutes the thoroughly reviewed post-proceedings of the 8th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2011, held in Taipei, Taiwan in May 2011 in association with the 10th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011). The 8 revised full papers taken from ArgMAS 2011. Also included are 5 invited papers based on presentations on argumentation at the AAMAS 2011 main conference. All together the 13 papers included in the book give a representative overview on current research on argumentation in multi-agent systems. The papers are listed alphabetically by first author within three thematic topics, foundations and theory, argumentation and dialogue, and applications."

"The two volume set LNCS 7439 and 7440 comprises the proceedings of the 12th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2012, as well as some workshop papers of the CDCN 2012 workshop which was held in conjunction with this conference. The 40 regular paper and 26 short papers included in these proceedings were carefully reviewed and selected from 156 submissions. The CDCN workshop attracted a total of 19 original submissions, 8 of which are included in part II of these proceedings. The papers cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental results, and commercial components and systems."

"The two volume set LNCS 7439 and 7440 comprises the proceedings of the 12th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2012, as well as some workshop papers of the CDCN 2012 workshop which was held in conjunction with this conference. The 40 regular paper and 26 short papers included in these proceedings were carefully reviewed and selected from 156 submissions. The CDCN workshop attracted a total of 19 original submissions, 8 of which are included in part II of these proceedings. The papers cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental results, and commercial components and systems."

"The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented were carefully reviewed and selected from 906 submissions. The papers are organized in topical sections on modeling theory and technology, modeling and simulation technology on synthesized environment and virtual reality environment, pervasive computing and simulation technology, embedded computing and simulation technology, verification, validation and accreditation technology, networked modeling and simulation technology, modeling and simulation technology of continuous system, discrete system, hybrid system, and intelligent system, high performance computing and simulation technology, cloud simulation technology, modeling and simulation technology of complex system and open, complex, huge system, simulation based acquisition and virtual prototyping engineering technology, simulator; simulation language and intelligent simulation system, parallel and distributed software, CAD, CAE, CAM, CIMS, VP, VM, and VR, visualization; computing and simulation applications in science and engineering, computing and simulation applications in management, society and economics, computing and simulation applications in life and biomedical engineering, computing and simulation applications in energy and environment, computing and simulation applications in education, computing and simulation applications in military field, and computing and simulation applications in medical field."

"The Three-Volume-Set CCIS 323, 324, 325 (AsiaSim 2012) together with the Two-Volume-Set CCIS 326, 327 (ICSC 2012) constitutes the refereed proceedings of the Asia Simulation Conference, AsiaSim 2012, and the International Conference on System Simulation, ICSC 2012, held in Shanghai, China, in October 2012. The 267 revised full papers presented were carefully reviewed and selected from 906 submissions. The papers are organized in topical sections on modeling theory and technology, modeling and simulation technology on synthesized environment and virtual reality environment, pervasive computing and simulation technology, embedded computing and simulation technology, verification, validation and accreditation technology, networked modeling and simulation technology, modeling and simulation technology of continuous system, discrete system, hybrid system, and intelligent system, high performance computing and simulation technology, cloud simulation technology, modeling and simulation technology of complex system and open, complex, huge system, simulation based acquisition and virtual prototyping engineering technology, simulator; simulation language and intelligent simulation system, parallel and distributed software, CAD, CAE, CAM, CIMS, VP, VM, and VR, visualization; computing and simulation applications in science and engineering, computing and simulation applications in management, society and economics, computing and simulation applications in life and biomedical engineering, computing and simulation applications in energy and environment, computing and simulation applications in education, computing and simulation applications in military field, and computing and simulation applications in medical field."