Books in the Lecture Notes in Computer Science series

This book constitutes the refereed joint proceedings of the International Workshop on Bio-Imaging and Visualization for Patient-Customized Simulations, BIVPCS 2017, and the International Workshop on Point-of-Care Ultrasound, POCUS 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 12 full papers presented at BIVPCS 2017 and the 7 full papers presented at POCUS 2017 were carefully reviewed and selected. The papers feature research from complementary fields such as signal and image processing, mechanics, computational vision, mathematics, physics, informatics, computer graphics, bio-medical-practice, psychology and industry as well as ultrasound image systems applications.  

This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were carefully reviewed and selected from 41 submissions.

This book constitutes the refereed joint proceedings of the 4th International Workshop on Computer Assisted and Robotic Endoscopy, CARE 2017, and the 6th International Workshop on Clinical Image-Based Procedures: Translational Research in Medical Imaging, CLIP 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 7 full papers presented at CARE 2017 and the 10 full papers presented at CLIP 2017 were carefully reviewed and selected. The papers deal with interventional and diagnostic endoscopy integrating the latest advances in computer vision, robotics, medical imaging and information processing and the development and evaluation of new translational image-based techniques in the modern hospital.  

This book constitutes the refereed joint proceedings of the 6th Joint International Workshop on Computing and Visualization for Intravascular Imaging and Computer Assisted Stenting, CVII-STENT 2017, and the Second International Workshop on Large-Scale Annotation of Biomedical Data and Expert Label Synthesis, LABELS 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 6 full papers presented at CVII-STENT 2017 and the 11 full papers presented at LABELS 2017 were carefully reviewed and selected. The CVII-STENT papers feature the state of the art in imaging, treatment, and computer-assisted intervention in the field of endovascular interventions. The LABELS papers present a variety of approaches for dealing with few labels, from transfer learning to crowdsourcing.

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory , ADT 2017, held in Luxembourg, in October 2017.The 22 full papers presented together with 6 short papers, 4 keynote abstracts, and 6 Doctoral Consortium papers, were carefully selected from 45 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Workshop on Multi-Agent-Based Simulation, MABs 2016, held in Singapore, in May 2016.

This book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, in September 2017. frameworks for model verication, validation, analysis, and simulation of biological systems;

This book constitutes the refereed proceedings of the Third International Workshop on Patch-Based Techniques in Medical Images, Patch-MI 2017, which was held in conjunction with MICCAI 2017, in Quebec City, QC, Canada, in September 2017. The 18 regular papers presented in this volume were carefully reviewed and selected from 26 submissions.

This book constitutes the proceedings of the 17th International Conference on Intelligent Virtual Agents, IVA 2017, held in Stockholm, Sweden, in August 2017.

This book constitutes the proceedings of the 24th International Symposium on String Processing and Information Retrieval, SPIRE 2017, held in Palermo, Italy, in September 2017. They focus on fundamental studies on string processing and information retrieval, as well as on computational biology.

This book constitutes the proceedings of the 14th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2017, held in Kitakyushu, Japan, in October 2017.The 18 revised full papers presented together with one invited paper and three abstracts of invited talks were carefully reviewed and selected from 30 submissions.

This book constitutes the joint refereed proceedings of the 17th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, the 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017. The 71 revised full papers presented were carefully reviewed and selected from 202 submissions.

This book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, in September 2017. The 6 short and 10 full papers presented in this volume were carefully reviewed and selected from 37 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 5th Annual Privacy Forum, APF 2017, held in Vienna, Austria, in June 2017. Finally, the third chapter, "Privacy Policies in Practice", discusses privacy by design, privacy scores, privacy data management in healthcare and trade-offs between privacy and utility.

The workshops affiliated with PAKDD 2017 include: Workshop on Machine Learning for Sensory Data Analysis (MLSDA), Workshop on Biologically Inspired Data Mining Techniques (BDM), Pacific Asia Workshop on Intelligence and Security Informatics (PAISI), and Workshop on Data Mining in Business Process Management (DM-BPM).

The two-volume set LNCS 10539 and 10540 constitutes the proceedings of the 9th International Conference on Social Informatics, SocInfo 2017, held in Oxford, UK, in September 2017.The 37 full papers and 43 poster papers presented in this volume were carefully reviewed and selected from 142 submissions.

The two-volume set LNCS 10539 and 10540 constitutes the proceedings of the 9th International Conference on Social Informatics, SocInfo 2017, held in Oxford, UK, in September 2017. The 37 full papers and 43 poster papers presented in this volume were carefully reviewed and selected from 142 submissions.

This book constitutes the thoroughly refereed conference proceedings of the Third International Workshop on Data Management and Analytics for Medicine and Healthcare, DMAH 2017, in Munich, Germany, in September 2017, held in conjunction with the 43rd International Conference on Very Large Data Bases, VLDB 2017.

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively.

From formal languages, Yaacov moved to natural languages. This third part of the three-volume set covers a range of topics related to language, ranging from linguistics to applications of computation to language, using linguistic tools.

More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This second part of the three-volume set covers a range of topics related to the application of information technology in humanities, law, and narratives.

This book constitutes the proceedings of the 8th International Conference on Intelligent Human Computer Interaction, IHCI 2016, held in Pilani, India, in December 2016. The 22 regular papers and 3 abstracts of invited talks included in this volume were carefully reviewed and selected from 115 initial submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2016, held in San Francisco, CA, USA, in July 2016. The 21 papers presented in this book were carefully reviewed and selected from 39 submissions. The papers address topics such as: Fundamentals;

This book constitutes the refereed post-conference proceedings of the 21st Iberoamerican Congress on Pattern Recognition, CIARP 2016, held in Lima, Peru, in November 2016. The 69 papers presented were carefully reviewed and selected from 131 submissions.

This book constitutes the thoroughly refereed conference proceedings of the First International Joint Conference on Electronic Voting, E-Vote-ID 2016, held in Bregenz, Austria, in October 2016. The 14 full papers presented were carefully reviewed and selected from 57 submissions.

VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.