Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer Science, MFCS 2006.

This book constitutes the refereed proceedings of the 16th International Conference on Asia-Pacific Digital Libraries, ICADL 2014, held in Chiang Mai, Thailand, in November 2014. The 20 full papers, 19 short papers and 9 poster papers presented were carefully reviewed and selected from 141 submissions.

This book constitutes the refereed contest reports of the 1st International Workshop, VAAM 2014, held in Stockholm, Sweden, in August 2014.

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013.

This book examines how the computer, as we currently know it, will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments.

This book constitutes the refereed proceedings of the 8th International Frontiers of Algorithmics Workshop, FAW 2014, held in Zhangjiajie, China, in June 2014. They provide a focused forum on current trends of research on algorithms, discrete structures, operations research, combinatorial optimization and their applications.

The contributions are organized in topical sections on multispectral colour science, color imaging and applications, digital cultural heritage, document image analysis, graph-based representations, image filtering and representation, computer vision and pattern recognition, computer graphics, biomedical, and signal processing.

The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet.

The workshop gathered the researchers who are working on graph-theoretic and algorithmic aspects of related complex networks, including social networks, citation networks, biological networks, molecular networks, and other networks arising from the Internet.

This book constitutes the refereed proceedings of the 6th International Workshop on Ambient Assisted Living, IWAAL 2014, held in Belfast, UK, in December 2014. The 42 full papers presented with 12 papers of the workshop WAGER 2014 and 10 papers of a special session HTA were carefully reviewed and selected from numerous submissions.

This book constitutes the refereed post-proceedings of the 10th Workshop on RFID Security and Privacy, RFIDSec 2014, held in Oxford, UK, in 2014. The 9 revised full papers and 4 short papers presented in this volume were carefully reviewed and selected from 27 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Cryptology in India, INDOCRYPT 2014, held in New Delhi, India, in December 2014. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 101 submissions.

This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2014, held in Gold Coast, QLD, Australia, in December 2014. The 21 revised full papers presented together with 15 short papers were carefully reviewed and selected from 77 submissions.

This book constitutes the thoroughly refereed proceedings of the 9th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2013. The workshops were co-located with AAMAS 2013, held in St. Paul, MN, USA in May 2013, and with PRIMA 2013, held in Dunedin, New Zealand, in December 2013.

This book constitutes the refereed proceedings of the 15th Pacific Rim Conference on Multimedia, PCM 2014, held in Kuching, Malaysia, in December 2014. The papers cover a wide range of topics in the area of multimedia content analysis, multimedia signal processing and communications, and multimedia applications and services.

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

This book constitutes the revised selected papers of the workshops of the 13th International Conference of Web-based Learning, ICWL 2014, held in Tallinn, Estonia, in August 2014. The Seventh International Workshop on Social and Personal Computing for Web-Supported Learning Communities (SPeL 2014) 2.

This book constitutes revised selected papers from the second ECML PKDD Workshop on Data Analytics for Renewable Energy Integration, DARE 2014, held in Nancy, France, in September 2014. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book.

This book constitutes the refereed proceedings at PAKDD Workshops 2014, held in conjunction with the 18th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) held in Tainan, Taiwan, in May 2014. The 73 revised papers presented were carefully reviewed and selected from 179 submissions.

conference.

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

This book constitutes the refereed proceedings of the 6th International Workshop ABDI 2014, held in conjunction with MICCAI 2014, in Cambridge, MA, USA, in September 2014. The topics covered are liver and pancreas - ablation, perfusion, and segmentation; gastrointestinal tract - Crohn's disease; gastrointestinal tract - colonoscopy, colonography;

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Parameterized and Exact Computation, IPEC 2014, in Wroclaw, Poland, in September 2014. parameterized complexity theory, relationship between parameterized complexity and traditional complexity classifications;

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, in Paris, France, in July 2014.