Books in the Lecture Notes in Computer Science series

This book constitutes the proceedings of the 13th International Workshop on OpenMP, IWOMP 2017, held in Stony Brook, NY, USA, in September 2017. The 23 full papers presented in this volume were carefully reviewed and selected from 28 submissions. OpenMP Application Studies; OpenMP 4 Application Evaluation;

The call for papers of the MobiWis 2017 included new and emerging areas such as: mobile web systems, recommender systems, security and authentication, context-awareness, mobile web and advanced applications, cloud and IoT, mobility management, mobile and wireless networks, and mobile web practice and experience.

The three volume set LNAI 10462, LNAI 10463, and LNAI 10464 constitutes the refereed proceedings of the 10th International Conference on Intelligent Robotics and Applications, ICIRA 2017, held in Wuhan, China, in August 2017.The 235 papers presented in the three volumes were carefully reviewed and selected from 310 submissions.

The three volume set LNAI 10462, LNAI 10463, and LNAI 10464 constitutes the refereed proceedings of the 10th International Conference on Intelligent Robotics and Applications, ICIRA 2017, held in Wuhan, China, in August 2017.The 235 papers presented in the three volumes were carefully reviewed and selected from 310 submissions.

The three volume set LNAI 10462, LNAI 10463, and LNAI 10464 constitutes the refereed proceedings of the 10th International Conference on Intelligent Robotics and Applications, ICIRA 2017, held in Wuhan, China, in August 2017. The 235 papers presented in the three volumes were carefully reviewed and selected from 310 submissions.

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, held in Warsaw, Poland, in August 2017.

This book constitutes the proceedings of the 15th International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, in September 2017.The 19 revised full papers papers presented were carefully reviewed and selected from 116 initial submissions.

This book constitutes the proceedings of the 15th German Conference on Multiagent System Technologies, MATES 2017, held in Lepzig, Germany, in August 2017.

This book constitutes the proceedings of the 11th International Conference on Network and System Security, NSS 2017, held in Helsinki, Finland, in August 2017. This volume also contains 35 contributions of the following workshops: Security Measurements of Cyber Networks (SMCN-2017);

The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017.

The two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017.

This book constitutes revised selected papers from the 8th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2017, held in Paris, France, in April 2017. They were organized in topical sections named: Side-Channel Attacks and Technological Effects; Algorithmic Aspects in Side-Channel Attacks;

This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017. The 19 revised full papers presented were carefully reviewed and selected from 27 submissions.

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge. He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more.

The volume contains 42 papers presenting original unpublished research, or expository and survey results in Turing degrees, computably enumerable sets, computable algebra, computable model theory, algorithmic randomness, reverse mathematics, and parameterized complexity, all areas in which Rod Downey has had significant interests and influence.

The four-volume set LNCS 10513-10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017. information on demand, on the move, and gesture interaction;

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions.

The four-volume set LNCS 10513-10516 constitutes the proceedings of the 16th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2017, held in Mumbai, India, in September 2017. information on demand, on the move, and gesture interaction;

This book constitutes the refereed conference proceedings of the 11th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2017, held in Philadelphia, PA, USA in November 2017. The 60 revised full papers and 22 short papers presented were carefully reviewed and selected from 100 submissions.

This book constitutes the thoroughly refereed proceedings of the First International Conference on Brain Function Assessment in Learning, BFAL 2017, held in Patras, Greece, in September 2017. The 16 revised full papers presented together with 2 invited talks and 6 posters were carefully selected from 28 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017.

This book constitutes the refereed joint proceedings of the International Workshop on Computational Methods for Molecular Imaging, CMMI 2017, the International Workshop on Reconstruction and Analysis of Moving Body Organs, RAMBO 2017, and the International Stroke Workshop: Imaging and Treatment Challenges, SWITCH 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Québec City, QC, Canada, in September 2017.The 5 full papers presented at FIFI 2017, the 9 full papers presented at RAMBO 2017, and the 4 full papers presented at SWITCH 2017 were carefully reviewed and selected. The CMMI papers cover various areas from image synthesis to data analysis and from clinical diagnosis to therapy individualization, using molecular imaging modalities PET, SPECT, PET/CT, SPECT/CT, and PET/MR. The RAMBO papers present research from both academia and industry, They are organized into the categories "registration and tracking" and "image reconstruction and information retrieval" while application areas include cardiac, pulmonal, abdominal, fetal, and renal imaging. The SWITCH papers focus on CT(A)-based quantitative imaging biomarkers for stroke.

This book constitutes the refereed joint proceedings of the Third International Workshop on Deep Learning in Medical Image Analysis, DLMIA 2017, and the 6th International Workshop on Multimodal Learning for Clinical Decision Support, ML-CDS 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Québec City, QC, Canada, in September 2017. The 38 full papers presented at DLMIA 2017 and the 5 full papers presented at ML-CDS 2017 were carefully reviewed and selected. The DLMIA papers focus on the design and use of deep learning methods in medical imaging. The ML-CDS papers discuss new techniques of multimodal mining/retrieval and their use in clinical decision support.

This book constitutes the refereed joint proceedings of the International Workshop on Fetal and Infant Image Analysis, FIFI 2017, and the 6th International Workshop on Ophthalmic Medical Image Analysis, OMIA 2017, held in conjunction with the 20th International Conference on Medical Imaging and Computer-Assisted Intervention, MICCAI 2017, in Québec City, QC, Canada, in September 2017. The 8 full papers presented at FIFI 2017 and the 20 full papers presented at OMIA 2017 were carefully reviewed and selected. The FIFI papers feature research on advanced image analysis approaches focused on the analysis of growth and development in the fetal, infant and paediatric period. The OMIA papers cover various topics in the field of ophthalmic image analysis.