Decision Procedures : An Algorithmic Point of View
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and ...
Lee mas
Declarative Agent Languages and Technologies V : 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative ...
Lee masDeep Learning and its Applications / Arvind Kumar Tiwari
Presents an introduction to deep learning and various applications of deep learning such as recommendation systems, text ...
Lee mas
Deep Learning for Computational Problems in Hardware Security : Modeling Attacks on Strong Physically Unclonable Function Circuits / Pranesh Santikellur, Rajat Subhra Chakraborty
Discusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
Lee mas
Deep Learning with PyTorch Lightning: Build and train high-performance artificial intelligence and self-supervised models using Python / Kunal Sawarkar, Dheeraj Arremsetty
You’ll learn how to configure PyTorch Lightning on a cloud platform, understand the architectural components, and explore ...
Lee mas
Deep Learning, Machine Learning and IoT in Biomedical and Health Informatics : Techniques and Applications / Sujata Dash, Subhendu Kumar Pani, Joel Jose P. Coelho Rodrigues, Babita Majhi
Examines and demonstrates state-of-the-art approaches for IoT and Machine Learning based biomedical and health related applications. ...
Lee mas
Deep Statistical Comparison for Meta-heuristic Stochastic Optimization Algorithms / Tome Eftimov, Peter Korošec
Presents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...
Lee mas
Deep learning pipeline : building a deep learning model with TensorFlow / Hisham El-Amir, Mahmoud Hamdy
Build your own pipeline based on modern TensorFlow approaches rather than outdated engineering concepts. This book shows ...
Lee masDeepfake detection / Mhd. Yazan AL-Hamali ; Moaz Abdul Halim ; Mohammad Al-Sheikh ; Rami Al Absa ; Mhd. Yassin Al-Hayek
Recently, various techniques of manipulating the video content have become available to everyone – online, one can find ...
Lee mas
Defence Industry Applications of Autonomous Agents and Multi-Agent Systems
In this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
Lee mas
Deontic Logic and Artificial Normative Systems
This volume presents the papers contributed to DEON 2006, the 8th Inter- tional Workshop on Deontic Logic in Computer Science, ...
Lee mas
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
Lee mas
Dependability Modelling under Uncertainty : An Imprecise Probabilistic Approach
Mechatronic design processes have become shorter and more parallelized, induced by growing time-to-market pressure. Methods ...
Lee mas
Design Computing and Cognition 06
This is the second volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...
Lee mas
Design Computing and Cognition 08 :Proceedings of the Third International Conference on Design Computing and Cognition
This is the third volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...
Lee mas
Design and Analysis of Learning Classifier Systems : A Probabilistic Approach
This book provides a comprehensive introduction to the design and analysis of Learning Classifier Systems (LCS) from the ...
Lee mas
Design by Evolution : Advances in Evolutionary Design
This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in ...
Lee mas
Design process Improvement
Intended for business leaders who want to understand the role of design management as a driver for commercial success; design ...
Lee mas
Design, User Experience, and Usability. Interaction Design : 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I
This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, ...
Lee masDesigning Intelligent Construction Projects / Michael Frahm, Carola Roll
Readers will find: Illuminating case study material that highlights how change management methodologies, game theory, and ...
Lee mas
