Böcker i Lecture Notes in Computer Science-serien

The five-volume set LNCS 9786-9790 constitutes the refereed proceedings of the 16th International Conference on Computational Science and Its Applications, ICCSA 2016, held in Beijing, China, in July 2016. The 239 revised full papers and 14 short papers presented at 33 workshops were carefully reviewed and selected from 849 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies.

It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming rule engines, and business rule engines and business rule management systems, Semantic Web rule languages and rule standards and technologies, and research on inference rules, transformation rules, decision rules, and ECA rules.

This book constitutes the refereed conference proceedings of the 29th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2016, held in Morioka, Japan, in August 2-4, 2016. The 80 revised full papers presented were carefully reviewed and selected from 168 submissions.

The topics range from theoretical topics for classification, clustering, association rule and pattern mining to specific data mining methods for the different multimedia data types such as image mining, text mining, video mining and Web mining.

This book constitutes the refereed proceedings of the Third International Workshop and Challenge on Computational Methods and Clinical Applications for Spine Imaging, CSI 2015, held in conjunction with MICCAI 2015, in Munich, Germany, in October 2015.

This book constitutes the refereed proceedings of the 9th International Conference on Articulated Motion and Deformable Objects, AMDO 2016, held in Palma de Mallorca, Spain, in July 2016.The 20 papers presented were carefully reviewed and selected from 34 submissions. 3D human reconstruction and recognition;

This book constitutes the refereed proceedings of the 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, held in Salford, UK, in June 2016. The 17 full papers, 22 short papers, and 13 poster papers presented were carefully reviewed and selected from 83 submissions.

Morik worked in and presents various researchers with whom she collaborated. The 23 refereed articles in this Festschrift volume provide challenges and solutions from theoreticians and practitioners on data preprocessing, modeling, learning, and evaluation.

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions.

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.

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 12th International Conference on Computational Processing of the Portuguese Language, PROPOR 2016, held in Tomar, Portugal, in July 2016. The 23 full papers and 14 short papers presented in this volume were carefully reviewed and selected from 52 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 5th International Workshop on Controlled Natural Language, CNL 2016, held in Aberdeen, UK, in July 2016. The topics range from natural languages which are controlled, to controlled languages with a natural language flavour;

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.