Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 16th International Conference on Entertainment Computing, ICEC 2017, held in Tsukuba City, Japan, in September 2017. The 16 full papers, 13 short papers, and 2 posters presented were carefully reviewed and selected from 46 submissions.

This book constitutes the refereed proceedings of the 39th German Conference on Pattern Recognition, GCPR 2017, held in Basel, Switzerland, in September 2017.The 33 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on biomedical image processing and analysis;

This book constitutes the refereed proceedings of the 10th International Symposium on Algorithmic Game Theory, SAGT 2017, held in L'Aquila, Italy, in September 2017. The 30 full papers presented were carefully reviewed and selected from 66 submissions.

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016. The workshop COIN@AAMAS 2016 was held in Singapore, Singapore, in May 2016, and the workshop COIN@ECAI 2016 was held in The Hague, The Netherlands, in August 2016. The 9 full papers were carefully reviewed and selected from 15 submissions for inclusion in this volume. They cover the following topics:Social Issues: The papers focus on the security of personal data, support for self-care for individuals with chronic conditions, analysis of the risk of information leakage in social networks, and an analysis of issues arising in the design of on-line environments whose participants are human and software.Teams: The papers consider different aspects of team working: what kinds of knowledge sharing best contribute to effective team performance and how to organize ateam to function effectively in different kinds of scenarios.Rights and Values: The papers examine complementary issues that influence the effective design of normative systems, namely how to detect opportunism so that it may be discouraged, how individuals values influence (collective) decision-making processes and how rights and powers relate to value and conflict resolution in nested organizational structures.

Topics addressed are: assistive robots, child-robot interaction, collaborative robotics, educational robotics, human-robot interaction, medical robotics, robotic mobility systems, robots at home, robot control and communication, social robotics, as well as safety robot behavior.

As the outcome of the Dagstuhl Seminar 15481 on Crowdsourcing and Human-Centered Experiments, this book is a primer for computer science researchers who intend to use crowdsourcing technology for human centered experiments.

The papers present current research in the area of computer speech processing (recognition, synthesis, understanding etc.) and related domains (including signal processing, language and text processing, computational paralinguistics, multi-modal speech processing, human-computer interaction).

The two-volume set, LNCS 10492 and LNCS 10493 constitutes the refereed proceedings of the 22nd European Symposium on Research in Computer Security, ESORICS 2017, held in Oslo, Norway, in September 2017. The 54 revised full papers presented were carefully reviewed and selected from 338 submissions.

The two-volume set, LNCS 10492 and LNCS 10493 constitutes the refereed proceedings of the 22nd European Symposium on Research in Computer Security, ESORICS 2017, held in Oslo, Norway, in September 2017. The 54 revised full papers presented were carefully reviewed and selected from 338 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Combinatorics on Words, WORDS 2017, held in Montreal, QC, Canada, in September 2017. Discrete geometry plays an expanding role in the fields of shape modeling, image synthesis, and image analysis.

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling;

They are organized in the following topics: software security, intrusion detection, systems security, android security, cybercrime, cloud security, network security.

This book constitutes the proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, held in Beijing, China, in September 2017. The 28 full papers presented in this volume were carefully reviewed and selected from 33 submissions.

The 7 full papers and 5 short papers presented together with 4 challenge track and 2 students student track papers were carefully reviewed and selected from 26 submissions.

The papers cover relevant research areas in modern coding theory, including codes and combinatorial structures, algebraic geometric codes, group codes, convolutional codes, network coding, other applications to communications, and applications of coding theory in cryptography.

This book constitutes the thoroughly refereed proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery, DGCI 2017, held in Vienna, Austria, in September 2017. discrete modeling and visualization; discrete shape representation, recognition and analysis; discrete models and tools;

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions.

This book constitutes the proceedings of the 15th International Conference on Smart Homes and Health Telematics, ICOST 2017, held in Paris, France, in August 2017.

The three-volume set LNCS 10433, 10434, and 10435 constitutes the refereed proceedings of the 20th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2017, held inQuebec City, Canada, in September 2017. The 255 revised full papers presented were carefully reviewed and selected from 800 submissions in a two-phase review process. The papers have been organized in the following topical sections: Part I: atlas and surface-based techniques; shape and patch-based techniques; registration techniques, functional imaging, connectivity, and brain parcellation; diffusion magnetic resonance imaging (dMRI) and tensor/fiber processing; and image segmentation and modelling. Part II: optical imaging; airway and vessel analysis; motion and cardiac analysis; tumor processing; planning and simulation for medical interventions; interventional imaging and navigation; and medical image computing. Part III: feature extraction and classification techniques;and machine learning in medical image computing.

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017.

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. satisfiability & CP track, test and verification & CP track;