Electronic Books

Total Books: 381 - 400 /1048

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 ...

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 ...

Deep Learning and its Applications / Arvind Kumar Tiwari

Presents an introduction to deep learning and various applications of deep learning such as recommendation systems, text ...

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 ...

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 ...

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. ...

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 ...

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 ...

Deepfake 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 ...

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 ...

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, ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Design process Improvement

Intended for business leaders who want to understand the role of design management as a driver for commercial success; design ...

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, ...

Designing Intelligent Construction Projects / Michael Frahm, Carola Roll

Readers will find: Illuminating case study material that highlights how change management methodologies, game theory, and ...

Total Books: 381 - 400 /1048