Grzegorz Bocewicz - Böcker

Striking a balance between state-of-the-art research and practical applications, this book provides a forum for contributions that cover the main research challenges in the cyclic modeling, development, and validation of concurrently acting distributed production systems: systems that employ multi-assortment production in large quantities, are characterized by gradual changes in their product mix, and exclusively manufacture products in a cyclic manner. Similar issues also arise in computer systems, e.g., embedded systems. Cyclic optimization problems that occur in them are unique and under-researched, but are attracting new interest primarily due to their great practical importance and the difficulty involved in obtaining efficient algorithms for solving specific cases with real constraints arising from manufacturing practice. Addressing these and other topics, the book will be of great interest to researchers in computer science, operations management, and production control, as well as practicing managers and engineers.

Striking a balance between state-of-the-art research and practical applications, this book provides a forum for contributions that cover the main research challenges in the cyclic modeling, development, and validation of concurrently acting distributed production systems: systems that employ multi-assortment production in large quantities, are characterized by gradual changes in their product mix, and exclusively manufacture products in a cyclic manner. Similar issues also arise in computer systems, e.g., embedded systems. Cyclic optimization problems that occur in them are unique and under-researched, but are attracting new interest primarily due to their great practical importance and the difficulty involved in obtaining efficient algorithms for solving specific cases with real constraints arising from manufacturing practice. Addressing these and other topics, the book will be of great interest to researchers in computer science, operations management, and production control, as well as practicing managers and engineers.

This book presents novel approaches to formulate, analyze, and solve problems in the area of distributed service networks, notably based on AI-related methods (parallel/cloud computing, declarative modeling, fuzzy methods).

This book presents novel approaches to formulate, analyze, and solve problems in the area of distributed service networks, notably based on AI-related methods (parallel/cloud computing, declarative modeling, fuzzy methods).

DCAI 2022 is a forum to present applications of innovative techniques for studying and solving complex problems in artificial intelligence and computing areas. The DCAI’22 Special Sessions technical program has selected 22 papers (12 full papers) and, as in past editions, it will be special issues in ranked journals.

Typical examples are the passenger railway system, the manufacturing system, the transportation system, and etc.Considered problems, i.e., the behavior analysis problem, the structure prototyping problem, and the problem of mutual reachability of various SCCMP behaviors, are strongly NP-hard.

Typical examples are the passenger railway system, the manufacturing system, the transportation system, and etc.Considered problems, i.e., the behavior analysis problem, the structure prototyping problem, and the problem of mutual reachability of various SCCMP behaviors, are strongly NP-hard.

The 12th International Symposium on Distributed Computing and Artificial Intelligence 2015 (DCAI 2015) is a forum to present applications of innovative techniques for studying and solving complex problems. The exchange of ideas between scientists and technicians from both the academic and industrial sector is essential to facilitate the development of systems that can meet the ever-increasing demands of today’s society. The present edition brings together past experience, current work and promising future trends associated with distributed computing, artificial intelligence and their application in order to provide efficient solutions to real problems.This symposium is organized by the Osaka Institute of Technology, Qatar University and the University of Salamanca.