This volume LNCS 14243 constitutes the refereed proceedings of the Second International Workshop, CMMCA 2023, Held in Conjunction with MICCAI 2023, on October 8, 2023, in Vancouver, BC, Canada.
The 17 full papers presented were carefully reviewed and selected from 25 submissions. The conference focuses on the discovery of cutting-edge techniques addressing trends and challenges in theoretical, computational, and applied aspects of mathematical cancer data analysis.
This volume LNCS 14243 constitutes the refereed proceedings of the Second International Workshop, CMMCA 2023, Held in Conjunction with MICCAI 2023,...
This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023.
The __ full papers included in this volume were carefully reviewed and selected from __ submissions. In addition, the book contains ____ invited talks. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in ...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023.
The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the...
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service.
Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and IET, and in 2015 he was the inaugural Fellow of the Formal Methods Europe association. His career has included industry research in the UK, Austria and Belgium, a PhD at the University...
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international st...
The five-volume set LNCS 14355, 14356, 14357, 14358 and 14359 constitutes the refereed proceedings of the 12th International Conference on Image and Graphics, ICIG 2023, held in Nanjing, China, during September 22–24, 2023.
The 166 papers presented in the proceedings set were carefully reviewed and selected from 409 submissions. They were organized in topical sections as follows: computer vision and pattern recognition; computer graphics and visualization; compression, transmission, retrieval; artificial intelligence; biological and medical image processing;...
The five-volume set LNCS 14355, 14356, 14357, 14358 and 14359 constitutes the refereed proceedings of the 12th International Conference on Image ...
This book constitutes the refereed proceedings of the 12th International Workshop on Clinical Image-Based Procedures, CLIP 2023, the First MICCAI Workshop on Fairness of AI in Medical Imaging, FAIMI 2023, held in conjunction with MICCAI 2023, in October 2023, and the Second MICCAI Workshop on the Ethical and Philosophical Issues in Medical Imaging, EPIMI 2023.
CLIP 2023 accepted 5 full papers and 3 short papers form 8 submissions received. It focuses on holistic patient models for personalized healthcare with the goal to bring basic research methods closer to the clinical...
This book constitutes the refereed proceedings of the 12th International Workshop on Clinical Image-Based Procedures, CLIP 2023, the First MICCAI...
This book constitutes the refereed proceedings of the 18th International Conference on Information Security Practice and Experience, ISPEC 2023, held in Copenhagen, Denmark, in August 2023.
The 27 full papers and 8 short papers included in this volume were carefully reviewed and selected from 80 submissions. The main goal of the conference is to promote research on new information security technologies, including their applications and their integration with IT systems in various vertical sectors.
This book constitutes the refereed proceedings of the 18th International Conference on Information Security Practice and Experience, ISPEC 2023, ...
This volume LNCS 14163 constitutes the refereed proceedings of 14th International Conference of the CLEF Association, CLEF 2023, in Thessaloniki, Greece, during September 18–21, 2023.
The 10 full papers and one short paper included in this book were carefully reviewed and selected from 35 submissions. The conference focuses on authorship attribution, fake news detection and news tracking, noise-detection in automatically transferred relevance judgments, impact of online education on children’s conversational search behavior, analysis of multi-modal social...
This volume LNCS 14163 constitutes the refereed proceedings of 14th International Conference of the CLEF Association, CLEF 2023, in Thessaloniki, G...
This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Oslo, Norway, during September 18–20, 2023.
The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems.
This book constitutes the refereed proceedings of the 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, held in Osl...
This book constitutes the refereed proceedings of the 27th International Conference on Enterprise Design, Operations, and Computing, EDOC 2023, held in Groningen, The Netherlands, during October 30–November 3, 2023.
The 12 full papers included in this book were carefully reviewed and selected from 36submissions. They were organized in topical sections as follows: Enterprise Modeling, Enterprise Architecture & Engineering, Model-Based Software Engineering, Enterprise Analysis with Process Mining, Process Improvement &...
This book constitutes the refereed proceedings of the 27th International Conference on Enterprise Design, Operation...
