Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 16th Industrial Conference on Advances in Data Mining, ICDM 2016, held in New York, NY, USA, in July 2016. The 33 revised full papers presented were carefully reviewed and selected from 100 submissions.

This book constitutes the refereed proceedings of the 13th International Workshop on Breast Imaging, IWDM 2016, held in Malmoe, Sweden, in June 2016. The 35 revised full papers and 50 revised poster papers presented together with 6 invited talks were carefully reviewed and selected from 89 submissions.

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions.

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions.

This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Image Analysis and Recognition, ICIAR 2016, held in Póvoa de Varzim, Portugal, in July 2016. The 79 revised full papers and 10 short papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in the following topical sections: Advances in Data Analytics and Pattern Recognition with Applications, Image Enhancement and Restoration, Image Quality Assessment, Image Segmentation, Pattern Analysis and Recognition, Feature Extraction, Detection and Recognition, Matching, Motion and Tracking, 3D Computer Vision, RGB-D Camera Applications, Visual Perception in Robotics, Biometrics, Biomedical Imaging, Brain Imaging, Cardiovascular Image Analysis, Image Analysis in Ophthalmology, Document Analysis, Applications, and Obituaries.The chapter 'Morphological Separation of Clustered Nuclei in Histological Images' is published open access under a CCBY 4.0 license at link.springer.com.

This book constitutes the refereed proceedings of the 30th Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2016, held in trento, Itlay, in July 2016.

This book collects the refereed proceedingsof the Second International Conference on Algorithms and Discrete AppliedMathematics, CALDAM 2016, held in Thiruvananthapuram, India, in February 2016.

The conference focused on topics and issuesincluding medical monitoring and information extraction, clinical and medicaldata mining, health data analysis and management, big data and smart health,and healthcare intelligent systems and clinical practice.

This book contains revised selected papers fromthe Second International Conference on Cryptology and Information Security inthe Balkans, BalkanCryptSec 2015, held in Koper, Slovenia, in September 2015. The 12 papers presented inthis volume were carefully reviewed and selected from 27 submissions.

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Lightweight Cryptography for Security and Privacy, LightSec 2015, held in Bochum, Germany, in September 2015.

The 9 papers presented in this book arerevised and significantly extended versions of papers submitted to threerelated workshops:The 5th International Workshop on Mining Ubiquitous and Social Environments, MUSE2014, and the First International Workshop on Machine Learning for Urban SensorData, SenseML 2014, which were held on September 15, 2014, in conjunction withthe European Conference on Machine Learning and Principles and Practice ofKnowledge Discovery in Databases (ECML-PKDD 2014) in Nancy, France; and the 5thInternational Workshop on Modeling Social Media (MSM 2014) that was held onApril 8, 2014 in conjunction with ACM WWW in Seoul, Korea.

This book constitutes the thoroughly revised selectedpapers of the 6th workshop on Big Data Benchmarks, Performance Optimization,and Emerging Hardware, BPOE 2015, held in Kohala Coast, HI, USA, inAugust/September 2015 as satellite event of VLDB 2015, the 41st InternationalConference on Very Large Data Bases.The 8 papers presented were carefully reviewedand selected from 10 submissions. The workshop focuses on architecture andsystem support for big data systems, aiming at bringing researchers andpractitioners from data management, architecture, and systems researchcommunities together to discuss the research issues at the intersection ofthese areas. This book also invites three papers from several industrialpartners, including two papers describing tools used in system benchmarking andmonitoring and one paper discussing principles and methodologies in existingbig data benchmarks.

This book constitutes the refereed proceedings of the11th Information Retrieval Societies Conference, AIRS 2015, held in Brisbane,QLD, Australia, in December 2015. The 29 full papers presented together with 11 short anddemonstration papers, and the abstracts of 2 keynote lectures were carefullyreviewed and selected from 92 submissions.

This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niteroi, Brazil, in October 2015. The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions.

This book constitutes the thoroughlyrefereed post-conference proceedings of the 10th International Symposium onTrustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September2015.

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges, STACOM 2015, held in conjunction with MICCAI 2015, in Munich, Germany, in October 2015. The 23 revised full workshop papers were carefully reviewed and selected from 34 submissions. The papers cover a wide range of topics such cardiac image processing, atlas construction, statistical modeling of cardiac function across different patient populations, cardiac mapping, cardiac computational physiology, model customization, image-based modelling and image-guided interventional procedures, atlas based functional analysis, ontological schemata for data and results, integrated functional and structural analysis.

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2015, held in Buenos Aires, Argentina, in July 2015, associated with IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence.

This book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG 1.8 International Conferenceon Topics in Theoretical Computer Science, held in Tehran, Iran, in August2015. The 10 full papers presented together with 3invited talks were carefully reviewed and selected from 48 submissions.

This book constitutes the thoroughly refereedpost-conference proceedings of the 9th International Conference on QuantumInteraction, QI 2015, held in Filzbach, Switzerland, in July 2015. The 20 papers together with 2 invited keynotes presentedin this book were carefully selected from 27 submissions.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

They cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.

This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization;

This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015.

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The papers show the trend set of current research in automated reasoning in geometry.

This book constitutes revised selected papers from the First International Conference on Cryptography and Information Security in the Balkans, Balkan Crypt Sec 2014, held in Istanbul, Turkey, in October 2014. The 15 papers presented in this volume were carefully reviewed and selected from 36 submissions.

This book constitutes the proceedings of the Second International Conference on Algorithms for Computational Biology, AICoB 2015, held in Mexico City, Mexico, in August 2015. The 11 papers presented in this volume were carefully reviewed and selected from 23 submissions. They were organized in topical sections named: genetic processing;