Advanced Computing Techniques in Engineering and Technology
This volume constitutes the proceedings of 2nd International Conference on Advanced Computing Techniques in Engineering & Technology, ACTET 2025, in Jaipur, India, during January 24-25, 2025. The 30 full papers presented in this volume were carefully reviewed and selected from 106 submissions. They focus on all aspects of distributed computing, machine learning, optimization algorithms, and interdisciplinary applications of computing technologies.
Multi-cloud FinOps Handbook
Multi-cloud has become a powerful strategy for businesses, but its complexity often leads to spiraling costs and inefficiencies. The key to unlocking its full potential lies in FinOps, a transformative framework that aligns technical and financial teams to drive strategic business value. This book explores the best practices and tools for managing costs and optimizing resources in a multi-cloud environment, using FinOps principles. This book is a definitive guide to learning financial operations in multi-cloud environments, offering insights into cost optimization, governance, and financial management. You will learn about our unique FOCUS paradigm and its application in financial planning and budgeting. It combines best practices, real-world strategies, and future-focused trends to help businesses maximize ROI, foster collaboration, and align cloud investments with organizational goals. By the end of this book, readers will gain the expertise to navigate complex multi-cloud environments with confidence, implementing FinOps strategies to drive cost efficiency, enhance collaboration, and ensure their cloud investments deliver maximum business value.WHAT YOU WILL LEARN● Learning the core principles of FinOps.● Exploring the future FinOps trends like AI, GreenOps, and decentralized governance.● Setting up the FinOps team and building a framework for spend efficiency.● Best practices for implementing effective multi-cloud cost optimization.● Fostering enterprise-wide ownership and accountability.● Govern multi-cloud environments by implementing the Inform, Optimize, Govern processes.● Maximizing ROI of cloud investments.WHO THIS BOOK IS FORThis book is for FinOps practitioners and professionals, CIOs, IT leaders, cloud architects and engineers, finance and accounting teams, cloud tool developers and vendors, enterprise leaders and executives, SMEs, startups, academics, and researchers.
Understanding the Human Factor in Cyber Security
Traditional vs Generative AI Pentesting
Traditional vs Generative AI Pentesting: A Hands-On Approach to Hacking explores the evolving landscape of penetration testing, comparing traditional methodologies with the revolutionary impact of Generative AI. This book provides a deep dive into modern hacking techniques, demonstrating how AI-driven tools can enhance reconnaissance, exploitation, and reporting in cybersecurity assessments.Bridging the gap between manual pentesting and AI automation, this book equips readers with the skills and knowledge to leverage Generative AI for more efficient, adaptive, and intelligent security testing. By blending practical case studies, hands-on exercises, and theoretical insights, it guides cybersecurity professionals, researchers, and students through the next generation of offensive security strategies.The book offers comprehensive coverage of key topics, including: Traditional vs AI-Driven Pentesting: Understanding the evolution of security testing methodologies Building an AI-Powered Pentesting Lab: Leveraging Generative AI tools for reconnaissance and exploitation GenAI in Social Engineering and Attack Automation: Exploring AI-assisted phishing, deepfake attacks, and deception tactics Post-Exploitation and Privilege Escalation with AI: Enhancing persistence and lateral movement techniques Automating Penetration Testing Reports: Utilizing AI for streamlined documentation and risk analysis This book is an essential resource for ethical hackers, cybersecurity professionals, and academics seeking to explore the transformative role of Generative AI in penetration testing. It provides practical guidance, in-depth analysis, and cutting-edge techniques for mastering AI-driven offensive security.
Artificial Intelligence
Named One of the Five Best Books on AI by The New York Times and The Wall Street Journal No technological development in recent history has generated as much excitement and terror--both utopian visions and apocalyptic nightmares--as artificial intelligence. Since generative AI and large language models exploded into our everyday lives in 2022 with the release of ChatGPT, AI has been the topic on everyone's mind. And the award-winning author and leading computer scientist Melanie Mitchell's acclaimed Artificial Intelligence: A Guide for Thinking Humans has been a touchstone for the debates. With a new preface situating the book in the context of AI's rapid progress, Artificial Intelligence offers an essential account of AI's turbulent history and an accessible explanation of the different kinds of AI: how they work, how they fail, and how they compare to human intelligence and understanding. Along the way, Mitchell introduces the dominant models of modern AI and machine learning, describing cutting-edge AI programs, their human inventors, and the historical lines of thought underpinning recent achievements. Raising big questions about the nature of intelligence itself, she consults with fellow experts and explores the profound disconnect between the hype and the actual achievements in AI, providing a clear sense of what the field has accomplished and how much further it has to go. Interweaving stories about the science of AI and the people behind it, Artificial Intelligence brims with clear-sighted and captivating accounts of the most interesting and provocative work in the field. This frank, lively book is an indispensable guide to understanding today's AI and its impact on the future for us all.
Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops: ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications. CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
Smart city/house cybersecurity based on computer vision
Modeling Decisions for Artificial Intelligence
This book constitutes the refereed proceedings of the 22nd International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2025, held in Valencia, Spain, during September 15-18, 2025.The 28 full papers were carefully reviewed and selected from 58 submissions. They are organized in topical sections as follows: Decision making and uncertainty; Data privacy; Machine learning and Data science.
Information Processing in Medical Imaging
This two-volume set LNCS 15829-15830 constitutes the proceedings of the 29th International Conference on Information Processing in Medical Imaging, IPMI 2025, held on Kos, Greece, during May 25-30, 2025. The 51 full papers presented in this volume were carefully reviewed and selected from 143 submissions. They were organized in topical sections as follows: Part I: Classification/Detection; Registration; Reconstruction; Image synthesis; Image enhancement; and Segmentation.Part II: Computer-aided diagnosis/surgery; Brain; Diffusion models; Self-supervised learning; Vision-language models; Shape analysis; and Time-series image analysis.
Android Studio Narwhal Essentials - Java Edition
Microsoft Certified Azure Developer Associate (Az-204) Study Guide
Given the scalability, flexibility, and resilience that the cloud offers, technology companies around the world are transitioning to cloud computing. This paradigm shift has created an unprecedented demand for professionals equipped with the skills to design and implement cloud solutions. Today, one of the cloud platforms most often adopted is Microsoft Azure. The Microsoft Certified Azure Developer Associate Study Guide is your comprehensive resource for mastering the competencies required to design, develop, and deploy secure and scalable Azure architectures tailored to your organization's needs. Beyond its impact on your resume, this guide empowers you with the confidence to excel as a Microsoft Certified Azure Developer Associate. With this handy guide, you'll learn how to: Design optimal cloud architectures aligned with best practices Provision and oversee core infrastructure with a focus on security and compliance Optimize both technical and business processes Manage critical cloud resources essential for organizational success Ensure operational reliability and high availability The foundational skills in this guide will help you navigate through and excel in the Microsoft Certified Azure Developer Associate exam. The certification journey is challenging, but with the right insights, a well-structured study plan, and hands-on practice, you can position yourself for success.
Applying Automated Theorem Proving to Computer Security
Artificial General Intelligence
This book constitutes the refereed proceedings of the 18th International Conference on Artificial General Intelligence, AGI 2025, held in Reykjavic, Iceland in August 2025. The 72 full papers included in this book were carefully reviewed and selected from 179 submissions. They were organized in topical sections as follows: novel learning algorithms, reasoning systems, theoretical neurobiology and bio-inspired systems, quantum computing, theories of machine consciousness, ethics, safety, formal mathematical foundations and philosophy of AGI.