Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs.……続きを見る
In order for wireless devices to function, the signals must be coded in standard ways so that the sender and the receiver can communicate. This area of video source coding is one of the key challeng……続きを見る
La ciencia es la forma de racionalidad determinante debido a sus consecuencias a gran escala. Vivimos actualmente varias revoluciones en la ciencia y este libro se ocupa de una de ellas: la teoría d……続きを見る
Behavior Trees (BTs) provide a way to structure the behavior of an artificial agent such as a robot or a non-player character in a computer game. Traditional design methods, such as finite state mac……続きを見る
Master the essentials of cryptography and cryptanalysis and learn how to put them to practical use. Each chapter of this book starts with an introduction to the concepts on which cryptographic algor……続きを見る
This book discusses both the theory and practical applications of self-correcting data, commonly known as error-correcting codes. The applications included demonstrate the importance of these codes ……続きを見る
From introductory NLP tasks to Transformer models, this new edition teaches you to utilize powerful TensorFlow APIs to implement end-to-end NLP solutions driven by performant ML (Machine Learning) m……続きを見る
Application of Advanced Optimization Techniques for Healthcare Analytics, 1st Edition, is an excellent compilation of current and advanced optimization techniques which can readily be applied to sol……続きを見る
Multi-Criteria Decision Making Theory and Applications in Sustainable Healthcare, 1st Edition, is an excellent compilation of current and advanced Multi-Criteria Decision Making (MCDM) techniques an……続きを見る