Nicola Olivetti 
Automated Reasoning with Analytic Tableaux and Related Methods [PDF ebook] 
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

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 …

"Think AI" is a rapid-learning book that covers a wide range of Artificial Intelligence topics, including Machine Learning, Deep Learning, Computer Vision, and Natural Language Processing. …

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 …

Virtual and extended reality technologies have come a long way since their inception, and today, they are poised to change how we work, learn, and interact with the world. From gaming and entertainme …

MLOps, a combination of Dev Ops, data engineering, and machine learning, is crucial for delivering high-quality machine learning results due to the dynamic nature of machine learning data. This book …

This introduction to computers presents the fundamental ideas and principles on which modern computers are built. While used as a text for courses in computer appreciation as well as introductions to …

Transform your business landscape with the formidable prowess of large language models (LLMs). The book provides you with practical insights, guiding you through conceiving, designing, and implementi …

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 …

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …