The book synthesizes research on the analysis of biomedical ontologies using formal concept analysis, including through auditing, curation, and enhancement. As the evolution of biomedical ontologies almost inevitably involves manual work, formal methods are a particularly useful tool for ontological… Meer
This book focuses on multi-party computation (MPC) protocols in the passive corruption model (also known as the semi-honest or honest-but-curious model). The authors present seminal possibility and feasibility results in this model and includes formal security proofs… Meer
This edited book explores the unique risks, opportunities, challenges, and societal implications associated with big data developments within the field of finance. While the general use of big data has been the subject of frequent discussions, this book will take a more focused look at big data… Meer
The author has published many papers and books on topological transformations for optimal analysis of structures, where many methods and algorithms are developed. However, the framework of this book generalizes many concepts and makes the previously developed methods conceptually more attractive… Meer
This expanded textbook, now in its second edition, is a practical yet in depth guide to cryptography and its principles and practices. Now featuring a new section on quantum resistant cryptography in addition to expanded and revised content throughout, the book continues to place cryptography in… Meer
This open access book discusses the statistical modeling of insurance problems, a process which comprises data collection, data analysis and statistical model building to forecast insured events that may happen in the future… Meer
This two-volume set, LNCS 13426 and 13427, constitutes the thoroughly refereed proceedings of the 33rd International Conference on Database and Expert Systems Applications, DEXA 2022, held in Vienna in August 2022… Meer
This textbook provides a comprehensive step-by-step guide for new public transport modelers. It includes an introduction to mathematical modeling, continuous and discrete optimization, numerical optimization, computational complexity analysis, metaheuristics, and multi-objective optimization… Meer
This open access book deals with cultural and philosophical aspects of artificial intelligence (AI) and pleads for a “digital humanism”. This term is beginning to be en vogue everywhere. Due to a growing discontentment with the way digitalization is being used in the world, particularly formulated… Meer
Sustainable development is based on the idea that societies should advance without compromising their future development requirements. This book explores how the application of data analytics and digital technologies can ensure that development changes are executed on the basis of factual data and… Meer
This practical new book offers the distributed-computing fundamental knowledge for individuals to connect with one another in a more secure and efficient way than with traditional blockchains. These new forms of secure, scalable blockchains promise to replace centralized institutions to connect… Meer
This book focuses on iterative solvers and preconditioners for mixed finite element methods. It provides an overview of some of the state-of-the-art solvers for discrete systems with constraints such as those which arise from mixed formulations… Meer
The two-volume proceedings CCIS 1613 + 1614 constitute revised selected papers from the 6th International Conference on Advances in Computing and Data Sciences, ICACDS 2022, which was held in Kurnool, India in April 2022… Meer
This volume LNCS 13428 constitutes the papers of the 24 th International Conference on Big Data Analytics and Knowledge Discovery, held in August 2022 in Vienna, Austria. The 12 full papers presented together with 12 short papers in this volume were carefully reviewed and selected from a total of 57… Meer
Data privacy technologies are essential for implementing information systems with privacy by design. Privacy technologies clearly are needed for ensuring that data does not lead to disclosure, but also that statistics or even data-driven machine learning models do not lead to disclosure… Meer
This monograph represents the outcome of research effort of the authors on scalable synchronization of large-scale multi-agent systems (MAS). Cooperative control of multi-agent systems has been growing in popularity and is highly interdisciplinary in recent years… Meer
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8. The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing… Meer
Manufacturing computers in series was quite a feat in the 1950s. As mathematical as it gets, the machines discussed here were called X1 and X8. The industrial achievement combined with the background in a mathematical research center made the company Electrologica a legend in Dutch computing… Meer
This book serves as a single-source reference to key machine learning (ML) applications and methods in digital and analog design and verification. Experts from academia and industry cover a wide range of the latest research on ML applications in electronic design automation (EDA), including… Meer
This book reflects and expands on the current trends in the Architecture Engineering and Construction (AEC) industries to respond to the unfolding climate and biodiversity crisis. Shifting away from the traditional focus, narrowly centered on efficiency, the book presents a variety of approaches to… 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