Ebook > Science > Technique > Electronique, Electrotechnique, Télécommunications > Louise A. Dennis & Michael Fisher: Verifiable Autonomous Systems (PDF)

Louise A. Dennis & Michael Fisher
Verifiable Autonomous Systems
Using Rational Agents to Provide Assurance about Decisions Made by Machines

Support

Adobe DRM

Couverture du Louise A. Dennis & Michael Fisher: Verifiable Autonomous Systems (PDF)

€87.40

Langue Anglais ● Format PDF ● ISBN 9781108620215 ● Maison d’édition Cambridge University Press ● Publié 2023 ● Téléchargeable 3 fois ● Devise EUR ● ID 9047532 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Louise A. Dennis Michael Fisher

18 083 Ebooks dans cette catégorie

Couverture du Padmalaya (Rangaraju Inst. of Eng. & Tech.) Nayak: Intelligent Computing on IoT 2.0, Big Data Analytics, and Block Chain Technology

Padmalaya (Rangaraju Inst. of Eng. & Tech.) Nayak: Intelligent Computing on IoT 2.0, Big Data Analytics, and Block Chain Technology

The book is designed as a reference text and explores the concepts and techniques of Io T, artificial intelligence (AI), and blockchain. It also discusses the possibility of applying blockchain for p …

Couverture du Prerna Ajmani & Balamurugan (Shiv Nadar Uni.) Balusamy: Wireless Communication Technologies

Prerna Ajmani & Balamurugan (Shiv Nadar Uni.) Balusamy: Wireless Communication Technologies

This book introduces recent wireless technologies and their impact on recent trends, applications, and opportunities. It explores the latest 6G, Io T, and Blockchain techniques with AI and evolutiona …

Couverture du Abhijit S. (Florida Atlantic University, Boca Raton, Florida, USA) Pandya & Ercan (Siemens Stromberg-Carlson, Boca Raton, Florida, USA) Sen: ATM Technology for Broadband Telecommunications Networks

Abhijit S. (Florida Atlantic University, Boca Raton, Florida, USA) Pandya & Ercan (Siemens Stromberg-Carlson, Boca Raton, Florida, USA) Sen: ATM Technology for Broadband Telecommunications Networks

This textbook presents all the latest information on all aspects of each important component of ATM – the hottest telecommunications technology of this decade. It demonstrates how ATM internetworks …

Couverture du Ugo Fiore & Valeriy Kharchenko: Handbook of Research on Smart Technology Models for Business and Industry

Ugo Fiore & Valeriy Kharchenko: Handbook of Research on Smart Technology Models for Business and Industry

Advances in machine learning techniques and ever-increasing computing power has helped create a new generation of hardware and software technologies with practical applications for nearly every …

Couverture du Wen-Long Chin: Principles of Verilog Digital Design

Wen-Long Chin: Principles of Verilog Digital Design

Covering both the fundamentals and the in-depth topics related to Verilog digital design, both students and experts can benefit from reading this book by gaining a comprehensive understanding of how …

Couverture du Trevor J. Cox & Francis F. Li: Digital Signal Processing in Audio and Acoustical Engineering

Trevor J. Cox & Francis F. Li: Digital Signal Processing in Audio and Acoustical Engineering

Starting with essential maths, fundamentals of signals and systems, and classical concepts of DSP, this book presents, from an application-oriented perspective, modern concepts and methods of DSP inc …

Couverture du Chandrasekar Vuppalapati: Democratization of Artificial Intelligence for the Future of Humanity

Chandrasekar Vuppalapati: Democratization of Artificial Intelligence for the Future of Humanity

Artificial intelligence (AI) stands out as a transformational technology of the digital age. Its practical applications are growing very rapidly. One of the chief reasons AI applications are attainin …

Couverture du Edmond J. Murphy: Integrated Optical Circuits and Components

Edmond J. Murphy: Integrated Optical Circuits and Components

Updates the advancements made in the level of achievable integration of optical circuits and components in the last ten years–highlighting the commercial success of particular devices as well as …

Couverture du Kavita (Maulana Azad National Institute Of Engineering, India) Khare & Afreen (Indian Institute of Information Technology, Bhopal, India) Khursheed: Nano Interconnects

Kavita (Maulana Azad National Institute Of Engineering, India) Khare & Afreen (Indian Institute of Information Technology, Bhopal, India) Khursheed: Nano Interconnects

This textbook comprehensively covers on-chip interconnect dimension and application of carbon nanomaterials for modeling VLSI interconnect and buffer circuits. It provides analysis of ultra-low p …

Couverture du Mohamed (Queen's University, Kingston, Ontario, Canada) Ibnkahla: Cooperative Cognitive Radio Networks

Mohamed (Queen’s University, Kingston, Ontario, Canada) Ibnkahla: Cooperative Cognitive Radio Networks

Cooperative Cognitive Radio Networks: The Complete Spectrum Cycle provides a solid understanding of the foundations of cognitive radio technology, from spectrum sensing, access, and handoff to routin …

Page suivante >>>