This two-volume set of IFIP AICT 617 and 618 constitutes the refereed proceedings of the IFIP WG 8.6 International Working Conference "Re-imagining Diffusion and Adoption of Information Technology and Systems: A Continuing Conversation" on Transfer and Diffusion of IT, TDIT 2020, held in Tiruchirappalli, India, in December 2020.The 86 revised full papers and 36 short papers presented were carefully reviewed and selected from 224 submissions. The papers focus on the re-imagination of diffusion and adoption of emerging technologies. They are organized in the following parts: Part I: artificial intelligence and autonomous systems; big data and analytics; blockchain; diffusion and adoption technology; emerging technologies in e-Governance; emerging technologies in consumer decision making and choice; fin-tech applications; healthcare information technology; and Internet of Things Part II: diffusion of information technology and disaster management; adoption of mobile and platform-based applications; smart cities and digital government; social media; and diffusion of information technology and systems

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 explores the concepts and techniques of IoT, AI, and blockchain. Also discussed is the possibility of applying blockchain for providing security in various domains. The specific highlight of this book is focused on the application of integrated technologies in enhancing data models, better insights and discovery, intelligent predictions, smarter finance, smart retail, global verification, transparent governance, and innovative audit systems. The book allows both practitioners and researchers to share their opinions and recent research in the convergence of these technologies among academicians and industry people. The contributors present their technical evaluation and compare it with existing technologies. Theoretical explanation and experimental case studies related to real-time scenarios are also included. This book pertains to IT professionals, researchers and academicians working on fourth revolution technologies.

This book summarizes the latest research on advanced intelligent systems in the fields of energy and electrical engineering, presented at the second edition of the International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD'2019), held in Marrakech from 8 to 11 July 2019, Morocco. This book is intended for researchers, professionals and anyone interested in the development of advanced intelligent systems in the electrical engineering sector. The solutions featured focus on three main areas: motion control in complex electromechanical systems, including sensorless control; fault diagnosis and fault-tolerant control of electric drives; and new control algorithms for power electronics converters. In addition, the book includes a range of research using new technologies and advanced approaches. Offering a platform for researchers in the field of energy to share their work related to the problem of management and optimization of energy, which is a major current concern, the book mainly focuses on areas that go hand in hand with the Industrial Revolution 4.0, such as solar energy computing systems, smart grids, hydroelectric power computing systems, thermal and recycling computing systems, eco-design intelligent computing systems, renewable energy for IT equipment, modeling green technology, and renewable energy systems in smart cities. The authors of each chapter report the state of the art in the topics addressed and the results of their own research, laboratory experiments, and successful applications in order to share the concept of advanced intelligent systems and appropriate tools and techniques for modeling, storage management, as well as decision support in the field of electrical engineering. Further, the book discusses a number of future trends and the potential for linking control theory, power electronics, artificial neural networks, embedded controllers and signal processing.

This publication presents the latest innovations and achievements of academic communities on Decision Support Systems (DSS). These advances include theory systems, computer-aided methods, algorithms, techniques and applications related to supporting decision making. The aim is to develop approaches for applying information systems technology to increase the effectiveness of decision making in situations where the computer system can support and enhance human judgments in the performance of tasks that have elements which cannot be specified in advance. Also it is intended to improve ways of synthesizing and applying relevant work from resource disciplines to practical implementation of systems that enhance decision support capability.The resource disciplines include: information technology, artificial intelligence, cognitive psychology, decision theory, organizational theory, operations research and modeling. Researchers come from the Operational Research area but also from Decision Theory, Multicriteria Decision Making methodologies, Fuzzy sets and modeling tools. Based on the introduction of Information and Communication Technologies in organizations, the decisional process is evolving from a mono actor to a multi actor situation in which cooperation is a way to make the decision.

The book is based on interdisciplinary research on various aspects and dynamics of human multimodal signal exchanges. It discusses realistic application scenarios where human interaction is the focus, in order to identify new methods for data processing and data flow coordination through synchronization, and optimization of new encoding features combining contextually enacted communicative signals, and develop shared digital data repositories and annotation standards for benchmarking the algorithmic feasibility and successive implementation of believable human-computer interaction (HCI) systems. This book is a valuable resource for a. the research community, PhD students, early stage researchers c. schools, hospitals, and rehabilitation and assisted-living centers e. the ICT market, and representatives from multimedia industries

This book presents the outcomes of the 17th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2018), which was held in Singapore on June 6-8, 2018. The aim of the conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the various fields of computer science and to share their experiences, and to exchange new ideas and information in a meaningful way. The book includes findings on all aspects (theory, applications and tools) of computer and information science and discusses related practical challenges and the solutions adopted to solve them. The conference organizers selected the best papers from those accepted for presentation. The papers were chosen based on review scores submitted by members of the program committee and underwent a further rigorous round of review. From this second round, 13 of the conference's most promising papers were then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will make to the field of computer and information science.

This book addresses the intellectual foundations, function, modeling approaches and complexity of cellular automata; explores cellular automata in combination with genetic algorithms, neural networks and agents; and discusses the applications of cellular automata in economics, traffic and the spread of disease. Pursuing a blended approach between knowledge and philosophy, it assigns equal value to methods and applications.

A classic in underwater robotics. One of the first volumes in the "Springer Tracts in Advanced Robotics" series, it has been a bestseller through the previous three editions. Fifteen years after the publication of the first edition, the fourth edition comes to print. The book addresses the main control aspects in underwater manipulation tasks. With respect to the third edition, it has been revised, extended and some concepts better clustered. The mathematical model with significant impact on the control strategy is discussed. The problem of controlling a 6-degrees-of-freedoms autonomous underwater vehicle is investigated and a survey of fault detection/tolerant strategies for unmanned underwater vehicles is provided. Inverse kinematics, dynamic and interaction control for underwater vehicle-manipulator systems are then discussed. The code used to generate most of the numerical simulations is made available and briefly discussed.

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics. The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.

This book explores Ambient Intelligence as applied to the classroom, while especially focusing on the use of personalized education to optimize the learning process. In the years to come, the dynamics of learning spaces in higher education will need to evolve and adapt to a constantly changing digital society, as learners and educators alike attune their learning competences and teaching skills. Ambient Intelligence is another way that Artificial Intelligence is being utilized in a plethora of real-world situations, amongst which classrooms and other learning spaces offer fitting settings and ideal environments for employing this assistive technology. The book presents a complete and novel approach to deploying the Ambient Intelligent Classroom, based on three interrelated aspects - the Social, the Technological and the Educational, - in order to provide a rich three-dimensional learning environment. This book is intended for education technologists and AI researchers, as well as for those tech-savvy readers interested in applying technology to the future of learning spaces. Educators in particular will find valuable insights and guidelines on how to shape the evolution of their own classroom.

Space and time are inextricably linked. Reasoning about space often involves reasoning about change in spatial configurations. Qualitative spatial information theory encompasses spatial as well as temporal representation and reasoning. Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions is a contribution to the emerging discipline of qualitative spatial information theory within artificial intelligence. This collection of research covers both theory and application-centric research and provides a comprehensive perspective on the emerging area of qualitative spatio-temporal representation and reasoning. This revolutionary new field is increasingly becoming a core issue within mobile computing, GIS/spatial information systems, databases, computer vision as well as knowledge discovery and data mining.

This is the fifth volume of a sub series on Road Vehicle Automation published within the Lecture Notes in Mobility. Like in previous editions, scholars, engineers and analysts from all around the world have contributed chapters covering human factors, ethical, legal, energy and technology aspects related to automated vehicles, as well as transportation infrastructure and public planning. The book is based on the Automated Vehicles Symposium which was hosted by the Transportation Research Board (TRB) and the Association for Unmanned Vehicle Systems International (AUVSI) in San Francisco, California (USA) in July 2017.

The book introduces readers to some of the latest advances in and approaches to decision-making methods based on thermodynamic characters and hesitant fuzzy linguistic preference relations. By investigating the decision-making methods with thermodynamic parameters based on different information representatives, the book offers readers a novel perspective for solving problems under uncertainty. By exploring the consistency and consensus of hesitant fuzzy linguistic preference relations, the book gives readers efficient ways for preference analysis under uncertainty, chiefly intended for researchers and practitioners working in operations research, multi-attribute decision making, preference analysis, etc. The book can also be used as supplementary material for postgraduate and senior-year undergraduate students of the relevant professional institutions.

Cognitive architectures represent an umbrella term to describe ways in which the flow of thought can be engineered towards cerebral and behavioral outcomes. Cognitive Architectures are meant to provide top-down guidance, a knowledge base, interactive heuristics and concrete or fuzzy policies for which the virtual character can utilize for intelligent interaction with his/her/its situated virtual environment. Integrating Cognitive Architectures into Virtual Character Design presents emerging research on virtual character artificial intelligence systems and procedures and the integration of cognitive architectures. Emphasizing innovative methodologies for intelligent virtual character integration and design, this publication is an ideal reference source for graduate-level students, researchers, and professionals in the fields of artificial intelligence, gaming, and computer science.

This book gathers papers addressing state-of-the-art research in all areas of information and communication technologies and their applications in intelligent computing, cloud storage, data mining and software analysis. It presents the outcomes of the Fourth International Conference on Information and Communication Technology for Intelligent Systems, which was held in Ahmedabad, India. Divided into two volumes, the book discusses the fundamentals of various data analysis techniques and algorithms, making it a valuable resource for researchers and practitioners alike.

The book is a compilation of best papers presented at International Conference on Recent Advancement in Computer and Communication (ICRAC 2017) organized by IMPLab Research and Innovation Foundation, Bhopal, India. The book covers all aspects of computers and communication techniques including pervasive computing, distributed computing, cloud computing, sensor and adhoc network, image, text and speech processing, pattern recognition and pattern analysis, digital signal processing, digital electronics, telecommunication technologies, robotics, VLSI technologies, embedded system, satellite communication, digital signal processing, and digital communication. The papers included are original research works of experts from industry, government centers and academic institutions; experienced in engineering, design and research.

The aim of this publication is to identify and apply suitable methods for analysing and predicting the time series of gold prices, together with acquainting the reader with the history and characteristics of the methods and with the time series issues in general. Both statistical and econometric methods, and especially artificial intelligence methods, are used in the case studies. The publication presents both traditional and innovative methods on the theoretical level, always accompanied by a case study, i.e. their specific use in practice. Furthermore, a comprehensive comparative analysis of the individual methods is provided. The book is intended for readers from the ranks of academic staff, students of universities of economics, but also the scientists and practitioners dealing with the time series prediction. From the point of view of practical application, it could provide useful information for speculators and traders on financial markets, especially the commodity markets.

This book presents a novel approach to the formulation and solution of three classes of problems: the fully fuzzy transportation problem, the fully fuzzy transshipment problem, and fully fuzzy solid transportation problem. It points out some limitations of the existing formulations and approaches, indicating some possible, conceptually and algorithmically attractive solutions to alleviate them. In particular, the book describes new conceptual and algorithmic solutions for finding the fuzzy optimal solutions of the single-objective fully fuzzy transportation problems, the fully fuzzy transshipment problems and the fully fuzzy solid transportation problems. Moreover, based on the novel concepts and solutions proposed by combining the concept of a fully fuzzy solid transportation problem and a fully fuzzy transshipment problem, it describes a new class of problems, i.e. the fully fuzzy solid trans-shipment problem, together with its fuzzy linear programming formulation and some methods to find its fuzzy optimal solution. The book offers the readers a timely piece of literature in the field of fuzzy linear programming, and is expected to act as a source of inspiration for future research and applications.

The convergence of Artificial Intelligence (AI) in blockchain creates one of the world's most reliable technology-enabled decision-making systems that is virtually tamper-proof and provides solid insights and decisions. The integration of AI and Blockchain affects many aspects from food supply chain logistics and healthcare record sharing to media royalties and financial security. It is imperative that regulatory standards are emphasized in order to support positive outcomes from the integration of AI in blockchain technology. Regulatory Aspects of Artificial Intelligence on Blockchain provides relevant legal and security frameworks and the latest empirical research findings in blockchain and AI. Through the latest research and standards, the book identifies and offers solutions for overcoming legal consequences that pertain to the application of AI into the blockchain system, especially concerning the usage of smart contracts. The chapters, while investigating the legal and security issues associated with these applications, also include topics such as smart contacts, network vulnerability, cryptocurrency, machine learning, and more. This book is essential for technologists, security analysts, legal specialists, privacy and data security practitioners, IT consultants, standardization professionals, researchers, academicians, and students interested in blockchain and AI from a legal and security viewpoint.

This book presents novel research ideas and offers insights into radar system design, artificial intelligence and signal processing applications. Further, it proposes a new concept of antenna spatial polarization characteristics (SPC), suggesting that the antenna polarization is a function of the spatial direction and providing new ideas for radar signal processing (RSP) and anti-jamming. It also discusses the design of an advanced signal-processing algorithm, and proposes new polarimetric and anti-jamming methods using antenna inherent properties. The book helps readers discover the potential of radar information processing and improve its anti-interference and target identification ability. It is of interest to university researchers, radar engineers and graduate students in computer science and electronics who wish to learn the core principles, methods, algorithms, and applications of RSP.

Artificial intelligence (AI) has become pervasive in most areas of research and applications. While computation can significantly reduce mental efforts for complex problem solving, effective computer algorithms allow continuous improvement of AI tools to handle complexity-in both time and memory requirements-for machine learning in large datasets. Meanwhile, data science is an evolving scientific discipline that strives to overcome the hindrance of traditional skills that are too limited to enable scientific discovery when leveraging research outcomes. Solutions to many problems in medicine and life science, which cannot be answered by these conventional approaches, are urgently needed for society. This edited book attempts to report recent advances in the complementary domains of AI, computation, and data science with applications in medicine and life science. The benefits to the reader are manifold as researchers from similar or different fields can be aware of advanced developments and novel applications that can be useful for either immediate implementations or future scientific pursuit. Features: Considers recent advances in AI, computation, and data science for solving complex problems in medicine, physiology, biology, chemistry, and biochemistry Provides recent developments in three evolving key areas and their complementary combinations: AI, computation, and data science Reports on applications in medicine and physiology, including cancer, neuroscience, and digital pathology Examines applications in life science, including systems biology, biochemistry, and even food technology This unique book, representing research from a team of international contributors, has not only real utility in academia for those in the medical and life sciences communities, but also a much wider readership from industry, science, and other areas of technology and education.

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 presents recent methodological, technological, and experimental developments concerning human-friendly robots and their introduction into everyday life. The book contains a selection of 10 papers presented at the 13th edition of the International Workshop on Human-Friendly Robotics (HFR). The International Workshop on Human-Friendly Robotics (HFR) is an annual meeting that brings together academic scientists, researchers, and research scholars to present their latest, original findings on all aspects concerning human-friendly robotics where safe and dependable machines operate in close proximity to humans or directly interact with them in a wide range of contexts. The 13th edition was organized by the University of Innsbruck and took place in Innsbruck, Austria. The book is primarily intended for robotics researchers and postgraduates which are doing or willing to do research in fields related to human-friendly robotics, including human-robot interaction, robot control, robot learning, and intuitive interfaces. .