Books in the Lecture Notes in Computer Science series

Thisbook constitutes the proceedings of the 20th Annual Conference on Research inComputational Molecular Biology, RECOMB 2016, held in Santa Monica, CA, USA, inApril 2016. The 15 regular papers presented in this volume were carefullyreviewed and selected from 172 submissions.

This book constitutes the thoroughly refereedpost-workshop proceedings of the 16th International Workshop on InformationSecurity Applications, WISA 2015, held on Jeju Island, Korea, in August 2015. The 35 revised full papers presented in this volume werecarefully reviewed and selected from 78 submissions.

This book constitutes the thoroughly refereedpost-conference proceedings of the 10th International Conference on Risks andSecurity of Internet Systems, CRiSIS 2015, held in Mytilene, Lesbos Island,Greece, in July 2015. The 18 full papers presented were selected from 50 submissions.

This bookconstitutes revised selected papers from the 4th International Workshop onClinical Image-Based Procedures, CLIP 2015, held in conjunction with MICCAI2015 in Munich, Germany, in October 2015. therefore, the goal of the works presentedin this workshop is to bring basic research methods closer to the clinicalpractice.

This book constitutes the refereed post proceedings of the16th International Symposium, SCAN 2014, held in Wurzburg, Germany, in September 2014. The 22 full papers presented were carefullyreviewed and selected from 60 submissions.

This two-volume set, LNAI 9651 and 9652, constitutes thethoroughly refereed proceedings of the 20th Pacific-Asia Conference on Advancesin Knowledge Discovery and Data Mining, PAKDD 2016, held in Auckland, NewZealand, in April 2016. The 91 full papers were carefully reviewed andselected from 307 submissions.

This two-volume set, LNAI 9651 and 9652, constitutes thethoroughly refereed proceedings of the 20th Pacific-Asia Conference on Advancesin Knowledge Discovery and Data Mining, PAKDD 2016, held in Auckland, NewZealand, in April 2016. The 91 full papers were carefully reviewed andselected from 307 submissions.

Thisbook constitutes the refereed proceedings of the 4th International Conferenceon Bioinformatics and Biomedical Engineering, IWBBIO 2016, held in Granada,Spain, in April 2016. The69 papers presented were carefully reviewed and selected from 286 submissions.

This two-volume set LNCS 10058 and LNCS 10059 constitutes the refereed proceedings of the 6th International Conference on Digital Heritage, EuroMed 2016, held in Nicosia, Cyprus, in October/November 2016. Digital Applications for Materials' Preservation and Conservation in Cultural Heritage;

This book constitutes the refereed proceedings of the 15th International Conference on Cryptology and Network Security, CANS 2016, held in Milan, Italy, in November 2016. The 30 full papers presented together with 18 short papers and 8 poster papers were carefully reviewed and selected from 116 submissions.

The two-volume proceedings LNCS 9916 and 9917, constitute the proceedings of the 17th Pacific-Rim Conference on Multimedia, PCM 2016, held in Xi`an, China, in September 2016. The total of 128 papers presented in these proceedings was carefully reviewed and selected from 202 submissions.

The two-volume proceedings LNCS 9916 and 9917, constitute the proceedings of the 17th Pacific-Rim Conference on Multimedia, PCM 2016, held in Xi`an, China, in September 2016.

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.

This book constitutes the refereed proceedings of the 10th International Conference on Combinatorial Optimization and Applications, COCOA 2016, held in Hong Kong, China, in December 2016. The 60 full papers included in the book were carefully reviewed and selected from 122 submissions.

This two volume set LNCS 10041 and LNCS 10042 constitutes the proceedings of the 17th International Conference on Web Information Systems Engineering, WISE 2016, held in Shanghai, China, in November 2016. The 39 full papers and 31 short papers presented in these proceedings were carefully reviewed and selected from 233 submissions.

This two volume set LNCS 10041 and LNCS 10042 constitutes the proceedings of the 17th International Conference on Web Information Systems Engineering, WISE 2016, held in Shanghai, China, in November 2016. The 39 full papers and 31 short papers presented in these proceedings were carefully reviewed and selected from 233 submissions.

This book constitutes the refereed proceedings of the 17th International Conference on Advanced Concepts for Intelligent Vision Systems, ACIVS 2016, held in Lecce, Italy, in October 2016. The 64 revised full papers presented in this volume were carefully selected from 137 submissions.

This two volume set LNCS 10039 and 10040 constitutes the refereed post-conference proceedings of the Second International Conference on Cloud Computing and Security, ICCCS 2016, held in Nanjing, China, during July 29-31, 2016.

This two volume set LNCS 10039 and LNCS 10040 constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Cloud Computing and Security, ICCCS 2016, held in Nanjing, China, during July 29-31, 2016. The 97 papers of these volumes were carefully reviewed and selected from 272 submissions.

Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge.

This, the 30th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains six in-depth papers focusing on the subject of cloud computing. Topics covered within this context include cloud storage, model-driven development, informative modeling, and security-critical systems.

Machine learning (ML) is the fastest growing field in computer science, and Health Informatics (HI) is amongst the greatest application challenges, providing future benefits in improved medical diagnoses, disease analyses, and pharmaceutical development.