RDF-based knowledge graphs require additional formalisms to be fully context-aware, which is presented in this book. This book also provides a collection of provenance techniques and state-of-the-art metadata-enhanced, provenance-aware, knowledge graph-based representations across multiple application domains, in order to demonstrate how to combine graph-based data models and provenance representations. This is important to make statements authoritative, verifiable, and reproducible, such as in biomedical, pharmaceutical, and cybersecurity applications, where the data source and generator can be just as important as the data itself. Capturing provenance is critical to ensure sound experimental results and rigorously designed research studies for patient and drug safety, pathology reports, and medical evidence generation. Similarly, provenance is needed for cyberthreat intelligence dashboards and attack maps that aggregate and/or fuse heterogeneous data from disparate data sources to differentiate between unimportant online events and dangerous cyberattacks, which is demonstrated in this book. Without provenance, data reliability and trustworthiness might be limited, causing data reuse, trust, reproducibility and accountability issues. This book primarily targets researchers who utilize knowledge graphs in their methods and approaches (this includes researchers from a variety of domains, such as cybersecurity, eHealth, data science, Semantic Web, etc.). This book collects core facts for the state of the art in provenance approaches and techniques, complemented by a critical review of existing approaches. New research directions are also provided that combine data science and knowledge graphs, for an increasingly important research topic.

This book focuses on distributed and economic Model Predictive Control (MPC) with applications in different fields. MPC is one of the most successful advanced control methodologies due to the simplicity of the basic idea (measure the current state, predict and optimize the future behavior of the plant to determine an input signal, and repeat this procedure ad infinitum) and its capability to deal with constrained nonlinear multi-input multi-output systems. While the basic idea is simple, the rigorous analysis of the MPC closed loop can be quite involved. Here, distributed means that either the computation is distributed to meet real-time requirements for (very) large-scale systems or that distributed agents act autonomously while being coupled via the constraints and/or the control objective. In the latter case, communication is necessary to maintain feasibility or to recover system-wide optimal performance. The term economic refers to general control tasks and, thus, goes beyond the typically predominant control objective of set-point stabilization. Here, recently developed concepts like (strict) dissipativity of optimal control problems or turnpike properties play a crucial role. The book collects research and survey articles on recent ideas and it provides perspectives on current trends in nonlinear model predictive control. Indeed, the book is the outcome of a series of six workshops funded by the German Research Foundation (DFG) involving early-stage career scientists from different countries and from leading European industry stakeholders.

The research presented in this book shows how combining deep neural networks with a special class of fuzzy logical rules and multi-criteria decision tools can make deep neural networks more interpretable - and even, in many cases, more efficient. Fuzzy logic together with multi-criteria decision-making tools provides very powerful tools for modeling human thinking. Based on their common theoretical basis, we propose a consistent framework for modeling human thinking by using the tools of all three fields: fuzzy logic, multi-criteria decision-making, and deep learning to help reduce the black-box nature of neural models; a challenge that is of vital importance to the whole research community.

This book explores the genesis of ransomware and how the parallel emergence of encryption technologies has elevated ransomware to become the most prodigious cyber threat that enterprises are confronting. It also investigates the driving forces behind what has been dubbed the 'ransomware revolution' after a series of major attacks beginning in 2013, and how the advent of cryptocurrencies provided the catalyst for the development and increased profitability of ransomware, sparking a phenomenal rise in the number and complexity of ransomware attacks. This book analyzes why the speed of technology adoption has been a fundamental factor in the continued success of financially motivated cybercrime, and how the ease of public access to advanced encryption techniques has allowed malicious actors to continue to operate with increased anonymity across the internet. This anonymity has enabled increased collaboration between attackers, which has aided the development of new ransomware attacks, and led to an increasing level of technical complexity in ransomware attacks. This book highlights that the continuous expansion and early adoption of emerging technologies may be beyond the capacity of conventional risk managers and risk management frameworks. Researchers and advanced level students studying or working in computer science, business or criminology will find this book useful as a reference or secondary text. Professionals working in cybersecurity, cryptography, information technology, financial crime (and other related topics) will also welcome this book as a reference.

This book covers some selected problems of the descriptor integer and fractional order positive continuous-time and discrete-time systems. The book consists of 3 chapters, 4 appendices and the list of references. Chapter 1 is devoted to descriptor integer order continuous-time and discrete-time linear systems. In Chapter 2, descriptor fractional order continuous-time and discrete-time linear systems are considered. Chapter 3 is devoted to the stability of descriptor continuous-time and discrete-time systems of integer and fractional orders. In Appendix A, extensions of the Cayley-Hamilton theorem for descriptor linear systems are given. Some methods for computation of the Drazin inverse are presented in Appendix B. In Appendix C, some basic definitions and theorems on Laplace transforms and Z-transforms are given. Some properties of the nilpotent matrices are given in Appendix D.

This monograph introduces breakthrough control algorithms for partial differential equation models with moving boundaries, the study of which is known as the Stefan problem. The algorithms can be used to improve the performance of various processes with phase changes, such as additive manufacturing. Using the authors' innovative design solutions, readers will also be equipped to apply estimation algorithms for real-world phase change dynamics, from polar ice to lithium-ion batteries. A historical treatment of the Stefan problem opens the book, situating readers in the larger context of the area. Following this, the chapters are organized into two parts. The first presents the design method and analysis of the boundary control and estimation algorithms. Part two then explores a number of applications, such as 3D printing via screw extrusion and laser sintering, and also discusses the experimental verifications conducted. A number of open problems and provided as well, offering readers multiple paths to explore in future research. Materials Phase Change PDE Control & Estimation is ideal for researchers and graduate students working on control and dynamical systems, and particularly those studying partial differential equations and moving boundaries. It will also appeal to industrial engineers and graduate students in engineering who are interested in this area.

Despite their widespread impact, computer networks that provide the foundation for the World Wide Web and Internet have many limitations. These networks are vulnerable to security threats, break easily, and have a limited ability to respond to changing conditions. Recent research on overcoming these limitations has used biological systems for inspiration, resulting in the development of biologically-inspired computer networks. These networks are designed and developed using principles that are commonly found in natural and biological systems. Biologically Inspired Networking and Sensing: Algorithms and Architectures offers current perspectives and trends in biologically-inspired networking, exploring various approaches aimed at improving network paradigms. Research contained within this compendium of papers and surveys introduces studies in the fields of communication networks, performance modeling, and distributed computing, as well as new advances in networking.

This book introduces a passivity-based approach which simplifies the controller design task for AC-motors. It presents the application of this novel approach to several classes of AC motors, magnetic levitation systems, microelectromechanical systems (MEMS) and rigid robot manipulators actuated by AC motors. The novel passivity-based approach exploits the fact that the natural energy exchange existing between the mechanical and the electrical subsystems allows the natural cancellation of several high order terms during the stability analysis. This allows the authors to present some of the simplest controllers proposed in scientific literature, but provided with formal stability proofs. These simple control laws will be of use to practitioners as they are robust with respect to numerical errors and noise amplification, and are provided with tuning guidelines. Energy-based Control of Electromechanical Systems is intended for both theorists and practitioners. Therefore, the stability proofs are not based on abstract mathematical ideas but Lyapunov stability theory. Several interpretations of the proofs are given along the body of the book using simple energy ideas and the complete proofs are included in appendices. The complete modeling of each motor studied is also presented, allowing for a thorough understanding. 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 highlights research and survey articles dedicated to big data techniques for cyber-physical system (CPS), which addresses the close interactions and feedback controls between cyber components and physical components. The book first discusses some fundamental big data problems and solutions in large scale distributed CPSs. The book then addresses the design and control challenges in multiple CPS domains such as vehicular system, smart city, smart building, and digital microfluidic biochips. This book also presents the recent advances and trends in the maritime simulation system and the flood defence system.

This comprehensive book is primarily intended for researchers, engineers, mathematicians and computer security specialists who are interested in multimedia security, steganography, encryption, and related research fields. It is also a valuable reference resource for postgraduate and senior undergraduate students who are studying multimedia, multimedia security, and information security, as well as for professionals in the IT industry.

This volume constitutes the refereed and revised post-conference proceedings of the 5th IFIP WG 5.15 International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2020, in Sofia, Bulgaria, in December 2020.* The 18 full papers and 6 short papers presented were carefully reviewed and selected from 52 submissions. The papers focus on various aspects and challenges of coping with disaster risk reduction. The main topics include areas such as natural disasters, remote sensing, big data, cloud computing, Internet of Things, mobile computing, emergency management, disaster information processing, disaster risk assessment and management. *The conference was held virtually.

This thesis focuses on experimental studies on collective motion using swimming bacteria as model active-matter systems. It offers comprehensive reviews of state-of-the-art theories and experiments on collective motion from the viewpoint of nonequilibrium statistical physics. The author presents his experimental studies on two major classes of collective motion that had been well studied theoretically. Firstly, swimming filamentous bacteria in a thin fluid layer are shown to exhibit true, long-range orientational order and anomalously strong giant density fluctuations, which are considered universal and landmark signatures of collective motion by many numerical and theoretical works but have never been observed in real systems. Secondly, chaotic bacterial turbulence in a three-dimensional dense suspension without any long-range order as described in the first half is demonstrated to be capable of achieving antiferromagnetic vortex order by imposing a small number of constraints with appropriate periodicity. The experimental results presented significantly advance our fundamental understanding of order and fluctuations in collective motion of motile elements and their future applications.

This proceedings book presents state-of-the-art developments in theory, methodology, and applications of network analysis across sociology, computational science, education research, literature studies, political science, international relations, social media research, and urban studies. The papers comprising this collection were presented at the Fifth 'Networks in the Global World' conference organized by the Centre for German and European Studies of St. Petersburg University and Bielefeld University and held on July 7-9, 2020. This biannual conference series revolves around key interdisciplinary issues in the focus of network analysts, such as the multidimensional approach to social reality, translation of theories and methods across disciplines, and mixing of data and methods. The distinctive features of this book are the emphasis on in-depth linkages between theory, method, and applications, the blend of qualitative and quantitative methods, and the joint consideration of different network levels, types, and contexts. The topics covered by the papers include interrelation of social and cultural structures, constellations of power, and patterns of interaction in areas ranging from various types of communities (local, international, educational, political, and so on) to social media and literature. The book is useful for practicing researchers, graduate and postgraduate students, and educators interested in network analysis of social relations, politics, economy, and culture. Features that set the book apart from others in the field: * The book offers a unique cross-disciplinary blend of computational and ethnographic network analyses applied to a diverse spectrum of spheres, from literature and education to urban planning and policymaking. * Embracing conceptual, methodological, and empirical works, the book is among the few in network analysis to emphasize connections between theory, method, and applications. * The book brings together authors and empirical contexts from all over the globe, with a particular emphasis on European societies.

This book gives a general introduction to theoretically understand thermodynamic properties and response to applied fields of mesoscopic systems that closely relate to experiments. The book clarifies many conceptual and practical problems associated with the Larmor clock and thus makes it a viable approach to study these properties. The book is written pedagogically so that a graduate or undergraduate student can follow it. This book also opens up new research areas related to the unification of classical and quantum theories and the meaning of time. It provides a scientific mechanism for time travel which is of immense fascination to science as well as society. It is known that developments in mesoscopic physics can lead to downscaling of device sizes. So, new or experienced researchers can have a quick introduction to various areas in which they might contribute in the future. This book is expected to be a valuable addition to the subject of mesoscopic physics.

This book aims to present a survey of a large class of nonlinear dynamical systems exhibiting mixed-mode oscillations (MMOs). It is a sort of a guide to systems related to MMOs that features material from original research papers, including the author's own studies. The material is presented in seven chapters divided into sections. Usually, the first sections are of an introductory nature, explain phenomena, and exhibit numerical results. More advanced investigations are presented in the subsequent sections. Coverage includes * Dynamic behavior of nonlinear systems, * Fundamentals of processes exhibiting MMOs,* Mechanism and function of an structure of MMOs patterns, * Analysis of MMOs in electric circuits and systems, * MMOs in chemistry, biology, and medicine, * MMOs in mechanics and transport vehicles, * MMOs in fractional order systems. This is the first extensive description of these topics and the interpretation of analytical results and those obtained from computer simulations with the MATLAB environment. The book provides the readers with better understanding of the nature of MMOs, richness of their behaviors, and interesting applications.

This book extrapolates many of the concepts that are well defined for discrete-time deterministic sliding-mode control for use with discrete-time stochastic systems. It details sliding-function designs for various categories of linear time-invariant systems and its application for control. The resulting sliding-mode control addresses robustness issues and the functional-observer approach reduces the observer order substantially. Sliding-mode control (SMC) is designed for discrete-time stochastic systems, extended so that states lie within a specified band, and able to deal with incomplete information. Functional-observer-based SMC is designed for various clauses of stochastic systems: discrete-time; discrete-time with delay; state time-delayed; and those with parametric uncertainty. Stability considerations arising because of parametric uncertainty are taken into account and, where necessary, the effects of unmatched uncertainties mitigated. A simulation example is used to explain the use of the functional-observer approach to SMC design. Discrete-Time Stochastic Sliding-Mode Control Using Functional Observation will interest all researchers working in sliding-mode control and will be of particular assistance to graduate students in understanding the changes in design philosophy that arise when changing from continuous- to discrete-time systems. It helps to pave the way for further progress in applications of discrete-time SMC.

Have you ever felt like students are inundated with material that's outside of their field, subject to change, or so technical the student loses interest? Information Systems for the Non-Technical Manager provides an inside look at the principles that make information systems a field in its own right and invites students to apply these principles to all aspects of business management. The book presents an unfolding explanation of information systems through the lens of custom-designed conceptual models. The four distinct parts of the book invite the reader to consider the purpose of information systems. In the first part, students consider what questions are being asked that information systems can answer. In the second part, students break apart and examine each component of information systems piece by piece. In the third part, the pieces are joined together and presented as a cohesive whole. Finally, there is a practical section that includes interviews with current experts in the field, select case studies, and a historical survey that provides context for how modern information systems have developed over time. Presenting the reader with timeless principles that apply to real-world scenarios, regardless of discipline, Information Systems for the Non-Technical Manager is the ideal solution for survey courses for non-majors.

This book emphasizes those topological methods (of dynamical systems) and theories that are useful in the study of different classes of nonautonomous evolutionary equations. The content is developed over six chapters, providing a thorough introduction to the techniques used in the Chapters III-VI described by Chapter I-II. The author gives a systematic treatment of the basic mathematical theory and constructive methods for Nonautonomous Dynamics. They show how these diverse topics are connected to other important parts of mathematics, including Topology, Functional Analysis and Qualitative Theory of Differential/Difference Equations. Throughout the book a nice balance is maintained between rigorous mathematics and applications (ordinary differential/difference equations, functional differential equations and partial difference equations). The primary readership includes graduate and PhD students and researchers in in the field of dynamical systems and their applications (control theory, economic dynamics, mathematical theory of climate, population dynamics, oscillation theory etc).

This book highlights new trends and challenges in intelligent systems, which play an important part in the digital transformation of many areas of science and practice. It includes papers offering a deeper understanding of the human-centred perspective on artificial intelligence, of intelligent value co-creation, ethics, value-oriented digital models, transparency, and intelligent digital architectures and engineering to support digital services and intelligent systems, the transformation of structures in digital businesses and intelligent systems based on human practices, as well as the study of interaction and the co-adaptation of humans and systems. All papers were originally presented at the International KES Conference on Human Centred Intelligent Systems 2020 (KES HCIS 2020), held on June 17-19, 2020, in Split, Croatia.

Cyber security has become a topic of concern over the past decade. As many individual and organizational activities continue to evolve digitally, it is important to examine the psychological and behavioral aspects of cyber security. Psychological and Behavioral Examinations in Cyber Security is a critical scholarly resource that examines the relationship between human behavior and interaction and cyber security. Featuring coverage on a broad range of topics, such as behavioral analysis, cyberpsychology, and online privacy, this book is geared towards IT specialists, administrators, business managers, researchers, and students interested in online decision making in cybersecurity.

This book introduces the reader to the concept of functional synchronization and how it operates on very different levels in psychological and social systems - from the emergence of thought to the formation of social relations and the structure of societies. For years, psychologists have investigated phenomena such as self-concept, social judgment, social relations, group dynamics, and cooperation and conflict, but have discussed these phenomena seoarately.This book shows how synchronization provides a foundational approach to these otherwise distinct and diverse psychological processes.This work shows that there is a basic tendency with many processes to become coordinated and progressively integrated into increasingly larger units through well-defined processes. For these larger units, new and largely adaptive functions emerge. Although synchronization affords progressive integration of system elements to enable correspondingly higher-order functions, the trajectory of synchronization is often characterized by periods of assembly and disassembly of system elements. This occurs when a task is completed and synchronization is no longer essential so that the elements once again operate in an independent fashion. It is argued that the disassembly-resynchronization scenario occurs at all levels of psychological and social reality. The implications of this approach for important issues in interpersonal relations and societal processes are discussed.

This book presents the latest advances in computational intelligence and data analytics for sustainable future smart cities. It focuses on computational intelligence and data analytics to bring together the smart city and sustainable city endeavors. It also discusses new models, practical solutions and technological advances related to the development and the transformation of cities through machine intelligence and big data models and techniques. This book is helpful for students and researchers as well as practitioners.

This book provides a comprehensive overview of statistical descriptions of turbulent flows. Its main objectives are to point out why ordinary perturbative treatments of the Navier-Stokes equation have been rather futile, and to present recent advances in non-perturbative treatments, e.g., the instanton method and a stochastic interpretation of turbulent energy transfer. After a brief introduction to the basic equations of turbulent fluid motion, the book outlines a probabilistic treatment of the Navier-Stokes equation and chiefly focuses on the emergence of a multi-point hierarchy and the notion of the closure problem of turbulence. Furthermore, empirically observed multiscaling features and their impact on possible closure methods are discussed, and each is put into the context of its original field of use, e.g., the renormalization group method is addressed in relation to the theory of critical phenomena. The intended readership consists of physicists and engineers who want to get acquainted with the prevalent concepts and methods in this research area.