Vijay Ganesh - Böcker
Visar alla böcker från författaren Vijay Ganesh. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Del 12971 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Häftad, Engelska, 2021
820 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021.
Del 14681 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Häftad, Engelska, 2024
441 kr
Skickas inom 7-10 vardagar
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
Del 14682 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Häftad, Engelska, 2024
441 kr
Skickas inom 7-10 vardagar
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
Del 14683 - Lecture Notes in Computer Science
Computer Aided Verification
36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
Häftad, Engelska, 2024
441 kr
Skickas inom 10-15 vardagar
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
1 269 kr
Skickas inom 10-15 vardagar
This edited volume provides a structured analysis of AI governance principles, challenges, and implementation strategies. Drawing on interdisciplinary perspectives and global case studies, the volume offers actionable insights for policymakers, industry leaders, and academics.The book is organized into four parts, each addressing critical dimensions of AI governance and policy. Part I lays the foundational understanding of AI from a policy and governance perspective. Part II examines the positive potential of AI, focusing on how standardization, talent cultivation, and global cooperation can enable AI to address pressing global challenges. Part III addresses the ethical, legal, and security challenges AI poses. It provides a critical analysis of the risks associated with AI deployment, including issues related to warfare, disinformation, and regulatory gaps. Part IV focuses on the necessity of international cooperation and the development of global governance frameworks for AI.This book serves as a foundational resource for stakeholders seeking to understand and navigate the complexities of AI governance.