This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully reviewed and selected from 21 submissions. The proceedings also contain one invited paper in full paper length.
The papers deal with real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics, and verification of real-timed, hybrid, and probabilistic...
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, he...
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.
The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.
This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.
This two-volume set LNCS 14134 and LNCS 14135 constitutes the refereed proceedings of the 17th International Work-Conference on Artificial Neural Networks, IWANN 2023, held in Ponta Delgada, Portugal, during June 19–21, 2023.
The 108 full papers presented in this two-volume set were carefully reviewed and selected from 149 submissions.
The papers in Part I are organized in topical sections on advanced topics in computational intelligence; advances in artificial neural networks; ANN HW-accelerators; applications of machine learning in biomedicine and healthcare; and...
This two-volume set LNCS 14134 and LNCS 14135 constitutes the refereed proceedings of the 17th International Work-Conference on Artificial Neura...
This book constitutes the proceedings of the 16th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2023, which was held in Pittsburgh, PA, USA in September 2023.
The 31 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The papers were organized in topical sections as follows: Detecting malign influence; human behavior modeling; and social-cyber behavior modeling.
This book constitutes the proceedings of the 16th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2023, which was hel...
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.
The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach...
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT...
This two-volume set LNCS 14218 and LNCS 14219 constitutes the refereed proceedings of the International Conference on Extended Reality, XR Salento 2023, held in Lecce, Italy, during September 6-9, 2023.
The 59 full papers presented together with 11 short papers were carefully reviewed and selected from 97 submissions.
They cover a wide range of many different research topics such as: eXtended reality; digital twin; artificial intelligence; user experience in eXtended reality; virtual reality for neurofeedback, biofeedback and emotion recognition; eXtended reality...
This two-volume set LNCS 14218 and LNCS 14219 constitutes the refereed proceedings of the International Conference on Extended Reality, XR Salento ...
This book constitutes the proceedings of the 20th International Conference on Web Information Systems and Applications, WISA 2023, held in Chengdu, China, in September 2023.
The 43 full papers and 9 short papers presented in this book were carefully reviewed and selected from 213 submissions. The papers are grouped in topical sections on Data Mining and Knowledge Discovery, Recommender Systems, Natural Language Processing, Security, Privacy and Trust, Blockchain, Parallel and Distributed Systems and Database for Artificial Intelligence..
This book constitutes the proceedings of the 20th International Conference on Web Information Systems and Applications, WISA 2023, held in Chengdu,...
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.
The 14 full papers included in this book were carefully reviewed and selected from 24 submissions.
The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to...
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in A...
The ten-volume set LNCS 14220, 14221, 14222, 14223, 14224, 14225, 14226, 14227, 14228, and 14229 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 730 revised full papers presented were carefully reviewed and selected from a total of 2250 submissions. The papers are organized in the following topical sections:
Part I: Machine learning with limited supervision and machine learning – transfer learning;
Part II: Machine...
The ten-volume set LNCS 14220, 14221, 14222, 14223, 14224, 14225, 14226, 14227, 14228, and 14229 constitutes the refereed proceedings of the 26th Inte...
The ten-volume set LNCS 14220, 14221, 14222, 14223, 14224, 14225, 14226, 14227, 14228, and 14229 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 730 revised full papers presented were carefully reviewed and selected from a total of 2250 submissions. The papers are organized in the following topical sections:
Part I: Machine learning with limited supervision and machine learning – transfer learning;
Part...
The ten-volume set LNCS 14220, 14221, 14222, 14223, 14224, 14225, 14226, 14227, 14228, and 14229 constitutes the refereed proceedings of the 26th I...
