Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the proceedings of the 12th International Conference on Simulation of Adaptive Behaviour, SAB 2012, held in Odense, Denmark, in August 2012. The 22 full papers as well as 22 poster papers included in this volume were carefully reviewed and selected from 66 submissions. They are organized in topical sections named, animat approach and methodology, perception and motor control, evolution, learning and adaptation, and collective and social behaviour."

"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, etc."

"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, computing and simulation applications in medical field."

"This book constitutes the refereed proceedings of the 18th International Conference on DNA Computing and Molecular Programming, DNA 18, held in Aarhus, Denmark, in August 2012. The 11 full papers presented were carefully selected from 37 submissions. The papers are organized in topical sections on advancing the engineering and science of biology and chemistry from the point of view of computer science, physics, and mathematics."

"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."

"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."

"This book constitutes the refereed proceedings of the 8th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2012, held in Halkidiki, Greece, in September 2012. The 44 revised full papers and 5 revised short papers presented were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on ANN-classification and pattern recognition, optimization - genetic algorithms, artificial neural networks, learning and mining, fuzzy logic, classification - pattern recognition, multi-agent systems, multi-attribute DSS, clustering, image-video classification and processing, and engineering applications of AI and artificial neural networks."

"This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods."

"This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm."