This book constitutes the refereed proceedings of the 12th International Conference, BigData 2023, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, during September 23–26, 2023.
The 14 full papers presented together with 2 short papers were carefully reviewed and selected from 27 submissions. The conference focuses on research track and application track.
This book constitutes the refereed proceedings of the 12th International Conference, BigData 2023, Held as Part of the Services Conference Federati...
This book constitutes the proceedings of the 30th International Conference on Web Services, ICWS 2023, held as Part of the Services Conference Federation, SCF 2023, held in Honolulu, HI, USA, in September 2023.
The 7 full papers and one short paper presented in this volume were carefully reviewed and selected from 14 submissions. The papers cover topics in the field of: research track; application and industry track and short paper track.
The International Conference on Web Services (ICWS) has been a prime international forum for both researchers and industry...
This book constitutes the proceedings of the 30th International Conference on Web Services, ICWS 2023, held as Part of the Services Conference Fede...
This book constitutes the proceedings of the 6th International Conference on Blockchain, ICBC 2023, held as part of the Services Conference Federation, SCF 2023, held in Honolulu, HI, USA, during September 23–26, 2023.
The 9 full papers presented in this book were carefully reviewed and selected from 18 submissions. The conference focuses on new blockchain architecture, platform constructions, blockchain development, and blockchain services technologies as well as standards and blockchain services innovation lifecycle, including enterprise...
This book constitutes the proceedings of the 6th International Conference on Blockchain, ICBC 2023, held as part of the Services Conference Federat...
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Mobile Services, AIMS 2023, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23–26, 2023.
The 9 full papers presented together and selected from 16 submissions. The conference focuses on AI modeling; AI analysis; AI & mobile applications; AI architecture; AI management; AI engineering; mobile backend as a service (MBaaS); and user experience of AI & mobile services.
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Mobile Services, AIMS 2023, Held...
This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.
The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, Fr...
Volume LNCS 14414 constitutes the refereed proceedings of the 26th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2023, which was held in Vancouver, Canada in October 2023.
The DEMI 2023 proceedings contain 11 high-quality papers of 9 to 15 pages pre-selected through a rigorous peer review process (with an average of three reviews per paper). All submissions were peer-reviewed through a double-blind process by at least three members of the scientific review committee, comprising 16 experts in the field of medical imaging....
Volume LNCS 14414 constitutes the refereed proceedings of the 26th International Conference on Medical Image Computing and Computer-Assisted Interv...
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the...
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, h...
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the...
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, h...
This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023, held in Wuhan, China, during October 2023.
The 20 full papers presented together with 3 short papers were carefully reviewed and selected from 71 submissions. The conference focuses on Fundamentals & Cryptographic Primitives; Cryptanalysis; Signature; Encryption; Privacy Preservation; and Blockchain Security.
This volume LNCS 14217 constitutes the refereed proceedings of the 17th International Conference on Provable and Practical Security, ProvSec 2023, ...
The two-volume set LNCS 14348 and 14139 constitutes the proceedings of the 14th International Workshop on Machine Learning in Medical Imaging, MLMI 2023, held in conjunction with MICCAI 2023, in Vancouver, Canada, in October 2023.
The 93 full papers presented in the proceedings were carefully reviewed and selected from 139 submissions. They focus on major trends and challenges in artificial intelligence and machine learning in the medical imaging field, translating medical imaging research into clinical practice. Topics of interests included deep learning, generative...
The two-volume set LNCS 14348 and 14139 constitutes the proceedings of the 14th International Workshop on Machine Learning in Medical Imaging, MLMI 20...
