Computer Vision and Image Processing
The Six-volume proceedings set CCIS 2473 and 2478 constitutes the refereed proceedings of the 9th International Conference on Computer Vision and Image Processing, CVIP 2024, held in Chennai, India, during December 19-21, 2024. The 178 full papers presented were carefully reviewed and selected from 647 submissions.The papers focus on various important and emerging topics in image processing, computer vision applications, deep learning, and machine learning techniques in the domain.
Advanced Intelligent Computing Technology and Applications
The 20-volume set LNCS 15842-15861, together with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 1206 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. They deal with emerging and challenging topics in artificial intelligence, machine learning, pattern recognition, bioinformatics, and computational biology.
Advanced Intelligent Computing Technology and Applications
The 20-volume set LNCS 15842-15861, together with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 1206 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. They deal with emerging and challenging topics in artificial intelligence, machine learning, pattern recognition, bioinformatics, and computational biology.
Advanced Intelligent Computing Technology and Applications
The 20-volume set LNCS 15842-15861, together with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 1206 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. They deal with emerging and challenging topics in artificial intelligence, machine learning, pattern recognition, bioinformatics, and computational biology.
Advanced Intelligent Computing Technology and Applications
The 20-volume set LNCS 15842-15861, together with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 1206 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. They deal with emerging and challenging topics in artificial intelligence, machine learning, pattern recognition, bioinformatics, and computational biology.
The Second International Symposium on Generative AI and Education (Isgaie'2025)
This book presents recent research on generative artificial intelligence (GenAI) and its transformative role in education. It constitutes the proceedings of the Second International Symposium on Generative AI and Education (ISGAIE'2025). The book explores recent advancements in GenAI technologies and their emerging impact on teaching and learning practices across educational contexts. Beyond practical applications and various use cases, the book addresses emerging challenges and opportunities, offering critical reflections on the ethical, pedagogical, and institutional implications of GenAI adoption in education. This book serves as a comprehensive reference for researchers, teachers, education designers, technology developers, and decision-makers who are working to rethink education using generative AI.
Computer Vision and Image Processing
The Six-volume proceedings set CCIS 2473 and 2478 constitutes the refereed proceedings of the 9th International Conference on Computer Vision and Image Processing, CVIP 2024, held in Chennai, India, during December 19-21, 2024. The 178 full papers presented were carefully reviewed and selected from 647 submissions.The papers focus on various important and emerging topics in image processing, computer vision applications, deep learning, and machine learning techniques in the domain.
Artificial Intelligence in Legal Systems
This book presents a comprehensive analysis of the transformative impact of artificial intelligence (AI) across legal frameworks within the European Union and beyond. It is a key resource for postgraduate students, researchers, and professionals in legal fields seeking to better understand the benefits and risks of AI.
Advanced Intelligent Computing Technology and Applications
This 20-volume set LNCS 15842-15861 constitutes - in conjunction with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869 - the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The total of 1206 regular papers were carefully reviewed and selected from 4032 submissions. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications".
Advanced Intelligent Computing Technology and Applications
The 20-volume set LNCS 15842-15861, together with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 1206 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. They deal with emerging and challenging topics in artificial intelligence, machine learning, pattern recognition, bioinformatics, and computational biology.
Advanced Intelligent Computing Technology and Applications
This 20-volume set LNCS 15842-15861 constitutes - in conjunction with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869 - the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The total of 1206 regular papers were carefully reviewed and selected from 4032 submissions. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications".
Advanced Intelligent Computing Technology and Applications
The 20-volume set LNCS 15842-15861, together with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 1206 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. They deal with emerging and challenging topics in artificial intelligence, machine learning, pattern recognition, bioinformatics, and computational biology.
Advanced Intelligent Computing Technology and Applications
This 20-volume set LNCS 15842-15861 constitutes - in conjunction with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869 - the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The total of 1206 regular papers were carefully reviewed and selected from 4032 submissions. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications".
Proceedings of the 22nd Congress of the International Ergonomics Association, Volume 6
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium, Blue Sky, and Wideaied
This three-volume set CCIS 2590-2592 constitutes poster papers and late breaking results, workshops and tutorials, practitioners, industry and policy track, doctoral consortium, blue sky and wideAIED papers presented at the 26th International Conference on Artificial Intelligence in Education, AIED 2025, held in Palermo, Italy, during July 22-26, 2025. The 72 full papers and 73 short papers (72 of them presented as posters) presented in this book were carefully reviewed and selected from 296 submissions. They are organized in topical sections as follows: Part I: BlueSky; Practitioners, Industry and Policy; WideAIED; Doctoral Consortium. Part II: Late Breaking Results; Part III: Late Breaking Results; Workshops and Tutorials.
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium, Blue Sky, and Wideaied
This three-volume set CCIS 2590-2592 constitutes poster papers and late breaking results, workshops and tutorials, practitioners, industry and policy track, doctoral consortium, blue sky and wideAIED papers presented at the 26th International Conference on Artificial Intelligence in Education, AIED 2025, held in Palermo, Italy, during July 22-26, 2025. The 72 full papers and 73 short papers (72 of them presented as posters) presented in this book were carefully reviewed and selected from 296 submissions. They are organized in topical sections as follows: Part I: BlueSky; Practitioners, Industry and Policy; WideAIED; Doctoral Consortium. Part II: Late Breaking Results; Part III: Late Breaking Results; Workshops and Tutorials.
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium, Blue Sky, and Wideaied
This three-volume set CCIS 2590-2592 constitutes poster papers and late breaking results, workshops and tutorials, practitioners, industry and policy track, doctoral consortium, blue sky and wideAIED papers presented at the 26th International Conference on Artificial Intelligence in Education, AIED 2025, held in Palermo, Italy, during July 22-26, 2025. The 72 full papers and 73 short papers (72 of them presented as posters) presented in this book were carefully reviewed and selected from 296 submissions. They are organized in topical sections as follows: Part I: BlueSky; Practitioners, Industry and Policy; WideAIED; Doctoral Consortium. Part II: Late Breaking Results; Part III: Late Breaking Results; Workshops and Tutorials.
Advanced Intelligent Computing Technology and Applications
The 20-volume set LNCS 15842-15861, together with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 1206 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. They deal with emerging and challenging topics in artificial intelligence, machine learning, pattern recognition, bioinformatics, and computational biology.
Implementing and Administering Cisco Solutions 200-301 CCNA Exam Guide - Second Edition
Get exam-ready for the CCNA 200-301 v1.1 certification exam with Cisco experts Glen D. Singh and Neil Anderson using practical labs and focused strategies.Includes mock exams, flashcards, exam tips, and a free eBook PDF with your purchase.Key Features: - Complete coverage of all CCNA 200-301 v1.1 exam objectives aligned with Cisco's official blueprint- Build foundational skills in switching, routing, IP services, security, wireless, and automation- Configure networks with through 30+ hands-on labs using Cisco Packet Tracer scenarios- Test your exam readiness with 2 mocks, 170+ review questions, and detailed explanationsBook Description: Kickstart your networking career with confidence by acing the CCNA exam on your first try. The Cisco Certified Network Associate (CCNA) certification opens doors to high-demand roles in networking and security. This fully updated second edition makes exam success achievable, even if you're just starting out. Aligned with the latest Cisco blueprint, this CCNA 200-301 exam guide combines real-world examples, step-by-step labs, and clear explanations to help you master all six exam domains.You'll build a solid foundation in switching, routing, IP addressing, network services, wireless technologies, security, and automation. Along the way, you'll sharpen your skills with hands-on configuration tasks, visual diagrams, and simulation exercises using Cisco Packet Tracer.Each chapter includes review questions that reflect actual exam difficulty, helping you stay on track and gauge your readiness. You'll also get access to online extras: over 170 practice questions, two full-length mock exams, interactive flashcards, exam tips from Cisco experts, and more than 30 practice labs.From exam strategies to high-demand skills, this guide offers everything you need to get certified, hired, or grow in your network engineering and security administration roles.What You Will Learn: - Understand how switching, routing, and IP addressing work in network environments- Create VLANs and configure static and dynamic routing using Cisco CLI commands- Set up IP services including DHCP, NAT, DNS, and NTP across network devices- Apply wireless settings, security features, and access control to secure networks- Use Cisco Packet Tracer to build, test, and troubleshoot network configurations- Solve realistic practice questions that mirror the actual CCNA 200-301 v1.1 exam formatWho this book is for: This exam guide is for IT professionals looking to advance their network engineering and security administration careers. If you're aiming to earn your Cisco CCNA certification and launch a career as a network security professional, this book is the perfect resource. While no prior knowledge of Cisco technologies is required, a basic understanding of industry-standard networking fundamentals will help you easily grasp the topics covered.Table of Contents- Introduction to Networking- Getting Started with Cisco IOS Devices- Network Architectures and Physical Infrastructure- IPv4 and IPv6 Addresses- Practical Subnetting- Wireless Architectures and Virtualization- Implementing VLANs and Interswitch Connectivity- EtherChannels and Layer 2 Discovery Protocols- Understanding and Configuring Spanning Tree- Interpreting Routing Components- Understanding Static and Dynamic Routing- Network Address Translation- Network Services and IP Operations- Exploring Network Security- Device Access Controls and VPNs- Implementing Access Controls Lists (ACLs)- Implementing Layer 2 and Wireless Security- Network Automation and Programmability Techniques
Ai-Native Software Delivery
AI coding assistants are helping teams create software faster than ever. But to turn that speed into real innovation, organizations must go beyond writing code and deliver software quickly, securely, and reliably.While AI-assisted coding is now mainstream, what happens after the code is written is still catching up. AI-Native Software Delivery is your practical guide to applying AI across the entire delivery lifecycle, from commit to production and beyond.Written for software engineers, DevOps leaders, and tech executives, this book explores how leading teams are using AI to streamline CI/CD, manage cloud costs, strengthen security, and eliminate operational toil. The book also uncovers the risks of brittle automation and shows you how to avoid building systems that don't scale.You'll learn how to: Integrate AI across delivery workflows to accelerate time to valueAvoid common pitfalls of fragmented automation strategiesAdopt DevSecOps principles that scale with your teamApply real-world practices in AIOps, chaos engineering, and SREFuture-proof your delivery with intelligent pipelines and feedback loopsWhether you're evolving a legacy delivery process or designing a new platform, this guide will help you lead your organization into the AI-native future of software delivery.
Building Business-Ready Generative AI Systems
Supercharge your business with context-aware AI controllers, adaptive agents, multimodal reasoning functionality, neuroscientific memory systems, and flexible handler mechanisms that integrate the emerging generative AI models.Get with your book: PDF copy, AI Assistant, and Next-Gen Reader free.Key Features: - Build an adaptive, context-aware AI controller with advanced memory strategies- Enhance GenAISys with multi-domain, multimodal reasoning capabilities and Chain of Thought (CoT)- Seamlessly integrate cutting-edge OpenAI and DeepSeek models as you see fitBook Description: Standalone LLMs no longer deliver sufficient business value on their own. This guide moves beyond basic chatbots, showing you how to build agentic, ChatGPT-grade systems capable of sophisticated semantic and sentiment analysis, powered by context engineering.You'll design AI controller architectures with multi-user memory retention to dynamically adapt your system to diverse user and system inputs. You'll architect a Retrieval-Augmented Generation system with Pinecone to combine instruction-driven scenarios. Through context engineering, you'll minimize token usage, maximize response quality, and create systems that reason across complex tasks with precision. You'll enhance your system's intelligence with multimodal capabilities-image generation, voice interactions, and machine-driven reasoning-leveraging Chain-of-Thought and context chaining to address cross-domain automation challenges. You'll also integrate OpenAI's suite and DeepSeek-R1 without disrupting your existing GenAISys ecosystem.With context engineering as the backbone, every step becomes a deliberate act of shaping model behavior. Your GenAISys will apply neuroscience-inspired insights to marketing strategies, predict human mobility, integrate smoothly into human workflows, and connect to live external data, all wrapped in a polished, investor-ready interface.What You Will Learn: - Implement an AI controller with a conversation AI agent and orchestrator at its core- Build contextual awareness with short-term, long-term, and cross-session memory- Design cross-domain automation with multimodal reasoning, image generation, and voice features- Expand a CoT agent by integrating consumer-memory understanding- Integrate cutting-edge models of your choice without disrupting your existing GenAISys- Connect to real-time external data while blocking security breachesWho this book is for: This book is for AI and Machine Learning Engineers seeking to enhance their understanding of Generative AI and its enterprise applications. It will particularly benefit those interested in building AI agents, creating advanced orchestration systems, and leveraging AI for automation in marketing, production, and logistics. Software architects and enterprise developers looking to build scalable AI-driven systems will also find immense value in this guide. No prior superintelligence experience is necessary, but familiarity with AI concepts is recommended.Table of Contents- Defining a Business-Ready Generative AI System- Building the Generative AI Controller- Integrating Dynamic RAG into the GenAISys- Building the AI Controller Orchestration Interface- Adding Multimodal, Multifunctional Reasoning with Chain of Thought- Reasoning E-Marketing AI Agents- Enhancing the GenAISys with DeepSeek- GenAISys for Trajectory Simulation and Prediction- Upgrading the GenAISys with Data Security and Moderation for Customer Service- Presenting Your Business-Ready Generative AI System
Computer Aided Verification
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.
Computer Aided Verification
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.
Computer Aided Verification
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.
A Gentle Introduction to Data, Learning, and Model Order Reduction
5000 Years Of Science
What is science, really-and where is it taking us?In this sweeping journey across five millennia, 5000 Years of Science traces the rise of human understanding, from ancient Mesopotamian star charts to cutting-edge theories of artificial intelligence and quantum consciousness. This is not just a history of inventions and discoveries-it's a bold reinterpretation of science as the evolving expression of our deepest survival instincts, cognitive tools, and existential questions.Explore how early civilisations laid the mathematical and astronomical foundations of science. Witness the intellectual explosions of the Scientific Renaissance and Enlightenment. Follow the dramatic revolutions of chemistry, physics, biology, and computing. And then step into the future-with explorations of AI, neuroscience, quantum biology, and the search for a unified theory of consciousness.A Journey Through Human Discovery - and a Radical New Idea That May Change Everything We Know About the MindWhat if consciousness isn't a mystery... but an evolved tool for survival?In this bold and sweeping book, 5000 Years of Science traces the story of human discovery-from the fires of early civilisation to the quantum codes of artificial intelligence. With every chapter, the reader journeys through astronomy, biology, physics, and psychology-culminating in a groundbreaking theory that redefines what it means to be conscious.Introducing Affective Survival Theory (AST)-a new scientific framework that argues feeling is not a byproduct of thought, but the engine of survival. Pain, pleasure, fear, hunger, love: these are not abstract states, but evolution's way of tagging experience with meaning. From the reflex of a single cell to the awe of cosmic wonder, AST reveals how consciousness evolved not to think first-but to feel and adapt.���� Inside This Book: The 5000-year timeline of science, from ancient astronomy to AIThe rise of artificial intelligence and the limits of machine mindsWhy consciousness evolved through emotionally charged survivalHow AST compares to other leading theories (IIT, GWT, Orch OR, etc.)A reframe of the hard problem of consciousness into the hard advantage of feelingThe emotional roots of memory, imagination, reasoning, and transcendenceWhether you're a science lover, philosopher, futurist, or simply curious about the nature of the mind, 5000 Years of Science will challenge your assumptions, ignite your curiosity, and change how you see yourself-and consciousness itself.This is more than a book. It's the next chapter in the human story.
Paradata
To make sense of data and use it effectively, it is essential to know where it comes from and how it has been processed and used. This is the domain of paradata, an emerging interdisciplinary field with wide applications. As digital data rapidly accumulates in repositories worldwide, this comprehensive introductory book, the first of its kind, shows how to make that data accessible and reusable. In addition to covering basic concepts of paradata, the book supports practice with coverage of methods for generating, documenting, identifying and managing paradata, including formal metadata, narrative descriptions and qualitative and quantitative backtracking. The book also develops a unifying reference model to help readers contextualise the role of paradata within a wider system of knowledge, practices and processes, and provides a vision for the future of the field. This guide to general principles and practice is ideal for researchers, students and data managers. This title is also available as open access on Cambridge Core.
Comptia A+ Complete Certification Kit: Core 1 Exam 220-1201 and Core 2 Exam 220-1202
A comprehensive bundle of authoritative prep resources for the A+ certification exams: Study, practice, and review--the Sybex way! Based on the popular Sybex Study Guide approach, the CompTIA A+ Complete Certification Kit, 6th Edition explains all the most recent changes to the new Core 1 220-1201 and Core 2 220-1202 A+ certification exams. It combines the intuitive and comprehensive Sybex Study Guide--which covers 100% of the A+ exam objectives--with Practice Tests and a Review Guide that add clear and concise info on topics covered by the test. This value-priced bundle walks you through critical subjects, including the Windows operating system, cloud and virtualization, networking, and security. This must-have bundle includes every tool you'll need to walk into the A+ certification exams confident and prepared. You'll find: CompTIA A+ Complete Study Guide 2-Volume Set: Volume 1 Core 1 Exam 220-1201 and Volume 2 Core 2 Exam 220-1202, 6th Edition CompTIA A+ Complete Review Guide: Core 1 Exam 220-1201 and Core 2 Exam 220-1202, 6th Edition CompTIA A+ Complete Practice Tests: Core 1 Exam 220-1201 and Core 2 Exam 220-1202, 4th Edition The CompTIA A+ Complete Certification Kit delivers practical examples and insights drawn from the real-world experiences of actual IT professionals, as well as exam highlights and end-of-chapter reviews. It also comes with access to the Sybex interactive online learning environment and test bank, with hundreds of practice questions, electronic flashcards, and a searchable PDF glossary of critical vocabulary that appears on the exams. The Kit includes 100% coverage of all of the following topics: Mobile Devices Networking Hardware Virtualization and Cloud Computing Hardware and Network Troubleshooting Operating Systems Security Software Troubleshooting Operational Procedures CompTIA A+ Complete Certification Kit, 6th Edition prepares you, quickly and efficiently, for the Core 1 220-1201 and Core 2 220-1202 exams.
Trustworthy Multimodal Intelligent Systems for Independent Living
This book is an essential guide for anyone interested in how artificial intelligence can enhance the quality of life for individuals who wish to maintain autonomy in their own homes. The author begins by introducing the reader to AI applications in independent living environments, such as smart assisted homes and AI-driven personalization, and thoughtfully explores the ethical challenges involved. With a strong focus on the intersection of technology and human needs, the book provides a detailed roadmap for building intelligent systems that promote safety, independence, and dignity, especially for elderly or vulnerable populations. The author offers both foundational knowledge and critical discussions around the opportunities and limitations of AI when applied to daily life scenarios. A major strength of the book lies in its thorough examination of multimodal systems. Readers are introduced to a rich array of sensor technologies including wearable devices, environmental sensors, vision-based systems, and sound-based inputs. These components are described not only in terms of their individual functionalities but also in how they interact and fuse data to support complex inference tasks. The text walks the reader through system architectures--centralized and distributed--while emphasizing data fusion, synchronization, and real-time versus batch processing. Through practical examples such as fall detection alerts and activity recognition, the book highlights the engineering challenges and solutions involved in building robust, responsive, and user-accepted assistive systems. Ethical deployment, user engagement, long-term maintenance, and family involvement are all addressed in ways that reflect real-world concerns and user diversity. The book also tackles some of the most pressing topics in AI today: data privacy, explainability, and trust. With an entire section dedicated to synthetic data, it explains how artificial data can be used to train effective models while safeguarding user privacy.
Advanced Intelligent Computing Technology and Applications
The 12-volume set CCIS 2564-2575, together with the 28-volume set LNCS/LNAI/LNBI 15842-15869, constitutes the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The 523 papers presented in these proceedings books were carefully reviewed and selected from 4032 submissions. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications".
Advanced Intelligent Computing Technology and Applications
This 20-volume set LNCS 15842-15861 constitutes - in conjunction with the 4-volume set LNAI 15862-15865 and the 4-volume set LNBI 15866-15869 - the refereed proceedings of the 21st International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, during July 26-29, 2025. The total of 1206 regular papers were carefully reviewed and selected from 4032 submissions. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications".
Neural Information Processing
The sixteen-volume set, CCIS 2282-2297, constitutes the refereed proceedings of the 31st International Conference on Neural Information Processing, ICONIP 2024, held in Auckland, New Zealand, in December 2024.The 472 regular papers presented in this proceedings set were carefully reviewed and selected from 1301 submissions. These papers primarily focus on the following areas: Theory and algorithms; Cognitive neurosciences; Human-centered computing; and Applications.
Neural Information Processing
The sixteen-volume set, CCIS 2282-2297, constitutes the refereed proceedings of the 31st International Conference on Neural Information Processing, ICONIP 2024, held in Auckland, New Zealand, in December 2024.The 472 regular papers presented in this proceedings set were carefully reviewed and selected from 1301 submissions. These papers primarily focus on the following areas: Theory and algorithms; Cognitive neurosciences; Human-centered computing; and Applications.
The Deep Learning Revolution
How deep learning--from Google Translate to driverless cars to personal cognitive assistants--is changing our lives and transforming every sector of the economy. The deep learning revolution has brought us driverless cars, the greatly improved Google Translate, fluent conversations with Siri and Alexa, and enormous profits from automated trading on the New York Stock Exchange. Deep learning networks can play poker better than professional poker players and defeat a world champion at Go. In this book, Terry Sejnowski explains how deep learning went from being an arcane academic field to a disruptive technology in the information economy. Sejnowski played an important role in the founding of deep learning, as one of a small group of researchers in the 1980s who challenged the prevailing logic-and-symbol based version of AI. The new version of AI Sejnowski and others developed, which became deep learning, is fueled instead by data. Deep networks learn from data in the same way that babies experience the world, starting with fresh eyes and gradually acquiring the skills needed to navigate novel environments. Learning algorithms extract information from raw data; information can be used to create knowledge; knowledge underlies understanding; understanding leads to wisdom. Someday a driverless car will know the road better than you do and drive with more skill; a deep learning network will diagnose your illness; a personal cognitive assistant will augment your puny human brain. It took nature many millions of years to evolve human intelligence; AI is on a trajectory measured in decades. Sejnowski prepares us for a deep learning future.
Scaling Ant Colony Optimization With Hierarchical Reinforcement Learning Partitioning
This research merges the hierarchical reinforcement learning (HRL) domain and the ant colony optimization (ACO) domain. The merger produces a HRL ACO algorithm capable of generating solutions for both domains. This research also provides two specific implementations of the new algorithm: the first a modification to Dietterich's MAXQ-Q HRL algorithm, the second a hierarchical ACO algorithm. These implementations generate faster results, with little to no significant change in the quality of solutions for the tested problem domains. The application of ACO to the MAXQ-Q algorithm replaces the reinforcement learning, Q-learning and SARSA, with the modified ant colony optimization method, Ant-Q. This algorithm, MAXQ-AntQ, converges to solutions not significantly different from MAXQ-Q in 88% of the time. This research then transfers HRL techniques to the ACO domain and traveling salesman problem (TSP). To apply HRL to ACO, a hierarchy must be created for the TSP. A data clustering algorithm creates these subtasks, with an ACO algorithm to solve the individual and complete problems. This research tests two clustering algorithms, k-means and G-means.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
"A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design" explores innovative methods in automated theorem proving, a crucial area within artificial intelligence and computer science. This work delves into a hierarchical approach aimed at enhancing the efficiency and effectiveness of mechanical theorem proving systems. The research focuses on applying these techniques to the design and development of programming languages, suggesting potential advancements in language construction and validation.Authored by Norman Rubin, this study from 1975 provides valuable insights into the intersection of logic, computation, and programming. It remains relevant for researchers and practitioners interested in the historical development of AI and the theoretical foundations of programming language design.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Raising AI
From the pioneer of translation AIs like Google, Yahoo, and Bing translate, an accessible and authoritative guide to AI--as well as a framework of empowerment for a future with our artificial children. Included in J.P. Morgan's Summer Reading List Included in The Next Big Idea Club's June 2025 Must-Read Books In his new book, AI trailblazer De Kai explores how widespread use of AI is bringing about an automation of thought, impacting our unconscious. He brings decades of his paradigm-shifting work at the nexus of AI and society to help audiences make sense of our interactions with AI at both personal and societal levels--ethically and responsibly. What should each of us do as the responsible adults in the room? In Hollywood movies, AI destroys humanity. But under the influence of AI upon our minds, humanity may destroy humanity before AI even gets a chance. Plainspoken and visionary, Raising AI guides us through our shifting attitudes and ideas in a world of AI cohabitants. Society can not only survive the AI revolution but flourish in a more humane, compassionate, and understanding world where we all play our part--alongside our artificial children.
Computer Aided Verification
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems.
A Beginner's Guide to Generative AI
This book is the essential guide for anyone curious about AI's creative power. In the rapidly evolving landscape of artificial intelligence, generative AI stands out as one of the most transformative technologies of our time. Designed for beginners and requiring no prior knowledge of AI, this book breaks down the fundamentals of generative AI, from text and image generation to the workings of models like ChatGPT and Google Bard. The authors provide step-by-step coverage of the essential concepts and techniques that power generative AI. From the basics of how machines learn to generate text and images, to the intricate workings of models like Transformers, ChatGPT, and Google Bard, readers will gain a solid foundation in AI's most cutting-edge tools. Rather than focusing on a single method, the authors introduce a spectrum of generative modeling techniques, including diffusion models, variational autoencoders, and transformers. This comprehensive exposure ensures readers will be well-prepared to understand and adapt to the rapidly evolving AI landscape. In addition, real-world applications of generative AI across various industries are explored including healthcare innovations, business analytics, and legal technology, and the authors provide practical insights and examples that show how generative AI is revolutionizing these fields.
Spoken Language Processing
This book tackles the complexities of spontaneous human dialogues, exploring the challenges of unscripted conversations with their interruptions, overlaps, and disfluencies for conversational AI. It provides a comprehensive exploration of the differences between spontaneous and prescriptive languages, examining the impact of these differences on machine learning models. The author examines the technical aspects of processing spontaneous speech, including automatic speech recognition and transcript engineering, discussing the design and development of AI systems capable of handling the nuances of spontaneous dialogues. Written for researchers in natural language processing and students interested in AI and machine learning applications for spontaneous human communication, this book serves as a guide for understanding the latest advancements in the field and developing more robust and effective Conversational AI systems.
Computer Vision and Image Processing
The Six-volume proceedings set LNCS 2473 and 2478 constitutes the refereed proceedings of the 9th International Conference on Computer Vision and Image Processing, CVIP 2024, held in Chennai, India, during December 19-21, 2024. The 178 full papers presented were carefully reviewed and selected from 647 submissions.The papers focus on various important and emerging topics in image processing, computer vision applications, deep learning, and machine learning techniques in the domain.
Computer Vision and Image Processing
The Six-volume proceedings set CCIS 2473 and 2478 constitutes the refereed proceedings of the 9th International Conference on Computer Vision and Image Processing, CVIP 2024, held in Chennai, India, during December 19-21, 2024. The 178 full papers presented were carefully reviewed and selected from 647 submissions.The papers focus on various important and emerging topics in image processing, computer vision applications, deep learning, and machine learning techniques in the domain.
Biometrics
Companies are embracing biometrics as an additional layer of security and convenience for their customers, providing an enhanced user experience and reducing the risk of fraud. This book provides an overview of biometrics including its theoretical foundations and practical applications and offers insights into its impact on society.
Multiagent Systems Engineering
This thesis defines a methodology for the creation of multiagent systems, the Multiagent Systems Engineering (MaSE) methodology. The methodology is a key issue in the development of any complex system and there is currently no standard or widely used methodology in the realm of multiagent systems. MaSE to covers the entire software lifecycle, starting from an initial prose specification, and creating a set of formal design documents in a graphical style based on a formal syntax. The final product of MaSE is a diagram describing the deployment of a system of intelligent agents that communicate through structured conversations. MaSE was created with the intention of being supported an automated design tool. The tool built to support MaSE, agent Tool, is a multiagent system development tool for designing and synthesizing complex multiagent systems.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Multi-Robot Fastslam for Large Domains
For a robot to build a map of its surrounding area it must have accurate position information within the area and to obtain the accurate position information within the area, the robot need to have an accurate map of the area. This circular problem is the Simultaneous Localization and Mapping (SLAM) problem. An efficient algorithm to solve it is FastSLAM, which is based on the Rao-Blackwellized particle filter. FastSLAM solves the SLAM problem for single-robot mapping using particles to represent the posterior of the robot pose and the map. Each particle of the filter possesses its own global map which is likely to be a grid map. The memory space required for these entire maps pose a serious limitation to the algorithm's capability when the problem space is large. In addition this problem will only get worse if the algorithm is adapted to a multirobot mapping. This thesis presents an alternate mapping algorithm that extends this single-robot FastSLAM algorithm to a multi-robot mapping algorithm that uses Absolute Space Representations to represent the world.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Applying Image Matching to Video Analysis
Dealing with the volume of multimedia collected on a daily basis for intelligence gathering and digital forensics investigations requires significant manual analysis. A component of this problem is that a video may be reanalyzed that has already been analyzed. Identifying duplicate video sequences is difficult due to differences in videos of varying quality and size. This research uses a kd-tree structure to increase image matching speed. Keypoints are generated and added to a kd-tree of a large dimensionality (128 dimensions). All of the keypoints for the set of images are used to construct a global kd-tree, which allows nearest neighbor searches and speeds up image matching. The kd-tree performed matching of a 125 image set 1.6 times faster than Scale Invariant Feature Transform (SIFT). Images were matched in the same time as Speeded Up Robust Features (SURF). For a 298 image set, the kd-tree with RANSAC performed 5.5 times faster compared to SIFT and 2.42 times faster than SURF. Without RANSAC the kd-tree performed 6.4 times faster than SIFT and 2.8 times faster than SURF. The order images are compared to the same images of different qualities, did not produce significantly more matches when a higher quality image is compared to a lower quality one or vice versa. Size comparisons varied much more than the quality comparisons, suggesting size has a greater influence on matching than quality.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Social Networking Website Users and Privacy Concerns
Social networking websites are the fastest growing entity on the Internet. Users of social networking websites post personal information and pictures on these websites. Privacy and social networking websites has been previously studied, however, since those studies were conducted the rules for those websites have changed dramatically. A mixed methods approach was used in this study to examine what privacy concerns users of social networking websites have, whether it's regarding information on their accounts or the pictures they have posted. This study also considered if there were common personality traits present in people with those concerns. A comparison of user preferences between MySpace and Facebook was also conducted. Quantitative data in the form of survey information was used in addition to qualitative data gathered from semistructured interviews. This study supports that Social Desirability Bias was correlated with a user being selective of what pictures were displayed on social networking website accounts. Few users expressed a preference for one social networking website over the other. Over half of the participants did express concern for their privacy on social networking website accounts, but there were no personality factors that showed to be predictive of that concern.This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
