Proceedings of the International Conference on Smart Cities - Volume 2
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". This 40-volume set LNCS 15842-15869 constitutes -the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, in July 2025.
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".
Transforming Healthcare with Artificial Intelligence
This book presents the groundbreaking ways artificial intelligence (AI) is revolutionizing the healthcare industry and delves into how AI technologies are enhancing patient care, improving diagnostic accuracy, and streamlining healthcare operations. With real-world examples of how AI is being used in hospitals, clinics, and research institutions around the world as well as insights from leading experts who provide readers with access to cutting-edge knowledge and diverse perspectives on the future of medicine, the book provides a comprehensive overview of the innovations driving the future of medicine. Healthcare is facing big challenges including the growing demand for medical services, the need for more accurate diagnoses, and the pressure to reduce costs. AI can help solve these problems by making healthcare more efficient, precise, and accessible to everyone. Appropriate for healthcare professionals, technology enthusiasts, or simply curious readers about the future of healthcare, this book offers a clear and engaging look at how AI is reshaping the medical landscape for the better. Specifically, the book covers various aspects of AI in healthcare, including diagnostics, treatment planning, patient monitoring, hospital management, and public health. In addition, the book presents the ethical, legal, and societal implications, providing a well-rounded discussion that considers both the opportunities and challenges of AI in healthcare.
Advanced Intelligent Computing Technology and Applications
This 40-volume set LNCS 15842-15869 constitutes -the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2025, held in Ningbo, China, in July 2025.
Intelligent and Fuzzy Systems
Artificial Intelligence in Human-Centric, Resilient & Sustainable Industries This book focuses on benefiting artificial intelligent tools in our business and social life under emerging conditions. Human-centric, resilient, and sustainable industries are built on ideals like human-centricity, ecological advantages, or social benefits. The mission of human-centric artificial intelligence is to improve people's lives by offering solutions that boost productivity, accessibility to resources, security, well-being, and general quality of life. The latest intelligent methods and techniques on human-centric, resilient, and sustainable industries are introduced by theory and applications. This book covers the chapters of world-wide known experts on machine learning, medical image processing, process intelligence, process mining, and others. The intended readers are intelligent systems researchers, lecturers, M.Sc. and Ph.D. students trying to develop approaches giving human needs, values, and viewpoints top priority through artificial intelligent systems.
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 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".
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
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
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.
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.
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".
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.
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.
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".
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.
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
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.
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
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".
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.
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".
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.
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.
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.
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.
A Gentle Introduction to Data, Learning, and Model Order Reduction
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.
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".
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.
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".
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.
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.
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.
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.
