Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book, part of the 'Studies in Systems, Decision and Control' series, presents a comprehensive exploration of declarative models for systems of cyclic concurrent multimodal processes (SCCMP). The author, Grzegorz Bocewicz, delves into the complexities and practical applications of cyclic scheduling problems, particularly those characterized by periodic behaviors in systems such as transportation networks. Through a detailed examination of SCCMP structures and behaviors, the book addresses key challenges in cyclic scheduling, including resource conflicts and system reachability. It proposes novel declarative modeling approaches to overcome these challenges, presenting them as constraint satisfaction problems. This work is intended for researchers and professionals in systems engineering, computer science, and related fields, offering insights into efficient methods for analyzing and synthesizing the structure and behavior of complex systems.

Mathematics --- Classical mechanics. Field theory --- Applied physical engineering --- Engineering sciences. Technology --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- neuronale netwerken --- fuzzy logic --- ICT (informatie- en communicatietechnieken) --- cybernetica --- economie --- wiskunde --- AI (artificiële intelligentie) --- ingenieurswetenschappen --- dynamica --- Constraint programming (Computer science) --- Scheduling.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Methodology of economics --- Electrical engineering --- Production management --- Business management --- Business economics --- Artificial intelligence. Robotics. Simulation. Graphics --- neuronale netwerken --- fuzzy logic --- cybernetica --- financieel management --- productie --- KI (kunstmatige intelligentie) --- automatische regeltechniek --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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). Distributed service networks are an important area of research and applications. The methods presented are meant to integrate both emerging and existing concepts and approaches for different types of production flows through synchronizations. An integration of logistics services (e.g., supply chains and projects portfolios), public and multimodal transport, traffic flow congestion management in ad hoc networks, design of high-performance cloud data centers, and milk-run distribution networks are shown as illustrations for the methods proposed. The book is of interest to researchers and practitioners in computer science, operations management, production control, and related fields. .

Electrical engineering. --- Computer organization. --- Computational intelligence. --- Communications Engineering, Networks. --- Computer Systems Organization and Communication Networks. --- Computational Intelligence. --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- Organization, Computer --- Electronic digital computers --- Electric engineering --- Engineering --- System analysis --- Data processing.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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). Distributed service networks are an important area of research and applications. The methods presented are meant to integrate both emerging and existing concepts and approaches for different types of production flows through synchronizations. An integration of logistics services (e.g., supply chains and projects portfolios), public and multimodal transport, traffic flow congestion management in ad hoc networks, design of high-performance cloud data centers, and milk-run distribution networks are shown as illustrations for the methods proposed. The book is of interest to researchers and practitioners in computer science, operations management, production control, and related fields. .

Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- neuronale netwerken --- fuzzy logic --- cybernetica --- informatica --- KI (kunstmatige intelligentie) --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Engineering. --- Computational Intelligence. --- Artificial Intelligence (incl. Robotics). --- Artificial intelligence. --- Ingénierie --- Intelligence artificielle --- Engineering & Applied Sciences --- Computer Science --- Electronic data processing --- Artificial intelligence --- Distributed processing --- Computational intelligence. --- Intelligence, Computational --- Soft computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Construction --- Industrial arts --- Technology --- Artificial Intelligence.