Böcker i Lecture Notes in Computer Science-serien

Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. domain theory logics; logical foundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;

This book constitutes revised papers from the 6th International Workshop on Graphical Models for Security, GraMSec 2019, held in Hoboken, NJ, USA, in June 2019. The 8 full papers presented in this volume were carefully reviewed and selected from 15 submissions.

This three-volume set LNCS 11901, 11902, and 11903 constitutes the refereed conference proceedings of the 10thth International Conference on Image and Graphics, ICIG 2019, held in Beijing, China, in August 2019.

This three-volume set LNCS 11901, 11902, and 11903 constitutes the refereed conference proceedings of the 10thth International Conference on Image and Graphics, ICIG 2019, held in Beijing, China, in August 2019.

The three-volume set of LNCS 11953, 11954, and 11955 constitutes the proceedings of the 26th International Conference on Neural Information Processing, ICONIP 2019, held in Sydney, Australia, in December 2019. The 173 full papers presented were carefully reviewed and selected from 645 submissions.

This book constitutes the proceedings of the 13th International Conference on Network and System Security, NSS 2019, held in Sapporo, Japan, in December 2019. The 36 full papers and 7 short papers presented together with 4 invited papers in this book were carefully reviewed and selected from 89 initial submissions.

The three-volume set of LNCS 11953, 11954, and 11955 constitutes the proceedings of the 26th International Conference on Neural Information Processing, ICONIP 2019, held in Sydney, Australia, in December 2019.The 173 full papers presented were carefully reviewed and selected from 645 submissions.

The three-volume set of LNCS 11953, 11954, and 11955 constitutes the proceedings of the 26th International Conference on Neural Information Processing, ICONIP 2019, held in Sydney, Australia, in December 2019. The 173 full papers presented were carefully reviewed and selected from 645 submissions.

This book constitutes the refereed proceedings of the 12th International Conference on Brain Informatics, BI 2019, held in Haikou, China, in December 2019. The 26 revised full papers were carefully reviewed and selected from 36 submissions.

This book constitutes the proceedings of the 16th International Conference on Distributed Computing and Internet Technology, ICDCIT 2020, held in Bhubaneswar, India, in January 2020. The 20 full and 3 short papers presented in this volume were carefully reviewed and selected from 110 submissions.

This book includes the post-conference proceedings of the 23rd RoboCup International Symposium, held in Sydney, NSW, Australia, in July 2019.

This book constitutes the refereed post-conference proceedings of 13 workshops held at the 34th International ISC High Performance 2019 Conference, in Frankfurt, Germany, in June 2019: HPC I/O in the Data Center (HPC-IODC), Workshop on Performance & Scalability of Storage Systems (WOPSSS), Workshop on Performance & Scalability of Storage Systems (WOPSSS), 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18), 3rd International Workshop on In Situ Visualization: Introduction and Applications, ExaComm: Fourth International Workshop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds at Extreme Scale, International Workshop on OpenPOWER for HPC (IWOPH18), IXPUG Workshop: Many-core Computing on Intel, Processors: Applications, Performance and Best-Practice Solutions, Workshop on Sustainable Ultrascale Computing Systems, Approximate and Transprecision Computing on Emerging Technologies (ATCET), First Workshop on the Convergence ofLarge Scale Simulation and Artificial Intelligence, 3rd Workshop for Open Source Supercomputing (OpenSuCo), First Workshop on Interactive High-Performance Computing, Workshop on Performance Portable Programming Models for Accelerators (P^3MA). The 48 full papers included in this volume were carefully reviewed and selected. They cover all aspects of research, development, and application of large-scale, high performance experimental and commercial systems. Topics include HPC computer architecture and hardware; programming models, system software, and applications; solutions for heterogeneity, reliability, power efficiency of systems; virtualization and containerized environments; big data and cloud computing; and artificial intelligence.

This three-volume set LNCS 11901, 11902, and 11903 constitutes the refereed conference proceedings of the 10thth International Conference on Image and Graphics, ICIG 2019, held in Beijing, China, in August 2019.

The two-volume set LNCS 11891 and 11892 constitutes the proceedings of the 17th International Conference on Theory of Cryptography, TCC 2019, held in Nuremberg, Germany, in December 2019.The 43 full papers presented were carefully reviewed and selected from 147 submissions.

This book constitutes the refereed proceedings of the 12th International Conference on Computer Vision Systems, ICVS 2019, held in Thessaloniki, Greece, in September 2019.The 72 papers presented were carefully reviewed and selected from 114 submissions. cognitive and computer vision assisted systems for energy awareness and behavior analysis;

This book constitutes the proceedings of the 6th International Conference on Future Data and Security Engineering, FDSE 2019, held in Nha Trang City, Vietnam, in November 2019.The 38 full papers and 14 short papers presented together with 2 papers of keynote speeches were carefully reviewed and selected from 159 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2019, held in Gandhinagar, India, in December 2019. This annual event is devoted to various aspects of security, privacy, applied cryptography, and cryptographic engineering.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2018, held in Nice, France, in September 2018. The 12 papers presented in this book were carefully reviewed and selected from 15 submissions.

This book constitutes the proceedings of the 14th International Conference on Web and Internet Economics, WINE 2019, held in New York City, USA, in December 2019.

This book constitutes the refereed proceedings of the 13th International Conference on Scalable Uncertainty Management, SUM 2019, which was held in Compiegne, France, in December 2019. The 25 full, 4 short, 4 tutorial, 2 invited keynote papers presented in this volume were carefully reviewed and selected from 44 submissions.

This book constitutes the thoroughly refereed conference proceedings of the International Conference for Smart Health, ICSH 2019, held in Shenzhen, China, in July 2019. The 34 full papers and 1 short papers presented were carefully reviewed and selected from 43 submissions.