Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 36th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions.

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions.

The papers are organized in topical sections on Constraints, search and planning, intelligent Web and information retrieval, fuzzy systems, knowledge representation, reasoning and logic, machine learning, multiagent systems, multidisciplinary topics and applications, metaheuristics, uncertainty in artificial intelligence.

This book constitutes the refereed post-proceedings of the 5th TPC Technology Conference, TPCTC 2013, held in Trento, Italy, in August 2013. It contains 7 selected peer-reviewed papers, a report from the TPC Public Relations Committee and one invited paper.

The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics.

This book constitutes the proceedings of the International Conference on Brain Informatics and Health, BIH 2014, held in Warsaw, Poland, in August 2014, as part of 2014 Web Intelligence Congress, WIC 2014. brain data analytics; health data analytics; brain informatics and data management;

This book - in conjunction with the volumes LNAI 8589 and LNBI 8590 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. The papers are organized in topical sections such as evolutionary computation and learning;

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Optimization, ISCO 2014, held in Lisbon, Portugal, in March 2014. They present original research on all aspects of combinatorial optimization, such as algorithms and complexity;

This book - in conjunction with the volumes LNCS 8588 and LNAI 8589 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. The 58 papers of this volume were carefully reviewed and selected from numerous submissions.

This book constitutes the refereed proceedings of the 14th Industrial Conference on Advances in Data Mining, ICDM 2014, held in St. Petersburg, Russia, in July 2014.

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

This book constitutes the thoroughly refereed proceedings of the 22nd International Conference on User Modeling, Adaption and Personalization, held in Aalborg, Denmark, in July 2014. The papers cover the following topics: large scale personalization, adaptation and recommendation; Personalization for individuals, groups and populations;

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions.

This book constitutes the refereed proceedings of the 6th International Conference on Social Computing and Social Media, SCSM 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, in Heraklion, Crete, Greece in June 2014, jointly with 13 other thematically conferences.

This book constitutes the refereed proceedings of the 17th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2014, held in Bonn, Germany, in June 2014.

This book constitutes the refereed proceedings of the 9th International Workshop on Databases in Networked Information Systems, DNIS 2014, held in Aizu-Wakamatsu, Japan, March 2014. business data analytics and visualization; business data analytics in sciences; business data analytics in astronomy.

This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD, USA, in March 2014. The 12 technical papers and 2 short position papers presented in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections named: OpenSHMEM implementations and evaluations;

This book constitutes the proceedings of the 27th International Conference on Architecture of Computing Systems, ARCS 2014, held in Lubeck, Germany, in February 2014. The 20 papers presented in this volume were carefully reviewed and selected from 44 submissions. system design; system design and sensor systems;

The papers included in these two volumes cover a diverse range of topics including: applications of multimedia modelling, interactive retrieval, image and video collections, 3D and augmented reality, temporal analysis of multimedia content, compression and streaming.

This book constitutes the refereed proceedings of the 7th International Conference on Combinatorial Optimization and Applications, COCOA 2013, held in Chengdu, China, in December 2013. The papers feature original research in the areas of combinatorial optimization and its applications.

The two-volume set LNCS 8297 and LNCS 8298 constitutes the proceedings of the 4th International Conference on Swarm, Evolutionary and Memetic Computing, SEMCCO 2013, held in Chennai, India, in December 2013. They cover cutting-edge research on swarm, evolutionary and memetic computing, neural and fuzzy computing and its application.

This book constitutes the proceedings of the 5th International Symposium on Cyberspace Safety and Security, CSS 2013, held in Zhangjiajie, China, in November 2013. The papers are organized in topical sections named: data and applications security; network and communications security; and cloud security and cyberspace safety.

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security.

They address topics related to graph-theoretic and algorithmic aspects of related complex networks, including citation networks, social networks, biological networks, molecular networks and other networks arising from the Internet.

This book constitutes the refereed proceedings of the 13th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2013, held in Turin, Italy, in December 2013.