You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.
Knowledge and Technology Integration in Production and Services presents novel application scenarios for balanced distributed and integrated systems based on knowledge and up-to-date technology and provides a great opportunity for discussion of concepts, models, methodologies, technological developments, case studies, new research ideas, and other results among specialists. It comprises the proceedings of the Fifth International Conference on Information Technology for BALANCED AUTOMATION SYSTEMS in Manufacturing and Services (BASYS'02), which was sponsored by the International Federation for Information Processing (IFIP) and held in September 2002 in Cancun, Mexico.
This volume gathers the peer reviewed papers which were presented at the 5th edition of the International Workshop “Service Orientation in Holonic and Multi-agent Man-ufacturing – SOHOMA’15” organized in November 5-6, 2015 by the Institute for Manufacturing (IfM) of the University of Cambridge, UK in collaboration with the CIMR Research Centre in Computer Integrated Manufacturing and Robotics of the University Politehnica of Bucharest, Romania, the LAMIH Laboratory of Industrial and Human Automation Control, Mechanical Engineering and Computer Science of the University of Valenciennes and Hainaut-Cambrésis, France and the CRAN Re-search Centre for Automatic Control, Nancy of the Uni...
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001. The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.
The Industrial Information Technology Handbook focuses on existing and emerging industrial applications of IT, and on evolving trends that are driven by the needs of companies and by industry-led consortia and organizations. Emphasizing fast growing areas that have major impacts on industrial automation and enterprise integration, the Handbook covers topics such as industrial communication technology, sensors, and embedded systems. The book is organized into two parts. Part 1 presents material covering new and quickly evolving aspects of IT. Part 2 introduces cutting-edge areas of industrial IT. The Handbook presents material in the form of tutorials, surveys, and technology overviews, combining fundamentals and advanced issues, with articles grouped into sections for a cohesive and comprehensive presentation. The text contains 112 contributed reports by industry experts from government, companies at the forefront of development, and some of the most renowned academic and research institutions worldwide. Several of the reports on recent developments, actual deployments, and trends cover subject matter presented to the public for the first time.
This book constitutes the refereed proceedings of the 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, held in Costa de Caparica, Portugal, in July 2021.* The 34 papers presented were carefully reviewed and selected from 92 submissions. The papers present selected results produced in engineering doctoral programs and focus on technological innovation for industry and service systems. Research results and ongoing work are presented, illustrated and discussed in the following areas: collaborative networks; smart manufacturing; cyber-physical systems and digital twins; intelligent decision making; smart energy management; communications and electronics; classification systems; smart healthcare systems; and medical devices. *The conference was held virtually. Chapters “Characteristics of Adaptable Control of Production Systems and the Role of Self-organization Towards Smart Manufacturing” and “Predictive Manufacturing: Enabling Technologies, Frameworks and Applications” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
This book constitutes the refereed proceedings of the informatics and cybernetics in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Modern cybernetics and computer engineering papers in the scope of intelligent systems are an essential part of actual research topics. In this book, a discussion of modern algorithms approaches techniques is held.
The research of holonic and agent-based systems is developing very rapidly. The community around this R&D topic is also growing fast - despite the fact that the real-life practical implementations of such systems are still surprisingly rare. H- ever, the managers in different branches of industry feel that the holonic and agent-based systems represent the only way of managing and controlling very c- plex, highly distributed systems exploring vast volumes of accumulated knowledge. The relevant research and development activities gain more and more visible support from both industry as well as public sectors. Quite naturally, the number of scientific events aimed at the subject field is also g...
This monograph is intended for researchers and professionals in the fields of computer science and cybernetics. Nowadays, the areas of computer science and cybernetics (mainly its artificial intelligence branches) are subject to an immense degree of study and are applied in a wide range of technical and industrial projects. The individual chapters of this monograph were developed from a series of invited lectures at the Brno University of Technology in the years 2018 and 2019. The main aim of these lectures was to create an opportunity for students, academics, and professionals to exchange ideas, novel research methods, and new industrial applications in the fields related to soft computing and cybernetics. The authors of these chapters come from around the world and their works cover both new theoretical and application-oriented results from areas such as automation, control, robotics, optimization, statistics, reinforcement learning, image processing, and evolutionary algorithms.
This book constitutes the refereed proceedings of the 2nd International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, held in Copenhagen, Denmark in August 2005. The 23 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on theoretical and methodological issues, algorithms and technologies, implementation and validation aspects, applications, and supply chain management.