Stefan Edelkamp & Alessio Lomuscio 
Model Checking and Artificial Intelligence [PDF ebook] 
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …

This volume provides a comprehensive introduction to foundational topics in sound design for linear media, such as listening and recording; audio postproduction; key musical concepts and forms such a …

Neural Network Computer Vision with Open CV equips you with professional skills and knowledge to build intelligent vision systems using Open CV. It creates a sequential pathway for understanding morp …

The metaverse has been a topic of conversation for a long time, but it still remains loosely defined. Some see it as a game in the virtual world, while others see it as a more connected version of th …

The Potential of Generative AI invites you for a captivating journey into the revolutionary technology, where machines become co-creators and the line between imagination and reality blurs. You will …

Learn Data Science from Scratch equips you with the essential tools and techniques, from Python libraries to machine learning algorithms, to tackle real-world problems and make informed decisions.Thi …

An emerging interdisciplinary field of study in the realm of academia has been quantum computing and its various applications. The rapid rate of progress of this advancing technology as well as its m …

This book provides an overview of Federated Learning and how it can be used to build real-world AI-enabled applications. Real-world AI applications frequently have training data distributed in many d …

Most organizations find that an empowered team will improve the effectiveness of the IT auditing function. Such a team has the appropriate authority, resources, and skills to perform a project, deter …