Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections : UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker."

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International ICST on Auctions, Market Mechanisms and Their Applications (AMMA 2011) held in New York, USA, August 22-23, 2011. The 22 revised full papers presented were carefully selected from numerous submissions covering topics such as school choice, markets for housing, energy, and advertising, prediction markets, and the theory of market design."

"This book constitutes the thoroughly refereed post-conference proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2011, held in Stavanger, Norway, in September 2011. The 66 revised and extended full papers were carefully reviewed and selected from 124 papers presented at the conference. The papers are organized in 3 parts: production process, supply chain management, and strategy. They represent the breadth and complexity of topics in operations management, ranging from optimization and use of technology, management of organizations and networks, to sustainable production and globalization. The authors use a broad range of methodological approaches spanning from grounded theory and qualitative methods, via a broad set of statistical methods to modeling and simulation techniques."

"This book contains extended and revised versions of the best papers presented at the 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, held in Hong Kong, China, in October 2011. The 10 papers included in the book were carefully reviewed and selected from the 45 full papers and 16 special session papers presented at the conference. The papers cover a wide range of topics in VLSI technology and advanced research. They address the current trend toward increasing chip integration and technology process advancements bringing about stimulating new challenges both at the physical and system-design levels, as well as in the test of theses systems."

"This book constitutes the refereed post-conference proceedings of the IFIP WG 11.4 International Workshop, iNetSec 2010, held in Sofia, Bulgaria, in March 2010. The 14 revised full papers presented together with an invited talk were carefully reviewed and selected during two rounds of refereeing. The papers are organized in topical sections on scheduling, adversaries, protecting resources, secure processes, and security for clouds."

"This book constitutes the proceedings of the Third Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2011, held in conjunction with the 37th International Conference on Very Large Data Bases, VLDB 2011, in Seattle, August/September 2011. The 12 full papers and 2 keynote papers were carefully selected and reviewed from numerous submissions. The papers present novel ideas and methodologies in performance evaluation, measurement, and characterization."

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. The 94 revised full papers presented were carefully reviewed and selected from 832 submissions. The papers are organized in topical sections on neural networks, machine learning theory and methods, fuzzy theory and models, fuzzy systems and soft computing, evolutionary learning & genetic algorithms, swarm intelligence and optimization, intelligent computing in computer vision, intelligent computing in image processing, biometrics with applications to individual security/forensic sciences, intelligent image/document retrievals, natural language processing and computational linguistics, intelligent data fusion and information security, intelligent computing in pattern recognition, intelligent agent and web applications, intelligent computing in scheduling, intelligent control and automation."

"This book constitutes the thoroughly refereed post-conference proceedings of the First International ICST Conference on Wireless Communications and Applications, ICWCA 2011, held in Sanya, China, in August 2011. The 43 revised full papers presented were carefully reviewed and selected from around 90 submissions and cover a wide range of topics as mobile ad hoc networks, sensor networks, network architectural design, network protocol design, local area networks, MAC, routing, and transport protocols, quality of service provisioning, reliability and fault tolerance issues, resource allocation and management, signal processing, medical imaging, data aggregation techniques, security and privacy issues, wireless computing and applications for wireless network as smart grid, agriculture, health care, smart home, conditional monitoring, etc."

"This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011. The 19 revised selected papers presented were carefully reviewed and selected from 27 papers and 5 posters presented at the conference. The book also contains full papers or extended abstracts of the 5 invited presentations. The papers address all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues."

"This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches."