This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Meer
This book collects selected contributions from the international conference “Optimization and Decision Science” (ODS2020), which was held online on November 19, 2020, and organized by AIRO, the Italian Operations Research Society. Meer
This book constitutes the proceedings of the 19th Russian Conference on Artificial Intelligence, RCAI 2021, held in Moscow, Russia, in October 2021.
The 19 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 80 submissions. Meer
This book constitutes the refereed proceedings of the 15th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, held in Bordeaux, France, in November 2020. Meer
This book constitutes the refereed post-conference proceedings of the 19th International Conference on Information Security, ISSA 2020, which was supposed to be held in Pretoria, South Africa, in August 2020, but it was held virtually due to the COVID-19 pandemic. Meer
This book combines comprehensive multi-angle discussions on fully connected and automated vehicle highway implementation. It covers the current progress of the works towards autonomous vehicle highway development, which encompasses the discussion on the technical, social, and policy as well as security aspects of Connected and Autonomous Vehicles (CAV) topics. Meer
This book introduces game theory as a means to conceptualize, model, and analyze cyber deception. Drawing upon a collection of deception research from the past 10 years, the authors develop a taxonomy of six species of defensive cyber deception. Meer
The three volume-set LNCS 12105, 12106, and 12107 constitute the thoroughly refereed proceedings of the 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2020, which was due to be held in Zagreb, Croatia, in May 2020. Meer
The eight-volume set LNCS 12901, 12902, 12903, 12904, 12905, 12906, 12907, and 12908 constitutes the refereed proceedings of the 24th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2021, held in Strasbourg, France, in September/October 2021. Meer
The eight-volume set LNCS 12901, 12902, 12903, 12904, 12905, 12906, 12907, and 12908 constitutes the refereed proceedings of the 24th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2021, held in Strasbourg, France, in September/October 2021. Meer
This book makes application to the dynamics of arousal and distraction, and to other examples. A modified version of the Kadanoff picture of phase transitions in consciousness emerges from the Morse Function itself in a surprisingly standard manner, closely associated with the breaking of groupoid symmetries driven by fundamental equivalence class algebras. Meer
This book presents original contributions to the theories and practices of emerging Internet, data, and Web technologies and their applicability in businesses, engineering, and academia. Meer
This book constitutes the thoroughly refereed post-conference proceedings of the 33rd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2020, held in Stony Brook, NY, USA, in October 2020. Meer
The open access volume LNCS 11739 constitutes the proceedings of the 9th International Workshop on Socio-Technical Aspects in Security, STAST 2019, held in Luxembourg, in September 2019. Meer
This three-volume set LNCS 12888, 12898, and 12890 constitutes the refereed conference proceedings of the 11th International Conference on Image and Graphics, ICIG 2021, held in Haikou, China, in August 2021. Meer
This book provides research results and shares experiences in the area of supply chain management. It addresses topics such as risk reduction of lesser marginal profits, disrupted supply chain management, and potential points of business failure. Meer
The 2nd edition of this book provides novel topics and studyies in boundaries of networks and Big Data Systems.The central theme of this book is the extent to which the structure of the free dynamical boundaries of a system controls the evolution of the system as a whole. Meer
This book constitutes the proceedings of the 26th International Conference on Implementation and Application of Automata, CIAA 2022, held in Rouen, France in June/ July 2022. Meer
This book focuses on the emergence of creative ideas from cognitive and social dynamics. In particular, it presents data, models, and analytical methods grounded in a network dynamics approach. Meer
It has been more than 20 years since the seminal publications on side-channel attacks. They aim at extracting secrets from embedded systems while they execute cryptographic algorithms, and they consist of two steps, measurement and analysis. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books