Search

This book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020. The 7 extended and revised papers presented were thoroughly reviewed and selected from the 13 submissions. Along with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations.

This book constitutes revised selected papers from the 11th International Workshop on Engineering Multi-Agent Systems, EMAS 2023, which was held in London, UK, during May 29–30, 2023.The 11 full papers and 7 short papers included in this volume were carefully reviewed and selected from a total of 25 submissions. They were organized in topical sections as follows: agent-oriented software engineering; agents and microservices; strategy, reasoning, and planning; engineering domains and applications; agents in hypermedia environments; frameworks, tooling, and devops.

This book constitutes selected revised papers of the 15th International Conference, NooJ 2021, held in Besançon, France, in June 2021. Due to the COVID-19 pandemic the conference was held online. NooJ is a linguistic development environment that allows linguists to formalize several levels of linguistic phenomena. NooJ provides linguists with tools to develop dictionaries, regular grammars, context-free grammars, context-sensitive grammars and unrestricted grammars as well as their graphical equivalent to formalize each linguistic phenomenon. The 20 full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in the following topics:​ linguistic formalization and analysis, digital humanities and teaching, natural language processing applications.

This book constitutes the refereed proceedings of the 7th China Conference on Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy, CCKS 2022, in Qinhuangdao, China, August 24–27, 2022.The 15 full papers and 2 short papers included in this book were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: knowledge representation and reasoning; knowledge acquisition and knowledge base construction; linked data, knowledge integration, and knowledge graph storage managements; natural language understanding and semantic computing; knowledge graph applications; and knowledge graph open resources.

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

This book constitutes the refereed proceedings of the 20th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2024, held in Corfu, Greece, during June 27–30, 2024. The 100 full papers and 8 short papers included in this book were carefully reviewed and selected from 213 submissions. The diverse nature of papers presented demonstrates the vitality of AI algorithms and approaches. It certainly proves the very wide range of AI applications as well.

This book constitutes the refereed proceedings of the 20th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2024, held in Corfu, Greece, during June 27–30, 2024. The 100 full papers and 8 short papers included in this book were carefully reviewed and selected from 213 submissions. The diverse nature of papers presented demonstrates the vitality of AI algorithms and approaches. It certainly proves the very wide range of AI applications as well.

This book constitutes the refereed proceedings of the 20th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2024, held in Corfu, Greece, during June 27–30, 2024. The 100 full papers and 8 short papers included in this book were carefully reviewed and selected from 213 submissions. The diverse nature of papers presented demonstrates the vitality of AI algorithms and approaches. It certainly proves the very wide range of AI applications as well.

This book constitutes the refereed proceedings of the 20th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2024, held in Corfu, Greece, during June 27–30, 2024. The 100 full papers and 8 short papers included in this book were carefully reviewed and selected from 213 submissions. The diverse nature of papers presented demonstrates the vitality of AI algorithms and approaches. It certainly proves the very wide range of AI applications as well.

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 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

This volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management.

This book constitutes the refereed proceedings of the 25th International Computer Symposium on New Trends in Computer Technologies and Applications, ICS 2022, which took place in Taoyuan, Taiwan, in December 2022. ICS is one of the largest joint international IT symposia held in Taiwan. Founded in 1973, it is intended to provide a forum for researchers, educators, and professionals to exchange their discoveries and practices, and to explore future trends and applications in computer technologies. The biannual symposium offers a great opportunity to share research experiences and to discuss potential new trends in the IT industry.The 58 full papers and one invited paper presented in this volume were carefully reviewed and selected from 137 submissions. The papers have been organized in the following topical sections: Invited Paper; Algorithms, Bioinformatics, and Computation Theory; Cloud Computing and Big Data; Computer Vision and Image Processing; Cryptographyand Information Security; Electronics and Information Technology; Mobile Computation and Wireless Communication; Ubiquitous Cybersecurity and Forensics.

This book constitutes the refereed deadline proceedings of the 28th International Conference on Graph-Based Representation and Reasoning, ICCS 2023, held in Berlin, Germany, during September 11–13, 2023.The 9 full papers, 5 short papers and 4 Posters are included in this book were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: Complexity and Database Theory, Formal Concept Analysis: Theoretical Advances, Formal Concept Analysis: Applications, Modelling and Explanation, Semantic Web and Graphs, Posters.

This book constitutes the proceedings of the 26th Annual Conference on Research in Computational Molecular Biology, RECOMB 2022, held in San Diego, CA, USA in May 2022. The 17 regular and 23 short papers presented were carefully reviewed and selected from 188 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.

This book constitutes the proceedings of the 27th International Conference on Conceptual Structures, ICCS 2022, held virtually in September 2022.The 7 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The papers focus on the representation of and reasoning with conceptual structures in a variety of contexts.

This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022. The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions.

This book constitutes the proceedings of the First International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2024, which took place in Cádiz, Spain, during September 9-13, 2024. The conference is an amalgamation of the 18th International Conference on Formal Concept Analysis (ICFCA); the 17th International Conference on Concept Lattices and Their Applications (CLA); and the 28th International Conference on Conceptual Structures (ICCS). The 18 full and 4 short papers included in this book were carefully reviewed and selected from 38 submissions. They were organized in topical sections as follows: Theory; algorithms, methods, and resources; 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.

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.

This book constitutes the refereed proceedings of the 16th International Conference on Cellular Automata for Research and Industry, Cellular Automata, ACRI 2024, held in Florence, Italy, in September 9–11, 2024. The 20 full papers presented were carefully reviewed and selected from 33 submissions. They were organized in the following topical sections: theory, mathematical and physical models; computational aspects and applications; social and biological models.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)- - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)- - Second International Workshop on Security and Safety Interactions (SENSEI 2023)- - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

This book constitutes the refereed proceedings of the 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, which took place in Geneva, Switzerland, in September 2022.The 31 full papers presented in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections named: Theory; Modelling and simulation physical systems and phenomena; Cellular automata and spreading dynamics; Crowds, pedestrian and traffic dynamics; Other studies on cellular automata.

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions. · 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) · 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022) · 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022) · 1st International Workshop on Security and Safety Interaction (SENSEI 2022) · 3rd International Workshop on Underpinningsfor Safe Distributed Artificial Intelligence (USDAI 2022) · 5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)

The two volume set LNCS 13258 and 13259 constitutes the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, held in Puerto de la Cruz, Tenerife, Spain in May – June 2022. The total of 121 contributions was carefully reviewed and selected from 203 submissions. The papers are organized in two volumes, with the following topical sub-headings: Part I: Machine Learning in Neuroscience; Neuromotor and Cognitive Disorders; Affective Analysis; Health Applications Part II: Affective Computing in Ambient Intelligence; Bioinspired Computing Approaches; Machine Learning in Computer Vision and Robot; Deep Learning; Artificial Intelligence Applications.

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.

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

The 5G technology has been commercialized worldwide and is expected to provide superior performance with enhanced mobile broadband, ultra-low latency transmission, and massive IoT connections. Meanwhile, the edge computing paradigm gets popular to provide distributed computing and storage resources in proximity to the users. As edge services and applications prosper, 5G and edge computing will be tightly coupled and continuously promote each other forward. Embracing this trend, however, mobile users, infrastructure providers, and service providers are all faced with the energy dilemma. On the user side, battery-powered mobile devices are much constrained by battery life, whereas mobile platforms and apps nowadays are usually power-hungry. At the infrastructure and service provider side, the energy cost of edge facilities accounts for a large proportion of operating expenses and has become a huge burden. This book provides a collection of most recent attempts to tackle the energy issues in mobile edge computing from new and promising perspectives. For example, the book investigates the pervasive low-battery anxiety among modern mobile users and quantifies the anxiety degree and likely behavior concerning the battery status. Based on the quantified model, a low-power video streaming solution is developed accordingly to save mobile devices'energy and alleviate users'low-battery anxiety. In addition to energy management for mobile users, the book also looks into potential opportunities to energy cost saving and carbon emission reduction at edge facilities, particularly the 5G base stations and geo-distributed edge datacenters.