Bøker i Lecture Notes in Computer Science-serien

This book constitutes the proceedings of the 39th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, AI 2019, held in Cambridge, UK, in December 2019. The 29 full papers and 14 short papers presented in this volume were carefully reviewed and selected from 49 submissions.

This book constitutes the refereed proceedings of the 15th International Conference on Information Security Practice and Experience, ISPEC 2019, held in Kuala Lumpur, Malaysia, in November 2019. The 21 full and 7 short papers presented in this volume were carefully reviewed and selected from 68 submissions.

This book constitutes the refereed proceedings of the 15th European Conference on Ambient Intelligence, AmI 2019, held in Rome, Italy, in November 2019. The 20 full papers presented together with 10 short papers were carefully reviewed and selected from 50 submissions.

The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, big data analysis as well as their application in various scientific domains.

This book constitutes the refereed proceedings of the Second International Workshop on Machine Learning for Medical Reconstruction, MLMIR 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019. The 24 full papers presented were carefully reviewed and selected from 32 submissions.

This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019.

This two-volume set of LNCS 11871 and 11872 constitutes the thoroughly refereed conference proceedings of the 20th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2019, held in Manchester, UK, in November 2019. The 94 full papers presented were carefully reviewed and selected from 149 submissions.

This two-volume set of LNCS 11871 and 11872 constitutes the thoroughly refereed conference proceedings of the 20th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2019, held in Manchester, UK, in November 2019. The 94 full papers presented were carefully reviewed and selected from 149 submissions.

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. safety assessment in automotive industry;

This book constitutes the refereed proceedings of the 4th International Workshop on Simulation and Synthesis in Medical Imaging, SASHIMI 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.The 16 full papers presented were carefully reviewed and selected from 21 submissions.

This book constitutes the refereed proceedings of the Third International Workshop on Connectomics in NeuroImaging, CNI 2019, held in conjunction with MICCAI 2019 in Shenzhen, China, in October 2019.The 13 full papers presented were carefully reviewed and selected from 14 submissions.

This book constitutes the refereed proceedings of the First International Workshop on Connectomics in Artificial Intelligence in Radiation Therapy, AIRT 2019, held in conjunction with MICCAI 2019 in Shenzhen, China, in October 2019. The 20 full papers presented were carefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the First MICCAI Workshop on Domain Adaptation and Representation Transfer, DART 2019, and the First International Workshop on Medical Image Learning with Less Labels and Imperfect Data, MIL3ID 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019.

This book constitutes the proceedings of the 18th China National Conference on Computational Linguistics, CCL 2019, held in Kunming, China, in October 2019. The 56 full papers presented in this volume were carefully reviewed and selected from 134 submissions. They were organized in topical sections named: linguistics and cognitive science, fundamental theory and methods of computational linguistics, information retrieval and question answering, text classification and summarization, knowledge graph and information extraction, machine translation and multilingual information processing, minority language processing, language resource and evaluation, social computing and sentiment analysis, NLP applications.

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions.

This two-volume set of LNAI 11838 and LNAI 11839 constitutes the refereed proceedings of the 8th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2019, held in Dunhuang, China, in October 2019. The 85 full papers and 56 short papers presented were carefully reviewed and selected from 492 submissions.