Search

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This book contains the revised and extended versions of selected papers from the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, held in Lisbon, Portugal, during February 22–24, 2023. The 23 full papers included in this book were carefully reviewed and selected from 306 submissions. The conference was organized in 2 tracks as follows: One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

This book constitutes the refereed proceedings of the 26th International Conference on Practical Aspects of Declarative Languages, PADL 2024, held in London, UK, during January 17–19, 2024.The 13 full papers included in this book were carefully reviewed and selected from 25 submissions. The accepted papers span a range of topics related to functional and logic programming, including reactive programming, hardware implementations, implementation of marketplaces, query languages, and applications of declarative programming techniques to artificial intelligence and machine learning.

This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28–31, 2024. The 33 full papers and the 9 short papers presented in the proceedings were carefully reviewed and selected from a total of 104 submissions. The content of the papers focus on new techniques or applications in the area and foster the integration of techniques from different fields dealing with large and complex problems.

This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September 28-30, 2022.The 11 regular papers presented in this book were carefully reviewed and selected from 26 submissions The papers in these proceedings represent the diversity and vitality in present ILP research, including statistical relational learning, transfer learning, scientific reasoning, learning temporal models, synthesis and planning, and argumentation and language.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 – September 1, 2023. The 149 papers in this set were carefully reviewed and selected from 385 submissions. They are organized in topical sections as follows: Detection and Recognition; Image Analysis and Processing; Image Restoration and Enhancement; Image Attention and Perception; Reconstruction; Rendering and Animation; Synthesis and Generation; Visual Analytics and Modeling; Graphics and AR/VR; Medical Imaging and Robotics; Theoretical Analysis; Image Analysis and Visualization in Advanced Medical Imaging Technology; Empowering Novel Geometric Algebra for Graphics and Engineering.

The two volume set LNCS 14674 and 14675 constitutes the proceedings of the 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, which took place in Olhâo, Portugal, during June 4–7, 2024. The 99 full papers presented in these proceedings were carefully reviewed and selected from 193 submissions. They were organized in topical sections as follows: Part I: Machine learning in neuroscience; artificial intelligence in neurophysiology; neuromotor and cognitive disorders; intelligent systems for assessment, treatment, and assistance in early stages of Alzheimer's disease and other dementias; socio-cognitive, affective and physiological computing; affective computing and context awareness in ambientintelliigence; learning tools to lecture; Part II: Machine learning in computer vision and robotics; bio-inspired computing approaches; social and civil engineering through human AI translations; smart renewable energies: advancing AI algorithms in the renewable energy industry; bioinspired applications.

This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in September-October 2023. The papers in this volume were presented at the following workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg.The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2042, which took place in Puerto Varas, Chile, in March 2024. The 44 papers presented in this volume were carefully reviewed and selected from 93 submissions. They were organized in topical sections as follows:Part I: Algorithms and Data Structures; Approximation and Online Algorithms; Complexity Theory; Part II: Combinatorics and Graph Theory; Parameterized Algorithms; Automata Theory and Formal Languages; and Game Theory and Fairness.

The two volume set LNCS 14674 and 14675 constitutes the proceedings of the 10th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2024, which took place in Olhâo, Portugal, during June 4–7, 2024. The 99 full papers presented in these proceedings were carefully reviewed and selected from 193 submissions. They were organized in topical sections as follows: Part I: Machine learning in neuroscience; artificial intelligence in neurophysiology; neuromotor and cognitive disorders; intelligent systems for assessment, treatment, and assistance in early stages of Alzheimer's disease and other dementias; socio-cognitive, affective and physiological computing; affective computing and context awareness in ambientintelliigence; learning tools to lecture; Part II: Machine learning in computer vision and robotics; bio-inspired computing approaches; social and civil engineering through human AI translations; smart renewable energies: advancing AI algorithms in the renewable energy industry; bioinspired applications.

This book fills a vacuum in the market for high-quality information on a VMware vSphere system and offers a thorough introduction to VMware virtualization. Written for novices and those seeking more information about vSphere, this book walks you through its key concepts and technology, such as vSphere infrastructure creation, maintenance, and performance for beginners and advanced users.You'll take a step-by-step approach to guarantee you grasp the fundamental concepts and practical procedures required to construct and manage virtual machines in a VMware vSphere system. You'll explore the key components of vSphere with detail and explanation for each feature, including the hypervisor, networking, storage, and high availability, unravelling their intricacies and highlighting best practices.This book provides full VMware knowledge to develop, set up, and maintain vSphere environments that meet modern computing needs. It also features advanced topics, such as resource optimization, performance monitoring, advanced settings, and automation, empowering you to take your virtualization skills to the next level. VMware vSphere Essentials uses a unique step-by-step instructions designed to provide a high-level understanding, accompanied by illustrative images. What You'll LearnEnhance network efficiency with advanced vSphere LACP setupConfigure and manage virtual machines in vSphereImplement vSphere networking and storage Explore advanced vSphere features, such as DRS, HA, and fault toleranceMaster seamless VM migration techniquesOptimize hardware utilization with direct path I/O passthroughWho This Book Is ForSystem administrators, advanced vSphere administrators, and IT professionals pursuing VMware certifications

This book focuses on and prioritizes a practical approach, minimizing theoretical concepts to deliver algorithms effectively. With deep learning emerging as a vibrant field of research and development in numerous industrial applications, there is a pressing need for accessible resources that provide comprehensive examples and quick guidance. Unfortunately, many existing books on the market tend to emphasize theoretical aspects, leaving newcomers scrambling for practical guidance. This book takes a different approach by focusing on practicality while keeping theoretical concepts to a necessary minimum. The book begins by laying a foundation of basic information on deep learning, gradually delving into the subject matter to explain and illustrate the limitations of existing algorithms. A dedicated chapter is allocated to evaluating the performance of multiple algorithms on specific datasets, highlighting techniques and strategies that can address real-world challenges when deep learning is employed. By consolidating all necessary information into a single resource, readers can bypass the hassle of scouring scattered online sources, gaining a one-stop solution to dive into deep learning for object detection and classification. To facilitate understanding, the book employs a rich array of illustrations, figures, tables, and code snippets. Comprehensive code examples are provided, empowering readers to grasp concepts quickly and develop practical solutions. The book covers essential methods and tools, ensuring a complete and comprehensive coverage that enables professionals to implement deep learning algorithms swiftly and effectively.This book is designed to equip professionals with the necessary skills to thrive in the active field of deep learning, where it has the potential to revolutionize traditional problem-solving approaches. This book serves as a practical companion, enabling readers to grasp concepts swiftly and embark on building practical solutions.