This edited book focuses on non-classical logics and their applications, highlighting the rapid advances and the new perspectives that are emerging in this area. Non-classical logics are logical formalisms that violate or go beyond classical logic laws, and their specific features make them particularly suited to describing and reason about aspects of social interaction. The richness and diversity of non-classical logics mean that this area is a natural catalyst for ideas and insights from many different fields, from information theory to game theory and business science. This volume is the post-proceedings of the 8th International Conference on Logic and Cognition, held at Sun Yat-Sen University Institute of Logic and Cognition (ILC) in Guangzhou, China in December 2016. The conference series started in 2001, and is organized by the ILC, often in collaboration with various international research groups. This eighth installment was jointly organized by ILC and Alessandra Palmigiano's Applied Logic research group. The conference series aims to foster the development of effective logical tools to study social behavior from a philosophical, cognitive and formal perspective in order to challenge the field of logic in ways that open up new and exciting research directions. Chapter "The Category of Node-and-Choice Forms, with Subcategories for Choice-Sequence Forms and Choice-Set Forms" of this book is available open access under a CC BY 4.0 license at link.springer.com

Robust Integration of Model-Based Fault Estimation and Fault-Tolerant Control is a systematic examination of methods used to overcome the inevitable system uncertainties arising when a fault estimation (FE) function and a fault-tolerant controller interact as they are employed together to compensate for system faults and maintain robustly acceptable system performance. It covers the important subject of robust integration of FE and FTC with the aim of guaranteeing closed-loop stability. The reader's understanding of the theory is supported by the extensive use of tutorial examples, including some MATLAB (R)-based material available from the Springer website and by industrial-applications-based material. The text is structured into three parts: Part I examines the basic concepts of FE and FTC, providing extensive insight into the importance of and challenges involved in their integration; Part II describes five effective strategies for the integration of FE and FTC: sequential, iterative, simultaneous, adaptive-decoupling, and robust decoupling; and Part III begins to extend the proposed strategies to nonlinear and large-scale systems and covers their application in the fields of renewable energy, robotics and networked systems. The strategies presented are applicable to a broad range of control problems, because in the absence of faults the FE-based FTC naturally reverts to conventional observer-based control. The book is a useful resource for researchers and engineers working in the area of fault-tolerant control systems, and supplementary material for a graduate- or postgraduate-level course on fault diagnosis and FTC. 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 covers deep-learning-based approaches for sentiment analysis, a relatively new, but fast-growing research area, which has significantly changed in the past few years. The book presents a collection of state-of-the-art approaches, focusing on the best-performing, cutting-edge solutions for the most common and difficult challenges faced in sentiment analysis research. Providing detailed explanations of the methodologies, the book is a valuable resource for researchers as well as newcomers to the field.

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).

Introduction to Ocean Circulation and Modeling provide basics for physical oceanography covering ocean properties, ocean circulations and their modeling. First part of the book explains concepts of oceanic circulation, geostrophy, Ekman, Sverdrup dynamics, Stommel and Munk problems, two-layer dynamics, stratification, thermal and salt diffusion, vorticity/instability, and so forth. Second part highlights basic implementation framework for ocean models, discussion of different models, and their unique differences from the common framework with basin-scale modeling, regional modeling, and interdisciplinary modeling at different space and time scales. Features: Covers ocean properties, ocean circulations and their modeling. Explains the centrality of a rotating earth and its implications for ocean and atmosphere in a simple manner. Provides basic facts of ocean dynamics. Illustrative diagrams for clear understanding of key concepts. Outlines interdisciplinary and complex models for societal applications. The book aims at Senior Undergraduate Students, Graduate Students and Researchers in Ocean Science and Engineering, Ocean Technology, Physical Oceanography, Ocean Circulation, Ocean Modeling, Dynamical Oceanography and Earth Science.

This thesis develops a pioneering methodology and a concept for identifying critical loads and load model parameters in large power networks based on their influence on power system stability. The research described in the thesis first develops an automatic load modelling tool (ALMT) that can be used to automatically build load model from actual measured power system data without human intervention and the benefits of the ALMY are explored. Secondly, it develops a pioneering framework based on Morris screening method for ranking power system load model parameters based on their influence on overall power system stability (voltage, frequency, transient and small disturbance stability) considering different load models and loading conditions. Thirdly, a novel probabilistic methodology for determining the accuracy levels of critical load model parameters has been developed. This book will be of interest to students and researchers within the field of electrical engineering, as well as industry professionals.

This proceedings presents the result of the 8th International Conference in Network Analysis, held at the Higher School of Economics, Moscow, in May 2018. The conference brought together scientists, engineers, and researchers from academia, industry, and government. Contributions in this book focus on the development of network algorithms for data mining and its applications. Researchers and students in mathematics, economics, statistics, computer science, and engineering find this collection a valuable resource filled with the latest research in network analysis. Computational aspects and applications of large-scale networks in market models, neural networks, social networks, power transmission grids, maximum clique problem, telecommunication networks, and complexity graphs are included with new tools for efficient network analysis of large-scale networks. Machine learning techniques in network settings including community detection, clustering, and biclustering algorithms are presented with applications to social network analysis.

This book presents new knowledge and recent developments in all aspects of computational techniques, mathematical modeling, energy systems, applications of fuzzy sets and intelligent computing. The book is a collection of best selected research papers presented at the International Conference on "Mathematical Modeling, Computational Intelligence Techniques and Renewable Energy," organized by the Department of Mathematics, Pandit Deendayal Petroleum University, in association with Forum for Interdisciplinary Mathematics, Institution of Engineers (IEI) - Gujarat and Computer Society of India (CSI) - Ahmedabad. The book provides innovative works of researchers, academicians and students in the area of interdisciplinary mathematics, statistics, computational intelligence and renewable energy.

Pharmacokinetics and Toxicokinetics provides an overview of pharmacokinetics and toxicokinetics in a comprehensible, interrelated, and applied manner. It integrates the principles held in common by both fields through a logical and systematic approach. The book presents mathematical descriptions of physiological processes employed in different approaches to PK/TK modeling. It focuses on emphasizing general principles and concepts, rather than isolated observations. Above all, the book is an effort to blend the pharmaceutical and toxicological aspects of both fields. The systematic compilation of mathematical concepts and methodologies allows readers to decide on relevant concepts and approaches for their research, scientific or regulatory decisions, or for offering advance courses and seminars. This is an invaluable resource for scientists in the pharmaceutical sciences, clinical sciences, and environmental health sciences, as well as those involved in drug discovery and development.

This book presents solutions to control problems in a number of robotic systems and provides a wealth of worked-out examples with full analytical and numerical details, graphically illustrated to aid in reader comprehension. It also presents relevant studies on and applications of robotic system control approaches, as well as the latest findings from interdisciplinary theoretical studies. Featuring chapters on advanced control (fuzzy, neural, backstepping, sliding mode, adaptive, predictive, diagnosis, and fault-tolerant control), the book will equip readers to easily tailor the techniques to their own applications. Accordingly, it offers a valuable resource for researchers, engineers, and students in the field of robotic systems.

This book discusses heuristic methods - methods lacking a solid theoretical justification - which are ubiquitous in numerous application areas, and explains techniques that can make heuristic methods more reliable. Focusing on algebraic techniques, i.e., those that use only a few specific features of a situation, it describes various state-of-the-art applications, ranging from fuzzy methods for dealing with imprecision to general optimization methods and quantum-based methods for analyzing economic phenomena. The book also includes recent results from leading researchers, which could (and hopefully will) provide the basis for future applications. As such, it is a valuable resource for mathematicians interested in potential applications of their algebraic results and ideas, as well as for application specialists wanting to discover how algebraic techniques can help in their domains.

This book contains a selection of research articles written by prominent researchers participating in The 27th World Congress on Engineering (WCE 2019) which was held in London, UK, July 3-5, 2019. Topics covered include engineering mathematics, electrical engineering, communications systems, computer science, chemical engineering, systems engineering, manufacturing engineering, and industrial applications. With contributions carefully chosen to represent the most cutting-edge research presented during the conference, the book contains some of the state of the art in engineering technologies and the physical sciences and their applications and serves as a useful reference for researchers and graduate students working in these fields.

This book is intended as a text covering the central concepts and techniques of Competitive Markov Decision Processes. It is an attempt to present a rig orous treatment that combines two significant research topics: Stochastic Games and Markov Decision Processes, which have been studied exten sively, and at times quite independently, by mathematicians, operations researchers, engineers, and economists. Since Markov decision processes can be viewed as a special noncompeti tive case of stochastic games, we introduce the new terminology Competi tive Markov Decision Processes that emphasizes the importance of the link between these two topics and of the properties of the underlying Markov processes. The book is designed to be used either in a classroom or for self-study by a mathematically mature reader. In the Introduction (Chapter 1) we outline a number of advanced undergraduate and graduate courses for which this book could usefully serve as a text. A characteristic feature of competitive Markov decision processes - and one that inspired our long-standing interest - is that they can serve as an "orchestra" containing the "instruments" of much of modern applied (and at times even pure) mathematics. They constitute a topic where the instruments of linear algebra, applied probability, mathematical program ming, analysis, and even algebraic geometry can be "played" sometimes solo and sometimes in harmony to produce either beautifully simple or equally beautiful, but baroque, melodies, that is, theorems."

This book gathers the peer-reviewed proceedings of the 15th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'20, held in Sofia, Bulgaria. The general theme of BGSIAM'20 was industrial and applied mathematics with particular focus on mathematical physics, numerical analysis, high-performance computing, optimization and control, mathematical biology, stochastic modeling, machine learning, digitization and imaging, advanced computing in environmental, and biomedical and engineering applications.

This book provides an in-depth analysis of the current evolutionary machine learning techniques. Discussing the most highly regarded methods for classification, clustering, regression, and prediction, it includes techniques such as support vector machines, extreme learning machines, evolutionary feature selection, artificial neural networks including feed-forward neural networks, multi-layer perceptron, probabilistic neural networks, self-optimizing neural networks, radial basis function networks, recurrent neural networks, spiking neural networks, neuro-fuzzy networks, modular neural networks, physical neural networks, and deep neural networks. The book provides essential definitions, literature reviews, and the training algorithms for machine learning using classical and modern nature-inspired techniques. It also investigates the pros and cons of classical training algorithms. It features a range of proven and recent nature-inspired algorithms used to train different types of artificial neural networks, including genetic algorithm, ant colony optimization, particle swarm optimization, grey wolf optimizer, whale optimization algorithm, ant lion optimizer, moth flame algorithm, dragonfly algorithm, salp swarm algorithm, multi-verse optimizer, and sine cosine algorithm. The book also covers applications of the improved artificial neural networks to solve classification, clustering, prediction and regression problems in diverse fields.

This book presents the latest advances in photometric 3D reconstruction. It provides the reader with an overview of the state of the art in the field, and of the latest research into both the theoretical foundations of photometric 3D reconstruction and its practical application in several fields (including security, medicine, cultural heritage and archiving, and engineering). These techniques play a crucial role within such emerging technologies as 3D printing, since they permit the direct conversion of an image into a solid object. The book covers both theoretical analysis and real-world applications, highlighting the importance of deepening interdisciplinary skills, and as such will be of interest to both academic researchers and practitioners from the computer vision and mathematical 3D modeling communities, as well as engineers involved in 3D printing. No prior background is required beyond a general knowledge of classical computer vision models, numerical methods for optimization, and partial differential equations.

This book constitutes refereed proceedings of the 20th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021. Due to the COVID-19 pandemic the conference was held online. The 31 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 102 submissions. The papers in the volume are organised according to the following topical headings: continuous optimization; integer programming and combinatorial optimization; operational research applications; optimal control.

This monograph presents the geoscientific context arising in decorrelative geomagnetic exploration. First, an insight into the current state of research is given by reducing magnetometry to mathematically accessible, and thus calculable, decorrelated models. In this way, various questions and problems of magnetometry are made available to a broad scientific audience and the exploration industry. New stimuli are given, and innovative ways of modeling geologic strata by mollifier magnetometric techniques are shown. Potential data sets primarily of terrestrial origin constitute the main data basis in the book. For deep geology, the geomathematical decorrelation methods are designed in such a way that depth information (e.g., in boreholes) may be canonically entered. Overall, this book provides pioneering and ground-breaking innovative mathematical knowledge as a transfer methodology from the "reality space" of magnetometric measurements into the "virtual space" of mathematical-numerical modeling structures and mollifier solutions with novel geological application areas. It pursues a double goal: On the one hand, it represents a geoscientific set of rules for today's geoengineering, interested in the application of innovative modelling and simulation techniques to promising data sets and structures occurring in geomagnetics. On the other hand, the book serves as a collection of current material in Applied Mathematics to offer alternative methodologies in the theory of inverse problems.

Continuous-system simulation is an increasingly important tool for optimizing the performance of real-world systems. The book presents an integrated treatment of continuous simulation with all the background and essential prerequisites in one setting. It features updated chapters and two new sections on Black Swan and the Stochastic Information Packet (SIP) and Stochastic Library Units with Relationships Preserved (SLURP) Standard. The new edition includes basic concepts, mathematical tools, and the common principles of various simulation models for different phenomena, as well as an abundance of case studies, real-world examples, homework problems, and equations to develop a practical understanding of concepts.

Mathematical Modeling: Models, Analysis and Applications, Second Edition introduces models of both discrete and continuous systems. This book is aimed at newcomers who desires to learn mathematical modeling, especially students taking a first course in the subject. Beginning with the step-by-step guidance of model formulation, this book equips the reader about modeling with difference equations (discrete models), ODE's, PDE's, delay and stochastic differential equations (continuous models). This book provides interdisciplinary and integrative overview of mathematical modeling, making it a complete textbook for a wide audience. A unique feature of the book is the breadth of coverage of different examples on mathematical modelling, which include population models, economic models, arms race models, combat models, learning model, alcohol dynamics model, carbon dating, drug distribution models, mechanical oscillation models, epidemic models, tumor models, traffic flow models, crime flow models, spatial models, football team performance model, breathing model, two neuron system model, zombie model and model on love affairs. Common themes such as equilibrium points, stability, phase plane analysis, bifurcations, limit cycles, period doubling and chaos run through several chapters and their interpretations in the context of the model have been highlighted. In chapter 3, a section on estimation of system parameters with real life data for model validation has also been discussed. Features Covers discrete, continuous, spatial, delayed and stochastic models. Over 250 illustrations, 300 examples and exercises with complete solutions. Incorporates MATHEMATICA (R) and MATLAB (R), each chapter contains Mathematica and Matlab codes used to display numerical results (available at CRC website). Separate sections for Projects. Several exercise problems can also be used for projects. Presents real life examples of discrete and continuous scenarios. The book is ideal for an introductory course for undergraduate and graduate students, engineers, applied mathematicians and researchers working in various areas of natural and applied sciences.

"Intelligent Transportation and Evacuation Planning: A Modeling-Based Approach" provides a new paradigm for evacuation planning strategies and techniques. Recently, evacuation planning and modeling have increasingly attracted interest among researchers as well as government officials. This interest stems from the recent catastrophic hurricanes and weather-related events that occurred in the southeastern United States (Hurricane Katrina and Rita). The evacuation methods that were in place before and during the hurricanes did not work well and resulted in thousands of deaths. This book offers insights into the methods and techniques that allow for implementing mathematical-based, simulation-based, and integrated optimization and simulation-based engineering approaches for evacuation planning.

This book features selected papers from the 5th International Conference on Mathematics and Computing (ICMC 2019), organized by the School of Computer Engineering, Kalinga Institute of Industrial Technology Bhubaneswar, India, on February 6 - 9, 2019. Covering recent advances in the field of mathematics, statistics and scientific computing, the book presents innovative work by leading academics, researchers and experts from industry.

This volume consists of a collection of chapters by recognized experts to provide a comprehensive fundamental theoretical continuum treatment of constitutive laws used for modelling the mechanical and coupled-field properties of various types of solid materials. It covers the main types of solid material behaviour, including isotropic and anisotropic nonlinear elasticity, implicit theories, viscoelasticity, plasticity, electro- and magneto-mechanical interactions, growth, damage, thermomechanics, poroelasticity, composites and homogenization. The volume provides a general framework for research in a wide range of applications involving the deformation of solid materials. It will be of considerable benefit to both established and early career researchers concerned with fundamental theory in solid mechanics and its applications by collecting diverse material in a single volume. The readership ranges from beginning graduate students to senior researchers in academia and industry.

This book focuses on mathematical theory and numerical simulation related to various areas of continuum mechanics, such as fracture mechanics, (visco)elasticity, optimal shape design, modelling of earthquakes and Tsunami waves, material structure, interface dynamics and complex systems. Written by leading researchers from the fields of applied mathematics, physics, seismology, engineering, and industry with an extensive knowledge of mathematical analysis, it helps readers understand how mathematical theory can be applied to various phenomena, and conversely, how to formulate actual phenomena as mathematical problems. This book is the sequel to the proceedings of the International Conference of Continuum Mechanics Focusing on Singularities (CoMFoS) 15 and CoMFoS16.

The focus of these conference proceedings is on research, development, and applications in the fields of numerical geometry, scientific computing and numerical simulation, particularly in mesh generation and related problems. In addition, this year's special focus is on Voronoi diagrams and their applications, celebrating the 150th birthday of G.F. Voronoi. In terms of content, the book strikes a balance between engineering algorithms and mathematical foundations. It presents an overview of recent advances in numerical geometry, grid generation and adaptation in terms of mathematical foundations, algorithm and software development and applications. The specific topics covered include: quasi-conformal and quasi-isometric mappings, hyperelastic deformations, multidimensional generalisations of the equidistribution principle, discrete differential geometry, spatial and metric encodings, Voronoi-Delaunay theory for tilings and partitions, duality in mathematical programming and numerical geometry, mesh-based optimisation and optimal control methods. Further aspects examined include iterative solvers for variational problems and algorithm and software development. The applications of the methods discussed are multidisciplinary and include problems from mathematics, physics, biology, chemistry, material science, and engineering.