This book gathers selected papers presented at the conference "Advances in 3D Image and Graphics Representation, Analysis, Computing and Information Technology," one of the first initiatives devoted to the problems of 3D imaging in all contemporary scientific and application areas. The aim of the conference was to establish a platform for experts to combine their efforts and share their ideas in the related areas in order to promote and accelerate future development. This second volume discusses algorithms and applications, focusing mainly on the following topics: 3D printing technologies; naked, dynamic and auxiliary 3D displays; VR/AR/MR devices; VR camera technologies; microprocessors for 3D data processing; advanced 3D computing systems; 3D data-storage technologies; 3D data networks and technologies; 3D data intelligent processing; 3D data cryptography and security; 3D visual quality estimation and measurement; and 3D decision support and information systems.

This monograph presents new theories and methods for fixed-time cooperative control of multi-agent systems. Fundamental concepts of fixed-time stability and stabilization are introduced with insightful understanding. This book presents solutions for several problems of fixed-time cooperative control using systematic design methods. The book compares fixed-time cooperative control with asymptotic cooperative control, demonstrating how the former can achieve better closed-loop performance and disturbance rejection properties. It also discusses the differences from finite-time control, and shows how fixed-time cooperative control can produce the faster rate of convergence and provide an explicit estimate of the settling time independent of initial conditions. This monograph presents multiple applications of fixed-time control schemes, including to distributed optimization of multi-agent systems, making it useful to students, researchers and engineers alike.

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness and completeness theorems with respect to the minimal changes in these logics. To make R-calculus computable, an approximate R-calculus is given which uses finite injury priority method in recursion theory. Moreover, two applications of R-calculus are given to default theory and semantic inheritance networks. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

This book consists of select proceedings of the International Conference on Functional Material, Manufacturing and Performances (ICFMMP) 2019, and presents latest research on using the combined intelligence of people, processes, and machines to impact the overall economics of manufacturing. The book focuses on optimizing manufacturing resources, improving business value and safety, and reducing waste - both on the floor and in back-office operations. It highlights the applications of the latest manufacturing execution system (MES), intelligent devices, machine-to-machine communication, and data analysis for the production lines and facilities. This book will be useful to manufacturers of finished goods and of sub-assemblies in the automotive, agriculture, and construction equipment sector. It will also provide solutions to make production strategies exceptional and can be a useful reference for beginners, researchers, and professionals interested in intelligent manufacturing technologies.

These proceedings present selected research papers from CISC'18, held in Wenzhou, China. The topics include Multi-Agent Systems, Networked Control Systems, Intelligent Robots, Complex System Theory and Swarm Behavior, Event-Triggered Control and Data-Driven Control, Robust and Adaptive Control, Big Data and Brain Science, Process Control, Nonlinear and Variable Structure Control, Intelligent Sensor and Detection Technology, Deep learning and Learning Control Guidance, Navigation and Control of Flight Vehicles, and so on. Engineers and researchers from academia, industry, and government can get an insight view of the solutions combining ideas from multiple disciplines in the field of intelligent systems.

This book is related to the educational networking (EN) domain, an incipient but disrupting trend engaged in extending and improving formal and informal academic practices by means of the support given by online social networks (OSNs) and Web 2.0 technologies. With the aim of contributing to spread the knowledge and development of the arena, this volume introduces ten recent works, whose content meets the quality criteria of formal scientific labor that is worthy to be published according to following five categories: * Reviews: gather three overviews that focus on K-12 EN practice, mixed methods approaches using social network analysis for learning and education, and a broad landscape of the recent accomplished labor. * Conceptual: presents a work where a theoretical framework is proposed to overcome barriers that constrain the use of OSNs for educational purposes by means of a Platform Adoption Model. * Projects: inform a couple of initiatives, where one fosters groups and networks for teachers involved in distance education, and the other encourages students the author academic videos to improve motivation and engagement. * Approaches: offer three experiences related to: Wiki and Blog usage for assessment affairs, application of a method that encourages OSNs users to actively post and repost valuable information for the learning community, and the recreation of learning spaces in context-aware to boost EN. * Study: applies an own method to ranking Mexican universities based on maximal clique, giving as a result a series of complex visual networks that characterize the tides among diverse features that describe academic institutions practice. In resume, this volume offers a fresh reference of an emergent field that contributes to spreading and enhancing the provision of education in classrooms and online settings through social constructivism and collaboration policy. Thus, it is expected the published content encourages researchers, practitioners, professors, and postgraduate students to consider their future contribution to extent the scope and impact of EN in formal and informal teaching and learning endeavors.

This book is devoted to the development of complex methods and means of their implementation with using UAVs aimed for improving the safety and efficiency of the energy system. The scientific problem of complex automated monitoring of the energy system objects with using UAVs has been solved, including the control of its elements in the visible and infrared range, the acoustic spectrum, as well as by the levels of the electric field strength. The scientific foundations of mathematical, physical and statistical modeling of electromagnetic and acoustic fields in the elements of electric power objects of complex spatial configurations have been created, taking into account the possibility of the appearance of such nonlinear processes as corona discharges and breakdowns at long air gaps. Improved methods are proposed for determining the exact location of accidents on power lines using UAVs on the basis of the developed mathematical models and the obtained analytical expressions. Conceptual foundations for the creation of methods and means for monitoring the state of insulation, lightning protection systems and the integrity of the structures of electric power facilities with using UAVs have been formed.

This book constitutes the refereed proceedings of the 17th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2021, held virtually and in Hersonissos, Crete, Greece, in June 2021. The 50 full papers and 11 short papers presented were carefully reviewed and selected from 113 submissions. They cover a broad range of topics related to technical, legal, and ethical aspects of artificial intelligence systems and their applications and are organized in the following sections: adaptive modeling/ neuroscience; AI in biomedical applications; AI impacts/ big data; automated machine learning; autonomous agents; clustering; convolutional NN; data mining/ word counts; deep learning; fuzzy modeling; hyperdimensional computing; Internet of Things/ Internet of energy; machine learning; multi-agent systems; natural language; recommendation systems; sentiment analysis; and smart blockchain applications/ cybersecurity. Chapter "Improving the Flexibility of Production Scheduling in Flat Steel Production Through Standard and AI-based Approaches: Challenges and Perspective" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book provides an interdisciplinary approach to complexity, combining ideas from areas like complex networks, cellular automata, multi-agent systems, self-organization and game theory. The first part of the book provides an extensive introduction to these areas, while the second explores a range of research scenarios. Lastly, the book presents CellNet, a software framework that offers a hands-on approach to the scenarios described throughout the book. In light of the introductory chapters, the research chapters, and the CellNet simulating framework, this book can be used to teach undergraduate and master's students in disciplines like artificial intelligence, computer science, applied mathematics, economics and engineering. Moreover, the book will be particularly interesting for Ph.D. and postdoctoral researchers seeking a general perspective on how to design and create their own models.

This proceeding features papers discussing big data innovation for sustainable cognitive computing. The papers feature details on cognitive computing and its self-learning systems that use data mining, pattern recognition and natural language processing (NLP) to mirror the way the human brain works. This international conference focuses on cognitive computing technologies, from knowledge representation techniques and natural language processing algorithms to dynamic learning approaches. Topics covered include Data Science for Cognitive Analysis, Real-Time Ubiquitous Data Science, Platform for Privacy Preserving Data Science, and Internet-Based Cognitive Platform. The 2nd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing (BDCC 2019) took place in Coimbatore, India on December 12-13, 2019. Contains proceedings from 2nd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing (BDCC 2019), Coimbatore, India, December 12-13, 2019; Features topics ranging from Data Science for Cognitive Analysis to Internet-Based Cognitive Platforms; Includes contributions from researchers, academics, and professionals from around the world.

This book reflects the latest research trends, methods and experimental results in the field of electrical and information technologies for rail transportation, which covers abundant state-of-the-art research theories and ideas. As a vital field of research that is highly relevant to current developments in a number of technological domains, the subjects it covered include intelligent computing, information processing, Communication Technology, Automatic Control, etc. The objective of the proceedings is to provide a major interdisciplinary forum for researchers, engineers, academicians as well as industrial professionals to present the most innovative research and development in the field of rail transportation electrical and information technologies. Engineers and researchers in academia, industry, and the government will also explore an insight view of the solutions that combine ideas from multiple disciplines in this field. The volumes serve as an excellent reference work for researchers and graduate students working on rail transportation, electrical and information technologies.

This book presents selected research papers from CISC'17, held in MudanJiang, China. The topics covered include Multi-agent system, Evolutionary Computation, Artificial Intelligence, Complex systems, Computation intelligence and soft computing, Intelligent control, Advanced control technology, Robotics and applications, Intelligent information processing, Iterative learning control, Machine Learning, and etc. Engineers and researchers from academia, industry, and government can gain valuable insights into solutions combining ideas from multiple disciplines in the field of intelligent systems.

Many everyday dilemmas existing in the real world are complex and difficult to solve or fix, ranging from tax evasion to dispatching taxis to scheduling patient visits in hospitals, and much more. Within these complicated problems, however, lies the potential to be simplified or solved by intelligent agents and multi-agent systems. Theoretical and Practical Frameworks for Agent-Based Systems tackles these real problems and many more, bringing the theoretical research of intelligent agents to researchers and practitioners in academia, government, and innumerable industries. Professionals and experts in every field ranging from education to healthcare and beyond will find this reference to be essential in the understanding of agents, and researchers currently working in the field of intelligent agents will benefit from this exciting examination of practical applications.

Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical processes. Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we rely on them for safety-critical tasks. This textbook teaches undergraduate students the core principles behind CPSs. It shows them how to develop models and controls; identify safety specifications and critical properties; reason rigorously about CPS models; leverage multi-dynamical systems compositionality to tame CPS complexity; identify required control constraints; verify CPS models of appropriate scale in logic; and develop an intuition for operational effects. The book is supported with homework exercises, lecture videos, and slides.

This book introduces readers to the background, general framework, main operators, and other basic characteristics of biogeography-based optimization (BBO), which is an emerging branch of bio-inspired computation. In particular, the book presents the authors' recent work on improved variants of BBO, hybridization of BBO with other algorithms, and the application of BBO to a variety of domains including transportation, image processing, and neural network learning. The content will help to advance research into and application of not only BBO but also the whole field of bio-inspired computation. The algorithms and applications are organized in a step-by-step manner and clearly described with the help of pseudo-codes and flowcharts. The readers will learn not only the basic concepts of BBO but also how to apply and adapt the algorithms to the engineering optimization problems they actually encounter.

This book covers connectivity and edge computing solutions for representative Internet of Things (IoT) use cases, including industrial IoT, rural IoT, Internet of Vehicles (IoV), and mobile virtual reality (VR). Based on their unique characteristics and requirements, customized solutions are designed with targets such as supporting massive connections or seamless mobility and achieving low latency or high energy efficiency. Meanwhile, the book highlights the role of artificial intelligence (AI) in future IoT networks and showcases AI-based connectivity and edge computing solutions. The solutions presented in this book serve the overall purpose of facilitating an increasingly connected and intelligent world. The potential benefits of the solutions include increased productivity in factories, improved connectivity in rural areas, enhanced safety for vehicles, and enriched entertainment experiences for mobile users. Featuring state-of-the-art research in the IoT field, this book can help answer the question of how to connect billions of diverse devices and enable seamless data collection and processing in future IoT. The content also provides insights regarding the significance of customizing use case-specific solutions as well as approaches of using various AI methods to empower IoT. This book targets researchers and graduate students working in the areas of electrical engineering, computing engineering, and computer science as a secondary textbook or reference. Professionals in industry who work in the field of IoT will also find this book useful.

Mapping and localization are two essential tasks in autonomous mobile robotics. Due to the unavoidable noise that sensors present, mapping algorithms usually rely on loop closure detection techniques, which entail the correct identification of previously seen places to reduce the uncertainty of the resulting maps. This book deals with the problem of generating topological maps of the environment using efficient appearance-based loop closure detection techniques. Since the quality of a visual loop closure detection algorithm is related to the image description method and its ability to index previously seen images, several methods for loop closure detection adopting different approaches are developed and assessed. Then, these methods are used in three novel topological mapping algorithms. The results obtained indicate that the solutions proposed attain a better performance than several state-of-the-art approaches. To conclude, given that loop closure detection is also a key component in other research areas, a multi-threaded image mosaicing algorithm is proposed. This approach makes use of one of the loop closure detection techniques previously introduced in order to find overlapping pairs between images and finally obtain seamless mosaics of different environments in a reasonable amount of time.

This book offers a detailed description of the histogram probabilistic multi-hypothesis tracker (H-PMHT), providing an accessible and intuitive introduction to the mathematical mechanics of H-PMHT as well as a definitive reference source for the existing literature on the method. Beginning with basic concepts, the authors then move on to address extensions of the method to a broad class of tracking problems. The latter chapters present applications using recorded data from experimental radar, sonar and video sensor systems. The book is supplemented with software that both furthers readers' understanding and acts as a toolkit for those who wish to apply the methods to their own problems.

This book focuses on the design, implementation and applications of embedded systems and advanced industrial controls with microcontrollers. It combines classical and modern control theories as well as practical control programming codes to help readers learn control techniques easily and effectively. The book covers both linear and nonlinear control techniques to help readers understand modern control strategies. The author provides a detailed description of the practical considerations and applications in linear and nonlinear control systems. They concentrate on the ARM (R) Cortex (R)-M4 MCU system built by Texas Instruments (TM) called TM4C123GXL, in which two ARM (R) Cortex (R)-M4 MCUs, TM4C123GH6PM, are utilized. In order to help the reader develop and build application control software for a specified microcontroller unit. Readers can quickly develop and build their applications by using sample project codes provided in the book to access specified peripherals. The book enables readers to transfer from one interfacing protocol to another, even if they only have basic and fundamental understanding and basic knowledge of one interfacing function. Classical and Modern Controls with Microcontrollers is a powerful source of information for control and systems engineers looking to expand their programming knowledge of C, and of applications of embedded systems with microcontrollers. The book is a textbook for college students majored in CE, EE and ISE to learn and study classical and modern control technologies. The book can also be adopted as a reference book for professional programmers working in modern control fields or related to intelligent controls and embedded computing and applications. Advances in Industrial Control reports and encourages the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.

This book gathers selected papers presented at 3rd International Conference on Communication and Computational Technologies (ICCCT 2021), jointly organized in virtual format by Rajasthan Institute of Engineering and Technology, Jaipur and Rajasthan Technical University Kota in association with Soft Computing Research Society, during 27-28 February 2021. The volume is a collection of state-of-the-art research work in the cutting-edge technologies related to communication and intelligent systems. The topics covered are algorithms and applications of intelligent systems, informatics and applications, and communication and control systems.

This book includes research articles and expository papers on the applications of artificial intelligence and big data analytics to battle the pandemic. In the context of COVID-19, this book focuses on how big data analytic and artificial intelligence help fight COVID-19. The book is divided into four parts. The first part discusses the forecasting and visualization of the COVID-19 data. The second part describes applications of artificial intelligence in the COVID-19 diagnosis of chest X-Ray imaging. The third part discusses the insights of artificial intelligence to stop spread of COVID-19, while the last part presents deep learning and big data analytics which help fight the COVID-19.

This book presents high-quality research papers presented at the International Conference on Soft Computing for Intelligent Systems (SCIS 2020), held during 18-20 December 2020 at University Institute of Engineering and Technology, Kurukshetra University, Kurukshetra, Haryana, India. The book encompasses all branches of artificial intelligence, computational sciences and machine learning which is based on computation at some level such as AI-based Internet of things, sensor networks, robotics, intelligent diabetic retinopathy, intelligent cancer genes analysis using computer vision, evolutionary algorithms, fuzzy systems, medical automatic identification intelligence system and applications in agriculture, health care, smart grid and instrumentation systems. The book is helpful for educators, researchers and developers working in the area of recent advances and upcoming technologies utilizing computational sciences in signal processing, imaging, computing, instrumentation, artificial intelligence and their applications.